메뉴 건너뛰기




Volumn 2029, Issue , 2001, Pages 109-123

Strengthening UML collaboration diagrams by state transformations

Author keywords

Graph process; Graph transformation; Pre postconditions; UML collaboration diagrams

Indexed keywords

GRAPH THEORY;

EID: 84944261062     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45314-8_9     Document Type: Conference Paper
Times cited : (10)

References (29)
  • 5
    • 0001006870 scopus 로고    scopus 로고
    • Algebraic approaches to graph transformation, Part I: Basic concepts and double pushout approach
    • G. Rozenberg, editor, Foundations, World Scientific
    • A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic approaches to graph transformation, Part I: Basic concepts and double pushout approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, pages 163-245.World Scientific, 1997.
    • (1997) Handbook of Graph Grammars and Computing by Graph Transformation , vol.1 , pp. 163-245
    • Corradini, A.1    Montanari, U.2    Rossi, F.3    Ehrig, H.4    Heckel, R.5    Löwe, M.6
  • 9
    • 33847246736 scopus 로고    scopus 로고
    • Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency and Distribution
    • H. Ehrig, H.-J. Kreowski, U. Montanari, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency and Distribution. World Scientific, 1999.
    • (1999) World Scientific
    • Ehrig, H.1    Kreowski, H.-J.2    Montanari, U.3    Rozenberg, G.4
  • 16
    • 18944383134 scopus 로고    scopus 로고
    • Graph transformations on the UML metamodel
    • J. D. P. Rolim et al., editors, Geneva, Switzerland, Carleton Scientific
    • M. Gogolla. Graph transformations on the UML metamodel. In J. D. P. Rolim et al., editors, Proc. ICALP Workshops 2000, Geneva, Switzerland, pages 359-371. Carleton Scientific, 2000.
    • (2000) Proc. ICALP Workshops 2000 , pp. 359-371
    • Gogolla, M.1
  • 18
    • 0001264698 scopus 로고    scopus 로고
    • Horizontal and vertical structuring of typed graph transformation systems
    • R. Heckel, A. Corradini, H. Ehrig, and M. LÖwe. Horizontal and vertical structuring of typed graph transformation systems. Math. Struc. in Comp. Science, 6(6):613-648, 1996.
    • (1996) Math. Struc. In Comp. Science , vol.6 , Issue.6 , pp. 613-648
    • Heckel, R.1    Corradini, A.2    Ehrig, H.3    Löwe, M.4
  • 19
    • 0035117917 scopus 로고    scopus 로고
    • Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
    • January
    • R. Heckel, H. Ehrig, U. Wolter, and A. Corradini. Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. Applied Categorical Structures, 9(1), January 2001.
    • (2001) Applied Categorical Structures , vol.9 , Issue.1
    • Heckel, R.1    Ehrig, H.2    Wolter, U.3    Corradini, A.4
  • 20
    • 84944227790 scopus 로고    scopus 로고
    • Strengthening the semantics of UML collaboration diagrams
    • G. Reggio, A. Knapp, B. Rumpe, B. Selic, and R. Wieringa, editors, October, Tech. Report no. 0006, Ludwig-Maximilians-University Munich, Germany
    • R. Heckel and St. Sauer. Strengthening the semantics of UML collaboration diagrams. In G. Reggio, A. Knapp, B. Rumpe, B. Selic, and R. Wieringa, editors, UML'2000 Workshop on Dynamic Behavior in UML Models: Semantic Questions, pages 63-69. October 2000. Tech. Report no. 0006, Ludwig-Maximilians-University Munich, Germany.
    • (2000) UML'2000 Workshop on Dynamic Behavior in UML Models: Semantic Questions , pp. 63-69
    • Heckel, R.1    Sauer, S.T.2
  • 23
    • 85026563474 scopus 로고    scopus 로고
    • On asynchrony in name-passing calculi
    • Springer-Verlag
    • M. Merro and D. Sangiorgi. On asynchrony in name-passing calculi. In Proc. ICALP'98, volume 1443 of LNCS, pages 856-867. Springer-Verlag, 1998.
    • (1998) Proc. ICALP'98, Volume 1443 of LNCS , pp. 856-867
    • Merro, M.1    Sangiorgi, D.2
  • 25
  • 27
    • 34250124963 scopus 로고
    • Modeling concurrency with partial orders
    • February
    • V. Pratt. Modeling concurrency with partial orders. Int. Journal. of Parallel Programming, 15(1):33-71, February 1986.
    • (1986) Int. Journal. Of Parallel Programming , vol.15 , Issue.1 , pp. 33-71
    • Pratt, V.1


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