Semantics of Visual Models in a Rule-based Setting

Akehurst, 2002, A relational approach to defining transformations in a metamodel, volume 2460, 243 Bardohl, 1999, Application of graph transformation to visual languages, 105 Luciano Baresi. Formal customization of graphical notations. PhD thesis, Dipartimento di Elettronica e Informazione – Politecnico di Milano, 1997. In Italian Berry, 1992, The chemical abstract machine, Theoretical Computer Science, 96, 217, 10.1016/0304-3975(92)90185-I Booch, 1998 Cordes, 2004, UML Interaction Diagrams: Correct translation of sequence diagrams into collaboration diagrams, volume 3062, 275 Corradini, 2000, Graphical operational semantics Engels, 2002, Consistency-preserving model evolution through transformations, volume 2460 Engels, 2001, A methodology for specifying and analyzing consistencies of object-oriented behavioral models, volume 1301, 327 Engels, 2000, Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML, volume 1939, 323 Engels, 2001, Rule-based specification of behavioral consistency based on the UML meta-model, volume 2185, 272 Rodney Farrow Ken Kennedy, and Linda Zucconi. Graph grammars and global program data flow analysis. In Proc. 17th Annual IEEE Symposium on Foundations of Computer Science, pages 42–56, Houston, 1976 Hausmann, 2004, Dynamic meta modeling with time: Specifying the semantics of multimedia sequence diagram, Journal of Software and Systems Modelling, 3, 81 Heckel, 2001, How to specify a graph transformation approach: A meta model for FUJABA, Electronic Notes in TCS, 44 Hoffmann, 2000, A generic model for diagram syntax and semantics, 443 Kfoury, 1982 Kreowski, 1993, Translations into the graph grammar machine, 171 Kreowski, 1999, Graph transformation units with interleaving semantics, Formal Aspects of Computing, 11, 90, 10.1007/s001659970005 Kreowski, 2003, Approach-independent structuring concepts for rule-based systems, vol. 2755, 299 Kreowski, 1997, Nested graph transformation units, International Journal on Software Engineering and Knowledge Engineering, 7, 79, 10.1142/S0218194097000278 Kuske, 2001, A formal semantics of UML state machines based on structured graph transformation, volume 2185, 241 Kuske, 2002, An integrated semantics for UML class, object and state diagrams based on graph transformation, volume 2335, 11 de Lara, 2002, A tool for multi-formalism and meta-modelling, vol. 2306, 174 Maggiolo-Schettini, 1994, Semantics of full statecharts based on graph rewriting, volume 776, 265 Meseguer, 1992, Conditional rewriting logic as a unified model of concurrency, Theoretical Computer Science, 96, 73, 10.1016/0304-3975(92)90182-F Pratt, 1971, Pair grammars, graph languages and string-to-graph translations, Journal of Computer and System Sciences, 5, 60, 10.1016/S0022-0000(71)80016-8 1997 Schürr, 1994, Specification of graph translators with triple graph grammars, volume 903, 151 Aliki Tsiolakis and Hartmut Ehrig. Consistency analysis of UML class and sequence diagrams using attributed graph grammars. In Hartmut Ehrig, Gabriele Taentzer, editors, Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (2000), Technical Report No. 2000/2, pages 77–86, Technical University of Berlin Varró, 1994, A formal semantics of UML statecharts by model transition systems, volume 2505, 378