Model-Driven Development of Long Running Transactions

Authors
  • V. Ciancia
  • G. Ferrari
  • R. Guanciale
  • D. Strollo
  • E. Tuosto
Publication date 2011
Host editors
  • M. Wirsing
  • M. Hölzl
Book title Rigorous Software Engineering for Service-Oriented Systems
Book subtitle Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
ISBN
  • 9783642204005
ISBN (electronic)
  • 9783642204012
Series Lecture Notes in Computer Science
Pages (from-to) 326-348
Publisher Hiedelberg: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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.
Document type Chapter
Language English
Published at
Permalink to this page
Back