Title :
Precise specification and validation of transactional business software
Author :
Correa, Alexandre L. ; Werner, Cláudia M L
Author_Institution :
COPPE/UFRJ, Rio de Janeiro Fed. Univ., Brazil
Abstract :
This work presents an approach to the specification and validation of transactional business software. The focus of this work is on the production of detailed use case specifications and on the precise definition of all transactions and business rules using a subset of UML diagrams combined with textual specifications written in OCL (Object Constraint Language). We show how to produce and validate such artifacts using a scenario driven approach combined with animation and prototyping techniques in a highly iterative process. The paper also presents PSW (Precise Specification Workbench), a tool that supports the proposed approach.
Keywords :
Unified Modeling Language; business data processing; computer animation; diagrams; formal specification; formal verification; program visualisation; software prototyping; software tools; transaction processing; Object Constraint Language; Precise Specification Workbench; UML diagrams; business rules; computer animation; iterative process; prototyping techniques; scenario driven approach; software validation; textual specifications; transaction rules; transactional business software; use case specifications; Animation; Iterative methods; Natural languages; Object oriented modeling; Production; Prototypes; Software engineering; Software prototyping; Software systems; Unified modeling language;
Conference_Titel :
Requirements Engineering Conference, 2004. Proceedings. 12th IEEE International
Print_ISBN :
0-7695-2174-6
DOI :
10.1109/ICRE.2004.1335650