A toolset for supporting UML static and dynamic model checking

Proceedings-IEEE Computer Society's International Computer Software and Applications Conference

Volumn , Issue , 2002, Pages 147-152

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

^a Parkview Campus   (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

^c KETTERING UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION LANGUAGES; CONSTRAINT THEORY; DYNAMIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; SEMANTICS; THEOREM PROVING;

DYNAMIC MODEL CHECKING; SEMANTIC MODEL; STATIC DYNAMIC MODEL CHECKING; STATIC MODEL CHECKING; UNIFIED MODELING LANGUAGE; VALIDATION LANGUAGE;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0036389503     PISSN: 07303157     EISSN: None     Source Type: Journal    
DOI: 10.1109/CMPSAC.2002.1044545     Document Type: Article

References (16)

1. Abstract State Machine Homepage edited by J. Huggins: http://www.eecs.umich.edu/gasm.
2. Matthias Anlauff, XASM- An Extensible, Component-Based Abstract State Machines Language, Proceeding of Abstract State Machine Workshop, 2000.
3. E. Börger, A. Cavarra, and E. Riccobene. "An ASM Semantics for UML Activity Diagrams", 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, Springer LNCS 1816, 2000, 293-308.
4. Egon Börger, A. Cavarra, and E. Riccobene. Modeling the Dynamic of UML State Machines, Proceeding of International Workshop, ASM 2000, Monte Verita, Switzerland, Volume 1912 of LNCS, pp. 232-241, Springer Verlag, Mar. 2000.
5. Alessandra Cavarra, E. Riccobene. Simulating UML Statecharts, Formal Methods and Tools for Computer Science, Proceeding of EUROCAST 2001, pp 224-227, Gran Canaria, Spain Feb. 2001.
6. R. Bourdeau and B. Cheng, A Formal Semantics for Object Model Diagrams, IEEE Transactions on Software Engineering, Vol. 21, No. 10, pp 799-821, Oct., 1995
7. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E.Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
8. D. Jackson, I. Schechter and I. Shlyakhter, Aloca: The Alloy Constraint Analyzer, Proc. International Conference on Software Engineering, Limerick, Ireland, June 2000.
9. D. Jackson, Alloy: A lightweight Object Modeling Notation, http://sdg.lcs.mit.edu/dnj/publications.html, July 2000.
10. Johan Lilius and Ivan Porres Paltor, vUML: a Tool for Verifying UML Models, TUCS Technical Report No. 272, May 1999.
11. J. Lilius, I. P. Paltor. Formalizing UML state machines for model checking, TUCS Techical Report No. 273, June 1999.
12. Ken L. McMillan. Getting Started with SMV. http://www-cad.eecs.berkeley.edu/kenmcmil/smv/.
13. Mark Richters and Martin Gogolla. Validating UML models and OCL constraints. UML 2000-The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, LNCS Vol. 1939, Springer, 2000.
14. Wuwei Shen, Kevin Compton, James Huggins. A Validation Method for a UML Model Based on Abstract State Machines. Formal Methods and Tools for Computer Science, Proceeding of EUROCAST 2001, pp 220-223, Gran Canaria, Spain Feb. 2001.
15. W. Shen. The Application of Abstract State Machines in Software Engineering, PHD thesis, Dept of EECS, The University of Michigan, Sep 2001.
16. Rational Software Corporation, Unified Modeling Language (UML), version 1.3, http://www.rational.com, 1999.