loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh Asia-Pacific Software Engineering Conference (APSEC'00)
Consistency checks for UML
Singapore
December 05-December 08
ISBN: 0-7695-0915-0
ASCII Text
x 
 
P. Krishnan, "Consistency checks for UML," Asia-Pacific Software Engineering Conference, pp. 162, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2000.896695,
author = {P. Krishnan},
title = {Consistency checks for UML},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2000},
issn = {1530-1362},
pages = {162},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2000.896695},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - Consistency checks for UML
SN - 1530-1362
SP
EP
A1 - P. Krishnan,
PY - 2000
KW - specification languages; formal verification; diagrams; theorem proving; Unified Modeling Language; UML consistency checking; UML diagrams; state predicates; PVS theorem prover; Prototype Verification System; dynamic aspects; partially specified systems; computation history; behavioural description
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
P. Krishnan, Dept. of Comput. Sci., Canterbury Univ., Christchurch, New Zealand
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.
Index Terms:
specification languages; formal verification; diagrams; theorem proving; Unified Modeling Language; UML consistency checking; UML diagrams; state predicates; PVS theorem prover; Prototype Verification System; dynamic aspects; partially specified systems; computation history; behavioural description
Citation:
P. Krishnan, "Consistency checks for UML," apsec, pp.162, Seventh Asia-Pacific Software Engineering Conference (APSEC'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.