(2008):
Business Process Modeling Notation, v1.1.
http://www.bpmn.org/Documents/BPMN_1-1_Specification.pdf (Last accessed: 2010-02-17).
Danilo Ardagna, Marco Comuzzi, Enrico Mussi, Barbara Pernici & Pierluigi Plebani (2007):
PAWS: A Framework for Executing Adaptive Web-Service Processes.
IEEE Software 24,
pp. 39–46,
doi:10.1109/MS.2007.174.
A. Arkin, S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, C. K. Liu, S. Thatte, P. Yendluri & A. Yiu (2007):
Web Services Business Process Execution Language Version 2.0.
OASIS Standard. Available at: http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf (Last accessed: 2010-02-17).
L. Baresi & S. Guinea (2011):
Self-Supervising BPEL Processes.
Software Engineering, IEEE Transactions on 37(2),
pp. 247 –263,
doi:10.1109/TSE.2010.37.
Roberto Bruni, Hernán Melgratti & Ugo Montanari (2005):
Theoretical foundations for compensations in flow composition languages.
In: POPL.
ACM,
pp. 209–220,
doi:10.1145/1040305.1040323.
Michael J. Butler & Carla Ferreira (2004):
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions.
In: COORDINATION,
LNCS 2949.
Springer,
pp. 87–104,
doi:10.1007/978-3-540-24634-3_9.
Michael J. Butler, C. A. R. Hoare & Carla Ferreira (2004):
A Trace Semantics for Long-Running Transactions.
In: 25 Years Communicating Sequential Processes,
LNCS.
Springer,
pp. 133–150,
doi:10.1007/11423348_8.
Anis Charfi & Mira Mezini (2007):
AO4BPEL: An Aspect-oriented Extension to BPEL.
World Wide Web 10(3),
pp. 309–344,
doi:10.1007/s11280-006-0016-3.
M. Chessell, C. Griffin, D. Vines, M. Butler, C. Ferreira & P. Henderson (2002):
Extending the concept of transaction compensation.
IBM Systems Journal 41(4),
pp. 743–758,
doi:10.1147/sj.414.0743.
Christian Colombo & Gordon Pace (2013):
Monitor-Oriented Compensation Programming Through Compensating Automata.
ECEASST 58.
Christian Colombo & Gordon Pace (2013):
Recovery within Long Running Transactions.
ACM Computing Surveys 45,
doi:10.1145/2480741.2480745.
Christian Colombo, Gordon Pace & Patrick Abela (2012):
Safer asynchronous runtime monitoring using compensations.
Formal Methods in System Design 41(3),
pp. 269–294,
doi:10.1007/s10703-012-0142-8.
Christian Colombo, Gordon J. Pace & Gerardo Schneider (2008):
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.
In: FMICS,
LNCS 5596,
pp. 135–149,
doi:10.1007/978-3-642-03240-0_13.
Christian Colombo, Gordon J. Pace & Gerardo Schneider (2009):
LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper).
In: SEFM.
IEEE,
pp. 33–37,
doi:10.1109/SEFM.2009.13.
Massimiliano Colombo, Elisabetta Di Nitto & Marco Mauri (2006):
SCENE: a service composition execution environment supporting dynamic changes disciplined through rules.
In: ICSOC.
Springer,
pp. 191–202,
doi:10.1007/11948148_16.
Charles T. Davies, Jr. (1973):
Recovery semantics for a DB/DC system.
In: ACM annual conference.
ACM,
pp. 136–141,
doi:10.1145/800192.805694.
Christian Eisentraut & David Spieler (2008):
Fault, Compensation and Termination in WS-BPEL 2.0 - A Comparative Analysis.
In: WS-FM,
LNCS 5387.
Springer,
pp. 107–126,
doi:10.1007/978-3-642-01364-5_7.
Abdelkarim Erradi, Piyush Maheshwari & Vladimir Tosic (2007):
WS-Policy based Monitoring of Composite Web Services.
In: ECOWS.
IEEE,
pp. 99–108,
doi:10.1109/ECOWS.2007.31.
Dirk Fahland & Wolfgang Reisig (2005):
ASM-based Semantics for BPEL: The Negative Control Flow.
In: ASM,
pp. 131–152.
Paul Greenfield, Alan Fekete, Julian Jang & Dean Kuo (2003):
Compensation is Not Enough.
In: EDOC.
IEEE,
pp. 232–239,
doi:10.1109/EDOC.2003.1233852.
Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi & Gianluigi Zavattaro (2006):
SOCK: A Calculus for Service Oriented Computing.
In: ICSOC,
LNCS 4294.
Springer,
pp. 327–338,
doi:10.1007/11948148_27.
Sam Guinea, Gabor Kecskemeti, Annapaola Marconi & Branimir Wetzstein (2011):
Multi-layered Monitoring and Adaptation.
In: Service-Oriented Computing,
LNCS 7084.
Springer,
pp. 359–373,
doi:10.1007/978-3-642-25535-9_24.
Yanxiang He, Liang Zhao, Zhao Wu & Fei Li (2008):
Formal Modeling of Transaction Behavior in WS-BPEL.
In: CSSE.
IEEE,
pp. 490–494,
doi:10.1109/CSSE.2008.873.
Alessandro Lapadula, Rosario Pugliese & Francesco Tiezzi (2008):
A Formal Account of WS-BPEL.
In: COORDINATION,
LNCS 5052.
Springer,
pp. 199–215,
doi:10.1007/978-3-540-68265-3_13.
Patrick O'Neil Meredith, Dongyun Jin, Dennis Griffith, Feng Chen & Grigore Roşu (2012):
An Overview of the MOP Runtime Verification Framework.
Journal on Software Tools for Technology Transfer 14(3),
doi:10.1007/s10009-011-0198-6.
Oliver Moser, Florian Rosenberg & Schahram Dustdar (2010):
Event driven monitoring for service composition infrastructures.
In: WISE.
Springer,
pp. 38–51,
doi:10.1007/978-3-642-17616-6_6.
Surya Nepal, Alan Fekete, Paul Greenfield, Julian Jang, Dean Kuo & Tony Shi (2005):
A service-oriented workflow language for robust interacting applications.
In: On the Move to Meaningful Internet Systems - Part I.
Springer,
pp. 40–58,
doi:10.1007/11575771_6.
B. Randell, P. Lee & P. C. Treleaven (1978):
Reliability Issues in Computing System Design.
ACM Computing Surveys 10,
pp. 123–165,
doi:10.1145/356725.356729.
Michael Schäfer, Peter Dolog & Wolfgang Nejdl (2007):
Engineering compensations in web service environment.
In: ICWE.
Springer,
pp. 32–46.
Nick Amirreza Tahamtan & WS-Diamond team (2007):
WS-DIAMOND: Web Services - DIAgnosability, MONitoring and Diagnosis.
In: E. di Nitto, A. Sassen, P.Traverso and A. Zwegers (Eds), At your service, Chapter 9.
MIT Press.
eptcs@eptcs.org