Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Persistant Linda: Linda + Transactions + Query Processing
Research Directions in High-Level Parallel Programming Languages
The CORBA activity service framework for supporting extended transactions
Software—Practice & Experience - Special issue: Middleware
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Extending the concept of transaction compensation
IBM Systems Journal
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Comparing two approaches to compensable flow composition
CONCUR 2005 - Concurrency Theory
A Framework for Generic Error Handling in Business Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations of web transactions
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
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
UTP semantics for web services
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
SENSORIA process calculi for service-oriented computing
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Formal methods and hybrid real-time systems
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 probabilistic BPEL-like language
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Advanced mechanisms for service combination and transactions
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
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
On realizing quick compensation transactions in cloud computing
DNIS'10 Proceedings of the 6th international conference on Databases in Networked Information Systems
The rely/guarantee approach to verifying concurrent BPEL programs
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Hi-index | 0.00 |
We address the problem of composing Web Services in long-running transactional business processes, where compensations must be dealt with appropriately. The framework presented in this paper is a Java API called Java Transactional Web Services (jtws), which provides suitable primitives for wrapping and invoking Web Services as activities in long-running transactions. jtws adheres to a process calculi formalisation of long-running transactions, called saga, which fixes unambiguously the implemented compensation policy. In particular, the primitives provided by jtws are in one-to-one correspondence with the primitives of sagas,and they are abstract enough to hide the complex details of their realization, thus favouring usability. Moreover, jtws orchestrates business processes in a distributed way.