[{"department":[{"_id":"66"}],"user_id":"52534","_id":"7406","language":[{"iso":"eng"}],"publication":"Journal of Visual Languages and Computing","type":"journal_article","status":"public","abstract":[{"lang":"eng","text":"We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to usebothgraphical and textual elements in the formulation of one and the same query. We demonstrate the look-and-feel of this query language by means of examples, and show how syntax and semantics of this language are formally defined using programmed graph rewriting systems. Although we present the language in the context of the EER model, the concept of hybrid languages is applicable in the context of other database models as well. We illustrate this claim by discussing a prototype implementation of a Hybrid Query Tool based on an object-oriented approach, namely the Object Modeling Technique (OMT)."}],"volume":7,"author":[{"first_name":"Marc","last_name":"Andries","full_name":"Andries, Marc"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}],"date_created":"2019-01-31T15:51:35Z","date_updated":"2022-01-06T07:03:36Z","doi":"http://dx.doi.org/10.1006/jvlc.1996.0017","title":"A Hybrid Query Language for the Extended Entity Relationship Model","issue":"3","intvolume":"         7","page":"321-352","citation":{"ama":"Andries M, Engels G. A Hybrid Query Language for the Extended Entity Relationship Model. <i>Journal of Visual Languages and Computing</i>. 1996;7(3):321-352. doi:<a href=\"http://dx.doi.org/10.1006/jvlc.1996.0017\">http://dx.doi.org/10.1006/jvlc.1996.0017</a>","ieee":"M. Andries and G. Engels, “A Hybrid Query Language for the Extended Entity Relationship Model,” <i>Journal of Visual Languages and Computing</i>, vol. 7, no. 3, pp. 321–352, 1996.","chicago":"Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended Entity Relationship Model.” <i>Journal of Visual Languages and Computing</i> 7, no. 3 (1996): 321–52. <a href=\"http://dx.doi.org/10.1006/jvlc.1996.0017\">http://dx.doi.org/10.1006/jvlc.1996.0017</a>.","apa":"Andries, M., &#38; Engels, G. (1996). A Hybrid Query Language for the Extended Entity Relationship Model. <i>Journal of Visual Languages and Computing</i>, <i>7</i>(3), 321–352. <a href=\"http://dx.doi.org/10.1006/jvlc.1996.0017\">http://dx.doi.org/10.1006/jvlc.1996.0017</a>","mla":"Andries, Marc, and Gregor Engels. “A Hybrid Query Language for the Extended Entity Relationship Model.” <i>Journal of Visual Languages and Computing</i>, vol. 7, no. 3, 1996, pp. 321–52, doi:<a href=\"http://dx.doi.org/10.1006/jvlc.1996.0017\">http://dx.doi.org/10.1006/jvlc.1996.0017</a>.","short":"M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996) 321–352.","bibtex":"@article{Andries_Engels_1996, title={A Hybrid Query Language for the Extended Entity Relationship Model}, volume={7}, DOI={<a href=\"http://dx.doi.org/10.1006/jvlc.1996.0017\">http://dx.doi.org/10.1006/jvlc.1996.0017</a>}, number={3}, journal={Journal of Visual Languages and Computing}, author={Andries, Marc and Engels, Gregor}, year={1996}, pages={321–352} }"},"year":"1996"},{"publisher":"Springer","date_updated":"2022-01-06T07:03:39Z","date_created":"2019-02-04T22:40:52Z","author":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"full_name":"Nagl, Manfred","last_name":"Nagl","first_name":"Manfred"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"last_name":"Westfechtel","full_name":"Westfechtel, Bernhard","first_name":"Bernhard"}],"volume":1170,"title":"Tight Integration on One Document: The Programming Environment","place":"Berlin/Heidelberg","year":"1996","citation":{"ama":"Engels G, Nagl M, Schäfer W, Westfechtel B. Tight Integration on One Document: The Programming Environment. In: <i>Building Tightly Integrated Software Development Environments: The IPSEN Approach</i>. Vol 1170. LNCS. Berlin/Heidelberg: Springer; 1996:170-177.","chicago":"Engels, Gregor, Manfred Nagl, Wilhelm Schäfer, and Bernhard Westfechtel. “Tight Integration on One Document: The Programming Environment.” In <i>Building Tightly Integrated Software Development Environments: The IPSEN Approach</i>, 1170:170–77. LNCS. Berlin/Heidelberg: Springer, 1996.","ieee":"G. Engels, M. Nagl, W. Schäfer, and B. Westfechtel, “Tight Integration on One Document: The Programming Environment,” in <i>Building Tightly Integrated Software Development Environments: The IPSEN Approach</i>, vol. 1170, Berlin/Heidelberg: Springer, 1996, pp. 170–177.","apa":"Engels, G., Nagl, M., Schäfer, W., &#38; Westfechtel, B. (1996). Tight Integration on One Document: The Programming Environment. In <i>Building Tightly Integrated Software Development Environments: The IPSEN Approach</i> (Vol. 1170, pp. 170–177). Berlin/Heidelberg: Springer.","mla":"Engels, Gregor, et al. “Tight Integration on One Document: The Programming Environment.” <i>Building Tightly Integrated Software Development Environments: The IPSEN Approach</i>, vol. 1170, Springer, 1996, pp. 170–77.","short":"G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg, 1996, pp. 170–177.","bibtex":"@inbook{Engels_Nagl_Schäfer_Westfechtel_1996, place={Berlin/Heidelberg}, series={LNCS}, title={Tight Integration on One Document: The Programming Environment}, volume={1170}, booktitle={Building Tightly Integrated Software Development Environments: The IPSEN Approach}, publisher={Springer}, author={Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm and Westfechtel, Bernhard}, year={1996}, pages={170–177}, collection={LNCS} }"},"intvolume":"      1170","page":"170-177","_id":"7514","series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"book_chapter","publication":"Building Tightly Integrated Software Development Environments: The IPSEN Approach","status":"public"},{"status":"public","abstract":[{"lang":"eng","text":"We present a combination of recent extensions to single-pushout graph transformations, as there are attribution, application conditions and amalgamated graph transformations and add a simple transaction concept on top of this formalism. Thereby, we provide the formal basis for several examples, where these concepts are used in combination."}],"publication":"Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","series_title":"Technical Report","_id":"7831","citation":{"apa":"Heckel, R., Müller, J., Taentzer, G., &#38; Wagner, A. (1995). Attributed Graph Transformations with Controlled Application of Rules. In <i>Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science</i>. Universitat de les Illes Balears.","short":"R. Heckel, J. Müller, G. Taentzer, A. Wagner, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.","mla":"Heckel, Reiko, et al. “Attributed Graph Transformations with Controlled Application of Rules.” <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>, no. B-19, Universitat de les Illes Balears, 1995.","bibtex":"@inproceedings{Heckel_Müller_Taentzer_Wagner_1995, series={Technical Report}, title={Attributed Graph Transformations with Controlled Application of Rules}, number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears}, author={Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995}, collection={Technical Report} }","chicago":"Heckel, Reiko, Jürgen Müller, Gabriele Taentzer, and Annika Wagner. “Attributed Graph Transformations with Controlled Application of Rules.” In <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>. Technical Report. Universitat de les Illes Balears, 1995.","ieee":"R. Heckel, J. Müller, G. Taentzer, and A. Wagner, “Attributed Graph Transformations with Controlled Application of Rules,” in <i>Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science</i>, 1995, no. B-19.","ama":"Heckel R, Müller J, Taentzer G, Wagner A. Attributed Graph Transformations with Controlled Application of Rules. In: <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>. Technical Report. Universitat de les Illes Balears; 1995."},"year":"1995","issue":"B-19","title":"Attributed Graph Transformations with Controlled Application of Rules","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"first_name":"Jürgen","full_name":"Müller, Jürgen","last_name":"Müller"},{"first_name":"Gabriele","full_name":"Taentzer, Gabriele","last_name":"Taentzer"},{"first_name":"Annika","full_name":"Wagner, Annika","last_name":"Wagner"}],"date_created":"2019-02-20T13:59:38Z","publisher":"Universitat de les Illes Balears","date_updated":"2022-01-06T07:03:46Z"},{"date_updated":"2022-01-06T07:03:46Z","publisher":"Springer","date_created":"2019-02-20T14:00:22Z","author":[{"first_name":"Wilfried","last_name":"Thoben","full_name":"Thoben, Wilfried"},{"full_name":"Appelrath, Hans-Jürgen","last_name":"Appelrath","first_name":"Hans-Jürgen"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"title":"Record Linkage of Anonymous Data by Control Numbers","year":"1995","place":"Berlin/Heidelberg","citation":{"ama":"Thoben W, Appelrath H-J, Sauer S. Record Linkage of Anonymous Data by Control Numbers. In: <i>Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany)</i>. Studies in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg: Springer; 1995:412-419.","chicago":"Thoben, Wilfried, Hans-Jürgen Appelrath, and Stefan Sauer. “Record Linkage of Anonymous Data by Control Numbers.” In <i>Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany)</i>, 412–19. Studies in Classification, Data Analysis, and Knowledge Organization. Berlin/Heidelberg: Springer, 1995.","ieee":"W. Thoben, H.-J. Appelrath, and S. Sauer, “Record Linkage of Anonymous Data by Control Numbers,” in <i>Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany)</i>, 1995, pp. 412–419.","mla":"Thoben, Wilfried, et al. “Record Linkage of Anonymous Data by Control Numbers.” <i>Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany)</i>, Springer, 1995, pp. 412–19.","short":"W. Thoben, H.-J. Appelrath, S. Sauer, in: Proceedings of the 18th Annual Conference of the Gesellschaft Für Klassifikation, Oldenburg (Germany), Springer, Berlin/Heidelberg, 1995, pp. 412–419.","bibtex":"@inproceedings{Thoben_Appelrath_Sauer_1995, place={Berlin/Heidelberg}, series={Studies in Classification, Data Analysis, and Knowledge Organization}, title={Record Linkage of Anonymous Data by Control Numbers}, booktitle={Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany)}, publisher={Springer}, author={Thoben, Wilfried and Appelrath, Hans-Jürgen and Sauer, Stefan}, year={1995}, pages={412–419}, collection={Studies in Classification, Data Analysis, and Knowledge Organization} }","apa":"Thoben, W., Appelrath, H.-J., &#38; Sauer, S. (1995). Record Linkage of Anonymous Data by Control Numbers. In <i>Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany)</i> (pp. 412–419). Berlin/Heidelberg: Springer."},"page":"412-419","_id":"7832","user_id":"52534","series_title":"Studies in Classification, Data Analysis, and Knowledge Organization","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany)","status":"public"},{"author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"date_created":"2019-02-20T14:01:39Z","date_updated":"2022-01-06T07:03:46Z","publisher":"Universitat de les Illes Balears","title":"Embedding of Conditional Graph Transformations","issue":"B-19","citation":{"apa":"Heckel, R. (1995). Embedding of Conditional Graph Transformations. In <i>Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science</i>. Universitat de les Illes Balears.","short":"R. Heckel, in: Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, 1995.","mla":"Heckel, Reiko. “Embedding of Conditional Graph Transformations.” <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>, no. B-19, Universitat de les Illes Balears, 1995.","bibtex":"@inproceedings{Heckel_1995, series={Technical Report}, title={Embedding of Conditional Graph Transformations}, number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears}, author={Heckel, Reiko}, year={1995}, collection={Technical Report} }","chicago":"Heckel, Reiko. “Embedding of Conditional Graph Transformations.” In <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>. Technical Report. Universitat de les Illes Balears, 1995.","ieee":"R. Heckel, “Embedding of Conditional Graph Transformations,” in <i>Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science</i>, 1995, no. B-19.","ama":"Heckel R. Embedding of Conditional Graph Transformations. In: <i>Proceedings of the Colloquium on Graph Transformation and Its Application in Computer Science</i>. Technical Report. Universitat de les Illes Balears; 1995."},"year":"1995","department":[{"_id":"66"}],"user_id":"52534","series_title":"Technical Report","_id":"7833","language":[{"iso":"eng"}],"publication":"Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Single pushout graph transformations at injective matches are extended by negative application conditions. It is shown, how right-sided application conditions can be transformed into equivalent left-sided ones. Based on this result, conditional derived rules are introduced and a theorem, similiar to the double pushout embedding theorem is shown. Finally, three variants of contextual application conditions are discussed with respect to their expressive power and expected results."}]},{"date_updated":"2022-01-06T07:03:52Z","date_created":"2019-03-03T16:12:49Z","author":[{"first_name":"Mirko","full_name":"Conrad, Mirko","last_name":"Conrad"},{"first_name":"Magdalena","last_name":"Gajewsky","full_name":"Gajewsky, Magdalena"},{"full_name":"Holl-Biniasz, Rainer","last_name":"Holl-Biniasz","first_name":"Rainer"},{"full_name":"Rudolf, Michael","last_name":"Rudolf","first_name":"Michael"},{"first_name":"Jochen","full_name":"Demuth, Jochen","last_name":"Demuth"},{"first_name":"Stephan","full_name":"Weber, Stephan","last_name":"Weber"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Müller","full_name":"Müller, Jürgen","first_name":"Jürgen"},{"first_name":"Gabriele","full_name":"Taentzer, Gabriele","last_name":"Taentzer"},{"full_name":"Wagner, Annika","last_name":"Wagner","first_name":"Annika"}],"title":"Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem","year":"1995","citation":{"chicago":"Conrad, Mirko, Magdalena Gajewsky, Rainer Holl-Biniasz, Michael Rudolf, Jochen Demuth, Stephan Weber, Reiko Heckel, Jürgen Müller, Gabriele Taentzer, and Annika Wagner. <i>Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem</i>, 1995.","ieee":"M. Conrad <i>et al.</i>, <i>Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem</i>. 1995.","ama":"Conrad M, Gajewsky M, Holl-Biniasz R, et al. <i>Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem</i>.; 1995.","bibtex":"@book{Conrad_Gajewsky_Holl-Biniasz_Rudolf_Demuth_Weber_Heckel_Müller_Taentzer_Wagner_1995, title={Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem}, author={Conrad, Mirko and Gajewsky, Magdalena and Holl-Biniasz, Rainer and Rudolf, Michael and Demuth, Jochen and Weber, Stephan and Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995} }","short":"M. Conrad, M. Gajewsky, R. Holl-Biniasz, M. Rudolf, J. Demuth, S. Weber, R. Heckel, J. Müller, G. Taentzer, A. Wagner, Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem, 1995.","mla":"Conrad, Mirko, et al. <i>Graphische Spezifikation Ausgewählter Teile von AGG - Einem Algebraischen Graphgrammatiksystem</i>. 1995.","apa":"Conrad, M., Gajewsky, M., Holl-Biniasz, R., Rudolf, M., Demuth, J., Weber, S., … Wagner, A. (1995). <i>Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem</i>."},"_id":"8194","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"report","status":"public"},{"citation":{"ieee":"J. Ebert and G. Engels, <i>Specialization of Object Life Cycle Definitions</i>. Koblenz: University of Koblenz-Landau, 1995.","chicago":"Ebert, Jürgen, and Gregor Engels. <i>Specialization of Object Life Cycle Definitions</i>. Koblenz: University of Koblenz-Landau, 1995.","ama":"Ebert J, Engels G. <i>Specialization of Object Life Cycle Definitions</i>. Koblenz: University of Koblenz-Landau; 1995.","apa":"Ebert, J., &#38; Engels, G. (1995). <i>Specialization of Object Life Cycle Definitions</i>. Koblenz: University of Koblenz-Landau.","mla":"Ebert, Jürgen, and Gregor Engels. <i>Specialization of Object Life Cycle Definitions</i>. University of Koblenz-Landau, 1995.","short":"J. Ebert, G. Engels, Specialization of Object Life Cycle Definitions, University of Koblenz-Landau, Koblenz, 1995.","bibtex":"@book{Ebert_Engels_1995, place={Koblenz}, title={Specialization of Object Life Cycle Definitions}, publisher={University of Koblenz-Landau}, author={Ebert, Jürgen and Engels, Gregor}, year={1995} }"},"year":"1995","place":"Koblenz","title":"Specialization of Object Life Cycle Definitions","author":[{"first_name":"Jürgen","last_name":"Ebert","full_name":"Ebert, Jürgen"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}],"date_created":"2019-03-03T16:12:50Z","publisher":"University of Koblenz-Landau","date_updated":"2022-01-06T07:03:52Z","status":"public","abstract":[{"text":"Several object-oriented modeling approaches propose to describe the dynamic behaviour of objects by state transition diagrams. None of them provides precise rules or conditions for the interrelation between the behaviour description of classes and those of their subclasses. In this paper, we discuss this interrelation in detail. It turns out that one has to distinguish between the observable and the invocable behaviour of objects and that different compatibility requirements between the diagrams exist depending on the type of behaviour.","lang":"eng"}],"type":"report","report_number":"19/95","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"8195"},{"title":"Encapsulated Hierarchical Graphs, Graph Types, and Meta Types","author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"first_name":"Andy","full_name":"Schürr, Andy","last_name":"Schürr"}],"date_created":"2019-03-03T16:12:51Z","publisher":"Vakgroep Informatica, Rijksuniversiteit Leiden","date_updated":"2022-01-06T07:03:52Z","citation":{"ama":"Engels G, Schürr A. <i>Encapsulated Hierarchical Graphs, Graph Types, and Meta Types</i>. Vakgroep Informatica, Rijksuniversiteit Leiden; 1995.","ieee":"G. Engels and A. Schürr, <i>Encapsulated Hierarchical Graphs, Graph Types, and Meta Types</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.","chicago":"Engels, Gregor, and Andy Schürr. <i>Encapsulated Hierarchical Graphs, Graph Types, and Meta Types</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.","mla":"Engels, Gregor, and Andy Schürr. <i>Encapsulated Hierarchical Graphs, Graph Types, and Meta Types</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.","bibtex":"@book{Engels_Schürr_1995, title={Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Engels, Gregor and Schürr, Andy}, year={1995} }","short":"G. Engels, A. Schürr, Encapsulated Hierarchical Graphs, Graph Types, and Meta Types, Vakgroep Informatica, Rijksuniversiteit Leiden, 1995.","apa":"Engels, G., &#38; Schürr, A. (1995). <i>Encapsulated Hierarchical Graphs, Graph Types, and Meta Types</i>. Vakgroep Informatica, Rijksuniversiteit Leiden."},"year":"1995","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8196","status":"public","type":"report","report_number":"95-21"},{"place":"Berlin/Heidelberg","year":"1995","citation":{"ama":"Groenewegen L, Engels G. Coordination by Behavioural Views and Communication Patterns. In: <i>Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)</i>. Vol 913. LNCS. Berlin/Heidelberg: Springer; 1995:189-192. doi:<a href=\"http://dx.doi.org/10.1007/3-540-59205-9_56\">http://dx.doi.org/10.1007/3-540-59205-9_56</a>","ieee":"L. Groenewegen and G. Engels, “Coordination by Behavioural Views and Communication Patterns,” in <i>Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)</i>, 1995, vol. 913, pp. 189–192.","chicago":"Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views and Communication Patterns.” In <i>Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)</i>, 913:189–92. LNCS. Berlin/Heidelberg: Springer, 1995. <a href=\"http://dx.doi.org/10.1007/3-540-59205-9_56\">http://dx.doi.org/10.1007/3-540-59205-9_56</a>.","mla":"Groenewegen, Luuk, and Gregor Engels. “Coordination by Behavioural Views and Communication Patterns.” <i>Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)</i>, vol. 913, Springer, 1995, pp. 189–92, doi:<a href=\"http://dx.doi.org/10.1007/3-540-59205-9_56\">http://dx.doi.org/10.1007/3-540-59205-9_56</a>.","bibtex":"@inproceedings{Groenewegen_Engels_1995, place={Berlin/Heidelberg}, series={LNCS}, title={Coordination by Behavioural Views and Communication Patterns}, volume={913}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-59205-9_56\">http://dx.doi.org/10.1007/3-540-59205-9_56</a>}, booktitle={Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)}, publisher={Springer}, author={Groenewegen, Luuk and Engels, Gregor}, year={1995}, pages={189–192}, collection={LNCS} }","short":"L. Groenewegen, G. Engels, in: Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands), Springer, Berlin/Heidelberg, 1995, pp. 189–192.","apa":"Groenewegen, L., &#38; Engels, G. (1995). Coordination by Behavioural Views and Communication Patterns. In <i>Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)</i> (Vol. 913, pp. 189–192). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-59205-9_56\">http://dx.doi.org/10.1007/3-540-59205-9_56</a>"},"intvolume":"       913","page":"189-192","publisher":"Springer","date_updated":"2022-01-06T07:03:52Z","date_created":"2019-03-04T11:52:17Z","author":[{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"},{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"}],"volume":913,"title":"Coordination by Behavioural Views and Communication Patterns","doi":"http://dx.doi.org/10.1007/3-540-59205-9_56","type":"conference","publication":"Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)","status":"public","_id":"8266","series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"series_title":"Electronic Notes in Theoretical Computer Science ","user_id":"52534","department":[{"_id":"66"}],"_id":"8267","status":"public","abstract":[{"lang":"eng","text":"Based on a categorical semantics that has been developed for typed graph grammars we uses colimits (pushouts) to model composition and (reverse) graph grammar morphisms to describe refinements of typed graph grammars. Composition of graph grammars w.r.t. common subgrammars is shown to be compatible with the semantics, i.e. the semantics of the composed grammar is obtained as the composition of the semantics of the component grammars. Moreover, the structure of a composed grammar is preserved during a refinement step in the sense that compatible refinements of the components induce a refinement of the composition. The concepts and results are illustrated by an example."}],"type":"conference","publication":"Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)","title":"A Compositional Approach to Structuring and Refinement of Typed Graph Grammars","date_created":"2019-03-04T11:52:18Z","author":[{"first_name":"Andrea","last_name":"Corradini","full_name":"Corradini, Andrea"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"volume":2,"date_updated":"2022-01-06T07:03:52Z","publisher":"Elsevier","citation":{"mla":"Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars.” <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, vol. 2, Elsevier, 1995, pp. 46–55.","bibtex":"@inproceedings{Corradini_Heckel_1995, series={Electronic Notes in Theoretical Computer Science }, title={A Compositional Approach to Structuring and Refinement of Typed Graph Grammars}, volume={2}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko}, year={1995}, pages={46–55}, collection={Electronic Notes in Theoretical Computer Science } }","short":"A. Corradini, R. Heckel, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 46–55.","apa":"Corradini, A., &#38; Heckel, R. (1995). A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i> (Vol. 2, pp. 46–55). Elsevier.","ieee":"A. Corradini and R. Heckel, “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars,” in <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 1995, vol. 2, pp. 46–55.","chicago":"Corradini, Andrea, and Reiko Heckel. “A Compositional Approach to Structuring and Refinement of Typed Graph Grammars.” In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 2:46–55. Electronic Notes in Theoretical Computer Science . Elsevier, 1995.","ama":"Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In: <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>. Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55."},"page":"46-55","intvolume":"         2","year":"1995"},{"intvolume":"        26","citation":{"apa":"Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, L., … Martini, A. (1995). GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In <i>Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)</i> (Vol. 26). Forschungszentrum Jülich GmbH.","short":"B. Bardohl, R. Bardohl, P. Castro, H. Ehrig, R. Heckel, L. Ribeiro, D. Nunes, A. Martini, in: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany), Forschungszentrum Jülich GmbH, 1995.","bibtex":"@inproceedings{Bardohl_Bardohl_Castro_Ehrig_Heckel_Ribeiro_Nunes_Martini_1995, series={Bilateral Seminars of the International Bureau}, title={GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development}, volume={26}, booktitle={Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)}, publisher={Forschungszentrum Jülich GmbH}, author={Bardohl, Bernhard and Bardohl, Roswitha and Castro, Paulo and Ehrig, Hartmut and Heckel, Reiko and Ribeiro, Leila and Nunes, Daltro and Martini, Alfio}, year={1995}, collection={Bilateral Seminars of the International Bureau} }","mla":"Bardohl, Bernhard, et al. “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development.” <i>Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)</i>, vol. 26, Forschungszentrum Jülich GmbH, 1995.","ieee":"B. Bardohl <i>et al.</i>, “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development,” in <i>Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)</i>, 1995, vol. 26.","chicago":"Bardohl, Bernhard, Roswitha Bardohl, Paulo Castro, Hartmut Ehrig, Reiko Heckel, Leila Ribeiro, Daltro Nunes, and Alfio Martini. “GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development.” In <i>Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)</i>, Vol. 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH, 1995.","ama":"Bardohl B, Bardohl R, Castro P, et al. GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In: <i>Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)</i>. Vol 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH; 1995."},"year":"1995","title":"GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development","volume":26,"date_created":"2019-03-04T11:52:19Z","author":[{"first_name":"Bernhard","last_name":"Bardohl","full_name":"Bardohl, Bernhard"},{"full_name":"Bardohl, Roswitha","last_name":"Bardohl","first_name":"Roswitha"},{"last_name":"Castro","full_name":"Castro, Paulo","first_name":"Paulo"},{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"full_name":"Ribeiro, Leila","last_name":"Ribeiro","first_name":"Leila"},{"full_name":"Nunes, Daltro","last_name":"Nunes","first_name":"Daltro"},{"last_name":"Martini","full_name":"Martini, Alfio","first_name":"Alfio"}],"publisher":"Forschungszentrum Jülich GmbH","date_updated":"2022-01-06T07:03:52Z","status":"public","abstract":[{"text":"The overall aim of this paper is a proposal how to bridge the gap between formal specification techniques developed in research projects and semi--formal or informal specifications used in industrial practice. The main idea to overcome these problems is to develop graphical support for formal methods in order to increase acceptance by practitioners and to provide means for integration of formal and semi--formal methods. More specifically suitable concepts will be developed to combine algebraic specifications, Petri Nets, and Graph Grammars with each other and with distinguished graphical components to be used by industrial partners.","lang":"eng"}],"publication":"Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"series_title":"Bilateral Seminars of the International Bureau","user_id":"52534","_id":"8268"},{"_id":"8269","series_title":"Electronic Notes in Theoretical Computer Science","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)","abstract":[{"lang":"eng","text":"Currently existing graph grammar-based specification languages have serious problems with supporting any kind of “specification-in-the-large” activities. More precisely, they have deficiencies with respect to modeling hierarchical data structures or specifying meta activities like manipulation of graph schemata. Furthermore, already proposed graph grammar module concepts are still too abstract to be useful in practice. Our contribution addresses these problems by introducing a new hierarchical graph data model with an infinite number of schema, meta-schema, etc. layers. It forms the base for a forthcoming concrete modular graph grammar specification language where in addition information hiding aspects like explicit export and import interfaces are expressible."}],"status":"public","publisher":"Elsevier","date_updated":"2022-01-06T07:03:52Z","author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"first_name":"Andy","full_name":"Schürr, Andy","last_name":"Schürr"}],"date_created":"2019-03-04T11:52:20Z","title":"Encapsulated Hierarchical Graphs, Graph Types, and Meta Types","doi":"http://dx.doi.org/10.1016/S1571-0661(05)80186-0","year":"1995","place":"Amsterdam, The Netherlands","citation":{"apa":"Engels, G., &#38; Schürr, A. (1995). Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i> (pp. 101–109). Amsterdam, The Netherlands: Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80186-0\">http://dx.doi.org/10.1016/S1571-0661(05)80186-0</a>","short":"G. Engels, A. Schürr, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, Amsterdam, The Netherlands, 1995, pp. 101–109.","bibtex":"@inproceedings{Engels_Schürr_1995, place={Amsterdam, The Netherlands}, series={Electronic Notes in Theoretical Computer Science}, title={Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80186-0\">http://dx.doi.org/10.1016/S1571-0661(05)80186-0</a>}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Engels, Gregor and Schürr, Andy}, year={1995}, pages={101–109}, collection={Electronic Notes in Theoretical Computer Science} }","mla":"Engels, Gregor, and Andy Schürr. “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types.” <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, Elsevier, 1995, pp. 101–09, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80186-0\">http://dx.doi.org/10.1016/S1571-0661(05)80186-0</a>.","chicago":"Engels, Gregor, and Andy Schürr. “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types.” In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 101–9. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier, 1995. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80186-0\">http://dx.doi.org/10.1016/S1571-0661(05)80186-0</a>.","ieee":"G. Engels and A. Schürr, “Encapsulated Hierarchical Graphs, Graph Types, and Meta Types,” in <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 1995, pp. 101–109.","ama":"Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In: <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier; 1995:101-109. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80186-0\">http://dx.doi.org/10.1016/S1571-0661(05)80186-0</a>"},"page":"101-109"},{"year":"1995","page":"118-126","intvolume":"         2","citation":{"ieee":"R. Heckel and A. Wagner, “Ensuring Consistency of Conditional Graph Grammars - A constructive Approach,” in <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 1995, vol. 2, pp. 118–126.","chicago":"Heckel, Reiko, and Annika Wagner. “Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach.” In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, 2:118–26. Electronic Notes in Theoretical Computer Science. Elsevier, 1995. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80188-4\">http://dx.doi.org/10.1016/S1571-0661(05)80188-4</a>.","ama":"Heckel R, Wagner A. Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In: <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>. Vol 2. Electronic Notes in Theoretical Computer Science. Elsevier; 1995:118-126. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80188-4\">http://dx.doi.org/10.1016/S1571-0661(05)80188-4</a>","apa":"Heckel, R., &#38; Wagner, A. (1995). Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i> (Vol. 2, pp. 118–126). Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80188-4\">http://dx.doi.org/10.1016/S1571-0661(05)80188-4</a>","mla":"Heckel, Reiko, and Annika Wagner. “Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach.” <i>Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)</i>, vol. 2, Elsevier, 1995, pp. 118–26, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80188-4\">http://dx.doi.org/10.1016/S1571-0661(05)80188-4</a>.","short":"R. Heckel, A. Wagner, in: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy), Elsevier, 1995, pp. 118–126.","bibtex":"@inproceedings{Heckel_Wagner_1995, series={Electronic Notes in Theoretical Computer Science}, title={Ensuring Consistency of Conditional Graph Grammars - A constructive Approach}, volume={2}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80188-4\">http://dx.doi.org/10.1016/S1571-0661(05)80188-4</a>}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Heckel, Reiko and Wagner, Annika}, year={1995}, pages={118–126}, collection={Electronic Notes in Theoretical Computer Science} }"},"publisher":"Elsevier","date_updated":"2022-01-06T07:03:53Z","volume":2,"author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"full_name":"Wagner, Annika","last_name":"Wagner","first_name":"Annika"}],"date_created":"2019-03-04T11:52:21Z","title":"Ensuring Consistency of Conditional Graph Grammars - A constructive Approach","doi":"http://dx.doi.org/10.1016/S1571-0661(05)80188-4","publication":"Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)","type":"conference","status":"public","_id":"8270","department":[{"_id":"66"}],"series_title":"Electronic Notes in Theoretical Computer Science","user_id":"52534","language":[{"iso":"eng"}]},{"title":"Fundamentals of Object-Oriented Languages, Systems, and Methods","volume":95,"date_created":"2019-02-19T19:19:14Z","date_updated":"2022-01-06T07:03:46Z","publisher":"Schloss Dagstuhl, Leibniz Center for Informatics","intvolume":"        95","citation":{"apa":"Ehrich, H.-D., Engels, G., Paredaens, J., &#38; Wegner, J. (Eds.). (1994). <i>Fundamentals of Object-Oriented Languages, Systems, and Methods</i> (Vol. 95). Schloss Dagstuhl, Leibniz Center for Informatics.","short":"H.-D. Ehrich, G. Engels, J. Paredaens, J. Wegner, eds., Fundamentals of Object-Oriented Languages, Systems, and Methods, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.","mla":"Ehrich, Hans-Dietrich, et al., editors. <i>Fundamentals of Object-Oriented Languages, Systems, and Methods</i>. Vol. 95, Schloss Dagstuhl, Leibniz Center for Informatics, 1994.","bibtex":"@book{Ehrich_Engels_Paredaens_Wegner_1994, series={Dagstuhl-Seminar-Report}, title={Fundamentals of Object-Oriented Languages, Systems, and Methods}, volume={95}, publisher={Schloss Dagstuhl, Leibniz Center for Informatics}, year={1994}, collection={Dagstuhl-Seminar-Report} }","ama":"Ehrich H-D, Engels G, Paredaens J, Wegner J, eds. <i>Fundamentals of Object-Oriented Languages, Systems, and Methods</i>. Vol 95. Schloss Dagstuhl, Leibniz Center for Informatics; 1994.","chicago":"Ehrich, Hans-Dietrich, Gregor Engels, J. Paredaens, and Jan Wegner, eds. <i>Fundamentals of Object-Oriented Languages, Systems, and Methods</i>. Vol. 95. Dagstuhl-Seminar-Report. Schloss Dagstuhl, Leibniz Center for Informatics, 1994.","ieee":"H.-D. Ehrich, G. Engels, J. Paredaens, and J. Wegner, Eds., <i>Fundamentals of Object-Oriented Languages, Systems, and Methods</i>, vol. 95. Schloss Dagstuhl, Leibniz Center for Informatics, 1994."},"year":"1994","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"series_title":"Dagstuhl-Seminar-Report","user_id":"52534","_id":"7797","status":"public","abstract":[{"lang":"eng","text":"During the last decades there has been progress within the object-oriented community in agreeing on what object- orientedness means. The role of object identity, specialization, inheritance, and dynamic binding have been examined. However, a careful look at articles written by people with a theory, programming language, database, and software engineering background shows that the semantical understanding of the same features still differs considerably. A well-known example is the feature of inheritance, which has quite a different meaning for persons from the database comunity with a semantic data model background and persons form the programming language community with a compiling technique background This observation also applies to the literaute on object-oriented software development methods. Here, object -oriented analysis and design methods are often heavily influenced by semantic data modelling consepts- An implemantion of an object-orinted design by an objeckt-oriented progamming language usually causes more difficulties than expected although the \"same\" object-oriente paradigm is used..."}],"editor":[{"last_name":"Ehrich","full_name":"Ehrich, Hans-Dietrich","first_name":"Hans-Dietrich"},{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"full_name":"Paredaens, J.","last_name":"Paredaens","first_name":"J."},{"first_name":"Jan","last_name":"Wegner","full_name":"Wegner, Jan"}],"type":"conference_editor"},{"citation":{"ama":"Cuny J, Ehrig H, Engels G, Rozenberg G, eds. <i>Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers</i>. Vol 1073. Berlin/Heidelberg: Springer; 1994. doi:<a href=\"http://dx.doi.org/10.1007/3-540-61228-9\">http://dx.doi.org/10.1007/3-540-61228-9</a>","chicago":"Cuny, Janice, Hartmut Ehrig, Gregor Engels, and Grzegorz Rozenberg, eds. <i>Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers</i>. Vol. 1073. LNCS. Berlin/Heidelberg: Springer, 1994. <a href=\"http://dx.doi.org/10.1007/3-540-61228-9\">http://dx.doi.org/10.1007/3-540-61228-9</a>.","ieee":"J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, Eds., <i>Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers</i>, vol. 1073. Berlin/Heidelberg: Springer, 1994.","apa":"Cuny, J., Ehrig, H., Engels, G., &#38; Rozenberg, G. (Eds.). (1994). <i>Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers</i> (Vol. 1073). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-61228-9\">http://dx.doi.org/10.1007/3-540-61228-9</a>","mla":"Cuny, Janice, et al., editors. <i>Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers</i>. Vol. 1073, Springer, 1994, doi:<a href=\"http://dx.doi.org/10.1007/3-540-61228-9\">http://dx.doi.org/10.1007/3-540-61228-9</a>.","short":"J. Cuny, H. Ehrig, G. Engels, G. Rozenberg, eds., Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers, Springer, Berlin/Heidelberg, 1994.","bibtex":"@book{Cuny_Ehrig_Engels_Rozenberg_1994, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers}, volume={1073}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-61228-9\">http://dx.doi.org/10.1007/3-540-61228-9</a>}, publisher={Springer}, year={1994}, collection={LNCS} }"},"intvolume":"      1073","place":"Berlin/Heidelberg","year":"1994","date_created":"2019-02-19T19:19:58Z","volume":1073,"publisher":"Springer","date_updated":"2022-01-06T07:03:46Z","doi":"http://dx.doi.org/10.1007/3-540-61228-9","title":"Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers","type":"conference_editor","status":"public","editor":[{"first_name":"Janice","full_name":"Cuny, Janice","last_name":"Cuny"},{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"last_name":"Rozenberg","full_name":"Rozenberg, Grzegorz","first_name":"Grzegorz"}],"user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"_id":"7798","language":[{"iso":"eng"}]},{"page":"88-90","citation":{"short":"W. Thoben, H.-J. Appelrath, J. Rettig, S. Sauer, in: Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany), MMV Medizin Verlag, München, 1994, pp. 88–90.","bibtex":"@inproceedings{Thoben_Appelrath_Rettig_Sauer_1994, place={München}, title={Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister}, booktitle={Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany)}, publisher={MMV Medizin Verlag}, author={Thoben, Wilfried and Appelrath, Hans-Jürgen and Rettig, Jens and Sauer, Stefan}, year={1994}, pages={88–90} }","mla":"Thoben, Wilfried, et al. “Berücksichtigung von Datenschutzaspekten in Einem Bevölkerungsbezogenen Krebsregister.” <i>Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany)</i>, MMV Medizin Verlag, 1994, pp. 88–90.","apa":"Thoben, W., Appelrath, H.-J., Rettig, J., &#38; Sauer, S. (1994). Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister. In <i>Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany)</i> (pp. 88–90). München: MMV Medizin Verlag.","ama":"Thoben W, Appelrath H-J, Rettig J, Sauer S. Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister. In: <i>Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany)</i>. München: MMV Medizin Verlag; 1994:88-90.","ieee":"W. Thoben, H.-J. Appelrath, J. Rettig, and S. Sauer, “Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister,” in <i>Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany)</i>, 1994, pp. 88–90.","chicago":"Thoben, Wilfried, Hans-Jürgen Appelrath, Jens Rettig, and Stefan Sauer. “Berücksichtigung von Datenschutzaspekten in Einem Bevölkerungsbezogenen Krebsregister.” In <i>Proceedings of the Conference on Medizin Und Information, Biometrie Und Epidemiologie (GMDS 1994), Dresden (Germany)</i>, 88–90. München: MMV Medizin Verlag, 1994."},"year":"1994","place":"München","title":"Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister","author":[{"full_name":"Thoben, Wilfried","last_name":"Thoben","first_name":"Wilfried"},{"last_name":"Appelrath","full_name":"Appelrath, Hans-Jürgen","first_name":"Hans-Jürgen"},{"last_name":"Rettig","full_name":"Rettig, Jens","first_name":"Jens"},{"first_name":"Stefan","id":"447","full_name":"Sauer, Stefan","last_name":"Sauer"}],"date_created":"2019-02-20T13:53:08Z","publisher":"MMV Medizin Verlag","date_updated":"2022-01-06T07:03:46Z","status":"public","abstract":[{"text":"Die Pilotphase 1993/ 94 zum Aufbau eines Niedersächsischen Krebsregister untersucht das im Entwurf des Bundeskrebsregistergesetzes vorgesehen Modell für ein bevölkerungsbezogenes Krebsregister. Darin werden die Krebsmeldungen in einer Vertrauensstelle erfaßt und die personenidentifizierenden Daten vor der Übermittlung an die Registerstelle anonymisiert, wo sie dann zu einem bevölkerungsbezogenen Krebsregister verdichtet und epidemiologischer Forschung zur Verfügung gestellt werden ([1], [2], [3]). Dieses sogenannte „Michaelis“-Modell erlaubt eine bevölkerungsbezogene Registrierung von Krebsfällen unter Berücksichtigung datenschutzrechtlicher Aspekte („Informationelles Selbstbestimmungsrecht“) der einzelnen Betroffenen. In vier Teilprojekten werden dabei in der Modellregion Weser-Ems die Integration krebsregistrierender Einrichtungen, die Chiffrierung/ Dechiffrierung von Krebsmeldungen, der Abgleich anonymisierter Meldungen in der Registerstelle und die Entwicklung eines epidemiologischen Informationssystem betrachtet ([4], [5]).","lang":"ger"}],"publication":"Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7827"},{"date_created":"2019-02-20T13:54:14Z","author":[{"full_name":"Ebert, Jürgen","last_name":"Ebert","first_name":"Jürgen"},{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"}],"volume":858,"publisher":"Springer","date_updated":"2022-01-06T07:03:46Z","title":"Structural and Behavioural Views on OMT-Classes","citation":{"mla":"Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on OMT-Classes.” <i>Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)</i>, vol. 858, Springer, 1994, pp. 142–57.","bibtex":"@inproceedings{Ebert_Engels_1994, place={Berlin/Heidelberg}, title={Structural and Behavioural Views on OMT-Classes}, volume={858}, booktitle={Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)}, publisher={Springer}, author={Ebert, Jürgen and Engels, Gregor}, year={1994}, pages={142–157} }","short":"J. Ebert, G. Engels, in: Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy), Springer, Berlin/Heidelberg, 1994, pp. 142–157.","apa":"Ebert, J., &#38; Engels, G. (1994). Structural and Behavioural Views on OMT-Classes. In <i>Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)</i> (Vol. 858, pp. 142–157). Berlin/Heidelberg: Springer.","ieee":"J. Ebert and G. Engels, “Structural and Behavioural Views on OMT-Classes,” in <i>Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)</i>, 1994, vol. 858, pp. 142–157.","chicago":"Ebert, Jürgen, and Gregor Engels. “Structural and Behavioural Views on OMT-Classes.” In <i>Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)</i>, 858:142–57. Berlin/Heidelberg: Springer, 1994.","ama":"Ebert J, Engels G. Structural and Behavioural Views on OMT-Classes. In: <i>Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)</i>. Vol 858. Berlin/Heidelberg: Springer; 1994:142-157."},"intvolume":"       858","page":"142-157","place":"Berlin/Heidelberg","year":"1994","user_id":"52534","department":[{"_id":"66"}],"_id":"7828","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)","status":"public","abstract":[{"lang":"eng","text":"Object-oriented specification languages provide means to specify the static structure, as well as the allowed dynamic behaviour of objects. Here, the dynamic behaviour is usually described by giving the methods and a state transition diagram which defines the allowed sequences of methods on objects of a certain class. Specialized classes are defined using the inheritance relationship. In order to enable reusability while guaranteeing type substitutability, subclass specifications have to be compatible with respect to static and dynamic aspects with their corresponding superclass specifications. Classes have to provide a large shopping list of operations to satisfy the needs of all possible users. The interests of specific users are often restricted to a subset of operations and thus to a restricted behaviour. This paper describes a formalization of class descriptions given by attributes, operations, as well as state transition diagrams. It defines compatibility between sub- and superclasses and introduces the notion of views in the sense of hiding parts of a class description. It turns out that a view has the same properties as a (virtual) superclass."}]},{"language":[{"iso":"eng"}],"_id":"7829","department":[{"_id":"66"}],"user_id":"52534","abstract":[{"lang":"eng","text":"Object-oriented system development is wideley recognized as improving productivity and reducing system maintenance costs. However, existing approaches have not sufficiently addressed the following three questions which are equally important to users and researchers. Firstly, what are the benefits of object-oriented system development compared to traditional approaches? Secondly, what are the essential features of an objectoriented life cycle model to fulfill the benefits of object-oriented development? And thirdly, what are the pitfalls of object-oriented development and how to cope with them? The paper investigates answers to all three questions in concert."}],"status":"public","publication":"Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)","type":"conference","title":"Object-Oriented System Development: Will the New Approach Solve Old Problems?","publisher":"Elsevier","date_updated":"2022-01-06T07:03:46Z","volume":3,"author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"first_name":"Gerti","full_name":"Kappel, Gerti","last_name":"Kappel"}],"date_created":"2019-02-20T13:58:33Z","year":"1994","page":"434-441","intvolume":"         3","citation":{"bibtex":"@inproceedings{Engels_Kappel_1994, title={Object-Oriented System Development: Will the New Approach Solve Old Problems?}, volume={3}, booktitle={Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)}, publisher={Elsevier}, author={Engels, Gregor and Kappel, Gerti}, year={1994}, pages={434–441} }","short":"G. Engels, G. Kappel, in: Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany), Elsevier, 1994, pp. 434–441.","mla":"Engels, Gregor, and Gerti Kappel. “Object-Oriented System Development: Will the New Approach Solve Old Problems?” <i>Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)</i>, vol. 3, Elsevier, 1994, pp. 434–41.","apa":"Engels, G., &#38; Kappel, G. (1994). Object-Oriented System Development: Will the New Approach Solve Old Problems? In <i>Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)</i> (Vol. 3, pp. 434–441). Elsevier.","chicago":"Engels, Gregor, and Gerti Kappel. “Object-Oriented System Development: Will the New Approach Solve Old Problems?” In <i>Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)</i>, 3:434–41. Elsevier, 1994.","ieee":"G. Engels and G. Kappel, “Object-Oriented System Development: Will the New Approach Solve Old Problems?,” in <i>Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)</i>, 1994, vol. 3, pp. 434–441.","ama":"Engels G, Kappel G. Object-Oriented System Development: Will the New Approach Solve Old Problems? In: <i>Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)</i>. Vol 3. Elsevier; 1994:434-441."}},{"language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","series_title":"Technical Report ","_id":"7830","status":"public","publication":"Proceedings Colloquium on Graph Transformation and its Application in Computer Science","type":"conference","title":"Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective","volume":"B-19","date_created":"2019-02-20T13:59:14Z","author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"}],"publisher":"Universitat de les Illes Balears, Departament de Ci","date_updated":"2022-01-06T07:03:46Z","citation":{"ama":"Engels G, Ehrig H. Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. In: <i>Proceedings Colloquium on Graph Transformation and Its Application in Computer Science</i>. Vol B-19. Technical Report . Universitat de les Illes Balears, Departament de Ci; 1994.","ieee":"G. Engels and H. Ehrig, “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective,” in <i>Proceedings Colloquium on Graph Transformation and its Application in Computer Science</i>, 1994, vol. B-19.","chicago":"Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective.” In <i>Proceedings Colloquium on Graph Transformation and Its Application in Computer Science</i>, Vol. B-19. Technical Report . Universitat de les Illes Balears, Departament de Ci, 1994.","mla":"Engels, Gregor, and Hartmut Ehrig. “Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective.” <i>Proceedings Colloquium on Graph Transformation and Its Application in Computer Science</i>, vol. B-19, Universitat de les Illes Balears, Departament de Ci, 1994.","short":"G. Engels, H. Ehrig, in: Proceedings Colloquium on Graph Transformation and Its Application in Computer Science, Universitat de les Illes Balears, Departament de Ci, 1994.","bibtex":"@inproceedings{Engels_Ehrig_1994, series={Technical Report }, title={Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective}, volume={B-19}, booktitle={Proceedings Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears, Departament de Ci}, author={Engels, Gregor and Ehrig, Hartmut}, year={1994}, collection={Technical Report } }","apa":"Engels, G., &#38; Ehrig, H. (1994). Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective. In <i>Proceedings Colloquium on Graph Transformation and its Application in Computer Science</i> (Vol. B-19). Universitat de les Illes Balears, Departament de Ci."},"year":"1994"},{"title":"Observable or Invocable Behaviour - You Have to Choose","date_created":"2019-03-03T16:12:48Z","author":[{"last_name":"Ebert","full_name":"Ebert, Jürgen","first_name":"Jürgen"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"date_updated":"2022-01-06T07:03:52Z","publisher":"Vakgroep Informatica, Rijksuniversiteit Leiden","citation":{"ieee":"J. Ebert and G. Engels, <i>Observable or Invocable Behaviour - You Have to Choose</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.","chicago":"Ebert, Jürgen, and Gregor Engels. <i>Observable or Invocable Behaviour - You Have to Choose</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.","ama":"Ebert J, Engels G. <i>Observable or Invocable Behaviour - You Have to Choose</i>. Vakgroep Informatica, Rijksuniversiteit Leiden; 1994.","mla":"Ebert, Jürgen, and Gregor Engels. <i>Observable or Invocable Behaviour - You Have to Choose</i>. Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.","short":"J. Ebert, G. Engels, Observable or Invocable Behaviour - You Have to Choose, Vakgroep Informatica, Rijksuniversiteit Leiden, 1994.","bibtex":"@book{Ebert_Engels_1994, title={Observable or Invocable Behaviour - You Have to Choose}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Ebert, Jürgen and Engels, Gregor}, year={1994} }","apa":"Ebert, J., &#38; Engels, G. (1994). <i>Observable or Invocable Behaviour - You Have to Choose</i>. Vakgroep Informatica, Rijksuniversiteit Leiden."},"year":"1994","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8193","status":"public","report_number":"94-38","type":"report"}]