| | |
Summary: Verifying Correctness in StAC Specifications
J. C. Augusto and Michael Butler
{jca, mjb}@ecs.soton.ac.uk
Declarative Systems and Software Engineering Group
Technical Report DSSE-TR-2002-8
April 2002
www.dsse.ecs.soton.ac.uk/techreports
Department of Electronics and Computer Science
University of Southampton
Southampton SO17 1BJ, United Kingdom
Verifying Correctness
in StAC Specifications
Juan C. Augusto Michael Butler
Declarative Systems and Software Engineering Research Group
Department of Electronics and Computer Science
University of Southampton, Southampton, UK
{jca, mjb}@ecs.soton.ac.uk
Abstract. Business transactions are prone to failure and to deal with
unexpected situations some specification languages, e.g. StAC, introduce
notions like compensation handling. Given the importance of verification
|
