Using SPIN and STeP to verify business processes specifications

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

Volumn 2890, Issue , 2003, Pages 207-213

  Augusto, Juan C ^a   Butler, Michael ^a   Ferreira, Carla ^a   Craig, Stephen John ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

BUSINESS PROCESS; BUSINESS TRANSACTION; COMPENSATION HANDLING; EXISTING SYSTEMS; VERIFICATION TOOLS;

VERIFICATION;

EID: 33750717636     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (9)

1. J. Augusto and Michael Butler. Some Observations About Using SPIN and STeP to Verify StAC Specifications. Technical report, DSSE-TR-2002-9, 2002. Electronics and Computer Science Department, University of Southampton. 34 pages.
2. J. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University, 1996.
3. N. Bjorner, A. Browne, M. Colon, B. Finkbeiner, Z. Manna, B. Sipma, and T. Uribe. Verifying temporal properties of reactive systems: A step tutorial. Formal Methods in System Design, 16:227-270, 1999.
4. M. Butler and C. Ferreira. A process compensation language. In IFM'2000 - Integrated Formal Methods, LNCS 1945, pp. 61-76. Springer Verlag, 2000.
5. M. Chessell, C. Griffin, D. Vines, M. Butler, C. Ferreira, and P. Henderson. Extending the concept of transaction compensation. IBM Journal of Systems and Development, 41(4):743-758, 2002.
6. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
7. Gerard Holzmann. The spin model checker. IEEE Trans. on Software Engineering, 23(5):279-295, 1997.
8. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems (Specification). Springer Verlag, 1992.
9. Zohar Manna and the STeP group. STeP: The Stanford Temporal Prover (Educational Release), User's Manual. Technical report, 1995. STAN-CS-TR-95-1562, Computer Science Department, Stanford University. 138 pages.