Model-driven development of long running transactions

Authors:
Vincenzo Ciancia;Gianluigi Ferrari;Roberto Guanciale;Daniele Strollo;Emilio Tuosto
Affiliations:
Dipartimento di Informatica, Università degli Studi di Pisa, Italy;Dipartimento di Informatica, Università degli Studi di Pisa, Italy;Dipartimento di Informatica, Università degli Studi di Pisa, Italy;Dipartimento di Informatica, Università degli Studi di Pisa, Italy;University of Leicester, Computer Science Department, Leicester, UK
Venue:
Rigorous software engineering for service-oriented systems
Year:
2011

Citing 12
Cited 0

Sagas

SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Transactions and Web services

Communications of the ACM - Service-oriented computing
Theoretical foundations for compensations in flow composition languages

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A Comparative Study of Web Services-based Event Notification Specifications

ICPPW '06 Proceedings of the 2006 International Conference Workshops on Parallel Processing
The transaction concept: virtues and limitations (invited paper)

VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Barbed Model--Driven Software Development: A Case Study

Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Via Types in an Event-Based Framework

FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Refactoring Long Running Transactions

Web Services and Formal Methods
Global Coordination Policies for Services

Electronic Notes in Theoretical Computer Science (ENTCS)
Program refactoring, program synthesis, and model-driven development

CC'07 Proceedings of the 16th international conference on Compiler construction
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

The management of Long Running Transactions is a crucial aspect in the field of Service Oriented Architectures. This chapter reports on the usage of the ESC middleware in the design and implementation of long running transactions. The middleware has been formally defined as a process calculus and supports a model-driven methodology which clearly separates the development stages of long running transactions.