A UML validation toolset based on abstract state machines

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 315-318

  Shen, Wuwei ^a   Compton, Kevin ^a   Huggins, James ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b KETTERING UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SOFTWARE DESIGN;

ABSTRACT STATE MACHINES; DYNAMIC ASPECTS; MODEL VALIDATION; PROMELA; PROOF OF CORRECTNESS; SEMANTIC MODELLING; STATICS AND DYNAMICS; TOOLSETS; UML MODEL; UML SEMANTICS;

UNIFIED MODELING LANGUAGE;

EID: 80655123587     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989819     Document Type: Conference Paper

References (8)

1. Matthias Anlauff, XASM- An Extensible, Component-Based Abstract State Machines Language, in Y. Gurevich etc ed., Abstract State Machines - Theory and Applications, pp. 69-90, Springer LNCS 1912, 2000.
2. Egon Börger, A. Cavarra, and E. Riccobene. "An ASM Semantics for UML Activity Diagrams", in Teodor Rus, ed., Algebraic Methodology and Software Technology, pp 293-308, Springer LNCS 1816,200.
3. Egon Börger, A. Cavarra, and E. Riccobene. Modeling die Dynamic of UML State Machines, in Y. Gurevich etc ed., Abstract State Machines - Theory and Applications, pp. 232-241, Springer LNCS 1912, 2000.
4. K. Compton, Y. Gurevich, J. Huggins, W. Shen. An Automatic Verification Tool for UML, Technical report, CSE-TR-423-00, University of Michigan, 2000.
5. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E.Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
6. Johan Lilius and Ivan Porres Paltor, Formalising UML State Machines for Model Checking, in R. France etc. ed. UML'99 - The Unified Modeling Language. Beyond the Standard, pp. 430-445, Springer LNCS 1723, 1999.
7. Ken L. McMillan. Getting Started with SMV. http://wwwcad.eecs.berkeley.edu/kenmcmil/smv/.
8. Mark Richters and Martin Gogolla. Validating UML models and OCL constraints. UML 2000 - The Unified Modeling Language. Advancing the Standard, pp. 265-277, LNCS Vol. 1939. Springer, 2000.