[{"department":[{"_id":"66"}],"user_id":"52534","_id":"8346","language":[{"iso":"eng"}],"publication":"Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)","type":"conference","status":"public","abstract":[{"lang":"eng","text":"In den letzten Jahren ist ein deutlicher Trend zu verstärkt nebenläufiger Software festzustellen. Hierfür gibt es verschiedene Gründe, wie die rasante Verbreitung des Internets mit seinen Client/Server-Architekturen und die verstärkte Unterstützung nebenläufiger Programmierung in neuen Programmiersprachen wie z.B. Java. Softwareentwickler werden somit zunehmend mit dem Problem der Synchronisation der nebenläufigen Abläufe in der Software konfrontiert. Dabei treten immer wieder gravierende Fehler auf. Besonders problematisch ist in diesem Zusammenhang der Nichtdeterminismus nebenläufiger Abläufe, der dazu führt, dass Fehler unter Umständen bei Tests nicht auffällig werden, weil das Auftreten der Fehler von einem bestimmten Zeitverhalten abhängt, das beim Test nicht auftritt. Die Situation wird noch erschwert, wenn man nebenläufige Software aus Komponenten verschiedener Hersteller zusammensetzt. Bei der Zusammenarbeit dieser Komponenten auftretende Fehler im nebenläufigen Ablauf sind besonders schwierig zu diagnostizieren und zu beheben, da über die verwendeten Komponenten meist nichts außerhalb ihrer nicht notwendigerweise vollständigen und korrekten Spezifikation bekannt ist. Dies ist ein aktuelles Problem, da Komponententechnologien den Kern vieler moderner Anwendungen bilden. Viele Fehler in nebenläufiger Software sind auf grundsätzliche Fehler beim Entwurf der Software zurückzuführen. Auch beim Übergang vom Modell zur Implementierung entstehen Fehler, insbesondere wenn das Modell nicht direkt bei der Implementierung umsetzbar ist. Dies ist häufig der Fall, weil die Implementierung meist auf der Verwendung einfacher Synchronisationskonstrukte, wie z.B. Semaphoren, basiert, welche in der verwendeten Modellierung kein direktes Gegenstück haben. Es ist also entscheidend, dass die Softwareentwickler beim Entwurf ein klares Bild von der zu entwickelnden Software erhalten, welches leicht in der Implementierung umzusetzen ist. Wir wollen im folgenden grundlegende Strukturen nebenläufiger Softwaresysteme aufzeigen, basierend darauf Anforderungen an Modellierungssprachen für solche Systeme formulieren und existierende Modellierungssprachen auf diese Anforderungen hin untersuchen. Dabei werden wir sehen, dass sich in diesen Systemen kleinere, nahezu in sich abgeschlossene, Abläufe identifizieren lassen, die wir als Operationen bezeichnen werden. Betrachtet man die Implementation so ist festzustellen, dass hier einige einfache Konstrukte im Vordergrund stehen, auf die das Modell abgebildet werden muss. Damit ergeben sich aus unserer Sicht zwei wesentliche Forderungen an Modellierungssprachen: · Die Aufteilung in einzelne Operationen soll gefördert werden. · Gängige Synchronisationskonstrukte sollen direkt dargestellt werden, um die Lesbarkeit der Darstellung zu verbessern und um den Übergang in die Implementierung zu vereinfachen. Im nächsten Abschnitt werden wir die grundlegende Struktur nebenläufiger Software beschreiben, bevor wir dann Anforderungen diskutieren. Wir werden State Charts als eine gebräuchliche Modellierungssprache hinsichtlich dieser Anforderungen untersuchen und dabei sehen, dass diese den Forderungen nicht vollständig gerecht werden. Dies wird an einem Beispiel vertieft. Abschließend gehen wir kurz auf den Übergang von der Modellierung in die Implementierung ein."}],"volume":24,"author":[{"first_name":"Katharina","full_name":"Mehner, Katharina","last_name":"Mehner"},{"last_name":"Schattkowsky","full_name":"Schattkowsky, Tim","first_name":"Tim"}],"date_created":"2019-03-05T13:29:37Z","date_updated":"2022-01-06T07:03:53Z","publisher":"Universität Münster","title":"Methodische Aspekte von Modellierungssprachen für nebenläufige Software","page":"14-18","intvolume":"        24","citation":{"apa":"Mehner, K., &#38; Schattkowsky, T. (2000). Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In <i>Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)</i> (Vol. 24, pp. 14–18). Universität Münster.","short":"K. Mehner, T. Schattkowsky, in: Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), Universität Münster, 2000, pp. 14–18.","bibtex":"@inproceedings{Mehner_Schattkowsky_2000, title={Methodische Aspekte von Modellierungssprachen für nebenläufige Software}, volume={24}, booktitle={Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)}, publisher={Universität Münster}, author={Mehner, Katharina and Schattkowsky, Tim}, year={2000}, pages={14–18} }","mla":"Mehner, Katharina, and Tim Schattkowsky. “Methodische Aspekte von Modellierungssprachen Für Nebenläufige Software.” <i>Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)</i>, vol. 24, Universität Münster, 2000, pp. 14–18.","ama":"Mehner K, Schattkowsky T. Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In: <i>Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)</i>. Vol 24. Universität Münster; 2000:14-18.","chicago":"Mehner, Katharina, and Tim Schattkowsky. “Methodische Aspekte von Modellierungssprachen Für Nebenläufige Software.” In <i>Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)</i>, 24:14–18. Universität Münster, 2000.","ieee":"K. Mehner and T. Schattkowsky, “Methodische Aspekte von Modellierungssprachen für nebenläufige Software,” in <i>Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)</i>, 2000, vol. 24, pp. 14–18."},"year":"2000"},{"status":"public","publication":"Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)","type":"conference","language":[{"iso":"eng"}],"_id":"8347","department":[{"_id":"66"}],"user_id":"52534","series_title":"Koblenzer Schriften zur Informatik","year":"2000","intvolume":"        15","citation":{"bibtex":"@inproceedings{Mehner_Wagner_2000, series={Koblenzer Schriften zur Informatik}, title={Visualisierung der Synchronisation von Java-Threads mit UML}, volume={15}, booktitle={Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)}, publisher={Fölbach}, author={Mehner, Katharina and Wagner, Annika}, year={2000}, collection={Koblenzer Schriften zur Informatik} }","short":"K. Mehner, A. Wagner, in: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Fölbach, 2000.","mla":"Mehner, Katharina, and Annika Wagner. “Visualisierung Der Synchronisation von Java-Threads Mit UML.” <i>Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>, vol. 15, Fölbach, 2000.","apa":"Mehner, K., &#38; Wagner, A. (2000). Visualisierung der Synchronisation von Java-Threads mit UML. In <i>Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i> (Vol. 15). Fölbach.","ama":"Mehner K, Wagner A. Visualisierung der Synchronisation von Java-Threads mit UML. In: <i>Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>. Vol 15. Koblenzer Schriften zur Informatik. Fölbach; 2000.","chicago":"Mehner, Katharina, and Annika Wagner. “Visualisierung Der Synchronisation von Java-Threads Mit UML.” In <i>Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>, Vol. 15. Koblenzer Schriften Zur Informatik. Fölbach, 2000.","ieee":"K. Mehner and A. Wagner, “Visualisierung der Synchronisation von Java-Threads mit UML,” in <i>Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)</i>, 2000, vol. 15."},"title":"Visualisierung der Synchronisation von Java-Threads mit UML","publisher":"Fölbach","date_updated":"2022-01-06T07:03:53Z","volume":15,"author":[{"full_name":"Mehner, Katharina","last_name":"Mehner","first_name":"Katharina"},{"full_name":"Wagner, Annika","last_name":"Wagner","first_name":"Annika"}],"date_created":"2019-03-05T13:29:39Z"},{"language":[{"iso":"eng"}],"_id":"7792","series_title":"Informatik aktuell","user_id":"52534","department":[{"_id":"66"}],"editor":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"full_name":"Beiersdörfer, K.","last_name":"Beiersdörfer","first_name":"K."},{"last_name":"Schäfer","full_name":"Schäfer, Wilhelm","first_name":"Wilhelm"}],"status":"public","type":"conference_editor","title":"Informatik '99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)","date_updated":"2022-01-06T07:03:46Z","publisher":"Springer","date_created":"2019-02-19T19:13:34Z","year":"1999","place":"Berlin/Heidelberg","citation":{"ama":"Engels G, Beiersdörfer K, Schäfer W, eds. <i>Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany)</i>. Berlin/Heidelberg: Springer; 1999.","chicago":"Engels, Gregor, K. Beiersdörfer, and Wilhelm Schäfer, eds. <i>Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany)</i>. Informatik Aktuell. Berlin/Heidelberg: Springer, 1999.","ieee":"G. Engels, K. Beiersdörfer, and W. Schäfer, Eds., <i>Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)</i>. Berlin/Heidelberg: Springer, 1999.","apa":"Engels, G., Beiersdörfer, K., &#38; Schäfer, W. (Eds.). (1999). <i>Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)</i>. Berlin/Heidelberg: Springer.","bibtex":"@book{Engels_Beiersdörfer_Schäfer_1999, place={Berlin/Heidelberg}, series={Informatik aktuell}, title={Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}, publisher={Springer}, year={1999}, collection={Informatik aktuell} }","short":"G. Engels, K. Beiersdörfer, W. Schäfer, eds., Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany), Springer, Berlin/Heidelberg, 1999.","mla":"Engels, Gregor, et al., editors. <i>Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany)</i>. Springer, 1999."}},{"title":"Patterns as a Means for Intelligent Software Engineering","date_created":"2019-02-20T14:13:43Z","author":[{"full_name":"Deugo, Dwight","last_name":"Deugo","first_name":"Dwight"},{"first_name":"Jochen","full_name":"Küster, Jochen","last_name":"Küster"},{"first_name":"Franz","full_name":"Oppacher, Franz","last_name":"Oppacher"},{"first_name":"Ingo","full_name":"von Otte, Ingo","last_name":"von Otte"}],"volume":2,"publisher":"CSREA Press","date_updated":"2022-01-06T07:03:47Z","citation":{"short":"D. Deugo, J. Küster, F. Oppacher, I. von Otte, in: Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), CSREA Press, 1999, pp. 605–611.","mla":"Deugo, Dwight, et al. “Patterns as a Means for Intelligent Software Engineering.” <i>Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i>, vol. 2, CSREA Press, 1999, pp. 605–11.","bibtex":"@inproceedings{Deugo_Küster_Oppacher_von Otte_1999, title={Patterns as a Means for Intelligent Software Engineering}, volume={2}, booktitle={Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)}, publisher={CSREA Press}, author={Deugo, Dwight and Küster, Jochen and Oppacher, Franz and von Otte, Ingo}, year={1999}, pages={605–611} }","apa":"Deugo, D., Küster, J., Oppacher, F., &#38; von Otte, I. (1999). Patterns as a Means for Intelligent Software Engineering. In <i>Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i> (Vol. 2, pp. 605–611). CSREA Press.","ieee":"D. Deugo, J. Küster, F. Oppacher, and I. von Otte, “Patterns as a Means for Intelligent Software Engineering,” in <i>Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i>, 1999, vol. 2, pp. 605–611.","chicago":"Deugo, Dwight, Jochen Küster, Franz Oppacher, and Ingo von Otte. “Patterns as a Means for Intelligent Software Engineering.” In <i>Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i>, 2:605–11. CSREA Press, 1999.","ama":"Deugo D, Küster J, Oppacher F, von Otte I. Patterns as a Means for Intelligent Software Engineering. In: <i>Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)</i>. Vol 2. CSREA Press; 1999:605-611."},"page":"605-611","intvolume":"         2","year":"1999","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7849","status":"public","type":"conference","publication":"Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)"},{"publication":"Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT '99)","type":"conference","status":"public","department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","_id":"7850","language":[{"iso":"eng"}],"intvolume":"      1684","page":"13-38","citation":{"apa":"Corradini, A., Heckel, R., &#38; Montanari, U. (1999). Tile Transition Systems as Structured Coalgebras. In <i>Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)</i> (Vol. 1684, pp. 13–38). Berlin/Heidelberg: Springer.","bibtex":"@inproceedings{Corradini_Heckel_Montanari_1999, place={Berlin/Heidelberg}, series={LNCS}, title={Tile Transition Systems as Structured Coalgebras}, volume={1684}, booktitle={Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)}, publisher={Springer}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={13–38}, collection={LNCS} }","mla":"Corradini, Andrea, et al. “Tile Transition Systems as Structured Coalgebras.” <i>Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)</i>, vol. 1684, Springer, 1999, pp. 13–38.","short":"A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), Springer, Berlin/Heidelberg, 1999, pp. 13–38.","chicago":"Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Tile Transition Systems as Structured Coalgebras.” In <i>Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)</i>, 1684:13–38. LNCS. Berlin/Heidelberg: Springer, 1999.","ieee":"A. Corradini, R. Heckel, and U. Montanari, “Tile Transition Systems as Structured Coalgebras,” in <i>Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)</i>, 1999, vol. 1684, pp. 13–38.","ama":"Corradini A, Heckel R, Montanari U. Tile Transition Systems as Structured Coalgebras. In: <i>Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)</i>. Vol 1684. LNCS. Berlin/Heidelberg: Springer; 1999:13-38."},"year":"1999","place":"Berlin/Heidelberg","volume":1684,"date_created":"2019-02-20T14:14:10Z","author":[{"last_name":"Corradini","full_name":"Corradini, Andrea","first_name":"Andrea"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Montanari, Ugo","last_name":"Montanari","first_name":"Ugo"}],"publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","title":"Tile Transition Systems as Structured Coalgebras"},{"title":"Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-20T14:14:39Z","author":[{"first_name":"Alexey","full_name":"Cherchago, Alexey","last_name":"Cherchago"}],"year":"1999","citation":{"ieee":"A. Cherchago, “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development,” in <i>Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)</i>, 1999.","chicago":"Cherchago, Alexey. “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development.” In <i>Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)</i>, 1999.","ama":"Cherchago A. Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. In: <i>Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)</i>. ; 1999.","apa":"Cherchago, A. (1999). Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development. In <i>Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)</i>.","mla":"Cherchago, Alexey. “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development.” <i>Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)</i>, 1999.","bibtex":"@inproceedings{Cherchago_1999, title={Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development}, booktitle={Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)}, author={Cherchago, Alexey}, year={1999} }","short":"A. Cherchago, in: Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia), 1999."},"language":[{"iso":"eng"}],"_id":"7851","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"conference","publication":"Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference \"New Information Technologies in Scientific Researches and in Education\" (Ryazan, Russia)"},{"status":"public","abstract":[{"lang":"eng","text":"Today e-commerce applications use web browsers as an uniform user interface and they rely on databases as data sources. Different technologies exist for database access: common gateway interface (CGI), Java and its database interface java database connectivity (JDBC), proprietary approaches of database vendors, etc. We present criteria for the selection of an appropriate solution and we successivly apply them in our application development process. Throughout the development process of internet based database applications object oriented techniques can be used. The unified modeling language (UML) is used for requirement analysis and design of the application and the implementation proceeds with the programming language Java. The transition from the object oriented modeling language UML to the object oriented programming language Java succeeds smoothly. We report on our experience with the modeling tool Rational Rose 98 of Rational, Inc. We use Java and JDBC to implement a seminar reservation system that can be regarded as a small e-commerce application."}],"publication":"Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7852","page":"531-540","intvolume":"         8","citation":{"ama":"Engels G, Depke R, Borowski C. Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In: <i>Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen</i>. Vol 8. Ostfildern: Technische Akademie Esslingen; 1999:531-540.","ieee":"G. Engels, R. Depke, and C. Borowski, “Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung,” in <i>Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen</i>, 1999, vol. 8, pp. 531–540.","chicago":"Engels, Gregor, Ralph Depke, and Christoph Borowski. “Konzeption Und Objektorientierte Realisierung Einer Internet-Basierten Datenbankanwendung.” In <i>Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen</i>, 8:531–40. Ostfildern: Technische Akademie Esslingen, 1999.","apa":"Engels, G., Depke, R., &#38; Borowski, C. (1999). Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung. In <i>Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen</i> (Vol. 8, pp. 531–540). Ostfildern: Technische Akademie Esslingen.","bibtex":"@inproceedings{Engels_Depke_Borowski_1999, place={Ostfildern}, title={Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung}, volume={8}, booktitle={Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen}, publisher={Technische Akademie Esslingen}, author={Engels, Gregor and Depke, Ralph and Borowski, Christoph}, year={1999}, pages={531–540} }","short":"G. Engels, R. Depke, C. Borowski, in: Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, Technische Akademie Esslingen, Ostfildern, 1999, pp. 531–540.","mla":"Engels, Gregor, et al. “Konzeption Und Objektorientierte Realisierung Einer Internet-Basierten Datenbankanwendung.” <i>Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen</i>, vol. 8, Technische Akademie Esslingen, 1999, pp. 531–40."},"place":"Ostfildern","year":"1999","title":"Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung","volume":8,"author":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"full_name":"Depke, Ralph","last_name":"Depke","first_name":"Ralph"},{"full_name":"Borowski, Christoph","last_name":"Borowski","first_name":"Christoph"}],"date_created":"2019-02-20T14:15:05Z","publisher":"Technische Akademie Esslingen","date_updated":"2022-01-06T07:03:47Z"},{"author":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"first_name":"Roland","last_name":"Hücking","full_name":"Hücking, Roland"},{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"},{"last_name":"Wagner","full_name":"Wagner, Annika","first_name":"Annika"}],"date_created":"2019-02-20T14:36:26Z","volume":1723,"publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","title":"UML Collaboration Diagrams and Their Transformation to Java","citation":{"ama":"Engels G, Hücking R, Sauer S, Wagner A. UML Collaboration Diagrams and Their Transformation to Java. In: <i>Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA</i>. Vol 1723. LNCS. Berlin/Heidelberg: Springer; 1999:473-488.","ieee":"G. Engels, R. Hücking, S. Sauer, and A. Wagner, “UML Collaboration Diagrams and Their Transformation to Java,” in <i>Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA</i>, 1999, vol. 1723, pp. 473–488.","chicago":"Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. “UML Collaboration Diagrams and Their Transformation to Java.” In <i>Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA</i>, 1723:473–88. LNCS. Berlin/Heidelberg: Springer, 1999.","apa":"Engels, G., Hücking, R., Sauer, S., &#38; Wagner, A. (1999). UML Collaboration Diagrams and Their Transformation to Java. In <i>Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA</i> (Vol. 1723, pp. 473–488). Berlin/Heidelberg: Springer.","bibtex":"@inproceedings{Engels_Hücking_Sauer_Wagner_1999, place={Berlin/Heidelberg}, series={LNCS}, title={UML Collaboration Diagrams and Their Transformation to Java}, volume={1723}, booktitle={Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA}, publisher={Springer}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}, year={1999}, pages={473–488}, collection={LNCS} }","mla":"Engels, Gregor, et al. “UML Collaboration Diagrams and Their Transformation to Java.” <i>Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA</i>, vol. 1723, Springer, 1999, pp. 473–88.","short":"G. Engels, R. Hücking, S. Sauer, A. Wagner, in: Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, Springer, Berlin/Heidelberg, 1999, pp. 473–488."},"page":"473-488","intvolume":"      1723","year":"1999","place":"Berlin/Heidelberg","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"_id":"7856","language":[{"iso":"eng"}],"type":"conference","publication":"Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA","status":"public"},{"type":"conference","publication":"Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)","abstract":[{"text":"In this paper the concurrent semantics of double-pushout (DPO) graph rewriting, which is classically defined in terms of shift-equivalence classes of graph derivations, is axiomatised via the construction of a free monoidal bi-category. In contrast to a previous attempt based on 2-categories, the use of bi-categories allows to define rewriting on concrete graphs. Thus, the problem of composition of isomorphism classes of rewriting sequences is avoided. Moreover, as a first step towards the recovery of the full expressive power of the formalism via a purely algebraic description, the concept of disconnected rules is introduced, i.e., rules whose interface graphs are made of disconnected nodes and edges only. It is proved that, under reasonable assumptions, rewriting via disconnected rules enjoys similar concurrency properties like in the classical approach.","lang":"eng"}],"status":"public","_id":"7858","series_title":"Electronic Notes in Theoretical Computer Science","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"year":"1999","citation":{"ama":"Gadducci F, Heckel R, Llabrés M. A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In: <i>Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i>. Vol 29. Electronic Notes in Theoretical Computer Science. Elsevier; 1999:80-100. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80309-3\">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>","ieee":"F. Gadducci, R. Heckel, and M. Llabrés, “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting,” in <i>Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i>, 1999, vol. 29, pp. 80–100.","chicago":"Gadducci, Fabio, Reiko Heckel, and Mercé Llabrés. “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.” In <i>Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i>, 29:80–100. Electronic Notes in Theoretical Computer Science. Elsevier, 1999. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80309-3\">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>.","mla":"Gadducci, Fabio, et al. “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.” <i>Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i>, vol. 29, Elsevier, 1999, pp. 80–100, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80309-3\">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>.","short":"F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), Elsevier, 1999, pp. 80–100.","bibtex":"@inproceedings{Gadducci_Heckel_Llabrés_1999, series={Electronic Notes in Theoretical Computer Science}, title={A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting}, volume={29}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80309-3\">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>}, booktitle={Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)}, publisher={Elsevier}, author={Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}, year={1999}, pages={80–100}, collection={Electronic Notes in Theoretical Computer Science} }","apa":"Gadducci, F., Heckel, R., &#38; Llabrés, M. (1999). A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In <i>Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)</i> (Vol. 29, pp. 80–100). Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80309-3\">http://dx.doi.org/10.1016/S1571-0661(05)80309-3</a>"},"page":"80-100","intvolume":"        29","date_updated":"2022-01-06T07:03:47Z","publisher":"Elsevier","date_created":"2019-02-20T14:36:57Z","author":[{"last_name":"Gadducci","full_name":"Gadducci, Fabio","first_name":"Fabio"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"full_name":"Llabrés, Mercé","last_name":"Llabrés","first_name":"Mercé"}],"volume":29,"title":"A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting","doi":"http://dx.doi.org/10.1016/S1571-0661(05)80309-3"},{"_id":"7859","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems","type":"conference","status":"public","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-20T14:37:40Z","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"title":"Modeling Agent-Based Systems with Graph Transformation and UML","issue":"258","year":"1999","citation":{"short":"R. Heckel, in: Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.","mla":"Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>, no. 258, 1999.","bibtex":"@inproceedings{Heckel_1999, title={Modeling Agent-Based Systems with Graph Transformation and UML}, number={258}, booktitle={Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems}, author={Heckel, Reiko}, year={1999} }","apa":"Heckel, R. (1999). Modeling Agent-Based Systems with Graph Transformation and UML. In <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>.","ama":"Heckel R. Modeling Agent-Based Systems with Graph Transformation and UML. In: <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>. ; 1999.","ieee":"R. Heckel, “Modeling Agent-Based Systems with Graph Transformation and UML,” in <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>, 1999, no. 258.","chicago":"Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” In <i>Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems</i>, 1999."}},{"_id":"7860","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)","type":"conference","abstract":[{"lang":"eng","text":"An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a coherent multimedia application model. In this sense, we extend the model-view-controller paradigm towards multimedia.As a result, we present OMMMA-L, a visual Language for the Object-Oriented Modeling of MultiMedia Applications that is based on the Unified Modeling Language (UML). The structural and behavioral diagram types of UML have been analyzed and are adapted and extended according to multimedia application characteristics.A presentation diagram is introduced and integrated to adequately describe the visual presentation. In addition to explaining the different diagram types, we also give pragmatic guidelines on how to deploy and combine the various diagrams."}],"status":"public","publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:47Z","author":[{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}],"date_created":"2019-02-20T14:38:09Z","title":"Extending UML for Modeling of Multimedia Applications","doi":"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878","place":"Tokyo, Japan","year":"1999","page":"80-87","citation":{"mla":"Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia Applications.” <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>, IEEE Computer Society, 1999, pp. 80–87, doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>.","bibtex":"@inproceedings{Sauer_Engels_1999, place={Tokyo, Japan}, title={Extending UML for Modeling of Multimedia Applications}, DOI={<a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>}, booktitle={Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={80–87} }","short":"S. Sauer, G. Engels, in: Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), IEEE Computer Society, Tokyo, Japan, 1999, pp. 80–87.","apa":"Sauer, S., &#38; Engels, G. (1999). Extending UML for Modeling of Multimedia Applications. In <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i> (pp. 80–87). Tokyo, Japan: IEEE Computer Society. <a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>","ama":"Sauer S, Engels G. Extending UML for Modeling of Multimedia Applications. In: <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>. Tokyo, Japan: IEEE Computer Society; 1999:80-87. doi:<a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>","chicago":"Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia Applications.” In <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>, 80–87. Tokyo, Japan: IEEE Computer Society, 1999. <a href=\"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878\">http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878</a>.","ieee":"S. Sauer and G. Engels, “Extending UML for Modeling of Multimedia Applications,” in <i>Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)</i>, 1999, pp. 80–87."}},{"date_created":"2019-03-03T16:13:00Z","author":[{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Llabrés, Mercé","last_name":"Llabrés","first_name":"Mercé"},{"first_name":"Fernando","last_name":"Orejas","full_name":"Orejas, Fernando"}],"date_updated":"2022-01-06T07:03:52Z","publisher":"Technical University of Berlin","title":"Basic Properties of Double Pullback Graph Transitions","citation":{"ama":"Ehrig H, Heckel R, Llabrés M, Orejas F. <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin; 1999.","chicago":"Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando Orejas. <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin, 1999.","ieee":"H. Ehrig, R. Heckel, M. Llabrés, and F. Orejas, <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin, 1999.","mla":"Ehrig, Hartmut, et al. <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin, 1999.","short":"H. Ehrig, R. Heckel, M. Llabrés, F. Orejas, Basic Properties of Double Pullback Graph Transitions, Technical University of Berlin, 1999.","bibtex":"@book{Ehrig_Heckel_Llabrés_Orejas_1999, title={Basic Properties of Double Pullback Graph Transitions}, publisher={Technical University of Berlin}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}, year={1999} }","apa":"Ehrig, H., Heckel, R., Llabrés, M., &#38; Orejas, F. (1999). <i>Basic Properties of Double Pullback Graph Transitions</i>. Technical University of Berlin."},"year":"1999","department":[{"_id":"66"}],"user_id":"52534","_id":"8203","language":[{"iso":"eng"}],"type":"report","report_number":"99-02","status":"public"},{"publisher":"University of Paderborn, Department of Computer Science","date_updated":"2022-01-06T07:03:52Z","date_created":"2019-03-03T16:13:01Z","author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"first_name":"Roland","full_name":"Hücking, Roland","last_name":"Hücking"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"},{"last_name":"Wagner","full_name":"Wagner, Annika","first_name":"Annika"}],"title":"UML Collaboration Diagrams and Their Transformation to Java","year":"1999","citation":{"ama":"Engels G, Hücking R, Sauer S, Wagner A. <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science; 1999.","chicago":"Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science, 1999.","ieee":"G. Engels, R. Hücking, S. Sauer, and A. Wagner, <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science, 1999.","mla":"Engels, Gregor, et al. <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science, 1999.","short":"G. Engels, R. Hücking, S. Sauer, A. Wagner, UML Collaboration Diagrams and Their Transformation to Java, University of Paderborn, Department of Computer Science, 1999.","bibtex":"@book{Engels_Hücking_Sauer_Wagner_1999, title={UML Collaboration Diagrams and Their Transformation to Java}, publisher={University of Paderborn, Department of Computer Science}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}, year={1999} }","apa":"Engels, G., Hücking, R., Sauer, S., &#38; Wagner, A. (1999). <i>UML Collaboration Diagrams and Their Transformation to Java</i>. University of Paderborn, Department of Computer Science."},"_id":"8204","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"type":"report","report_number":"99-208","status":"public"},{"type":"report","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"8205","language":[{"iso":"eng"}],"page":"99-06","citation":{"ama":"Engels G, Jan t’Hoen P, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P. <i>SOCCA Extended with UML like Packages</i>. Leiden Institute of Advanced Computer Science; 1999:99-06.","ieee":"G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, and P. Koopman, <i>SOCCA Extended with UML like Packages</i>. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06.","chicago":"Engels, Gregor, Pieter Jan t’Hoen, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper, and Pieter Koopman. <i>SOCCA Extended with UML like Packages</i>. Leiden Institute of Advanced Computer Science, 1999.","mla":"Engels, Gregor, et al. <i>SOCCA Extended with UML like Packages</i>. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06.","short":"G. Engels, P. Jan t’Hoen, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, SOCCA Extended with UML like Packages, Leiden Institute of Advanced Computer Science, 1999.","bibtex":"@book{Engels_Jan t’Hoen_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_1999, title={SOCCA Extended with UML like Packages}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Jan t’Hoen, Pieter and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter}, year={1999}, pages={99–06} }","apa":"Engels, G., Jan t’Hoen, P., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., &#38; Koopman, P. (1999). <i>SOCCA Extended with UML like Packages</i> (pp. 99–06). Leiden Institute of Advanced Computer Science."},"year":"1999","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"last_name":"Jan t'Hoen","full_name":"Jan t'Hoen, Pieter","first_name":"Pieter"},{"first_name":"Ray","full_name":"Dassen, Ray","last_name":"Dassen"},{"first_name":"Luuk","last_name":"Groenewegen","full_name":"Groenewegen, Luuk"},{"full_name":"G. Sprinkhuizen-Kuyper, Ida","last_name":"G. Sprinkhuizen-Kuyper","first_name":"Ida"},{"full_name":"Koopman, Pieter","last_name":"Koopman","first_name":"Pieter"}],"date_created":"2019-03-03T16:13:02Z","publisher":"Leiden Institute of Advanced Computer Science","date_updated":"2022-01-06T07:03:52Z","title":"SOCCA Extended with UML like Packages"},{"language":[{"iso":"eng"}],"_id":"8206","user_id":"52534","department":[{"_id":"66"}],"abstract":[{"text":"This document starts the formalisation of the modelling language of the SOCCA OO method in the formal specification language Z. It captures the `static' aspects of SOCCA, i.e. the meaning of SOCCA language elements at the type level, rather than `dynamic' aspects (dealing with the instance level (objects in execution)). It is restricted to core SOCCA; proposed extensions are not formalised.","lang":"eng"}],"status":"public","type":"report","report_number":"1999-03","title":"A Formalisation of SOCCA using Z, part 1: The Type Level Concepts","publisher":"Leiden Institute of Advanced Computer Science","date_updated":"2022-01-06T07:03:52Z","author":[{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"first_name":"Ray","full_name":"Dassen, Ray","last_name":"Dassen"},{"last_name":"Groenewegen","full_name":"Groenewegen, Luuk","first_name":"Luuk"},{"last_name":"G. Sprinkhuizen-Kuyper","full_name":"G. Sprinkhuizen-Kuyper, Ida","first_name":"Ida"},{"first_name":"Pieter","last_name":"Koopman","full_name":"Koopman, Pieter"},{"first_name":"Pieter","full_name":"Jan t'Hoen, Pieter","last_name":"Jan t'Hoen"}],"date_created":"2019-03-03T16:13:03Z","year":"1999","citation":{"apa":"Engels, G., Dassen, R., Groenewegen, L., G. Sprinkhuizen-Kuyper, I., Koopman, P., &#38; Jan t’Hoen, P. (1999). <i>A Formalisation of SOCCA using Z, part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science.","short":"G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, P. Jan t’Hoen, A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts, Leiden Institute of Advanced Computer Science, 1999.","mla":"Engels, Gregor, et al. <i>A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science, 1999.","bibtex":"@book{Engels_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_Jan t’Hoen_1999, title={A Formalisation of SOCCA using Z, part 1: The Type Level Concepts}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter and Jan t’Hoen, Pieter}, year={1999} }","ama":"Engels G, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P, Jan t’Hoen P. <i>A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science; 1999.","ieee":"G. Engels, R. Dassen, L. Groenewegen, I. G. Sprinkhuizen-Kuyper, P. Koopman, and P. Jan t’Hoen, <i>A Formalisation of SOCCA using Z, part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science, 1999.","chicago":"Engels, Gregor, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper, Pieter Koopman, and Pieter Jan t’Hoen. <i>A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts</i>. Leiden Institute of Advanced Computer Science, 1999."}},{"department":[{"_id":"66"}],"user_id":"52534","_id":"8321","language":[{"iso":"eng"}],"publication":"Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Der Entwicklungsprozeß von Multimediaanwendungen sollte ebenso wie der herkömmlicher Softwaresysteme eine Analyse und einen Entwurf beinhalten. In dieser Arbeit diskutieren wir, inwiefern die Modellierung der Struktur und des dynamischen Verhaltens einer Multimediaanwendung über die Modellierung herkömmlicher Software hinausgeht. Wir zeigen, daß Aspekte der Benutzungsschnittstelle und das Zeitverhalten integraler Bestandteil der Modellierung sein sollten. Als Ergebnis stellen wir die objektorientierte Modellierungssprache OMMMA-L vor, die auf der Unified Modeling Language (UML) aufbaut. Die Struktur- und Verhaltensdiagramme von UML wurden analysiert und gemäß der Charakteristika von Multimedia adaptiert bzw. erweitert. Im Klassendiagramm werden die Medientypen und die logische Struktur der Anwendung modelliert. Als Verhaltensdiagramme werden spezialisierte Sequenz- und Zustandsdiagramme eingesetzt. Mit dem Layoutdiagramm wird ein neuer Diagrammtyp hinzugefügt, der die integrierte und anschauliche Beschreibung der visuellen Darstellung und interaktiver Benutzereingaben einer Multimediaanwendung erlaubt. Neben der Vorstellung der einzelnen Diagrammtypen geben wir ein aus dem Metamodell zu UML abgeleitetes OMMMA-L-Metamodell an, in dem das Zusammenspiel der Modellelemente aus den verschiedenen Diagrammen spezifiziert wird."}],"author":[{"first_name":"Stefan","last_name":"Sauer","id":"447","full_name":"Sauer, Stefan"},{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"}],"date_created":"2019-03-05T13:29:08Z","publisher":"Teubner, Stuttgart","date_updated":"2022-01-06T07:03:53Z","title":"UML-basierte Modellierung von Multimediaanwendungen","page":"155-170","citation":{"ieee":"S. Sauer and G. Engels, “UML-basierte Modellierung von Multimediaanwendungen,” in <i>Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe</i>, 1999, pp. 155–170.","chicago":"Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.” In <i>Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe</i>, 155–70. Karlsruhe, Germany: Teubner, Stuttgart, 1999.","ama":"Sauer S, Engels G. UML-basierte Modellierung von Multimediaanwendungen. In: <i>Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe</i>. Karlsruhe, Germany: Teubner, Stuttgart; 1999:155-170.","bibtex":"@inproceedings{Sauer_Engels_1999, place={Karlsruhe, Germany}, title={UML-basierte Modellierung von Multimediaanwendungen}, booktitle={Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe}, publisher={Teubner, Stuttgart}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={155–170} }","short":"S. Sauer, G. Engels, in: Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, Teubner, Stuttgart, Karlsruhe, Germany, 1999, pp. 155–170.","mla":"Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.” <i>Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe</i>, Teubner, Stuttgart, 1999, pp. 155–70.","apa":"Sauer, S., &#38; Engels, G. (1999). UML-basierte Modellierung von Multimediaanwendungen. In <i>Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe</i> (pp. 155–170). Karlsruhe, Germany: Teubner, Stuttgart."},"place":"Karlsruhe, Germany","year":"1999"},{"publication":"Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)","type":"conference","status":"public","abstract":[{"lang":"eng","text":"We present an object-oriented approach based on the Unified Modeling Language (UML) for modeling structure and dynamic behavior of a multimedia information system. We extend the Model-View-Controller paradigm for interactive systems towards multimedia and show that aspects of the graphical user interface and time-dynamic behavior ought to be integral parts of a model. This is done in the intention of achieving a coherent model of a multimedia information system. As a result, we present OMMMA-L a UML-based language for the Object-Oriented Modeling of MultiMedia Applications. OMMMA-L deploys class and state diagrams of UML as well as an extended sequence diagram and a newly introduced presentation diagram to adequately specify the visual presentation within a multimedia information system. In addition to explaining the different diagram types, we also define pragmatic rules on how to deploy and combine the various diagrams. Additionally, we relate OMMMA-L to basic ideas of multimedia information systems."}],"department":[{"_id":"66"}],"user_id":"52534","_id":"8322","language":[{"iso":"eng"}],"page":"64-71","citation":{"ama":"Sauer S, Engels G. OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In: <i>Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)</i>. Indian Wells, California, USA; 1999:64-71.","ieee":"S. Sauer and G. Engels, “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems,” in <i>Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)</i>, 1999, pp. 64–71.","chicago":"Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.” In <i>Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)</i>, 64–71. Indian Wells, California, USA, 1999.","short":"S. Sauer, G. Engels, in: Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), Indian Wells, California, USA, 1999, pp. 64–71.","mla":"Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.” <i>Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)</i>, 1999, pp. 64–71.","bibtex":"@inproceedings{Sauer_Engels_1999, place={Indian Wells, California, USA}, title={OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems}, booktitle={Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={64–71} }","apa":"Sauer, S., &#38; Engels, G. (1999). OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems. In <i>Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)</i> (pp. 64–71). Indian Wells, California, USA."},"place":"Indian Wells, California, USA","year":"1999","date_created":"2019-03-05T13:29:09Z","author":[{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"}],"date_updated":"2022-01-06T07:03:53Z","title":"OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems"},{"date_updated":"2022-01-06T07:03:53Z","publisher":"Springer","volume":1589,"date_created":"2019-03-05T13:29:10Z","author":[{"first_name":"Andrea","full_name":"Corradini, Andrea","last_name":"Corradini"},{"first_name":"Martin","last_name":"Große-Rhode","full_name":"Große-Rhode, Martin"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"title":"An Algebra of Graph Derivations using Finite (co-) limit Double Theories","doi":"http://dx.doi.org/10.1007/3-540-48483-3_7","place":"Berlin/Heidelberg","year":"1999","page":"92-106","intvolume":"      1589","citation":{"chicago":"Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “An Algebra of Graph Derivations Using Finite (Co-) Limit Double Theories.” In <i>Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)</i>, 1589:92–106. LNCS. Berlin/Heidelberg: Springer, 1999. <a href=\"http://dx.doi.org/10.1007/3-540-48483-3_7\">http://dx.doi.org/10.1007/3-540-48483-3_7</a>.","ieee":"A. Corradini, M. Große-Rhode, and R. Heckel, “An Algebra of Graph Derivations using Finite (co-) limit Double Theories,” in <i>Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)</i>, 1999, vol. 1589, pp. 92–106.","ama":"Corradini A, Große-Rhode M, Heckel R. An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In: <i>Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)</i>. Vol 1589. LNCS. Berlin/Heidelberg: Springer; 1999:92-106. doi:<a href=\"http://dx.doi.org/10.1007/3-540-48483-3_7\">http://dx.doi.org/10.1007/3-540-48483-3_7</a>","mla":"Corradini, Andrea, et al. “An Algebra of Graph Derivations Using Finite (Co-) Limit Double Theories.” <i>Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)</i>, vol. 1589, Springer, 1999, pp. 92–106, doi:<a href=\"http://dx.doi.org/10.1007/3-540-48483-3_7\">http://dx.doi.org/10.1007/3-540-48483-3_7</a>.","short":"A. Corradini, M. Große-Rhode, R. Heckel, in: Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1999, pp. 92–106.","bibtex":"@inproceedings{Corradini_Große-Rhode_Heckel_1999, place={Berlin/Heidelberg}, series={LNCS}, title={An Algebra of Graph Derivations using Finite (co-) limit Double Theories}, volume={1589}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-48483-3_7\">http://dx.doi.org/10.1007/3-540-48483-3_7</a>}, booktitle={Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)}, publisher={Springer}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1999}, pages={92–106}, collection={LNCS} }","apa":"Corradini, A., Große-Rhode, M., &#38; Heckel, R. (1999). An Algebra of Graph Derivations using Finite (co-) limit Double Theories. In <i>Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)</i> (Vol. 1589, pp. 92–106). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-48483-3_7\">http://dx.doi.org/10.1007/3-540-48483-3_7</a>"},"_id":"8323","department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","language":[{"iso":"eng"}],"publication":"Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)","type":"conference","status":"public"},{"citation":{"ama":"Corradini A, Heckel R, Montanari U. From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In: <i>Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99)</i>. Vol 19. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier; 1999:118-141. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80273-7\">http://dx.doi.org/10.1016/S1571-0661(05)80273-7</a>","chicago":"Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.” In <i>Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99)</i>, 19:118–41. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier, 1999. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80273-7\">http://dx.doi.org/10.1016/S1571-0661(05)80273-7</a>.","ieee":"A. Corradini, R. Heckel, and U. Montanari, “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence,” in <i>Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)</i>, 1999, vol. 19, pp. 118–141.","bibtex":"@inproceedings{Corradini_Heckel_Montanari_1999, place={Amsterdam, The Netherlands}, series={Electronic Notes in TCS}, title={From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence}, volume={19}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80273-7\">http://dx.doi.org/10.1016/S1571-0661(05)80273-7</a>}, booktitle={Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={118–141}, collection={Electronic Notes in TCS} }","short":"A. Corradini, R. Heckel, U. Montanari, in: Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), Elsevier, Amsterdam, The Netherlands, 1999, pp. 118–141.","mla":"Corradini, Andrea, et al. “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.” <i>Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99)</i>, vol. 19, Elsevier, 1999, pp. 118–41, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80273-7\">http://dx.doi.org/10.1016/S1571-0661(05)80273-7</a>.","apa":"Corradini, A., Heckel, R., &#38; Montanari, U. (1999). From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence. In <i>Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)</i> (Vol. 19, pp. 118–141). Amsterdam, The Netherlands: Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(05)80273-7\">http://dx.doi.org/10.1016/S1571-0661(05)80273-7</a>"},"page":"118-141","intvolume":"        19","place":"Amsterdam, The Netherlands","year":"1999","date_created":"2019-03-05T13:29:11Z","author":[{"first_name":"Andrea","full_name":"Corradini, Andrea","last_name":"Corradini"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"full_name":"Montanari, Ugo","last_name":"Montanari","first_name":"Ugo"}],"volume":19,"date_updated":"2022-01-06T07:03:53Z","publisher":"Elsevier","doi":"http://dx.doi.org/10.1016/S1571-0661(05)80273-7","title":"From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence","type":"conference","publication":"Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)","status":"public","user_id":"52534","series_title":"Electronic Notes in TCS","department":[{"_id":"66"}],"_id":"8324","language":[{"iso":"eng"}]},{"publication":"Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)","type":"conference","abstract":[{"text":"In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured operational semantics (SOS) paradigm, a style of semantics specification for concurrent programming languages and process calculi: Collaboration diagrams are used as deduction rules to specify a goal-oriented interpreter for the language. The approach is exemplified using a fragment of UML statechart and object diagrams. Formally, collaboration diagrams are interpreted as graph transformation rules. In this way, dynamic UML semantics can be both mathematically rigorous so as to enable formal specifications and proofs and, due to the use of UML notation, understandable without prior knowledge of heavy mathematic machinery. Thus, it can be used as a reference by tool developers, teachers, and advanced users.","lang":"eng"}],"status":"public","_id":"8325","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"year":"1999","citation":{"ieee":"G. Engels, R. Heckel, and S. Sauer, “Dynamic Meta Modelling: A Graphical Approach to Operational Semantics,” in <i>Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)</i>, 1999.","chicago":"Engels, Gregor, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modelling: A Graphical Approach to Operational Semantics.” In <i>Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)</i>, 1999.","ama":"Engels G, Heckel R, Sauer S. Dynamic Meta Modelling: A Graphical Approach to Operational Semantics. In: <i>Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)</i>. ; 1999.","short":"G. Engels, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA), 1999.","bibtex":"@inproceedings{Engels_Heckel_Sauer_1999, title={Dynamic Meta Modelling: A Graphical Approach to Operational Semantics}, booktitle={Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)}, author={Engels, Gregor and Heckel, Reiko and Sauer, Stefan}, year={1999} }","mla":"Engels, Gregor, et al. “Dynamic Meta Modelling: A Graphical Approach to Operational Semantics.” <i>Proceedings of the Workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (Satellite Event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)</i>, 1999.","apa":"Engels, G., Heckel, R., &#38; Sauer, S. (1999). Dynamic Meta Modelling: A Graphical Approach to Operational Semantics. In <i>Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)</i>."},"date_updated":"2022-01-06T07:03:53Z","date_created":"2019-03-05T13:29:13Z","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"}],"title":"Dynamic Meta Modelling: A Graphical Approach to Operational Semantics"}]