An operational semantics for StAC, a language for modelling long-running business transactions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2949, Issue , 2004, Pages 87-104

  Butler, Michael ^a   Ferreira, Carla ^b  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; ERROR COMPENSATION; SEMANTICS; SYSTEMS ENGINEERING;

ALGEBRAIC LANGUAGES; BUSINESS PROCESS MODELLING LANGUAGES; BUSINESS TRANSACTION; EXCEPTION HANDLING; OPERATIONAL SEMANTICS;

MODELING LANGUAGES;

EID: 33646122491     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24634-3_9     Document Type: Article

References (20)

1. J. R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
2. L. Bocchi, C. Laneve, and G. Zavattaro. A calulus for long-running transactions. In FMOODS'03, volume LNCS, to appear. Springer-Verlag, 2003.
3. M. Butler and C. Ferreira. A process compensation language. In Integrated Formal Methods(IFM'2000), volume 1945 of LNCS, pages 61-76. Springer-Verlag, 2000.
4. M. Chessell, D. Vines, and C. Griffin. An introduction to compensation with business process beans. Technical report, Transaction Processing Design and New Technology Development Group, IBM UK Laboratories, August 2001.
5. M. Chessell, D. Vines, C. Griffin, M. Butler, C. Ferreira, and P. Henderson. Extending the concept of transaction compensation. IBM Systems Journal, 41(4):743-758, 2002.
6. M. Chessell, D. Vines, C. Griffin, V. Green, and K. Warr. Business process beans: System design and architecture document. Technical report, Transaction Processing Design and New Technology Development Group, IBM UK Laboratories, January 2001.
7. F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana. Business process execution language for web services, version 1.1. http://www-106.ibm.com/developerworks/library/ws-bpel/, 2003.
8. E. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
9. C. Ferreira. Precise Modelling of Business Processes with Compensation. PhD thesis, University of Southampton, 2002.
10. C. Ferreira and M. Butler. Using B Refinement to Analyse Compensating Business Processes. In Third International ZB Conference (ZB'2003), volume 2651 of LNCS. Springer-Verlag, 2003.
11. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, 1993.
12. C. A.R Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
13. C. Jones. Systematic Software Development Using VDM. Prentice-Hall, 1986.
14. H. Korth, E. Levy, and A. Silberschatz. A formal approach to recovery by compensating transactions. In 16th VLDB Conference, Brisbane, Australia, 1990.
15. B. Metha, M. Levy, G. Meredith, T. Andrews, B. Beckman, J. Klein, and A. Mital. BizTalk Server 2000 Business Process Orchestration. IEEE Data Engineering Bulletin, 24(1):35-39, 2001.
16. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
17. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, I and II. Inform. and Comput., 100(1):1-40,41-77, 1992.
18. G. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Aarhus University, Computer Science Department, September 1981.
19. J. Spivey. The Z Notation. Prentice Hall, New York, 1989.
20. H. Wachter and A. Reuter. The ConTract model. In A. Elmagarmid, editor, Database Transaction Models for Advanced Applications. Morgan Kaufmann Publishers, 1992.