SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Database transaction models for advanced applications
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Web Service Composition Languages: Old Wine in New Bottles?
EUROMICRO '03 Proceedings of the 29th Conference on EUROMICRO
Communications of the ACM - Service-oriented computing
Extending the concept of transaction compensation
IBM Systems Journal
Towards a Formal Foundation to Orchestration Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Generic Error Handling in Business Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Isolation-only transactions by typing and versioning
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Comparing two approaches to compensable flow composition
CONCUR 2005 - Concurrency Theory
Stabilizers: a modular checkpointing abstraction for concurrent functional programs
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Modular Checkpointing for Atomicity
Electronic Notes in Theoretical Computer Science (ENTCS)
Ensuring consistency in long running transactions
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A Language for Reliable Service Composition
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Specifying and Verifying Web Transactions
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Business Process Modeling for Organizational Knowledge Management
Concurrency, Graphs and Models
Event-Based Service Coordination
Concurrency, Graphs and Models
Automatic Mutual Exclusion and Atomicity Checks
Concurrency, Graphs and Models
An Observational Model for Transactional Calculus of Services Orchestration
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Design and verification of long-running transactions in a timed framework
Science of Computer Programming
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Challenges in the Specification of Full Contracts
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
A Process Calculus Analysis of Compensations
Trustworthy Global Computing
Dynamic Recovering of Long Running Transactions
Trustworthy Global Computing
Towards Formal Interfaces for Web Services with Transactions
Advanced Internet Based Systems and Applications
On the Expressive Power of Process Interruption and Compensation
Web Services and Formal Methods
Fault, Compensation and Termination in WS-BPEL 2.0 -- A Comparative Analysis
Web Services and Formal Methods
Refactoring Long Running Transactions
Web Services and Formal Methods
On the expressive power of process interruption and compensation
Mathematical Structures in Computer Science
Calculi for Service-Oriented Computing
Formal Methods for Web Services
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
Towards the Semantics and Verification of BPEL4WS
Electronic Notes in Theoretical Computer Science (ENTCS)
Process algebraic support for web service composition
ACM SIGSOFT Software Engineering Notes
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
A concurrent calculus with atomic transactions
ESOP'07 Proceedings of the 16th European conference on Programming
Verifying compensating transactions
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Using goals for flexible service orchestration: a first step
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
UTP semantics for web services
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Regulating data exchange in service oriented applications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Algebraic semantics for compensable transactions
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
A coordination model for service-oriented interactions
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A compositional trace semantics for Orc
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
When things go wrong: interrupting conversations
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Transactional service level agreement
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Formal methods and hybrid real-time systems
Foundations of security analysis and design IV
Comparing goal-oriented and procedural service orchestration
Multiagent and Grid Systems
Lightweight checkpointing for concurrent ml
Journal of Functional Programming
A graph syntax for processes and services
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Towards compensation correctness in interactive systems
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
An extended cCSP with stable failures semantics
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A java inspired semantics for transactions in SOC
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Dynamic aspects for runtime fault determination and recovery
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Error handling: from theory to practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Compensation-aware runtime monitoring
RV'10 Proceedings of the First international conference on Runtime verification
A probabilistic BPEL-like language
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Liveness of communicating transactions
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
On GS-monoidal theories for graphs with nesting
Graph transformations and model-driven engineering
Failure-divergence refinement of compensating communicating processes
FM'11 Proceedings of the 17th international conference on Formal methods
COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
Modeling and verifying timed compensable workflows and an application to health care
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Advanced mechanisms for service combination and transactions
Rigorous software engineering for service-oriented systems
Model-driven development of long running transactions
Rigorous software engineering for service-oriented systems
Hierarchical models for service-oriented systems
Rigorous software engineering for service-oriented systems
Algebraic approach to linking the semantics of web services
Innovations in Systems and Software Engineering
Event based service coordination over dynamic and heterogeneous networks
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
JSCL: a middleware for service coordination
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Semantics of BPEL4WS-Like fault and compensation handling
FM'05 Proceedings of the 2005 international conference on Formal Methods
Model checking for nominal calculi
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
A case study of web services orchestration
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Modelling fusion calculus using HD-Automata
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Executable semantics for compensating CSP
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
From theory to practice in transactional composition of web services
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Timing issues in web services composition
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
On realizing quick compensation transactions in cloud computing
DNIS'10 Proceedings of the 6th international conference on Databases in Networked Information Systems
Modeling long–running transactions with communicating hierarchical timed automata
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Theoretical foundations of scope-based compensable flow language for web service
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
On the expressive power of primitives for compensation handling
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
A new strategy for distributed compensations with interruption in long-running transactions
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Runtime enforcement of information flow security in tree manipulating processes
ESSoS'12 Proceedings of the 4th international conference on Engineering Secure Software and Systems
Failure-divergence semantics and refinement of long running transactions
Theoretical Computer Science
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
First-Order dynamic logic for compensable processes
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
An aggregation composition compensation method based on paired net
International Journal of Automation and Computing
The rely/guarantee approach to verifying concurrent BPEL programs
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Safer asynchronous runtime monitoring using compensations
Formal Methods in System Design
Fault tolerance via idempotence
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent flexible reversibility
ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems
Towards cost-aware service recovery
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
A key aspect when aggregating business processes and web services is to assure transactional properties of process executions. Since transactions in this context may require long periods of time to complete, traditional mechanisms for guaranteeing atomicity are not always appropriate. Generally the concept of long running transactions relies on a weaker notion of atomicity based on compensations. For this reason, programming languages for service composition cannot leave out two key aspects: compensations, i.e. ad hoc activities that can undo the effects of a process that fails to complete, and transactional boundaries to delimit the scope of a transactional flow. This paper presents a hierarchy of transactional calculi with increasing expressiveness. We start from a very small language in which activities can only be composed sequentially. Then, we progressively introduce parallel composition, nesting, programmable compensations and exception handling. A running example illustrates the main features of each calculus in the hierarchy.