[{"author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"},{"first_name":"Uwe","last_name":"Wolter","full_name":"Wolter, Uwe"},{"full_name":"Corradini, Andrea","first_name":"Andrea","last_name":"Corradini"}],"year":"1997","status":"public","title":"Loose Semantics and Constraints for Graph Transformation Systems","date_updated":"2022-01-06T07:03:52Z","_id":"8201","language":[{"iso":"eng"}],"user_id":"52534","citation":{"ama":"Heckel R, Ehrig H, Wolter U, Corradini A. <i>Loose Semantics and Constraints for Graph Transformation Systems</i>.; 1997.","bibtex":"@book{Heckel_Ehrig_Wolter_Corradini_1997, title={Loose Semantics and Constraints for Graph Transformation Systems}, author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={1997} }","mla":"Heckel, Reiko, et al. <i>Loose Semantics and Constraints for Graph Transformation Systems</i>. 1997.","short":"R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems, 1997.","chicago":"Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. <i>Loose Semantics and Constraints for Graph Transformation Systems</i>, 1997.","apa":"Heckel, R., Ehrig, H., Wolter, U., &#38; Corradini, A. (1997). <i>Loose Semantics and Constraints for Graph Transformation Systems</i>.","ieee":"R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, <i>Loose Semantics and Constraints for Graph Transformation Systems</i>. 1997."},"report_number":"97-07","date_created":"2019-03-03T16:12:57Z","department":[{"_id":"66"}],"type":"report"},{"date_created":"2019-03-04T12:25:42Z","place":"Bordeaux","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)","citation":{"mla":"Gadducci, Fabio, and Reiko Heckel. “A 2-Categorical Presentation of Distributed Graph Transformation.” <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","ama":"Gadducci F, Heckel R. A 2-Categorical Presentation of Distributed Graph Transformation. In: <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux; 1997.","bibtex":"@inproceedings{Gadducci_Heckel_1997, place={Bordeaux}, title={A 2-Categorical Presentation of Distributed Graph Transformation}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Gadducci, Fabio and Heckel, Reiko}, year={1997} }","apa":"Gadducci, F., &#38; Heckel, R. (1997). A 2-Categorical Presentation of Distributed Graph Transformation. In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux.","ieee":"F. Gadducci and R. Heckel, “A 2-Categorical Presentation of Distributed Graph Transformation,” in <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","short":"F. Gadducci, R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.","chicago":"Gadducci, Fabio, and Reiko Heckel. “A 2-Categorical Presentation of Distributed Graph Transformation.” In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux, 1997."},"language":[{"iso":"eng"}],"_id":"8276","user_id":"52534","title":"A 2-Categorical Presentation of Distributed Graph Transformation","status":"public","year":"1997","author":[{"full_name":"Gadducci, Fabio","first_name":"Fabio","last_name":"Gadducci"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"}],"date_updated":"2022-01-06T07:03:53Z"},{"publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)","citation":{"mla":"Gadducci, Fabio, et al. “Combining Graph Transformations with Temporal Logic.” <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","bibtex":"@inproceedings{Gadducci_Heckel_Koch_1997, place={Bordeaux}, title={Combining Graph Transformations with Temporal Logic}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1997} }","ama":"Gadducci F, Heckel R, Koch M. Combining Graph Transformations with Temporal Logic. In: <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux; 1997.","ieee":"F. Gadducci, R. Heckel, and M. Koch, “Combining Graph Transformations with Temporal Logic,” in <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","apa":"Gadducci, F., Heckel, R., &#38; Koch, M. (1997). Combining Graph Transformations with Temporal Logic. In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux.","chicago":"Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Combining Graph Transformations with Temporal Logic.” In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. Bordeaux, 1997.","short":"F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997."},"date_created":"2019-03-04T12:25:44Z","place":"Bordeaux","type":"conference","department":[{"_id":"66"}],"title":"Combining Graph Transformations with Temporal Logic","year":"1997","status":"public","author":[{"full_name":"Gadducci, Fabio","first_name":"Fabio","last_name":"Gadducci"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Koch, Manuel","last_name":"Koch","first_name":"Manuel"}],"date_updated":"2022-01-06T07:03:53Z","_id":"8277","language":[{"iso":"eng"}],"user_id":"52534"},{"language":[{"iso":"eng"}],"_id":"8278","publisher":"Springer","series_title":"LNCS","page":"223-237","volume":1376,"user_id":"52534","author":[{"last_name":"Gadducci","first_name":"Fabio","full_name":"Gadducci, Fabio"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"status":"public","title":"An Inductive View of Graph Transformation","year":"1997","intvolume":"      1376","date_updated":"2022-01-06T07:03:53Z","place":"Berlin/Heidelberg","date_created":"2019-03-04T12:25:45Z","department":[{"_id":"66"}],"type":"conference","citation":{"bibtex":"@inproceedings{Gadducci_Heckel_1997, place={Berlin/Heidelberg}, series={LNCS}, title={An Inductive View of Graph Transformation}, volume={1376}, booktitle={Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)}, publisher={Springer}, author={Gadducci, Fabio and Heckel, Reiko}, year={1997}, pages={223–237}, collection={LNCS} }","ama":"Gadducci F, Heckel R. An Inductive View of Graph Transformation. In: <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)</i>. Vol 1376. LNCS. Berlin/Heidelberg: Springer; 1997:223-237.","mla":"Gadducci, Fabio, and Reiko Heckel. “An Inductive View of Graph Transformation.” <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)</i>, vol. 1376, Springer, 1997, pp. 223–37.","chicago":"Gadducci, Fabio, and Reiko Heckel. “An Inductive View of Graph Transformation.” In <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)</i>, 1376:223–37. LNCS. Berlin/Heidelberg: Springer, 1997.","short":"F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), Springer, Berlin/Heidelberg, 1997, pp. 223–237.","ieee":"F. Gadducci and R. Heckel, “An Inductive View of Graph Transformation,” in <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)</i>, 1997, vol. 1376, pp. 223–237.","apa":"Gadducci, F., &#38; Heckel, R. (1997). An Inductive View of Graph Transformation. In <i>Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)</i> (Vol. 1376, pp. 223–237). Berlin/Heidelberg: Springer."},"publication":"Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)"},{"citation":{"apa":"Heckel, R. (1997). Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>.","ieee":"R. Heckel, “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration,” in <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","chicago":"Heckel, Reiko. “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration.” In <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","short":"R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.","mla":"Heckel, Reiko. “Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration.” <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>, 1997.","ama":"Heckel R. Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. In: <i>Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)</i>. ; 1997.","bibtex":"@inproceedings{Heckel_1997, title={Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Heckel, Reiko}, year={1997} }"},"publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-04T12:25:46Z","date_updated":"2022-01-06T07:03:53Z","author":[{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"}],"status":"public","title":"Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration","year":"1997","user_id":"52534","_id":"8279","language":[{"iso":"eng"}]},{"date_updated":"2022-01-06T07:03:36Z","intvolume":"         7","title":"Guest Editors' Introduction","status":"public","year":"1997","author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Jürgen Schneider, Hans","first_name":"Hans","last_name":"Jürgen Schneider"}],"doi":"http://dx.doi.org/10.1142/S0218194097000230","user_id":"52534","volume":7,"page":"397-400","_id":"7402","language":[{"iso":"eng"}],"issue":"4","publication":"International Journal on Software Engineering and Knowledge Engineering (IJSEKE)","citation":{"mla":"Engels, Gregor, and Hans Jürgen Schneider. “Guest Editors’ Introduction.” <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>, vol. 7, no. 4, 1997, pp. 397–400, doi:<a href=\"http://dx.doi.org/10.1142/S0218194097000230\">http://dx.doi.org/10.1142/S0218194097000230</a>.","bibtex":"@article{Engels_Jürgen Schneider_1997, title={Guest Editors’ Introduction}, volume={7}, DOI={<a href=\"http://dx.doi.org/10.1142/S0218194097000230\">http://dx.doi.org/10.1142/S0218194097000230</a>}, number={4}, journal={International Journal on Software Engineering and Knowledge Engineering (IJSEKE)}, author={Engels, Gregor and Jürgen Schneider, Hans}, year={1997}, pages={397–400} }","ama":"Engels G, Jürgen Schneider H. Guest Editors’ Introduction. <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>. 1997;7(4):397-400. doi:<a href=\"http://dx.doi.org/10.1142/S0218194097000230\">http://dx.doi.org/10.1142/S0218194097000230</a>","ieee":"G. Engels and H. Jürgen Schneider, “Guest Editors’ Introduction,” <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>, vol. 7, no. 4, pp. 397–400, 1997.","apa":"Engels, G., &#38; Jürgen Schneider, H. (1997). Guest Editors’ Introduction. <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i>, <i>7</i>(4), 397–400. <a href=\"http://dx.doi.org/10.1142/S0218194097000230\">http://dx.doi.org/10.1142/S0218194097000230</a>","short":"G. Engels, H. Jürgen Schneider, International Journal on Software Engineering and Knowledge Engineering (IJSEKE) 7 (1997) 397–400.","chicago":"Engels, Gregor, and Hans Jürgen Schneider. “Guest Editors’ Introduction.” <i>International Journal on Software Engineering and Knowledge Engineering (IJSEKE)</i> 7, no. 4 (1997): 397–400. <a href=\"http://dx.doi.org/10.1142/S0218194097000230\">http://dx.doi.org/10.1142/S0218194097000230</a>."},"type":"journal_article","department":[{"_id":"66"}],"date_created":"2019-01-31T15:48:56Z"},{"date_created":"2019-01-31T15:49:57Z","department":[{"_id":"66"}],"type":"journal_article","citation":{"short":"G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and Knowledge Engeneering 7 (1997) 457–477.","chicago":"Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A Combined Reference Model- and View-Based Approach to System Specification.” <i>Int. Journal of Software and Knowledge Engeneering</i> 7, no. 4 (1997): 457–77.","apa":"Engels, G., Heckel, R., Taentzer, G., &#38; Ehrig, H. (1997). A Combined Reference Model- and View-Based Approach to System Specification. <i>Int. Journal of Software and Knowledge Engeneering</i>, <i>7</i>(4), 457–477.","ieee":"G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A Combined Reference Model- and View-Based Approach to System Specification,” <i>Int. Journal of Software and Knowledge Engeneering</i>, vol. 7, no. 4, pp. 457–477, 1997.","ama":"Engels G, Heckel R, Taentzer G, Ehrig H. A Combined Reference Model- and View-Based Approach to System Specification. <i>Int Journal of Software and Knowledge Engeneering</i>. 1997;7(4):457-477.","bibtex":"@article{Engels_Heckel_Taentzer_Ehrig_1997, title={A Combined Reference Model- and View-Based Approach to System Specification}, volume={7}, number={4}, journal={Int. Journal of Software and Knowledge Engeneering}, author={Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele and Ehrig, Hartmut}, year={1997}, pages={457–477} }","mla":"Engels, Gregor, et al. “A Combined Reference Model- and View-Based Approach to System Specification.” <i>Int. Journal of Software and Knowledge Engeneering</i>, vol. 7, no. 4, 1997, pp. 457–77."},"publication":"Int. Journal of Software and Knowledge Engeneering","issue":"4","abstract":[{"text":"The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specification technique based on graph transformations which supports such a development approach. The use of graphs and graph transformations allows to satisfy the general requirements of an intuitive understanding and the integration of static and dynamic aspects on a well-defined and sound semantical base. On this background, formal notions of view and view relation are developed and the behaviour of views is described by a loose semantics. View relations are shown to preserve the behaviour of views. Moreover, we define a construction for the automatic integration of views which assumes that the dependencies between different views are described by a reference model. The views and the reference model are kept consistent manually, which is the task of a model manager. In case of more than two views more general scenarios are developed and discussed. We are able to show that the automatic view integration is compatible with the loose semantics, i.e., the behaviour of the system model is exactly the integration of the behaviours of the views. All concepts and results are illustrated at the well-known example of a banking system.","lang":"eng"}],"_id":"7403","language":[{"iso":"eng"}],"page":"457-477","volume":7,"user_id":"52534","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Taentzer, Gabriele","last_name":"Taentzer","first_name":"Gabriele"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"}],"year":"1997","title":"A Combined Reference Model- and View-Based Approach to System Specification","status":"public","intvolume":"         7","date_updated":"2022-01-06T07:03:36Z"},{"type":"book_chapter","department":[{"_id":"66"}],"place":"Singapore","date_created":"2019-02-04T22:41:33Z","abstract":[{"lang":"eng","text":"The algebraic approaches to graph transformation are based on the concept of gluing of graphs corresponding to pushouts in suitable categories of graphs and graph morphisms. This allows one to give not only an explicit algebraic or set theoretical description of the constructions but also to use concepts and results from category theory in order to build up a rich theory and to give elegant proofs even in complex situations. In the previous chapter we have presented an overview of the basic notions and problems common to the two algebraic approaches the double pushout DPO approach and the single pushout SPO approach and their solutions in the DPO approach. In this chapter we introduce the SPO approach to graph transformation and some of its main results. We study application conditions for graph productions and the transformation of more general structures than graphs in the SPO approach where similar generalizations have been or could be studied also in the DPO approach. Finally we present a detailed comparison of the DPO and the SPO approach especially concerning the solutions to the problems discussed for both approaches in the previous chapter."}],"publication":"Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations","citation":{"chicago":"Ehrig, Hartmut, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, and Andrea Corradini. “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach.” In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>, 247–312. Singapore: World Scientific, 1997.","short":"H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, A. Corradini, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 247–312.","apa":"Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., &#38; Corradini, A. (1997). Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i> (pp. 247–312). Singapore: World Scientific.","ieee":"H. Ehrig <i>et al.</i>, “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach,” in <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>, Singapore: World Scientific, 1997, pp. 247–312.","ama":"Ehrig H, Heckel R, Korff M, et al. Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>. Singapore: World Scientific; 1997:247-312.","bibtex":"@inbook{Ehrig_Heckel_Korff_Löwe_Ribeiro_Wagner_Corradini_1997, place={Singapore}, title={Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}, publisher={World Scientific}, author={Ehrig, Hartmut and Heckel, Reiko and Korff, Martin and Löwe, Michael and Ribeiro, Leila and Wagner, Annika and Corradini, Andrea}, year={1997}, pages={247–312} }","mla":"Ehrig, Hartmut, et al. “Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach.” <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations</i>, World Scientific, 1997, pp. 247–312."},"user_id":"52534","page":"247-312","_id":"7515","publisher":"World Scientific","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:39Z","title":"Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach","year":"1997","status":"public","author":[{"last_name":"Ehrig","first_name":"Hartmut","full_name":"Ehrig, Hartmut"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"full_name":"Korff, Martin","last_name":"Korff","first_name":"Martin"},{"full_name":"Löwe, Michael","last_name":"Löwe","first_name":"Michael"},{"first_name":"Leila","last_name":"Ribeiro","full_name":"Ribeiro, Leila"},{"first_name":"Annika","last_name":"Wagner","full_name":"Wagner, Annika"},{"last_name":"Corradini","first_name":"Andrea","full_name":"Corradini, Andrea"}]},{"date_created":"2019-02-04T22:42:34Z","place":"Berlin/Heidelberg","department":[{"_id":"66"}],"type":"book_chapter","citation":{"bibtex":"@inbook{Engels_Rekers_Andries_1997, place={Berlin/Heidelberg}, title={How to represent a visual specification}, booktitle={Visual Language Theory}, publisher={Springer}, author={Engels, Gregor and Rekers, Jan and Andries, Marc}, year={1997}, pages={241–255} }","ama":"Engels G, Rekers J, Andries M. How to represent a visual specification. In: <i>Visual Language Theory</i>. Berlin/Heidelberg: Springer; 1997:241-255.","mla":"Engels, Gregor, et al. “How to Represent a Visual Specification.” <i>Visual Language Theory</i>, Springer, 1997, pp. 241–55.","chicago":"Engels, Gregor, Jan Rekers, and Marc Andries. “How to Represent a Visual Specification.” In <i>Visual Language Theory</i>, 241–55. Berlin/Heidelberg: Springer, 1997.","short":"G. Engels, J. Rekers, M. Andries, in: Visual Language Theory, Springer, Berlin/Heidelberg, 1997, pp. 241–255.","ieee":"G. Engels, J. Rekers, and M. Andries, “How to represent a visual specification,” in <i>Visual Language Theory</i>, Berlin/Heidelberg: Springer, 1997, pp. 241–255.","apa":"Engels, G., Rekers, J., &#38; Andries, M. (1997). How to represent a visual specification. In <i>Visual Language Theory</i> (pp. 241–255). Berlin/Heidelberg: Springer."},"publication":"Visual Language Theory","publisher":"Springer","_id":"7516","language":[{"iso":"eng"}],"page":"241-255","user_id":"52534","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"last_name":"Rekers","first_name":"Jan","full_name":"Rekers, Jan"},{"first_name":"Marc","last_name":"Andries","full_name":"Andries, Marc"}],"status":"public","title":"How to represent a visual specification","year":"1997","date_updated":"2022-01-06T07:03:39Z"},{"abstract":[{"lang":"eng","text":"The algebraic approaches to graph transformation are based on the concept of gluing of graphs, modelled by pushouts in suitable categories of graphs and graph morphisms. This allows one not only to give an explicit algebraic or set theoretical description of the constructions, but also to use concepts and results from category theory in order to build up a rich theory and to give elegant proofs even in complex situations. In this chapter we start with an overwiev of the basic notions common to the two algebraic approaches, the double-pushout (DPO) approach and the singlepushout (SPO) approach; next we present the classical theory and some recent development of the double-pushout approach. The next chapter is devoted instead to the single-pushout approach, and it is closed by a comparison between the two approaches."}],"citation":{"chicago":"Corradini, Andrea, Ugo Montanari, Francesca Rossi, Hartmut Ehrig, Reiko Heckel, and Michael Löwe. “Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach.” In <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations</i>, 163–245. Singapore: World Scientific, 1997.","short":"A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Löwe, in: Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 163–245.","apa":"Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., &#38; Löwe, M. (1997). Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations</i> (pp. 163–245). Singapore: World Scientific.","ieee":"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 <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations</i>, Singapore: World Scientific, 1997, pp. 163–245.","ama":"Corradini A, Montanari U, Rossi F, Ehrig H, Heckel R, Löwe M. Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In: <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations</i>. Singapore: World Scientific; 1997:163-245.","bibtex":"@inbook{Corradini_Montanari_Rossi_Ehrig_Heckel_Löwe_1997, place={Singapore}, title={Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations}, publisher={World Scientific}, author={Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, Hartmut and Heckel, Reiko and Löwe, Michael}, year={1997}, pages={163–245} }","mla":"Corradini, Andrea, et al. “Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach.” <i>Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations</i>, World Scientific, 1997, pp. 163–245."},"publication":"Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations","department":[{"_id":"66"}],"type":"book_chapter","date_created":"2019-02-04T22:48:43Z","place":"Singapore","date_updated":"2022-01-06T07:03:39Z","author":[{"full_name":"Corradini, Andrea","last_name":"Corradini","first_name":"Andrea"},{"last_name":"Montanari","first_name":"Ugo","full_name":"Montanari, Ugo"},{"last_name":"Rossi","first_name":"Francesca","full_name":"Rossi, Francesca"},{"last_name":"Ehrig","first_name":"Hartmut","full_name":"Ehrig, Hartmut"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Löwe, Michael","last_name":"Löwe","first_name":"Michael"}],"title":"Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach","status":"public","year":"1997","user_id":"52534","language":[{"iso":"eng"}],"_id":"7517","publisher":"World Scientific","page":"163-245"},{"user_id":"52534","volume":26,"editor":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"},{"first_name":"Grzegorz","last_name":"Rozenberg","full_name":"Rozenberg, Grzegorz"},{"last_name":"Skowron","first_name":"Andrzej","full_name":"Skowron, Andrzej"}],"_id":"7796","series_title":"Fundamenta Informaticae","language":[{"iso":"eng"}],"publisher":"IOS Press","date_updated":"2022-01-06T07:03:46Z","intvolume":"        26","year":"1996","status":"public","title":"Special Issue on Graph Transformations","type":"conference_editor","department":[{"_id":"66"}],"date_created":"2019-02-19T19:17:49Z","place":"Amsterdam","issue":"3-4","citation":{"mla":"Engels, Gregor, et al., editors. <i>Special Issue on Graph Transformations</i>. Vol. 26, no. 3–4, IOS Press, 1996.","ama":"Engels G, Ehrig H, Rozenberg G, Skowron A, eds. <i>Special Issue on Graph Transformations</i>. Vol 26. Amsterdam: IOS Press; 1996.","bibtex":"@book{Engels_Ehrig_Rozenberg_Skowron_1996, place={Amsterdam}, series={Fundamenta Informaticae}, title={Special Issue on Graph Transformations}, volume={26}, number={3–4}, publisher={IOS Press}, year={1996}, collection={Fundamenta Informaticae} }","apa":"Engels, G., Ehrig, H., Rozenberg, G., &#38; Skowron, A. (Eds.). (1996). <i>Special Issue on Graph Transformations</i> (Vol. 26). Amsterdam: IOS Press.","ieee":"G. Engels, H. Ehrig, G. Rozenberg, and A. Skowron, Eds., <i>Special Issue on Graph Transformations</i>, vol. 26, no. 3–4. Amsterdam: IOS Press, 1996.","chicago":"Engels, Gregor, Hartmut Ehrig, Grzegorz Rozenberg, and Andrzej Skowron, eds. <i>Special Issue on Graph Transformations</i>. Vol. 26. Fundamenta Informaticae. Amsterdam: IOS Press, 1996.","short":"G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph Transformations, IOS Press, Amsterdam, 1996."}},{"user_id":"52534","page":"11-12","language":[{"iso":"eng"}],"_id":"7834","publisher":"Technical University of Berlin","date_updated":"2022-01-06T07:03:46Z","title":"Synchronization of Views and Loose Semantics of Typed Graph Productions","year":"1996","status":"public","author":[{"last_name":"Ehrig","first_name":"Hartmut","full_name":"Ehrig, Hartmut"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Padberg, Julia","last_name":"Padberg","first_name":"Julia"},{"last_name":"Taentzer","first_name":"Gabriele","full_name":"Taentzer, Gabriele"},{"last_name":"Wolter","first_name":"Uwe","full_name":"Wolter, Uwe"},{"first_name":"Andrea","last_name":"Corradini","full_name":"Corradini, Andrea"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-20T14:02:31Z","abstract":[{"lang":"eng","text":"The concept of views is used on two levels. First, so-called design views are developed for structuring specifications, that is, a system is modeled according to different views (e.g., representing the needs of different kinds of users) which have to be synchronized afterwards in order to build the whole system. Views can be specified by means of typed graph transformation systems, where the type graph determines the visible types and the productions describe the known operations of that view. The synchronization of views is done by the construction of cooperative parallel composition of graph transformation systems, developed by Leila Ribeiro and presented at the same seminar. If the specification is complete, a view may describe an observation of the system in operation. In this case we speak of a user view. It turns out that the semantics of such a view cannot be described by computations (i.e., graph transformations), but just by observations of computations of the global system. Such observations of computations cannot be represented by graph transformations in the usual sense because a local view may lack operations (productions) of the global system, so that state changes may be observed that do not have a cause in the local view. Therefore, the notion of graph transition is introduced as loose semantics for productions, where the production specifies only a lower bound to the activities that are to happen during application. Contrastingly, in the classical doublepushout approach to graph rewriting, productions are interpreted as complete descriptions of the transformations to be performed. For typed graph transformation systems a transition sequence semantics is developed, comprising all finite and infinite sequences of transitions in a system. Moreover, this semantics is shown to be compositional w.r.t. the synchronization of views."}],"issue":"155","publication":"Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science","citation":{"short":"H. Ehrig, R. Heckel, J. Padberg, G. Taentzer, U. Wolter, A. Corradini, G. Engels, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 11–12.","chicago":"Ehrig, Hartmut, Reiko Heckel, Julia Padberg, Gabriele Taentzer, Uwe Wolter, Andrea Corradini, and Gregor Engels. “Synchronization of Views and Loose Semantics of Typed Graph Productions.” In <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>, 11–12. Technical University of Berlin, 1996.","ieee":"H. Ehrig <i>et al.</i>, “Synchronization of Views and Loose Semantics of Typed Graph Productions,” in <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>, 1996, no. 155, pp. 11–12.","apa":"Ehrig, H., Heckel, R., Padberg, J., Taentzer, G., Wolter, U., Corradini, A., &#38; Engels, G. (1996). Synchronization of Views and Loose Semantics of Typed Graph Productions. In <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i> (pp. 11–12). Technical University of Berlin.","bibtex":"@inproceedings{Ehrig_Heckel_Padberg_Taentzer_Wolter_Corradini_Engels_1996, title={Synchronization of Views and Loose Semantics of Typed Graph Productions}, number={155}, booktitle={Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}, publisher={Technical University of Berlin}, author={Ehrig, Hartmut and Heckel, Reiko and Padberg, Julia and Taentzer, Gabriele and Wolter, Uwe and Corradini, Andrea and Engels, Gregor}, year={1996}, pages={11–12} }","ama":"Ehrig H, Heckel R, Padberg J, et al. Synchronization of Views and Loose Semantics of Typed Graph Productions. In: <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>. Technical University of Berlin; 1996:11-12.","mla":"Ehrig, Hartmut, et al. “Synchronization of Views and Loose Semantics of Typed Graph Productions.” <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>, no. 155, Technical University of Berlin, 1996, pp. 11–12."}},{"page":"12-13","language":[{"iso":"eng"}],"_id":"7835","publisher":"Technical University of Berlin","series_title":"Dagstuhl-Seminar-Report","user_id":"52534","title":"Behavioral Constraints for Loose Graph Transformation Systems","status":"public","year":"1996","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_updated":"2022-01-06T07:03:46Z","date_created":"2019-02-20T14:03:34Z","type":"conference","department":[{"_id":"66"}],"issue":"155","publication":"Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science","citation":{"apa":"Heckel, R. (1996). Behavioral Constraints for Loose Graph Transformation Systems. In <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i> (pp. 12–13). Technical University of Berlin.","ieee":"R. Heckel, “Behavioral Constraints for Loose Graph Transformation Systems,” in <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>, 1996, no. 155, pp. 12–13.","short":"R. Heckel, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 12–13.","chicago":"Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.” In <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>, 12–13. Dagstuhl-Seminar-Report. Technical University of Berlin, 1996.","mla":"Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.” <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>, no. 155, Technical University of Berlin, 1996, pp. 12–13.","ama":"Heckel R. Behavioral Constraints for Loose Graph Transformation Systems. In: <i>Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:12-13.","bibtex":"@inproceedings{Heckel_1996, series={Dagstuhl-Seminar-Report}, title={Behavioral Constraints for Loose Graph Transformation Systems}, number={155}, booktitle={Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}, publisher={Technical University of Berlin}, author={Heckel, Reiko}, year={1996}, pages={12–13}, collection={Dagstuhl-Seminar-Report} }"}},{"date_updated":"2022-01-06T07:03:46Z","title":"Industrial maintenance modelled in SOCCA: an experience report","status":"public","year":"1996","author":[{"last_name":"de Bunje","first_name":"Tineke","full_name":"de Bunje, Tineke"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"},{"last_name":"Matsinger","first_name":"Aart","full_name":"Matsinger, Aart"},{"first_name":"Martin","last_name":"Rijnbeek","full_name":"Rijnbeek, Martin"}],"user_id":"52534","doi":"http://dx.doi.org/10.1109/ICSP.1996.565021","page":"13-26","publisher":"IEEE Computer Society","_id":"7836","language":[{"iso":"eng"}],"abstract":[{"text":"A large industrial process, software maintenance, has been modelled by using the process modelling language SOCCA. The paper reports about the experiences with this trial. In particular, feasibility, expressiveness, quality and the overall benefits of a formal SOCCA model are discussed and compared to the formerly existing informal process description. In order to illustrate the results, a well chosen process model fragment from the larger model is outlined in detail. It addresses in particular the human-intensive cooperation within the process and shows the seamless combination of technical components and human agent components in the SOCCA model. The main conclusions from this trial are that formal SOCCA models are suited to model realistic industrial processes and that due to an intrinsic modular structure of a SOCCA model, even huge models remain reasonably readable and understandable","lang":"eng"}],"publication":"Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK)","citation":{"bibtex":"@inproceedings{de Bunje_Engels_Groenewegen_Matsinger_Rijnbeek_1996, place={Washington, DC, USA}, title={Industrial maintenance modelled in SOCCA: an experience report}, DOI={<a href=\"http://dx.doi.org/10.1109/ICSP.1996.565021\">http://dx.doi.org/10.1109/ICSP.1996.565021</a>}, booktitle={Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK)}, publisher={IEEE Computer Society}, author={de Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Matsinger, Aart and Rijnbeek, Martin}, year={1996}, pages={13–26} }","ama":"de Bunje T, Engels G, Groenewegen L, Matsinger A, Rijnbeek M. Industrial maintenance modelled in SOCCA: an experience report. In: <i>Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK)</i>. Washington, DC, USA: IEEE Computer Society; 1996:13-26. doi:<a href=\"http://dx.doi.org/10.1109/ICSP.1996.565021\">http://dx.doi.org/10.1109/ICSP.1996.565021</a>","mla":"de Bunje, Tineke, et al. “Industrial Maintenance Modelled in SOCCA: An Experience Report.” <i>Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK)</i>, IEEE Computer Society, 1996, pp. 13–26, doi:<a href=\"http://dx.doi.org/10.1109/ICSP.1996.565021\">http://dx.doi.org/10.1109/ICSP.1996.565021</a>.","chicago":"Bunje, Tineke de, Gregor Engels, Luuk Groenewegen, Aart Matsinger, and Martin Rijnbeek. “Industrial Maintenance Modelled in SOCCA: An Experience Report.” In <i>Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK)</i>, 13–26. Washington, DC, USA: IEEE Computer Society, 1996. <a href=\"http://dx.doi.org/10.1109/ICSP.1996.565021\">http://dx.doi.org/10.1109/ICSP.1996.565021</a>.","short":"T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, M. Rijnbeek, in: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 1996, pp. 13–26.","ieee":"T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, and M. Rijnbeek, “Industrial maintenance modelled in SOCCA: an experience report,” in <i>Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK)</i>, 1996, pp. 13–26.","apa":"de Bunje, T., Engels, G., Groenewegen, L., Matsinger, A., &#38; Rijnbeek, M. (1996). Industrial maintenance modelled in SOCCA: an experience report. In <i>Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK)</i> (pp. 13–26). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/ICSP.1996.565021\">http://dx.doi.org/10.1109/ICSP.1996.565021</a>"},"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-20T14:03:55Z","place":"Washington, DC, USA"},{"author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"last_name":"Ehrig","first_name":"Hartmut","full_name":"Ehrig, Hartmut"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Gabriele","last_name":"Taentzer","full_name":"Taentzer, Gabriele"},{"full_name":"Corradini, Andrea","first_name":"Andrea","last_name":"Corradini"}],"status":"public","title":"A View-Based Approach to System Modelling","year":"1996","intvolume":"       155","date_updated":"2022-01-06T07:03:46Z","_id":"7837","language":[{"iso":"eng"}],"publisher":"Technical University of Berlin","series_title":"Dagstuhl-Seminar-Report","page":"11","volume":155,"user_id":"52534","citation":{"mla":"Engels, Gregor, et al. “A View-Based Approach to System Modelling.” <i>Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>, vol. 155, Technical University of Berlin, 1996, p. 11.","bibtex":"@inproceedings{Engels_Ehrig_Heckel_Taentzer_Corradini_1996, series={Dagstuhl-Seminar-Report}, title={A View-Based Approach to System Modelling}, volume={155}, booktitle={Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}, publisher={Technical University of Berlin}, author={Engels, Gregor and Ehrig, Hartmut and Heckel, Reiko and Taentzer, Gabriele and Corradini, Andrea}, year={1996}, pages={11}, collection={Dagstuhl-Seminar-Report} }","ama":"Engels G, Ehrig H, Heckel R, Taentzer G, Corradini A. A View-Based Approach to System Modelling. In: <i>Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>. Vol 155. Dagstuhl-Seminar-Report. Technical University of Berlin; 1996:11.","ieee":"G. Engels, H. Ehrig, R. Heckel, G. Taentzer, and A. Corradini, “A View-Based Approach to System Modelling,” in <i>Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>, 1996, vol. 155, p. 11.","apa":"Engels, G., Ehrig, H., Heckel, R., Taentzer, G., &#38; Corradini, A. (1996). A View-Based Approach to System Modelling. In <i>Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i> (Vol. 155, p. 11). Technical University of Berlin.","chicago":"Engels, Gregor, Hartmut Ehrig, Reiko Heckel, Gabriele Taentzer, and Andrea Corradini. “A View-Based Approach to System Modelling.” In <i>Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science</i>, 155:11. Dagstuhl-Seminar-Report. Technical University of Berlin, 1996.","short":"G. Engels, H. Ehrig, R. Heckel, G. Taentzer, A. Corradini, in: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, p. 11."},"publication":"Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science","abstract":[{"text":"In order to manage the complexity of large system specifications, they have to be decomposed into subspecifications. Each subspecification describes a certain part of the system. This might be a certain aspect, like the data, dynamic, or functional aspect, as it is known from object-oriented modelling techniques. Or it might be a certain view onto the system, as it is known from database modelling techniques. The talk motivates the usage of views in graph grammarbased specifications. First, the usage of typed graph grammars inherently ensures an integration of the data and the functional aspect within a view. Second, it is explained that it is not appropriate in case of views to have a fixed semantics. The standard fixed semantics, i.e. a graph transformation system, has to be relaxed to a loose semantics, i.e. a graph transition system. This reflects the idea that a view models only a part of the complete system. Other views may overlap a view with respect to data or functionality. A complete system specification is yielded by exploiting the approach of cooperative parallel composition of graph grammars (see talk by Leila Ribeiro).","lang":"eng"}],"date_created":"2019-02-20T14:04:54Z","department":[{"_id":"66"}],"type":"conference"},{"author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Groenewegen, Luuk","first_name":"Luuk","last_name":"Groenewegen"},{"last_name":"Kappel","first_name":"Gerti","full_name":"Kappel, Gerti"}],"year":"1996","title":"Object-oriented specification of coordinated collaboration","status":"public","date_updated":"2022-01-06T07:03:46Z","publisher":"Chapman & Hall","_id":"7838","language":[{"iso":"eng"}],"page":"437-452","user_id":"52534","citation":{"apa":"Engels, G., Groenewegen, L., &#38; Kappel, G. (1996). Object-oriented specification of coordinated collaboration. In <i>Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)</i> (pp. 437–452). Chapman &#38; Hall.","mla":"Engels, Gregor, et al. “Object-Oriented Specification of Coordinated Collaboration.” <i>Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)</i>, Chapman &#38; Hall, 1996, pp. 437–52.","ieee":"G. Engels, L. Groenewegen, and G. Kappel, “Object-oriented specification of coordinated collaboration,” in <i>Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)</i>, 1996, pp. 437–452.","chicago":"Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. “Object-Oriented Specification of Coordinated Collaboration.” In <i>Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)</i>, 437–52. Chapman &#38; Hall, 1996.","short":"G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman &#38; Hall, 1996, pp. 437–452.","ama":"Engels G, Groenewegen L, Kappel G. Object-oriented specification of coordinated collaboration. In: <i>Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)</i>. Chapman &#38; Hall; 1996:437-452.","bibtex":"@inproceedings{Engels_Groenewegen_Kappel_1996, title={Object-oriented specification of coordinated collaboration}, booktitle={Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)}, publisher={Chapman &#38; Hall}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={1996}, pages={437–452} }"},"publication":"Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)","abstract":[{"text":"Object-oriented specification mechanisms have become famous for modelling structure and behaviour together in terms of autonomous objects communicating via message passing. However, whereas most object-oriented specification methods are strong in modelling the local behaviour of single objects, they fall short on modelling the coordinated behaviour and collaboration of several objects together The aim of this paper is to contribute to fill this gap. The paper reports on concepts, language constructs, and experiences with three collaboration formalisms in the area of object-oriented specifications.","lang":"eng"}],"date_created":"2019-02-20T14:05:50Z","department":[{"_id":"66"}],"type":"conference"},{"_id":"8197","publisher":"University of Bremen, Department of Mathematics and Computer Science","language":[{"iso":"eng"}],"user_id":"52534","author":[{"full_name":"Andries, Marc","first_name":"Marc","last_name":"Andries"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"last_name":"Habel","first_name":"Annegret","full_name":"Habel, Annegret"},{"full_name":"Hoffmann, Berthold","last_name":"Hoffmann","first_name":"Berthold"},{"last_name":"Kreowski","first_name":"Hans-Jörg","full_name":"Kreowski, Hans-Jörg"},{"full_name":"Kuske, Sabine","first_name":"Sabine","last_name":"Kuske"},{"first_name":"Detlef","last_name":"Plump","full_name":"Plump, Detlef"},{"full_name":"Schürr, Andy","last_name":"Schürr","first_name":"Andy"},{"last_name":"Taentzer","first_name":"Gabriele","full_name":"Taentzer, Gabriele"}],"title":"Graph Transformation for Specification and Programming","status":"public","year":"1996","date_updated":"2022-01-06T07:03:52Z","date_created":"2019-03-03T16:12:53Z","department":[{"_id":"66"}],"type":"report","citation":{"chicago":"Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996.","short":"M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.","ieee":"M. Andries <i>et al.</i>, <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996.","apa":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1996). <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science.","bibtex":"@book{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1996, title={Graph Transformation for Specification and Programming}, publisher={University of Bremen, Department of Mathematics and Computer Science}, author={Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}, year={1996} }","ama":"Andries M, Engels G, Habel A, et al. <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science; 1996.","mla":"Andries, Marc, et al. <i>Graph Transformation for Specification and Programming</i>. University of Bremen, Department of Mathematics and Computer Science, 1996."},"report_number":"7/96","abstract":[{"text":"The framework of graph transformation combines the potentials and advantages of both, graphs and rules, into a single computational paradigm. In this paper we survey recent developments in applying graph transformation as a rule-based framework for the specification and development of systems, languages, and tools. After presenting the basic features of graph transformation, we discuss a spectrum of applications including the evaluation of functional expressions, the specification of an interactive graphical tool, an example specification for abstract data types, and the definition of a visual database query language. The case studies indicate the need for a graph transformation language that provides suitable structuring principles and is independent of a particular graph transformation approach. To this end, we sketch the basic features of the new graph- and rule-centered language Grace, currently under development, that permits systematic and structured specification and programming based on graph transformation.","lang":"eng"}]},{"language":[{"iso":"eng"}],"_id":"8198","publisher":"Vakgroep Informatica, Rijksuniversiteit Leiden","user_id":"52534","status":"public","title":"Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.","year":"1996","author":[{"full_name":"Busatto, Giorgio","last_name":"Busatto","first_name":"Giorgio"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"}],"date_updated":"2022-01-06T07:03:52Z","date_created":"2019-03-03T16:12:54Z","type":"report","department":[{"_id":"66"}],"citation":{"apa":"Busatto, G., &#38; Engels, G. (1996). <i>Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.</i> Vakgroep Informatica, Rijksuniversiteit Leiden.","ieee":"G. Busatto and G. Engels, <i>Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.</i> Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.","chicago":"Busatto, Giorgio, and Gregor Engels. <i>Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.</i> Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.","short":"G. Busatto, G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1., Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.","mla":"Busatto, Giorgio, and Gregor Engels. <i>Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.</i> Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.","ama":"Busatto G, Engels G. <i>Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.</i> Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.","bibtex":"@book{Busatto_Engels_1996, title={Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Busatto, Giorgio and Engels, Gregor}, year={1996} }"},"report_number":"96-38"},{"type":"report","department":[{"_id":"66"}],"date_created":"2019-03-03T16:12:55Z","citation":{"mla":"Engels, Gregor, et al. <i>Object-Oriented Specification of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.","ama":"Engels G, Groenewegen L, Kappel G. <i>Object-Oriented Specification of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden; 1996.","bibtex":"@book{Engels_Groenewegen_Kappel_1996, title={Object-oriented Specification of Coordinated Collaboration}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={1996} }","apa":"Engels, G., Groenewegen, L., &#38; Kappel, G. (1996). <i>Object-oriented Specification of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden.","ieee":"G. Engels, L. Groenewegen, and G. Kappel, <i>Object-oriented Specification of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.","short":"G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.","chicago":"Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. <i>Object-Oriented Specification of Coordinated Collaboration</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1996."},"user_id":"52534","_id":"8199","publisher":"Vakgroep Informatica, Rijksuniversiteit Leiden","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:52Z","title":"Object-oriented Specification of Coordinated Collaboration","status":"public","year":"1996","author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"last_name":"Groenewegen","first_name":"Luuk","full_name":"Groenewegen, Luuk"},{"full_name":"Kappel, Gerti","last_name":"Kappel","first_name":"Gerti"}]},{"type":"report","department":[{"_id":"66"}],"date_created":"2019-03-03T16:12:56Z","citation":{"short":"R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.","chicago":"Heckel, Reiko, Andrea Corradini, Hartmut Ehrig, and Michael Löwe. <i>Horizontal and Vertical Structuring of Typed Graph Transformation Systems</i>, 1996.","ieee":"R. Heckel, A. Corradini, H. Ehrig, and M. Löwe, <i>Horizontal and Vertical Structuring of Typed Graph Transformation Systems</i>. 1996.","apa":"Heckel, R., Corradini, A., Ehrig, H., &#38; Löwe, M. (1996). <i>Horizontal and Vertical Structuring of Typed Graph Transformation Systems</i>.","bibtex":"@book{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical Structuring of Typed Graph Transformation Systems}, author={Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}, year={1996} }","ama":"Heckel R, Corradini A, Ehrig H, Löwe M. <i>Horizontal and Vertical Structuring of Typed Graph Transformation Systems</i>.; 1996.","mla":"Heckel, Reiko, et al. <i>Horizontal and Vertical Structuring of Typed Graph Transformation Systems</i>. 1996."},"user_id":"52534","language":[{"iso":"eng"}],"_id":"8200","date_updated":"2022-01-06T07:03:52Z","title":"Horizontal and Vertical Structuring of Typed Graph Transformation Systems","year":"1996","status":"public","author":[{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Corradini, Andrea","last_name":"Corradini","first_name":"Andrea"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"full_name":"Löwe, Michael","first_name":"Michael","last_name":"Löwe"}]}]