메뉴 건너뛰기




Volumn 2505, Issue , 2002, Pages 378-392

A formal semantics of UML statecharts by model transition systems

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; GRAPH THEORY;

EID: 84937211598     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45832-8_28     Document Type: Conference Paper
Times cited : (65)

References (24)
  • 6
    • 33746469481 scopus 로고    scopus 로고
    • Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
    • A. Evans, S. Kent, and B. Selic, editors, LNCS, Springer
    • G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In A. Evans, S. Kent, and B. Selic, editors, UML 2000 - The Unified Modeling Language. Advancing the Standard, volume 1939 of LNCS, pages 323–337. Springer, 2000.
    • (2000) UML 2000 - the Unified Modeling Language. Advancing the Standard , vol.1939 , pp. 323-337
    • Engels, G.1    Hausmann, J.H.2    Heckel, R.3    Sauer, S.4
  • 7
    • 8644267243 scopus 로고    scopus 로고
    • State diagrams in UML: A formal semantics using graph transformations
    • M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Technische Universität München, TUM-I9803
    • M. Gogolla and F. Parisi-Presicce. State diagrams in UML: A formal semantics using graph transformations. In M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Proceedings PSMT’98 Workshop on Precise Semantics for Modeling Techniques. Technische Universität München, TUM-I9803, 1998.
    • (1998) Proceedings PSMT’98 Workshop on Precise Semantics for Modeling Techniques
    • Gogolla, M.1    Parisi-Presicce, F.2
  • 8
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231–274, 1987.
    • (1987) Science of Computer Programming , vol.8 , Issue.3 , pp. 231-274
    • Harel, D.1
  • 11
    • 84948983390 scopus 로고    scopus 로고
    • A formal semantics of UML state machines based on structured graph transformation
    • M. Gogolla and C. Kobryn, editors, Springer
    • S. Kuske. A formal semantics of UML state machines based on structured graph transformation. In M. Gogolla and C. Kobryn, editors, UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools, volume 2185 of LNCS, pages 241–256. Springer, 2001.
    • (2001) UML 2001: The Unified Modeling Language. Modeling Languages, Concepts and Tools , vol.2185 , pp. 241-256
    • Kuske, S.1
  • 12
    • 84957026796 scopus 로고    scopus 로고
    • Rewrite rules and operational semantics for model checking UML statecharts
    • A. Evans, S. Kent, and B. Selic, editors, York, UK, October 2000, Proceedings, of LNCS, Springer
    • G. Kwon. Rewrite rules and operational semantics for model checking UML statecharts. In A. Evans, S. Kent, and B. Selic, editors, UML 2000 - The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, October 2000, Proceedings, volume 1939 of LNCS, pages 528–540. Springer, 2000.
    • (2000) UML 2000 - the Unified Modeling Language. Advancing the Standard. Third International Conference , vol.1939 , pp. 528-540
    • Kwon, G.1
  • 13
    • 0000381112 scopus 로고    scopus 로고
    • Automatic verification of UML statechart diagrams using the SPIN model-checker
    • D. Latella, I. Majzik, and M. Massink. Automatic verification of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11(6):637–664, 1999.
    • (1999) Formal Aspects of Computing , vol.11 , Issue.6 , pp. 637-664
    • Latella, D.1    Majzik, I.2    Massink, M.3
  • 14
    • 84957631215 scopus 로고    scopus 로고
    • Hierarchical automata as model for statecharts
    • R. Shyamasundar and K. Euda, editors, of LNCS, Springer-Verlag
    • E. Mikk, Y. Lakhnech, and M. Siegel. Hierarchical automata as model for statecharts. In R. Shyamasundar and K. Euda, editors, ASIAN’97 Third Asian Computing Conference. Advances in Computer Science, volume 1345 of LNCS, pages 181–196. Springer-Verlag, 1997.
    • (1997) ASIAN’97 Third Asian Computing Conference. Advances in Computer Science , vol.1345 , pp. 181-196
    • Mikk, E.1    Lakhnech, Y.2    Siegel, M.3
  • 17
    • 33847246736 scopus 로고    scopus 로고
    • Handbook of Graph Grammars and Computing by Graph Transformations: Foundations
    • G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations: Foundations. World Scientific, 1997.
    • (1997) World Scientific
    • Rozenberg, G.1
  • 19
    • 0000632247 scopus 로고    scopus 로고
    • [4], chapter The PROGRES Approach: Language and Environment, World Scientific
    • A. Schürr, A. J. Winter, and A. Zündorf. In [4], chapter The PROGRES Approach: Language and Environment, pages 487–550. World Scientific, 1999.
    • (1999) , pp. 487-550
    • Schürr, A.1    Winter, A.J.2    Zündorf, A.3
  • 20
    • 17944369503 scopus 로고    scopus 로고
    • An outline of PVS semantics for UML Statecharts
    • I. Traoré. An outline of PVS semantics for UML Statecharts. Journal of Universal Computer Science, 6(11):1088–1108, Nov. 2000.
    • (2000) Journal of Universal Computer Science , vol.6 , Issue.11 , pp. 1088-1108
    • Traoré, I.1
  • 23
    • 0036642571 scopus 로고    scopus 로고
    • Designing the automatic transformation of visual languages
    • August, To appear
    • D. Varró, G. Varró, and A. Pataricza. Designing the automatic transformation of visual languages. Science of Computer Programming, 44(2), August 2002. To appear.
    • (2002) Science of Computer Programming , vol.44 , Issue.2
    • Varró, D.1    Varró, G.2    Pataricza, A.3


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