Research on model checking technology of UML

Proceedings - 2012 International Conference on Computer Science and Service System, CSSS 2012

Volumn , Issue , 2012, Pages 2337-2340

  Ji, Lixia ^a   Ma, Jianhong ^a   Shan, Zhuowei ^b  

^a ZHENGZHOU UNIVERSITY   (China)

^b People's Bank of China   (China)

Author keywords

metamodel; model checking; PROMELA; SPIN; state machine; UML

Indexed keywords

META MODEL; PROMELA; SPIN; STATE MACHINE; UML;

AUTOMATA THEORY; COMPUTER SCIENCE; SEMANTICS; UNIFIED MODELING LANGUAGE;

MODEL CHECKING;

EID: 84873870932     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSSS.2012.580     Document Type: Conference Paper

References (9)

1. Object Management Group (OMG). OMG Unified Modeling Language [S]. Specification-version 1. 4, Sept. 2001. Available at http://www. omg. org/uml.
2. E. M. Clarke, O. Grumberg, D. A. Peled. Model Checking [M]., CambridgeMassachusetts: The MIT Press. 2001.
3. J. M. Schumann. Automated Theorem Proving in Software Engineering [M]. BerlinSpringer-Verlag, 2001.
4. Holzmann, G. J.: The Spin Model Checker. Addison Wesley (2004).
5. T. Jussila, J. Dubrovin, T. Junttila etc. Model Checking Dynamic and Hierarchial UML State Machines [C]. Proc of MoDeV2a Model Development, Validation and Verification. 3rd International Workshop, Genova, Italy, 2006.
6. T. Santen, D. Seifert. Executing UML State Machines [R]. Technical Report 0406 of Fakultat fur Elektrotechnik and Informatik. Technische-University at Berlin, 2006.
7. Dong wei, Wang ji, Qi zhi-chang etcModel checing of UML state machine [J].computer engineering and science, 2001, 23 (06).
8. W. E. McUmber, B. H. Cheng. A General Framework for Formalizing UML with Formal Languages [C]. Proc. IEEE International Conference on Software Engineering (ICSE01), Toronto, Canada. 2001.
9. A. Knapp, S. Merz. Model checking and code generation for UML state machines and collaborations [C]. Proc. 5th Workshop on Tools for System Design and Verification. Reisenburg, Germany, 2002.