Using B refinement to analyse compensating business processes

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

Volumn 2651, Issue , 2003, Pages 477-496

  Ferreira, Carla ^a   Butler, Michael ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

B MACHINES; BUSINESS PROCESS;

ARTIFICIAL INTELLIGENCE;

EID: 33750708684     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44880-2_28     Document Type: Article

References (10)

1. J.-R. Abrial and L. Mussat. Introducing dynamic constraints in B. In Recent Advances in the Development and Use of the B Method (B'98), volume 1393. Springer-Verlag, 1998.
2. J.R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.
3. J. Augusto and M. Butler. Some observations about using SPIN and STeP to verify StAC specifications. Technical report, Department of Electronics and Computer Science, University of Southampton, October 2002.
4. N. Bjorner, A. Browne, and Z. Manna. Automatic generation of invariants and intermediate assertions. Theoretical Computer Science, 173(1):49-87, 1997.
5. M. Butler. csp2B: A practical approach to combining CSP and B. Formal Aspects of Computing, 12:182-198, 2000.
6. M. Butler. On the use of data refinement in the development of secure communications systems. Formal Aspects of Computing, To appear, 2002.
7. M. Butler. A system-based approach to the formal development of embedded controllers for a railway. Design Automation for Embedded Systems, 6(4):355-366, 2002.
8. 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.
9. 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.
10. C. Ferreira. Precise Modelling of Business Processes with Compensation. PhD thesis, Department of Electronics and Computer Science, University of Southampton, 2002.