Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Verifying Correctness in StAC Specifications J. C. Augusto and Michael Butler
 

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

  

Source: Augusto, Juan Carlos - School of Computing and Mathematics, University of Ulster at Jordanstown

 

Collections: Computer Technologies and Information Sciences