메뉴 건너뛰기




Volumn , Issue , 2010, Pages 1-6

An automatic approach to model checking UML state machines

Author keywords

Model checking; PAT; UML state machines

Indexed keywords

AUXILIARY VARIABLES; DESIGN ISSUES; DYNAMIC BEHAVIORS; FORMAL VERIFICATIONS; MODEL CHECKER; MODELING LANGUAGES; PAT; SOFTWARE DEVELOPMENT; STATE EXPLOSION PROBLEMS; STATE MACHINE; TRACE REFINEMENT; UML DIAGRAMS; UML MODEL; UML STATE MACHINE;

EID: 77956113168     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SSIRI-C.2010.11     Document Type: Conference Paper
Times cited : (38)

References (21)
  • 1
    • 33244480569 scopus 로고    scopus 로고
    • Model checking of state chart models: Survey and research directions
    • cs.SE/0407038
    • P. Bhaduri and S. Ramesh. Model Checking of State chart Models: Survey and Research Directions. CoRR, cs.SE/0407038, 2004.
    • (2004) CoRR
    • Bhaduri, P.1    Ramesh, S.2
  • 5
    • 77951099874 scopus 로고    scopus 로고
    • Symbolic model checking of hierarchical UML state machines
    • Laboratory for Theoretical Computer Science, Espoo, Finland, December
    • J. Dubrovin and T. Junttila. Symbolic model checking of hierarchical UML state machines. Technical Report B23, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007.
    • (2007) Technical Report B23, Helsinki University of Technology
    • Dubrovin, J.1    Junttila, T.2
  • 8
    • 84974676982 scopus 로고    scopus 로고
    • A probabilistic extension of uml statecharts: Specification and verification
    • W. Damm and E.-R. Olderog, editors, Lecture Notes in Computer Science 2469, Oldenburg, Germany, Springer
    • D. Jansen, H. Hermanns, and J. Katoen. A probabilistic extension of uml statecharts: Specification and verification. In W. Damm and E.-R. Olderog, editors, Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 2469, pages 355-374, Oldenburg, Germany, 2002. Springer.
    • (2002) Formal Techniques in Real-time and Fault-tolerant Systems , pp. 355-374
    • Jansen, D.1    Hermanns, H.2    Katoen, J.3
  • 9
    • 0000381112 scopus 로고    scopus 로고
    • Automatic verification of a behavioural subset of UML state chart diagrams using the spin model-checker
    • December
    • D. Latella, I. Majzik, and M. Massink. Automatic Verification of a Behavioural Subset of UML State chart Diagrams Using the SPIN Model-checker. Formal Aspects of Computing, V11(6):637-664, December 1999.
    • (1999) Formal Aspects of Computing , vol.11 , Issue.6 , pp. 637-664
    • Latella, D.1    Majzik, I.2    Massink, M.3
  • 15
    • 84948990715 scopus 로고    scopus 로고
    • Tool support for visualizing CSP in UML
    • London, UK, Springer-Verlag
    • M. Y. Ng and M. J. Butler. Tool Support for Visualizing CSP in UML. In ICFEM'02, pages 287-298, London, UK, 2002. Springer-Verlag.
    • (2002) ICFEM'02 , pp. 287-298
    • Ng, M.Y.1    Butler, M.J.2
  • 16
    • 0141684326 scopus 로고    scopus 로고
    • Feburary, Version 2.2.
    • OMG. Unified Modeling Language Superstructure Version 2.2. http://www.omg.org/spec/UML/2.2/Superstructure/PDF/, Feburary 2009.
    • (2009) Unified Modeling Language Superstructure
  • 18
    • 78649825330 scopus 로고    scopus 로고
    • Model checking CSP revisited: Introducing a process analysis toolkit
    • Springer
    • J. Sun, Y. Liu, and J. S. Dong. Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. In ISoLA 2008, pages 307-322. Springer, 2008.
    • (2008) ISoLA 2008 , pp. 307-322
    • Sun, J.1    Liu, Y.2    Dong, J.S.3
  • 19
    • 71049137016 scopus 로고    scopus 로고
    • PAT: Towards flexible verification under fairness
    • Grenoble, France, June
    • J. Sun, Y. Liu, J. S. Dong and J. Pang. PAT: Towards Flexible Verification under Fairness. In CAV 2009, pages 702-708, Grenoble, France, June 2009.
    • (2009) CAV 2009 , pp. 702-708
    • Sun, J.1    Liu, Y.2    Dong, J.S.3    Pang, J.4
  • 20
    • 77956104003 scopus 로고    scopus 로고
    • Specifying and verifying event-based fairness enhanced systems
    • volume 5256 of LNCS, Springer
    • J. Sun, Y. Liu, J. S. Dong, and H. H. Wang. Specifying and Verifying Event-based Fairness Enhanced Systems. In ICFEM 2008, volume 5256 of LNCS, pages 318-337. Springer, 2008.
    • (2008) ICFEM 2008 , pp. 318-337
    • Sun, J.1    Liu, Y.2    Dong, J.S.3    Wang, H.H.4
  • 21
    • 33847312772 scopus 로고    scopus 로고
    • Improvements towards formalizing UML state diagrams in CSP
    • Washington, DC, USA, IEEE Computer Society
    • W. L. Yeung, K. R. P. H. Leung, J. Wang, and W. Dong. Improvements Towards Formalizing UML State Diagrams in CSP. In APSEC'05, pages 176-184, Washington, DC, USA, 2005. IEEE Computer Society.
    • (2005) APSEC'05 , pp. 176-184
    • Yeung, W.L.1    Leung, K.R.P.H.2    Wang, J.3    Dong, W.4


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.