메뉴 건너뛰기




Volumn 2185, Issue , 2001, Pages 241-

A formal semantics of UML state machines based on structured graph transformation

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; GRAPH THEORY; MODULAR CONSTRUCTION; SEMANTICS;

EID: 84948983390     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45441-1_19     Document Type: Conference Paper
Times cited : (58)

References (21)
  • 3
    • 0001006870 scopus 로고    scopus 로고
    • Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach
    • [Roz97]
    • [CEH+97] Andrea Corradini, Hartmut Ehrig, Reiko Heckel, Michael Löwe, Ugo Montanari, and Francesca Rossi. Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach. In Rozenberg [Roz97].
    • In Rozenberg
    • Corradini, R.1    Ehrig, H.2    Heckel, R.3    Löwe, M.4    Montanari, U.5    Rossi, F.6
  • 8
    • 8644267243 scopus 로고    scopus 로고
    • State diagrams in UML: A formal semantics using graph transformations
    • In Manfred Broy, Derek Coleman, Tom Maibaum, and Bernhard Rumpe, editors
    • [GP98] Martin Gogolla and Francesco Parisi Presicce. State diagrams in UML: A formal semantics using graph transformations. In Manfred Broy, Derek Coleman, Tom Maibaum, and Bernhard Rumpe, editors, Proc. ICSE’98 Workshop Precise Semantics of Modeling Techniques, Technical Report TUM-I9803, pages 55-72, 1998.
    • (1998) Proc. ICSE’98 Workshop Precise Semantics of Modeling Techniques, Technical Report TUM-I9803 , pp. 55-72
    • Gogolla, M.1    Presicce, F.P.2
  • 9
    • 0043284482 scopus 로고    scopus 로고
    • Graph transformation units with interleaving semantics
    • [KK99] Hans-Jörg Kreowski and Sabine Kuske. Graph transformation units with interleaving semantics. Formal Aspects of Computing, 11(6):690-723, 1999.
    • (1999) Formal Aspects of Computing , vol.11 , Issue.6 , pp. 690-723
    • Kreowski, H.-J.1    Kuske, S.2
  • 11
    • 84949958294 scopus 로고    scopus 로고
    • More about control conditions for transformation units
    • n Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors
    • [Kus00] Sabine Kuske. More about control conditions for transformation units. In Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors, Proc. Theory and Application of Graph Transformations, volume 1764 of Lecture Notes in Computer Science, pages 323-337, 2000.
    • (2000) Proc. Theory and Application of Graph Transformations, Volume 1764 of Lecture Notes in Computer Science , pp. 323-337
    • Kuske, S.1
  • 16
    • 84949044613 scopus 로고    scopus 로고
    • [OMG99] OMG. UML 1.3 documentation, 1999. Available at http://www.rational.com/uml/resources/documentation.
    • (1999)


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