[{"year":"1998","citation":{"bibtex":"@inproceedings{Ehrig_Heckel_Padberg_Rozenberg_1998, title={Graph Transformation and Other Rule-Based Formalisms with Incomplete Information}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Ehrig, Hartmut and Heckel, Reiko and Padberg, Julia and Rozenberg, Grzegorz}, year={1998} }","mla":"Ehrig, Hartmut, et al. “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","short":"H. Ehrig, R. Heckel, J. Padberg, G. Rozenberg, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.","apa":"Ehrig, H., Heckel, R., Padberg, J., &#38; Rozenberg, G. (1998). Graph Transformation and Other Rule-Based Formalisms with Incomplete Information. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>.","ama":"Ehrig H, Heckel R, Padberg J, Rozenberg G. Graph Transformation and Other Rule-Based Formalisms with Incomplete Information. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. ; 1998.","chicago":"Ehrig, Hartmut, Reiko Heckel, Julia Padberg, and Grzegorz Rozenberg. “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","ieee":"H. Ehrig, R. Heckel, J. Padberg, and G. Rozenberg, “Graph Transformation and Other Rule-Based Formalisms with Incomplete Information,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998."},"date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-04T12:25:51Z","author":[{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"Julia","last_name":"Padberg","full_name":"Padberg, Julia"},{"last_name":"Rozenberg","full_name":"Rozenberg, Grzegorz","first_name":"Grzegorz"}],"title":"Graph Transformation and Other Rule-Based Formalisms with Incomplete Information","publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)","type":"conference","abstract":[{"lang":"eng","text":"A general framework is presented for extending graph transformation and other rule-based formalisms in such a way that transformations with incomplete information can be handled. This extension is motivated by the need to model the behaviour of open systems in different application areas using graph transformations and Petri nets. The following two problems are central within this general framework. 1. Characterization of transformations with incomplete information. 2. Recovery of information from incomplete transformations. A solution for these problems is presented for algebraic graph transformations and Petri nets using the new concepts of graph transitions based on double pullbacks and open nets based on autonomous actions for open places. Moreover, the problems are discussed for DNA-computing and other rule-based formalisms."}],"status":"public","_id":"8283","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}]},{"citation":{"ama":"Ehrig H, Heckel R, Llabrés M, Orejas F, Padberg J, Rozenberg G. Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. In: <i>Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>. Vol 1764. LNCS. Berlin/Heidelberg: Springer; 1998:85-102. doi:<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>","chicago":"Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, Fernando Orejas, Julia Padberg, and Grzegorz Rozenberg. “Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.” In <i>Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, 1764:85–102. LNCS. Berlin/Heidelberg: Springer, 1998. <a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>.","ieee":"H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, and G. Rozenberg, “Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information,” in <i>Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, 1998, vol. 1764, pp. 85–102.","short":"H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, J. Padberg, G. Rozenberg, in: Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 85–102.","bibtex":"@inproceedings{Ehrig_Heckel_Llabrés_Orejas_Padberg_Rozenberg_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information}, volume={1764}, DOI={<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>}, booktitle={Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando and Padberg, Julia and Rozenberg, Grzegorz}, year={1998}, pages={85–102}, collection={LNCS} }","mla":"Ehrig, Hartmut, et al. “Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.” <i>Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i>, vol. 1764, Springer, 1998, pp. 85–102, doi:<a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>.","apa":"Ehrig, H., Heckel, R., Llabrés, M., Orejas, F., Padberg, J., &#38; Rozenberg, G. (1998). Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. In <i>Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)</i> (Vol. 1764, pp. 85–102). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/b75045\">http://dx.doi.org/10.1007/b75045</a>"},"page":"85-102","intvolume":"      1764","place":"Berlin/Heidelberg","year":"1998","date_created":"2019-03-04T12:25:52Z","author":[{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"full_name":"Llabrés, Mercé","last_name":"Llabrés","first_name":"Mercé"},{"first_name":"Fernando","full_name":"Orejas, Fernando","last_name":"Orejas"},{"first_name":"Julia","last_name":"Padberg","full_name":"Padberg, Julia"},{"last_name":"Rozenberg","full_name":"Rozenberg, Grzegorz","first_name":"Grzegorz"}],"volume":1764,"date_updated":"2022-01-06T07:03:53Z","publisher":"Springer","doi":"http://dx.doi.org/10.1007/b75045","title":"Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information","type":"conference","publication":"Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)","status":"public","series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"_id":"8284","language":[{"iso":"eng"}]},{"title":"Classification and Comparison of Modularity Concepts for Graph Transformation Systems","publisher":"University of Paderborn","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-04T12:25:53Z","author":[{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Taentzer, Gabriele","last_name":"Taentzer","first_name":"Gabriele"}],"year":"1998","page":"122-131","citation":{"ama":"Ehrig H, Engels G, Heckel R, Taentzer G. Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In: <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>. University of Paderborn; 1998:122-131.","ieee":"H. Ehrig, G. Engels, R. Heckel, and G. Taentzer, “Classification and Comparison of Modularity Concepts for Graph Transformation Systems,” in <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>, 1998, no. tr-ri-98-201, pp. 122–131.","chicago":"Ehrig, Hartmut, Gregor Engels, Reiko Heckel, and Gabriele Taentzer. “Classification and Comparison of Modularity Concepts for Graph Transformation Systems.” In <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>, 122–31. University of Paderborn, 1998.","apa":"Ehrig, H., Engels, G., Heckel, R., &#38; Taentzer, G. (1998). Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i> (pp. 122–131). University of Paderborn.","short":"H. Ehrig, G. Engels, R. Heckel, G. Taentzer, in: Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), University of Paderborn, 1998, pp. 122–131.","mla":"Ehrig, Hartmut, et al. “Classification and Comparison of Modularity Concepts for Graph Transformation Systems.” <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>, no. tr-ri-98-201, University of Paderborn, 1998, pp. 122–31.","bibtex":"@inproceedings{Ehrig_Engels_Heckel_Taentzer_1998, title={Classification and Comparison of Modularity Concepts for Graph Transformation Systems}, number={tr-ri-98-201}, booktitle={Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)}, publisher={University of Paderborn}, author={Ehrig, Hartmut and Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele}, year={1998}, pages={122–131} }"},"issue":"tr-ri-98-201","language":[{"iso":"eng"}],"_id":"8285","department":[{"_id":"66"}],"user_id":"52534","abstract":[{"text":"This paper presents a systematic approach for classifying and comparing modularity concepts that have been proposed for graph transformation systems. The approach is based on the following observation: Modules and module interconnections consist of basic specifications (forming, e.g., a module's body, import, or export interface), and relations between such specifications, like the implementation relation between export and body of a module. Hence, a natural approach for characterizing a module concept is to answer the following three questions: 1. What are the basic specifications? 2. Which relations between specifications are used? 3. How are specifications and relations combined to modules and interconnections? In this paper, these questions are considered in some detail for the following module concepts for graph transformation systems.","lang":"eng"}],"status":"public","publication":"Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT '98), Paderborn (Germany)","type":"conference"},{"title":"Model Checking Graph-Interpreted Temporal Formulas","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-04T12:25:54Z","author":[{"last_name":"Gadducci","full_name":"Gadducci, Fabio","first_name":"Fabio"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"first_name":"Manuel","last_name":"Koch","full_name":"Koch, Manuel"}],"place":"Paderborn","year":"1998","citation":{"ieee":"F. Gadducci, R. Heckel, and M. Koch, “Model Checking Graph-Interpreted Temporal Formulas,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","chicago":"Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “Model Checking Graph-Interpreted Temporal Formulas.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Paderborn, 1998.","ama":"Gadducci F, Heckel R, Koch M. Model Checking Graph-Interpreted Temporal Formulas. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Paderborn; 1998.","mla":"Gadducci, Fabio, et al. “Model Checking Graph-Interpreted Temporal Formulas.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","bibtex":"@inproceedings{Gadducci_Heckel_Koch_1998, place={Paderborn}, title={Model Checking Graph-Interpreted Temporal Formulas}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1998} }","short":"F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Paderborn, 1998.","apa":"Gadducci, F., Heckel, R., &#38; Koch, M. (1998). Model Checking Graph-Interpreted Temporal Formulas. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. Paderborn."},"language":[{"iso":"eng"}],"_id":"8286","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)"},{"publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)","type":"conference","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"8287","language":[{"iso":"eng"}],"citation":{"ieee":"F. Gadducci, R. Heckel, and M. Llabrés, “DPO Derivations via Disconnected Rules,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","chicago":"Gadducci, Fabio, Reiko Heckel, and Mercé Llabrés. “DPO Derivations via Disconnected Rules.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","ama":"Gadducci F, Heckel R, Llabrés M. DPO Derivations via Disconnected Rules. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. ; 1998.","bibtex":"@inproceedings{Gadducci_Heckel_Llabrés_1998, title={DPO Derivations via Disconnected Rules}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}, year={1998} }","short":"F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.","mla":"Gadducci, Fabio, et al. “DPO Derivations via Disconnected Rules.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","apa":"Gadducci, F., Heckel, R., &#38; Llabrés, M. (1998). DPO Derivations via Disconnected Rules. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>."},"year":"1998","author":[{"full_name":"Gadducci, Fabio","last_name":"Gadducci","first_name":"Fabio"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Mercé","last_name":"Llabrés","full_name":"Llabrés, Mercé"}],"date_created":"2019-03-04T12:25:55Z","date_updated":"2022-01-06T07:03:53Z","title":"DPO Derivations via Disconnected Rules"},{"language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"8288","status":"public","abstract":[{"text":"The integration of active database technology into mobile database systems allows to limit the transfer of data between mobile computers and the stationary network. In order to employ such active database mechanisms, the rule processing component of traditional active database systems needs to be modified. This paper introduces a new model for event processing and presents a new algorithm for the composition of complex events in a mobile database environment. Furthermore, the model also takes into account the possibility of broadcast data. To validate the feasibility of the model, a prototype has been built using object-oriented technology.","lang":"eng"}],"type":"conference","publication":"Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)","title":"Event Processing in Mobile and Active Database Systems Using Broadcasts","date_created":"2019-03-04T12:25:57Z","author":[{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"},{"first_name":"Olaf","last_name":"Zukunft","full_name":"Zukunft, Olaf"}],"publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:53Z","citation":{"short":"S. Sauer, O. Zukunft, in: Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria), IEEE Computer Society, Washington, DC, USA, 1998, pp. 420–426.","mla":"Sauer, Stefan, and Olaf Zukunft. “Event Processing in Mobile and Active Database Systems Using Broadcasts.” <i>Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>, IEEE Computer Society, 1998, pp. 420–26.","bibtex":"@inproceedings{Sauer_Zukunft_1998, place={Washington, DC, USA}, title={Event Processing in Mobile and Active Database Systems Using Broadcasts}, booktitle={Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Zukunft, Olaf}, year={1998}, pages={420–426} }","apa":"Sauer, S., &#38; Zukunft, O. (1998). Event Processing in Mobile and Active Database Systems Using Broadcasts. In <i>Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i> (pp. 420–426). Washington, DC, USA: IEEE Computer Society.","chicago":"Sauer, Stefan, and Olaf Zukunft. “Event Processing in Mobile and Active Database Systems Using Broadcasts.” In <i>Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>, 420–26. Washington, DC, USA: IEEE Computer Society, 1998.","ieee":"S. Sauer and O. Zukunft, “Event Processing in Mobile and Active Database Systems Using Broadcasts,” in <i>Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>, 1998, pp. 420–426.","ama":"Sauer S, Zukunft O. Event Processing in Mobile and Active Database Systems Using Broadcasts. In: <i>Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)</i>. Washington, DC, USA: IEEE Computer Society; 1998:420-426."},"page":"420-426","year":"1998","place":"Washington, DC, USA"},{"status":"public","type":"conference","publication":"Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"8289","citation":{"apa":"Ehrig, H., Heckel, R., Llabrés, M., &#38; Orejas, F. (1998). Construction and Characterisation of Double-Pullback Graph Transitions. In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>.","mla":"Ehrig, Hartmut, et al. “Construction and Characterisation of Double-Pullback Graph Transitions.” <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","short":"H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.","bibtex":"@inproceedings{Ehrig_Heckel_Llabrés_Orejas_1998, title={Construction and Characterisation of Double-Pullback Graph Transitions}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}, year={1998} }","ama":"Ehrig H, Heckel R, Llabrés M, Orejas F. Construction and Characterisation of Double-Pullback Graph Transitions. In: <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>. ; 1998.","chicago":"Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando Orejas. “Construction and Characterisation of Double-Pullback Graph Transitions.” In <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998.","ieee":"H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, “Construction and Characterisation of Double-Pullback Graph Transitions,” in <i>Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)</i>, 1998."},"year":"1998","title":"Construction and Characterisation of Double-Pullback Graph Transitions","author":[{"first_name":"Hartmut","full_name":"Ehrig, Hartmut","last_name":"Ehrig"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"full_name":"Llabrés, Mercé","last_name":"Llabrés","first_name":"Mercé"},{"first_name":"Fernando","last_name":"Orejas","full_name":"Orejas, Fernando"}],"date_created":"2019-03-04T12:25:58Z","date_updated":"2022-01-06T07:03:53Z"},{"title":"Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:40Z","_id":"7587","user_id":"52534","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"date_created":"2019-02-06T14:30:48Z","department":[{"_id":"66"}],"year":"1998","citation":{"ama":"Heckel R. <i>Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems</i>.; 1998.","ieee":"R. Heckel, <i>Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems</i>. 1998.","chicago":"Heckel, Reiko. <i>Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems</i>, 1998.","short":"R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, 1998.","mla":"Heckel, Reiko. <i>Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems</i>. 1998.","bibtex":"@book{Heckel_1998, title={Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems}, author={Heckel, Reiko}, year={1998} }","apa":"Heckel, R. (1998). <i>Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems</i>."},"status":"public","type":"dissertation"},{"editor":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"}],"status":"public","type":"conference_editor","language":[{"iso":"eng"}],"_id":"7795","series_title":"Informatik: Forschung und Entwicklung","user_id":"52534","department":[{"_id":"66"}],"place":"Berlin/Heidelberg","year":"1997","citation":{"ieee":"G. Engels, Ed., <i>Themenheft: Softwaretechnik</i>, vol. 12, no. 4. Berlin/Heidelberg: Springer, 1997.","chicago":"Engels, Gregor, ed. <i>Themenheft: Softwaretechnik</i>. Vol. 12. Informatik: Forschung Und Entwicklung. Berlin/Heidelberg: Springer, 1997. <a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>.","ama":"Engels G, ed. <i>Themenheft: Softwaretechnik</i>. Vol 12. Berlin/Heidelberg: Springer; 1997. doi:<a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>","bibtex":"@book{Engels_1997, place={Berlin/Heidelberg}, series={Informatik: Forschung und Entwicklung}, title={Themenheft: Softwaretechnik}, volume={12}, DOI={<a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>}, number={4}, publisher={Springer}, year={1997}, collection={Informatik: Forschung und Entwicklung} }","short":"G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.","mla":"Engels, Gregor, editor. <i>Themenheft: Softwaretechnik</i>. Vol. 12, no. 4, Springer, 1997, doi:<a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>.","apa":"Engels, G. (Ed.). (1997). <i>Themenheft: Softwaretechnik</i> (Vol. 12). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>"},"intvolume":"        12","issue":"4","title":"Themenheft: Softwaretechnik","doi":"http://dx.doi.org/10.1007/s004500050085","date_updated":"2022-01-06T07:03:46Z","publisher":"Springer","date_created":"2019-02-19T19:15:50Z","volume":12},{"intvolume":"      1301","page":"327-343","citation":{"short":"G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.","bibtex":"@inproceedings{Engels_Heckel_Taentzer_Ehrig_1997, place={Berlin/Heidelberg}, title={A View-Oriented Approach to System Modelling Using Graph Transformations}, volume={1301}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>}, booktitle={Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele and Ehrig, Hartmut}, editor={Jazayeri, M. and Schauer, H.Editors}, year={1997}, pages={327–343} }","mla":"Engels, Gregor, et al. “A View-Oriented Approach to System Modelling Using Graph Transformations.” <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>, edited by M. Jazayeri and H. Schauer, vol. 1301, Springer, 1997, pp. 327–43, doi:<a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>.","apa":"Engels, G., Heckel, R., Taentzer, G., &#38; Ehrig, H. (1997). A View-Oriented Approach to System Modelling Using Graph Transformations. In M. Jazayeri &#38; H. Schauer (Eds.), <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i> (Vol. 1301, pp. 327–343). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>","ieee":"G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A View-Oriented Approach to System Modelling Using Graph Transformations,” in <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>, 1997, vol. 1301, pp. 327–343.","chicago":"Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A View-Oriented Approach to System Modelling Using Graph Transformations.” In <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>, edited by M. Jazayeri and H. Schauer, 1301:327–43. Berlin/Heidelberg: Springer, 1997. <a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>.","ama":"Engels G, Heckel R, Taentzer G, Ehrig H. A View-Oriented Approach to System Modelling Using Graph Transformations. In: Jazayeri M, Schauer H, eds. <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>. Vol 1301. Berlin/Heidelberg: Springer; 1997:327-343. doi:<a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>"},"year":"1997","place":"Berlin/Heidelberg","doi":"http://dx.doi.org/10.1007/3-540-63531-9","title":"A View-Oriented Approach to System Modelling Using Graph Transformations","volume":1301,"author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Taentzer, Gabriele","last_name":"Taentzer","first_name":"Gabriele"},{"first_name":"Hartmut","full_name":"Ehrig, Hartmut","last_name":"Ehrig"}],"date_created":"2019-02-20T14:06:52Z","publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","status":"public","editor":[{"full_name":"Jazayeri, M.","last_name":"Jazayeri","first_name":"M."},{"full_name":"Schauer, H.","last_name":"Schauer","first_name":"H."}],"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 supports an intuitive understanding and an integration of static and dynamic aspects on a well-defined 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. We define a construction for automatic view integration 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. All concepts and results are illustrated at the well-known example of a banking system.","lang":"eng"}],"publication":"Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7839"},{"_id":"7840","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Verhandlungen der Deutschen Physikalischen Gesellschaft","abstract":[{"text":"Vorteile von Laserkristallen in Slab-Geometrie gegenüber Stäben liegen in einer Reduktion der thermisch induzierten Linsenwirkung und der spannungsinduzierten Depolarisation durch einen zick-zack-förmigen Strahlverlauf innerhalb des Kristalls. Durch die Analyse der durch die Anordnung der Pumpquellen und die Dotierungskonzentration bestimmten Temperatur- und Spannungsverteilungen mit Hilfe eines Finite-Element-Modells und die Berechnung der resultierenden optischen Eigenschaften lassen sich die genannten Zielgrößen optimieren. Die Verfahren wurden auf am Laser Zentrum Hannover e.V. entwickelte Nd:YAG-Stab- und Slablaser angewandt und ermöglichten die Entwicklung diodengepumpter Festkörperlaser-Systeme mit Ausgangsleistungen von mehr als 750W bei guter Strahlqualität. Modellerweiterungen unter Berücksichtigung der Wechselwirkung zwischen Lasermoden und aktivem Material werden diskutiert. Diese Arbeit wird gefördert durch das BMBF, FKZ: 13 N 6361","lang":"ger"}],"status":"public","date_updated":"2022-01-06T07:03:47Z","publisher":"Physik-Verlag","author":[{"first_name":"Ralph","last_name":"Depke","full_name":"Depke, Ralph"},{"last_name":"Knoke","full_name":"Knoke, Stefan","first_name":"Stefan"},{"first_name":"Wolfram","full_name":"Schöne, Wolfram","last_name":"Schöne"},{"first_name":"Andreas","full_name":"Tünnermann, Andreas","last_name":"Tünnermann"},{"first_name":"H.","last_name":"Welling","full_name":"Welling, H."}],"date_created":"2019-02-20T14:07:44Z","volume":32,"title":"Thermooptische Effekte in Nd:YAG-Slablasern","issue":"3","place":"Weinheim, Germany","year":"1997","citation":{"ieee":"R. Depke, S. Knoke, W. Schöne, A. Tünnermann, and H. Welling, “Thermooptische Effekte in Nd:YAG-Slablasern,” in <i>Verhandlungen der Deutschen Physikalischen Gesellschaft</i>, 1997, vol. 32, no. 3.","chicago":"Depke, Ralph, Stefan Knoke, Wolfram Schöne, Andreas Tünnermann, and H. Welling. “Thermooptische Effekte in Nd:YAG-Slablasern.” In <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft</i>, Vol. 32. Weinheim, Germany: Physik-Verlag, 1997.","ama":"Depke R, Knoke S, Schöne W, Tünnermann A, Welling H. Thermooptische Effekte in Nd:YAG-Slablasern. In: <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft</i>. Vol 32. Weinheim, Germany: Physik-Verlag; 1997.","mla":"Depke, Ralph, et al. “Thermooptische Effekte in Nd:YAG-Slablasern.” <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft</i>, vol. 32, no. 3, Physik-Verlag, 1997.","bibtex":"@inproceedings{Depke_Knoke_Schöne_Tünnermann_Welling_1997, place={Weinheim, Germany}, title={Thermooptische Effekte in Nd:YAG-Slablasern}, volume={32}, number={3}, booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft}, publisher={Physik-Verlag}, author={Depke, Ralph and Knoke, Stefan and Schöne, Wolfram and Tünnermann, Andreas and Welling, H.}, year={1997} }","short":"R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.","apa":"Depke, R., Knoke, S., Schöne, W., Tünnermann, A., &#38; Welling, H. (1997). Thermooptische Effekte in Nd:YAG-Slablasern. In <i>Verhandlungen der Deutschen Physikalischen Gesellschaft</i> (Vol. 32). Weinheim, Germany: Physik-Verlag."},"intvolume":"        32"},{"author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"first_name":"Uwe","full_name":"Wolter, Uwe","last_name":"Wolter"},{"full_name":"Corradini, Andrea","last_name":"Corradini","first_name":"Andrea"}],"date_created":"2019-02-20T14:08:31Z","publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","doi":"http://dx.doi.org/10.1007/BFb0029965","title":"Integrating the Specification Techniques of Graph Transformation and Temporal Logic","citation":{"apa":"Heckel, R., Ehrig, H., Wolter, U., &#38; Corradini, A. (1997). Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In <i>Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i> (pp. 219–228). London, UK: Springer. <a href=\"http://dx.doi.org/10.1007/BFb0029965\">http://dx.doi.org/10.1007/BFb0029965</a>","short":"R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.","bibtex":"@inproceedings{Heckel_Ehrig_Wolter_Corradini_1997, place={London, UK}, series={LNCS}, title={Integrating the Specification Techniques of Graph Transformation and Temporal Logic}, DOI={<a href=\"http://dx.doi.org/10.1007/BFb0029965\">http://dx.doi.org/10.1007/BFb0029965</a>}, booktitle={Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)}, publisher={Springer}, author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={1997}, pages={219–228}, collection={LNCS} }","mla":"Heckel, Reiko, et al. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” <i>Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i>, Springer, 1997, pp. 219–28, doi:<a href=\"http://dx.doi.org/10.1007/BFb0029965\">http://dx.doi.org/10.1007/BFb0029965</a>.","chicago":"Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. “Integrating the Specification Techniques of Graph Transformation and Temporal Logic.” In <i>Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i>, 219–28. LNCS. London, UK: Springer, 1997. <a href=\"http://dx.doi.org/10.1007/BFb0029965\">http://dx.doi.org/10.1007/BFb0029965</a>.","ieee":"R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, “Integrating the Specification Techniques of Graph Transformation and Temporal Logic,” in <i>Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i>, 1997, pp. 219–228.","ama":"Heckel R, Ehrig H, Wolter U, Corradini A. Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In: <i>Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)</i>. LNCS. London, UK: Springer; 1997:219-228. doi:<a href=\"http://dx.doi.org/10.1007/BFb0029965\">http://dx.doi.org/10.1007/BFb0029965</a>"},"page":"219-228","place":"London, UK","year":"1997","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"_id":"7841","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)","status":"public"},{"title":"Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung","date_updated":"2022-01-06T07:03:47Z","publisher":"Physik-Verlag","author":[{"full_name":"Knoke, Stefan","last_name":"Knoke","first_name":"Stefan"},{"full_name":"Depke, Ralph","last_name":"Depke","first_name":"Ralph"},{"first_name":"Wolfram","full_name":"Schöne, Wolfram","last_name":"Schöne"},{"last_name":"Brozek","full_name":"Brozek, O.S.","first_name":"O.S."},{"full_name":"Tünnermann, Andreas","last_name":"Tünnermann","first_name":"Andreas"},{"last_name":"Welling","full_name":"Welling, H.","first_name":"H."}],"date_created":"2019-02-20T14:09:17Z","volume":32,"year":"1997","citation":{"chicago":"Knoke, Stefan, Ralph Depke, Wolfram Schöne, O.S. Brozek, Andreas Tünnermann, and H. Welling. “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen Hoher Ausgangsleistung.” In <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>, Vol. 32. Physik-Verlag, 1997.","ieee":"S. Knoke, R. Depke, W. Schöne, O. S. Brozek, A. Tünnermann, and H. Welling, “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung,” in <i>Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>, 1997, vol. 32, no. 3.","ama":"Knoke S, Depke R, Schöne W, Brozek OS, Tünnermann A, Welling H. Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung. In: <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>. Vol 32. Physik-Verlag; 1997.","short":"S. Knoke, R. Depke, W. Schöne, O.S. Brozek, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), Physik-Verlag, 1997.","mla":"Knoke, Stefan, et al. “Einfrequenzbetrieb von Nd:YAG-Stablasersystemen Hoher Ausgangsleistung.” <i>Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i>, vol. 32, no. 3, Physik-Verlag, 1997.","bibtex":"@inproceedings{Knoke_Depke_Schöne_Brozek_Tünnermann_Welling_1997, title={Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung}, volume={32}, number={3}, booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)}, publisher={Physik-Verlag}, author={Knoke, Stefan and Depke, Ralph and Schöne, Wolfram and Brozek, O.S. and Tünnermann, Andreas and Welling, H.}, year={1997} }","apa":"Knoke, S., Depke, R., Schöne, W., Brozek, O. S., Tünnermann, A., &#38; Welling, H. (1997). Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung. In <i>Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)</i> (Vol. 32). Physik-Verlag."},"intvolume":"        32","issue":"3","language":[{"iso":"eng"}],"_id":"7842","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)"},{"report_number":"97-07","type":"report","status":"public","user_id":"52534","department":[{"_id":"66"}],"_id":"8201","language":[{"iso":"eng"}],"citation":{"chicago":"Heckel, Reiko, Hartmut Ehrig, Uwe Wolter, and Andrea Corradini. <i>Loose Semantics and Constraints for Graph Transformation Systems</i>, 1997.","ieee":"R. Heckel, H. Ehrig, U. Wolter, and A. Corradini, <i>Loose Semantics and Constraints for Graph Transformation Systems</i>. 1997.","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} }","short":"R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems, 1997.","mla":"Heckel, Reiko, et al. <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>."},"year":"1997","date_created":"2019-03-03T16:12:57Z","author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"},{"last_name":"Wolter","full_name":"Wolter, Uwe","first_name":"Uwe"},{"first_name":"Andrea","last_name":"Corradini","full_name":"Corradini, Andrea"}],"date_updated":"2022-01-06T07:03:52Z","title":"Loose Semantics and Constraints for Graph Transformation Systems"},{"date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Fabio","last_name":"Gadducci","full_name":"Gadducci, Fabio"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"date_created":"2019-03-04T12:25:42Z","title":"A 2-Categorical Presentation of Distributed Graph Transformation","year":"1997","place":"Bordeaux","citation":{"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.","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.","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.","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.","short":"F. Gadducci, R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 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."},"_id":"8276","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)","status":"public"},{"language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8277","status":"public","publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)","type":"conference","title":"Combining Graph Transformations with Temporal Logic","date_created":"2019-03-04T12:25:44Z","author":[{"first_name":"Fabio","last_name":"Gadducci","full_name":"Gadducci, Fabio"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"first_name":"Manuel","last_name":"Koch","full_name":"Koch, Manuel"}],"date_updated":"2022-01-06T07:03:53Z","citation":{"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.","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} }","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.","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.","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."},"place":"Bordeaux","year":"1997"},{"language":[{"iso":"eng"}],"_id":"8278","series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)","title":"An Inductive View of Graph Transformation","publisher":"Springer","date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-04T12:25:45Z","author":[{"last_name":"Gadducci","full_name":"Gadducci, Fabio","first_name":"Fabio"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"volume":1376,"year":"1997","place":"Berlin/Heidelberg","citation":{"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.","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.","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.","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.","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} }","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.","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."},"intvolume":"      1376","page":"223-237"},{"_id":"8279","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)","status":"public","date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"date_created":"2019-03-04T12:25:46Z","title":"Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration","year":"1997","citation":{"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.","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} }","short":"R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.","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>.","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.","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."}},{"publication":"International Journal on Software Engineering and Knowledge Engineering (IJSEKE)","type":"journal_article","status":"public","_id":"7402","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"issue":"4","year":"1997","intvolume":"         7","page":"397-400","citation":{"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.","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.","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>."},"date_updated":"2022-01-06T07:03:36Z","volume":7,"author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"first_name":"Hans","last_name":"Jürgen Schneider","full_name":"Jürgen Schneider, Hans"}],"date_created":"2019-01-31T15:48:56Z","title":"Guest Editors' Introduction","doi":"http://dx.doi.org/10.1142/S0218194097000230"},{"date_updated":"2022-01-06T07:03:36Z","volume":7,"date_created":"2019-01-31T15:49:57Z","author":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"Gabriele","last_name":"Taentzer","full_name":"Taentzer, Gabriele"},{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"}],"title":"A Combined Reference Model- and View-Based Approach to System Specification","issue":"4","year":"1997","page":"457-477","intvolume":"         7","citation":{"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.","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} }","short":"G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and Knowledge Engeneering 7 (1997) 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.","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.","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.","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."},"_id":"7403","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Int. Journal of Software and Knowledge Engeneering","type":"journal_article","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"}],"status":"public"}]