-
1
-
-
5044222344
-
On formalizing UML with high-level Petri Nets
-
In G. Agha and F. De Cindio, editors
-
[BP01] Luciano Baresi and Mauro Pezzè. On formalizing UML with high-level Petri Nets. In G. Agha and F. De Cindio, editors, Proc. Concurrent Object-Oriented Programming and Petri Nets, volume 2001 of Lecture Notes in Computer Science, pages 271-300, 2001.
-
(2001)
Proc. Concurrent Object-Oriented Programming and Petri Nets, Volume 2001 of Lecture Notes in Computer Science
, pp. 271-300
-
-
Baresi, L.1
Pezzè, M.2
-
3
-
-
0001006870
-
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
-
4
-
-
34548150508
-
Handbook of Graph Grammars and Computing by Graph Transformation
-
editors, Singapore
-
[EEKR99] Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 2: Applications, Languages and Tools. World Scientific, Singapore, 1999.
-
(1999)
Applications, Languages and Tools. World Scientific
, vol.2
-
-
Ehrig, H.1
Engels, G.2
Kreowski, H.-J.3
Rozenberg, G.4
-
5
-
-
33746469481
-
Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
-
[EHHS00] Gregor Engels, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In Andy Evans, Stuart Kent, and Bran Selic, editors, UML 2000-The Unified Modeling Language. Advancing the Standard, volume 1939 of Lecture Notes in Computer Science, pages 323-337, 2000.
-
(2000)
Andy Evans, Stuart Kent, and Bran Selic, Editors, UML 2000-The Unified Modeling Language. Advancing the Standard, Volume 1939 of Lecture Notes in Computer Science
, pp. 323-337
-
-
Engels, G.1
Hausmann, J.H.2
Heckel, R.3
Sauer, S.4
-
6
-
-
33847025687
-
Handbook of Graph Grammars and Computing by Graph Transformation
-
editors, Singapore
-
[EKMR99] Hartmut Ehrig, Hans-J¨org Kreowski, Ugo Montanari, and Grzegorz Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 3: Concurrency, Parallelism, and Distribution. World Scientific, Singapore, 1999.
-
(1999)
Concurrency, Parallelism, and Distribution. World Scientific
, vol.3
-
-
Ehrig, H.1
Kreowski, H.-J.2
Montanari, U.3
Rozenberg, G.4
-
8
-
-
8644267243
-
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
-
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
-
10
-
-
0009451209
-
Nested graph transformation units
-
[KKS97] Hans-Jörg Kreowski, Sabine Kuske, and Andy Schürr. Nested graph transformation units. International Journal on Software Engineering and Knowledge Engineering, 7(4):479-502, 1997.
-
(1997)
International Journal on Software Engineering and Knowledge Engineering
, vol.7
, Issue.4
, pp. 479-502
-
-
Kreowski, H.-J.1
Kuske, S.2
Andy, S.3
-
11
-
-
84949958294
-
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
-
12
-
-
84957026796
-
Rewrite rules and operational semantics for model checking UML statecharts
-
In Andy Evans, Stuart Kent, and Bran Selic, editors
-
[Kwo00] Gihwon Kwon. Rewrite rules and operational semantics for model checking UML statecharts. In Andy Evans, Stuart Kent, and Bran Selic, editors, Proc. UML 2000-The Unified Modeling Language. Advancing the Standard, volume 1939 of Lecture Notes in Computer Science, pages 528-540, 2000.
-
(2000)
Proc. UML 2000-The Unified Modeling Language. Advancing the Standard, Volume 1939 of Lecture Notes in Computer Science
, pp. 528-540
-
-
Kwon, G.1
-
13
-
-
0002404838
-
Towards a formal operational semantics of UML statechart diagrams
-
Florence, Italy, February 15-18, 1999. Kluwer
-
[LMM99] Diego Latella, Istvan Majzik, and Mieke Massink. Towards a formal operational semantics of UML statechart diagrams. In Proc. FMOODS’99, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, Florence, Italy, February 15-18, 1999. Kluwer, 1999.
-
(1999)
Proc. FMOODS’99, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems,
-
-
Latella, D.1
Majzik, I.2
Massink, M.3
-
14
-
-
84947758978
-
Formalising UML state machines for model checking
-
In Robert France and Bernhard Rumpe, editors
-
[LP99] Johan Lilius and Ivan Porres Paltor. Formalising UML state machines for model checking. In Robert France and Bernhard Rumpe, editors, Proc. UML’99-The Unified Modeling Language. Beyond the Standard, volume 1723 of Lecture Notes in Computer Science, pages 430-445, 1999.
-
(1999)
Proc. UML’99-The Unified Modeling Language. Beyond the Standard, Volume 1723 of Lecture Notes in Computer Science
, pp. 430-445
-
-
Lilius, J.1
Paltor, I.P.2
-
15
-
-
84948662619
-
Semantics of full statecharts based on graph rewriting
-
In Hans-Jürgen Schneider and Hartmut Ehrig, editors
-
[MP94] Andrea Maggiolo-Schettini and Adriano Peron. Semantics of full statecharts based on graph rewriting. In Hans-Jürgen Schneider and Hartmut Ehrig, editors, Proc. Graph Transformation in Computer Science, volume 776 of Lecture Notes in Computer Science, pages 265-279, 1994.
-
(1994)
Proc. Graph Transformation in Computer Science, Volume 776 of Lecture Notes in Computer Science,
, pp. 265-279
-
-
Maggiolo-Schettini, R.1
Peron, A.2
-
16
-
-
84949044613
-
-
[OMG99] OMG. UML 1.3 documentation, 1999. Available at http://www.rational.com/uml/resources/documentation.
-
(1999)
-
-
-
17
-
-
78751550673
-
Consistent behaviour representation in activity and sequence diagrams
-
In Andy Evans, Stuart Kent, and Bran Selic, editors
-
[PS00] Dorina C. Petriu and Yimei Sun. Consistent behaviour representation in activity and sequence diagrams. In Andy Evans, Stuart Kent, and Bran Selic, editors, Proc. UML 2000-The Unified Modeling Language. Advancing the Standard, volume 1939 of Lecture Notes in Computer Science, pages 359-368, 2000.
-
(2000)
Proc. UML 2000-The Unified Modeling Language. Advancing the Standard, Volume 1939 of Lecture Notes in Computer Science
, pp. 359-368
-
-
Petriu, D.C.1
Sun, Y.2
-
18
-
-
84945288192
-
Analysing UML active classes and associated state machines-A lightweight formal approach
-
n Tom Maibaum, editor
-
[RACH00] Gianna Reggio, Egidio Astesiano, Christine Choppy, and Heinrich Hussmann. Analysing UML active classes and associated state machines-A lightweight formal approach. In Tom Maibaum, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2000), Berlin, Germany, volume 1783 of Lecture Notes in Computer Science, 2000.
-
(2000)
Proc. Fundamental Approaches to Software Engineering (FASE 2000), Berlin, Germany, Volume 1783 of Lecture Notes in Computer Science
-
-
Reggio, G.1
Astesiano, E.2
Choppy, C.3
Hussmann, H.4
-
21
-
-
1642601076
-
Consistency analysis of UML class and sequence diagrams using attributed graph grammars
-
, Report Nr. 2000-2, Technical University of Berlin
-
[TE00] Aliki Tsiolakis and Hartmut Ehrig. Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In Hartmut Ehrig and Gabriele taentzer, editors, Proc. Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems, Report Nr. 2000-2, Technical University of Berlin, pages 77-86, 2000
-
(2000)
Hartmut Ehrig and Gabriele Taentzer, Editors, Proc. Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems
, pp. 77-86
-
-
Tsiolakis, A.1
Ehrig, H.2
|