Title :
Consistency checks for UML
Author :
Krishnan, Padmanabhan
Author_Institution :
Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand
Abstract :
In this article, we present an approach to defining UML diagrams in terms of state predicates and using the theorem prover PVS (Prototype Verification System) to verify consistency between various diagrams. We focus on the dynamic aspects of the various diagrams. Our approach can easily handle partially specified systems as the behaviour is described in terms of the history of the computation
Keywords :
diagrams; formal verification; specification languages; theorem proving; PVS theorem prover; Prototype Verification System; UML consistency checking; UML diagrams; Unified Modeling Language; behavioural description; computation history; dynamic aspects; partially specified systems; state predicates; Books; Collaboration; Computer science; Contracts; History; Object oriented modeling; Prototypes; Reachability analysis; Specification languages; Unified modeling language;
Conference_Titel :
Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
Print_ISBN :
0-7695-0915-0
DOI :
10.1109/APSEC.2000.896695
