[{"citation":{"mla":"Engels, Gregor, et al. <i>UML Collaboration Diagrams and Their Transformation to Java</i>. 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} }","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.","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.","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.","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.","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."},"report_number":"99-208","date_created":"2019-03-03T16:13:01Z","type":"report","department":[{"_id":"66"}],"title":"UML Collaboration Diagrams and Their Transformation to Java","status":"public","year":"1999","author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Hücking, Roland","first_name":"Roland","last_name":"Hücking"},{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"},{"first_name":"Annika","last_name":"Wagner","full_name":"Wagner, Annika"}],"date_updated":"2022-01-06T07:03:52Z","language":[{"iso":"eng"}],"_id":"8204","publisher":"University of Paderborn, Department of Computer Science","user_id":"52534"},{"type":"report","department":[{"_id":"66"}],"date_created":"2019-03-03T16:13:02Z","citation":{"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.","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.","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.","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.","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} }","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.","mla":"Engels, Gregor, et al. <i>SOCCA Extended with UML like Packages</i>. Leiden Institute of Advanced Computer Science, 1999, pp. 99–06."},"user_id":"52534","page":"99-06","_id":"8205","publisher":"Leiden Institute of Advanced Computer Science","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:52Z","title":"SOCCA Extended with UML like Packages","year":"1999","status":"public","author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"full_name":"Jan t'Hoen, Pieter","first_name":"Pieter","last_name":"Jan t'Hoen"},{"last_name":"Dassen","first_name":"Ray","full_name":"Dassen, Ray"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"},{"full_name":"G. Sprinkhuizen-Kuyper, Ida","first_name":"Ida","last_name":"G. Sprinkhuizen-Kuyper"},{"last_name":"Koopman","first_name":"Pieter","full_name":"Koopman, Pieter"}]},{"user_id":"52534","_id":"8206","language":[{"iso":"eng"}],"publisher":"Leiden Institute of Advanced Computer Science","date_updated":"2022-01-06T07:03:52Z","author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"full_name":"Dassen, Ray","last_name":"Dassen","first_name":"Ray"},{"last_name":"Groenewegen","first_name":"Luuk","full_name":"Groenewegen, Luuk"},{"full_name":"G. Sprinkhuizen-Kuyper, Ida","last_name":"G. Sprinkhuizen-Kuyper","first_name":"Ida"},{"first_name":"Pieter","last_name":"Koopman","full_name":"Koopman, Pieter"},{"full_name":"Jan t'Hoen, Pieter","last_name":"Jan t'Hoen","first_name":"Pieter"}],"status":"public","title":"A Formalisation of SOCCA using Z, part 1: The Type Level Concepts","year":"1999","department":[{"_id":"66"}],"type":"report","date_created":"2019-03-03T16:13:03Z","report_number":"1999-03","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"}],"citation":{"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.","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} }","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.","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.","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.","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.","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."}},{"department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-05T13:29:08Z","place":"Karlsruhe, Germany","abstract":[{"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.","lang":"eng"}],"citation":{"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} }","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.","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.","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.","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.","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."},"publication":"Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe","user_id":"52534","publisher":"Teubner, Stuttgart","_id":"8321","language":[{"iso":"eng"}],"page":"155-170","date_updated":"2022-01-06T07:03:53Z","author":[{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"status":"public","year":"1999","title":"UML-basierte Modellierung von Multimediaanwendungen"},{"user_id":"52534","_id":"8322","language":[{"iso":"eng"}],"page":"64-71","date_updated":"2022-01-06T07:03:53Z","author":[{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"}],"year":"1999","status":"public","title":"OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems","department":[{"_id":"66"}],"type":"conference","place":"Indian Wells, California, USA","date_created":"2019-03-05T13:29:09Z","abstract":[{"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.","lang":"eng"}],"citation":{"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.","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.","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.","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.","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} }","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."},"publication":"Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)"},{"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.","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>.","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} }","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.","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.","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."},"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)","abstract":[{"lang":"eng","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."}],"date_created":"2019-03-05T13:29:13Z","department":[{"_id":"66"}],"type":"conference","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"}],"year":"1999","title":"Dynamic Meta Modelling: A Graphical Approach to Operational Semantics","status":"public","date_updated":"2022-01-06T07:03:53Z","language":[{"iso":"eng"}],"_id":"8325","user_id":"52534"},{"publication":"Proceedings of OMER Workshop, Herrsching, Germany","issue":"01","citation":{"bibtex":"@inproceedings{Engels_Sauer_1999, place={Herrsching, Universität der Bundeswehr München, Fakultät für Informatik}, title={MVC-Based Modeling Support for Embedded Real-Time Systems}, number={01}, booktitle={Proceedings of OMER Workshop, Herrsching, Germany}, author={Engels, Gregor and Sauer, Stefan}, year={1999}, pages={11–14} }","chicago":"Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded Real-Time Systems.” In <i>Proceedings of OMER Workshop, Herrsching, Germany</i>, 11–14. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999.","short":"G. Engels, S. Sauer, in: Proceedings of OMER Workshop, Herrsching, Germany, Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999, pp. 11–14.","ama":"Engels G, Sauer S. MVC-Based Modeling Support for Embedded Real-Time Systems. In: <i>Proceedings of OMER Workshop, Herrsching, Germany</i>. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik; 1999:11-14.","ieee":"G. Engels and S. Sauer, “MVC-Based Modeling Support for Embedded Real-Time Systems,” in <i>Proceedings of OMER Workshop, Herrsching, Germany</i>, 1999, no. 01, pp. 11–14.","mla":"Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded Real-Time Systems.” <i>Proceedings of OMER Workshop, Herrsching, Germany</i>, no. 01, 1999, pp. 11–14.","apa":"Engels, G., &#38; Sauer, S. (1999). MVC-Based Modeling Support for Embedded Real-Time Systems. In <i>Proceedings of OMER Workshop, Herrsching, Germany</i> (pp. 11–14). Herrsching, Universität der Bundeswehr München, Fakultät für Informatik."},"abstract":[{"text":"Several software architecture paradigms have been proposed for the development of interactive software systems and applications. Their common idea is the separation of user interface components from application logic. Normally, they are deployed as design patterns or basic frameworks of interactive systems. Deploying these architecture paradigms for multimedia systems or embedded real-time systems, first requires an appropriate adaption to the specific aspects of these application areas. We will compare within this position paper two well-known architecture paradigms and motivate an advanced architecture paradigm applicable to real-time, embedded multimedia systems. In addition, we will discuss that the architecture paradigm should be reflected within the structure of a modeling language.","lang":"eng"}],"date_created":"2019-03-05T13:29:14Z","place":"Herrsching, Universität der Bundeswehr München, Fakultät für Informatik","type":"conference","department":[{"_id":"66"}],"status":"public","year":"1999","title":"MVC-Based Modeling Support for Embedded Real-Time Systems","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan","id":"447"}],"date_updated":"2022-01-06T07:03:53Z","page":"11-14","language":[{"iso":"eng"}],"_id":"8326","user_id":"52534"},{"department":[{"_id":"66"}],"type":"journal_article","date_created":"2019-01-31T15:46:49Z","abstract":[{"lang":"ger","text":"Multimedia-Anwendungen sind interaktive Softwaresysteme und verlangen als solche, mit softwaretechnischen Methoden erstellt zu werden. Sie werden heutzutage in der Regel mit Hilfe von Autorensystemen entwickelt, die eine Ad-hoc-Entwicklung auf Implementierungsniveau unterstützen. Hierdurch und wegen des Fehlens etablierter Vorgehensmodelle für die Multimedia-Softwareentwicklung reduziert sich der Multimedia-Entwicklungsprozeß auf die Implementierungsphase. Dies führt zu den in der Softwaretechnik bekannten Problemen wie mangelnder Konzeption und fehlender Dokumentation. Wir stellen in diesem Beitrag ein Vorgehensmodell für die Entwicklung von Multimedia-Anwendungen vor, in dessen Mittelpunkt eine Analyse- und Entwurfsphase im Hinblick auf eine Implementierung der Multimedia-Anwendung mit einem Autorensystem stehen. Ausgehend von einem frameworkbasierten Analysemodell der Anwendung und einem Modell der Realisierungsmöglichkeiten mit einem konkreten Autorensystem wird systematisch ein Implementierungsmodell auf Instanzebene abgeleitet, das als Eingabe für das Autorensystem verwendet wird. Das postulierte Vorgehensmodell wird exemplarisch für das Autorensystem Director am Beispiel der Domäne multimedialer Lehr-/Lernanwendungen erläutert."}],"citation":{"mla":"Depke, Ralph, et al. “Ein Vorgehensmodell Für Die Multimedia-Entwicklung Mit Autorensystemen.” <i>Informatik Forschung Und Entwicklung</i>, vol. 14, no. 2, 1999, pp. 83–94, doi:<a href=\"http://dx.doi.org/10.1007/s004500050128\">http://dx.doi.org/10.1007/s004500050128</a>.","ama":"Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen. <i>Informatik Forschung und Entwicklung</i>. 1999;14(2):83-94. doi:<a href=\"http://dx.doi.org/10.1007/s004500050128\">http://dx.doi.org/10.1007/s004500050128</a>","bibtex":"@article{Depke_Engels_Mehner_Sauer_Wagner_1999, title={Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen}, volume={14}, DOI={<a href=\"http://dx.doi.org/10.1007/s004500050128\">http://dx.doi.org/10.1007/s004500050128</a>}, number={2}, journal={Informatik Forschung und Entwicklung}, author={Depke, Ralph and Engels, Gregor and Mehner, Katharina and Sauer, Stefan and Wagner, Annika}, year={1999}, pages={83–94} }","apa":"Depke, R., Engels, G., Mehner, K., Sauer, S., &#38; Wagner, A. (1999). Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen. <i>Informatik Forschung Und Entwicklung</i>, <i>14</i>(2), 83–94. <a href=\"http://dx.doi.org/10.1007/s004500050128\">http://dx.doi.org/10.1007/s004500050128</a>","ieee":"R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen,” <i>Informatik Forschung und Entwicklung</i>, vol. 14, no. 2, pp. 83–94, 1999.","short":"R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, Informatik Forschung Und Entwicklung 14 (1999) 83–94.","chicago":"Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika Wagner. “Ein Vorgehensmodell Für Die Multimedia-Entwicklung Mit Autorensystemen.” <i>Informatik Forschung Und Entwicklung</i> 14, no. 2 (1999): 83–94. <a href=\"http://dx.doi.org/10.1007/s004500050128\">http://dx.doi.org/10.1007/s004500050128</a>."},"issue":"2","publication":"Informatik Forschung und Entwicklung","volume":14,"doi":"http://dx.doi.org/10.1007/s004500050128","user_id":"52534","language":[{"iso":"eng"}],"_id":"7399","page":"83-94","intvolume":"        14","date_updated":"2022-01-06T07:03:36Z","author":[{"last_name":"Depke","first_name":"Ralph","full_name":"Depke, Ralph"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"full_name":"Mehner, Katharina","first_name":"Katharina","last_name":"Mehner"},{"id":"447","first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan"},{"full_name":"Wagner, Annika","last_name":"Wagner","first_name":"Annika"}],"year":"1999","status":"public","title":"Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen"},{"type":"journal_article","department":[{"_id":"66"}],"date_created":"2019-01-31T15:48:04Z","abstract":[{"text":"The framework of graph transformation combines the potentials and advantages of both, graphs and rules, to a single computational paradigm. In this paper we present some recent developments in applying graph transformations as a rule-based framework for the specification and development of systems, languages, and tools. After reviewing the basic features of graph transformation, we discuss a selection of applications, including the evaluation of functional expressions, the specification of an interactive graphical tool, an example specification of abstract data types, and the definition of a visual database query language. The case studies indicate the need for suitable structuring principles which are independent of a particular graph transformation approach. To this end, we present the concept of a transformation unit, which allows systematic and structured specifications and programming based on graph transformation.","lang":"eng"}],"publication":"Science of Computer Programming","issue":"1","citation":{"apa":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.-J., Kuske, S., … Taentzer, G. (1999). Graph Transformation for Specification and Programming. <i>Science of Computer Programming</i>, <i>34</i>(1), 1–54. <a href=\"http://dx.doi.org/10.1016/S0167-6423(98)00023-9\">http://dx.doi.org/10.1016/S0167-6423(98)00023-9</a>","ieee":"M. Andries <i>et al.</i>, “Graph Transformation for Specification and Programming,” <i>Science of Computer Programming</i>, vol. 34, no. 1, pp. 1–54, 1999.","short":"M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Science of Computer Programming 34 (1999) 1–54.","chicago":"Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. “Graph Transformation for Specification and Programming.” <i>Science of Computer Programming</i> 34, no. 1 (1999): 1–54. <a href=\"http://dx.doi.org/10.1016/S0167-6423(98)00023-9\">http://dx.doi.org/10.1016/S0167-6423(98)00023-9</a>.","mla":"Andries, Marc, et al. “Graph Transformation for Specification and Programming.” <i>Science of Computer Programming</i>, vol. 34, no. 1, 1999, pp. 1–54, doi:<a href=\"http://dx.doi.org/10.1016/S0167-6423(98)00023-9\">http://dx.doi.org/10.1016/S0167-6423(98)00023-9</a>.","ama":"Andries M, Engels G, Habel A, et al. Graph Transformation for Specification and Programming. <i>Science of Computer Programming</i>. 1999;34(1):1-54. doi:<a href=\"http://dx.doi.org/10.1016/S0167-6423(98)00023-9\">http://dx.doi.org/10.1016/S0167-6423(98)00023-9</a>","bibtex":"@article{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1999, title={Graph Transformation for Specification and Programming}, volume={34}, DOI={<a href=\"http://dx.doi.org/10.1016/S0167-6423(98)00023-9\">http://dx.doi.org/10.1016/S0167-6423(98)00023-9</a>}, number={1}, journal={Science of Computer Programming}, author={Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}, year={1999}, pages={1–54} }"},"user_id":"52534","doi":"http://dx.doi.org/10.1016/S0167-6423(98)00023-9","volume":34,"page":"1-54","language":[{"iso":"eng"}],"_id":"7401","date_updated":"2022-01-06T07:03:36Z","intvolume":"        34","title":"Graph Transformation for Specification and Programming","status":"public","year":"1999","author":[{"full_name":"Andries, Marc","first_name":"Marc","last_name":"Andries"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"full_name":"Habel, Annegret","first_name":"Annegret","last_name":"Habel"},{"full_name":"Hoffmann, Berthold","last_name":"Hoffmann","first_name":"Berthold"},{"first_name":"Hans-Jörg","last_name":"Kreowski","full_name":"Kreowski, Hans-Jörg"},{"last_name":"Kuske","first_name":"Sabine","full_name":"Kuske, Sabine"},{"first_name":"Detlef","last_name":"Plump","full_name":"Plump, Detlef"},{"first_name":"Andy","last_name":"Schürr","full_name":"Schürr, Andy"},{"last_name":"Taentzer","first_name":"Gabriele","full_name":"Taentzer, Gabriele"}]},{"department":[{"_id":"66"}],"type":"book","date_created":"2019-02-04T22:30:03Z","place":"River Edge, NJ, USA","abstract":[{"lang":"eng","text":"Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact, within the area of graph grammars, graph transformation is considered as a fundamental computation paradigm where computation includes specification, programming, and implementation. Over the last three decades, graph grammars have developed at a steady pace into a theoretically attractive and important-for-applications research field. Volume 2 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations considers applications to functional languages, visual and object-oriented languages, software engineering, mechanical engineering, chemical process engineering, and images. It also presents implemented specification languages and tools, and structuring and modularization concepts for specification languages. The contributions have been written in a tutorial/survey style by the top experts in the corresponding areas. This volume is accompanied by a CD-Rom containing implementations of specification environments based on graph transformation systems, and tools whose implementation is based on the use of graph transformation systems."}],"citation":{"ieee":"H. Ehrig, G. Engels, H. J. Kreowski, and G. Rozenberg, <i>Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools</i>. River Edge, NJ, USA: World Scientific Publishing Co., Inc., 1999.","apa":"Ehrig, H., Engels, G., Kreowski, H. J., &#38; Rozenberg, G. (1999). <i>Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools</i>. River Edge, NJ, USA: World Scientific Publishing Co., Inc.","chicago":"Ehrig, Hartmut, Gregor Engels, Hans Jörg Kreowski, and Grzegorz Rozenberg. <i>Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools</i>. River Edge, NJ, USA: World Scientific Publishing Co., Inc., 1999.","short":"H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools, World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1999.","mla":"Ehrig, Hartmut, et al. <i>Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools</i>. World Scientific Publishing Co., Inc., 1999.","bibtex":"@book{Ehrig_Engels_Kreowski_Rozenberg_1999, place={River Edge, NJ, USA}, title={Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools}, publisher={World Scientific Publishing Co., Inc.}, author={Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans Jörg and Rozenberg, Grzegorz}, year={1999} }","ama":"Ehrig H, Engels G, Kreowski HJ, Rozenberg G. <i>Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools</i>. River Edge, NJ, USA: World Scientific Publishing Co., Inc.; 1999."},"user_id":"52534","language":[{"iso":"eng"}],"_id":"7510","publisher":"World Scientific Publishing Co., Inc.","date_updated":"2022-01-06T07:03:39Z","author":[{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Kreowski, Hans Jörg","last_name":"Kreowski","first_name":"Hans Jörg"},{"last_name":"Rozenberg","first_name":"Grzegorz","full_name":"Rozenberg, Grzegorz"}],"publication_identifier":{"isbn":["981-02-4020-1"]},"year":"1999","title":"Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools","status":"public"},{"place":"Singapore","date_created":"2019-02-04T22:49:37Z","type":"book_chapter","department":[{"_id":"66"}],"publication":"Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools","citation":{"bibtex":"@inbook{Heckel_Engels_Ehrig_Taentzer_1999, place={Singapore}, title={A View-based Approach to System Modeling Based on Open Graph Transformation Systems}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools}, publisher={World Scientific}, author={Heckel, Reiko and Engels, Gregor and Ehrig, Hartmut and Taentzer, Gabriele}, year={1999}, pages={639–668} }","chicago":"Heckel, Reiko, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. “A View-Based Approach to System Modeling Based on Open Graph Transformation Systems.” In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools</i>, 639–68. Singapore: World Scientific, 1999.","ama":"Heckel R, Engels G, Ehrig H, Taentzer G. A View-based Approach to System Modeling Based on Open Graph Transformation Systems. In: <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools</i>. Singapore: World Scientific; 1999:639-668.","short":"R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 639–668.","ieee":"R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “A View-based Approach to System Modeling Based on Open Graph Transformation Systems,” in <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools</i>, Singapore: World Scientific, 1999, pp. 639–668.","mla":"Heckel, Reiko, et al. “A View-Based Approach to System Modeling Based on Open Graph Transformation Systems.” <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools</i>, World Scientific, 1999, pp. 639–68.","apa":"Heckel, R., Engels, G., Ehrig, H., &#38; Taentzer, G. (1999). A View-based Approach to System Modeling Based on Open Graph Transformation Systems. In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools</i> (pp. 639–668). Singapore: World Scientific."},"abstract":[{"text":"The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this chapter we present a specification technique based on open graph transformation systems (in the double-pushout approach) by a new loose semantics for rule-based systems, which allows to model the interaction between different views, and by explicit frame conditions which restrict these interactions to an interface of open types. On this background, formal notions of view and view relation are developed and the behavior of views is described by the loose semantics. Based on the assumption that dependencies between different views are faithfully described by a common reference model, a construction is developed for the automatic integration of views. The views and the reference model are kept consistent manually, which is the task of a model manager. All concepts and results are illustrated at the well-known example of banking system.","lang":"eng"}],"page":"639-668","_id":"7518","language":[{"iso":"eng"}],"publisher":"World Scientific","user_id":"52534","year":"1999","title":"A View-based Approach to System Modeling Based on Open Graph Transformation Systems","status":"public","author":[{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"full_name":"Taentzer, Gabriele","first_name":"Gabriele","last_name":"Taentzer"}],"date_updated":"2022-01-06T07:03:39Z"},{"publication":"Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools","citation":{"ieee":"R. Heckel, G. Engels, H. Ehrig, and G. Taentzer, “Classification and Comparison of Module Concepts for Graph Transformation Systems,” in <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools</i>, vol. 2, Singapore: World Scientific, 1999, pp. 669–689.","apa":"Heckel, R., Engels, G., Ehrig, H., &#38; Taentzer, G. (1999). Classification and Comparison of Module Concepts for Graph Transformation Systems. In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools</i> (Vol. 2, pp. 669–689). Singapore: World Scientific.","short":"R. Heckel, G. Engels, H. Ehrig, G. Taentzer, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, World Scientific, Singapore, 1999, pp. 669–689.","chicago":"Heckel, Reiko, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. “Classification and Comparison of Module Concepts for Graph Transformation Systems.” In <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools</i>, 2:669–89. Singapore: World Scientific, 1999.","mla":"Heckel, Reiko, et al. “Classification and Comparison of Module Concepts for Graph Transformation Systems.” <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools</i>, vol. 2, World Scientific, 1999, pp. 669–89.","bibtex":"@inbook{Heckel_Engels_Ehrig_Taentzer_1999, place={Singapore}, title={Classification and Comparison of Module Concepts for Graph Transformation Systems}, volume={2}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools}, publisher={World Scientific}, author={Heckel, Reiko and Engels, Gregor and Ehrig, Hartmut and Taentzer, Gabriele}, year={1999}, pages={669–689} }","ama":"Heckel R, Engels G, Ehrig H, Taentzer G. Classification and Comparison of Module Concepts for Graph Transformation Systems. In: <i>Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools</i>. Vol 2. Singapore: World Scientific; 1999:669-689."},"abstract":[{"lang":"eng","text":"In this chapter we use a three-level approach for analyzing module concepts for graph transformation systems. Based on the observation that module architectures consist of basic specications like body or export interface and relations like the implementation relation between them, or the import relation between a client and a server module, module concepts are characterized by answering the questions 1. What are the basic specifications? 2. Which relations between specifications are used? 3. How are specifications and relations combined to module architectures? These three questions are investigated for five module concepts available in the literature. As a reference example, a samplemodular specification of resource management in distributed operating systems is presented."}],"place":"Singapore","date_created":"2019-02-04T22:50:30Z","type":"book_chapter","department":[{"_id":"66"}],"year":"1999","status":"public","title":"Classification and Comparison of Module Concepts for Graph Transformation Systems","author":[{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"first_name":"Gabriele","last_name":"Taentzer","full_name":"Taentzer, Gabriele"}],"date_updated":"2022-01-06T07:03:39Z","intvolume":"         2","page":"669-689","language":[{"iso":"eng"}],"_id":"7519","publisher":"World Scientific","user_id":"52534","volume":2},{"date_created":"2019-02-19T19:14:00Z","type":"conference_editor","department":[{"_id":"66"}],"citation":{"mla":"Engels, Gregor, et al., editors. <i>Semi-Formal and Formal Specification Techniques</i>. Vol. 218, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.","bibtex":"@book{Engels_Ehrig_Orejas_Wirsing_1998, series={Dagstuhl-Seminar-Report}, title={Semi-Formal and Formal Specification Techniques}, volume={218}, publisher={Schloss Dagstuhl, Leibniz Center for Informatics}, year={1998}, collection={Dagstuhl-Seminar-Report} }","ama":"Engels G, Ehrig H, Orejas F, Wirsing M, eds. <i>Semi-Formal and Formal Specification Techniques</i>. Vol 218. Schloss Dagstuhl, Leibniz Center for Informatics; 1998.","ieee":"G. Engels, H. Ehrig, F. Orejas, and M. Wirsing, Eds., <i>Semi-Formal and Formal Specification Techniques</i>, vol. 218. Schloss Dagstuhl, Leibniz Center for Informatics, 1998.","apa":"Engels, G., Ehrig, H., Orejas, F., &#38; Wirsing, M. (Eds.). (1998). <i>Semi-Formal and Formal Specification Techniques</i> (Vol. 218). Schloss Dagstuhl, Leibniz Center for Informatics.","short":"G. Engels, H. Ehrig, F. Orejas, M. Wirsing, eds., Semi-Formal and Formal Specification Techniques, Schloss Dagstuhl, Leibniz Center for Informatics, 1998.","chicago":"Engels, Gregor, Hartmut Ehrig, Fernando Orejas, and M. Wirsing, eds. <i>Semi-Formal and Formal Specification Techniques</i>. Vol. 218. Dagstuhl-Seminar-Report. Schloss Dagstuhl, Leibniz Center for Informatics, 1998."},"abstract":[{"lang":"eng","text":"During the last 20 years several different formal and semi-formal specification techniques have been successfully developed and used. Applications comprise the specification of simple programs, data types and processes as well as complex hardware and software systems. The variety of specification techniques ranges from formal set theoretical, algebraic, and logic approaches for specifying sequential systems and from Petri-nets, process algebras, automata, and graph grammars for specifying concurrent and distributed behaviors to semi-formal software engineering methods for developing complex systems. Formal and semi-formal approaches have their advantages and disadvantages: the informal diagrammatic methods are easier to understand and to apply but they can be ambiguous. Due to the different nature of the employed diagrams and descriptions it is often difficult to get a comprehensive view of all functional and dynamic properties. On the other hand, the formal approaches are more difficult to learn and require mathematical training. But they provide mathematical rigor for analysis and prototyping of designs. Verification is possible only with formal techniques. Since a few years many researchers and research groups are putting more and more effort in closing this gap by integrating semi-formal and formal specification techniques. Their studies and experiences show the added value of combining semi-formal and formal techniques and at the same time open a whole range of new problems and questions which cannot be asked when studying formalisms in isolation. In this seminar more than 40 scientists came together in 28 talks and two panel discussions to study possibilities and solutions for integrating and validating different formal and semi-formal specification techniques. Similarities and differences of formal and semi-formal specification formalisms as well as possibilities for combining such techniques were discussed. Most talks of this seminar analysed, compared, or integrated at least two such methods. On behalf of all participants the organizers would like to thank the staff of Schloss Dagstuhl for providing an excellent environment to the conference. The support of the TMR programme of the European Community is gratefully acknowledged. Due to this programme it was possible to fund the participation of several young researchers and of three key note speakers."}],"_id":"7793","publisher":"Schloss Dagstuhl, Leibniz Center for Informatics","language":[{"iso":"eng"}],"series_title":"Dagstuhl-Seminar-Report","user_id":"52534","volume":218,"editor":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"},{"full_name":"Orejas, Fernando","last_name":"Orejas","first_name":"Fernando"},{"full_name":"Wirsing, M.","first_name":"M.","last_name":"Wirsing"}],"title":"Semi-Formal and Formal Specification Techniques","year":"1998","status":"public","date_updated":"2022-01-06T07:03:46Z","intvolume":"       218"},{"citation":{"chicago":"Engels, Gregor, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, eds. <i>6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers</i>. Vol. 1764. LNCS. Berlin/Heidelberg: Springer, 1998.","short":"G. Engels, H. Ehrig, H.-J. Kreowski, G. Rozenberg, eds., 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers, Springer, Berlin/Heidelberg, 1998.","apa":"Engels, G., Ehrig, H., Kreowski, H.-J., &#38; Rozenberg, G. (Eds.). (1998). <i>6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers</i> (Vol. 1764). Berlin/Heidelberg: Springer.","ieee":"G. Engels, H. Ehrig, H.-J. Kreowski, and G. Rozenberg, Eds., <i>6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers</i>, vol. 1764. Berlin/Heidelberg: Springer, 1998.","ama":"Engels G, Ehrig H, Kreowski H-J, Rozenberg G, eds. <i>6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers</i>. Vol 1764. Berlin/Heidelberg: Springer; 1998.","bibtex":"@book{Engels_Ehrig_Kreowski_Rozenberg_1998, place={Berlin/Heidelberg}, series={LNCS}, title={6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers}, volume={1764}, publisher={Springer}, year={1998}, collection={LNCS} }","mla":"Engels, Gregor, et al., editors. <i>6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers</i>. Vol. 1764, Springer, 1998."},"date_created":"2019-02-19T19:14:51Z","place":"Berlin/Heidelberg","department":[{"_id":"66"}],"type":"conference_editor","status":"public","title":"6th International Workshop on Theory and Applications of Graph Transformations (TAGT '98), Paderborn, Selected Papers","year":"1998","intvolume":"      1764","date_updated":"2022-01-06T07:03:46Z","language":[{"iso":"eng"}],"_id":"7794","publisher":"Springer","series_title":"LNCS","volume":1764,"editor":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Ehrig, Hartmut","last_name":"Ehrig","first_name":"Hartmut"},{"full_name":"Kreowski, Hans-Jörg","last_name":"Kreowski","first_name":"Hans-Jörg"},{"last_name":"Rozenberg","first_name":"Grzegorz","full_name":"Rozenberg, Grzegorz"}],"user_id":"52534"},{"author":[{"full_name":"Depke, Ralph","first_name":"Ralph","last_name":"Depke"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"first_name":"Katharina","last_name":"Mehner","full_name":"Mehner, Katharina"},{"last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan","id":"447"},{"first_name":"Annika","last_name":"Wagner","full_name":"Wagner, Annika"}],"status":"public","year":"1998","title":"Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen","intvolume":"        18","date_updated":"2022-01-06T07:03:47Z","_id":"7843","publisher":"GI","language":[{"iso":"eng"}],"page":"12-19","volume":18,"user_id":"52534","citation":{"bibtex":"@inproceedings{Depke_Engels_Mehner_Sauer_Wagner_1998, title={Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen}, volume={18}, number={3}, booktitle={Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)}, publisher={GI}, author={Depke, Ralph and Engels, Gregor and Mehner, Katharina and Sauer, Stefan and Wagner, Annika}, year={1998}, pages={12–19} }","ama":"Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen. In: <i>Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)</i>. Vol 18. GI; 1998:12-19.","mla":"Depke, Ralph, et al. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses von Multimedia-Anwendungen.” <i>Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)</i>, vol. 18, no. 3, GI, 1998, pp. 12–19.","chicago":"Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika Wagner. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses von Multimedia-Anwendungen.” In <i>Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)</i>, 18:12–19. GI, 1998.","short":"R. Depke, G. Engels, K. Mehner, S. Sauer, A. Wagner, in: Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), GI, 1998, pp. 12–19.","ieee":"R. Depke, G. Engels, K. Mehner, S. Sauer, and A. Wagner, “Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen,” in <i>Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)</i>, 1998, vol. 18, no. 3, pp. 12–19.","apa":"Depke, R., Engels, G., Mehner, K., Sauer, S., &#38; Wagner, A. (1998). Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen. In <i>Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)</i> (Vol. 18, pp. 12–19). GI."},"publication":"Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)","issue":"3","date_created":"2019-02-20T14:09:54Z","department":[{"_id":"66"}],"type":"conference"},{"title":"Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken","status":"public","year":"1998","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Kolmschlag, Silvia","last_name":"Kolmschlag","first_name":"Silvia"}],"date_updated":"2022-01-06T07:03:52Z","_id":"8202","publisher":"University of Paderborn, C-LAB","language":[{"iso":"eng"}],"user_id":"52534","citation":{"apa":"Engels, G., &#38; Kolmschlag, S. (1998). <i>Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken</i>. University of Paderborn, C-LAB.","mla":"Engels, Gregor, and Silvia Kolmschlag. <i>Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken</i>. University of Paderborn, C-LAB, 1998.","ieee":"G. Engels and S. Kolmschlag, <i>Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken</i>. University of Paderborn, C-LAB, 1998.","chicago":"Engels, Gregor, and Silvia Kolmschlag. <i>Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken</i>. University of Paderborn, C-LAB, 1998.","short":"G. Engels, S. Kolmschlag, Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken, University of Paderborn, C-LAB, 1998.","ama":"Engels G, Kolmschlag S. <i>Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken</i>. University of Paderborn, C-LAB; 1998.","bibtex":"@book{Engels_Kolmschlag_1998, title={Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken}, publisher={University of Paderborn, C-LAB}, author={Engels, Gregor and Kolmschlag, Silvia}, year={1998} }"},"report_number":"06/98","date_created":"2019-03-03T16:12:59Z","type":"report","department":[{"_id":"66"}]},{"title":"Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken","status":"public","year":"1998","author":[{"first_name":"Silvia","last_name":"Kolmschlag","full_name":"Kolmschlag, Silvia"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"}],"date_updated":"2022-01-06T07:03:53Z","page":"13-24","_id":"8280","publisher":"GI","language":[{"iso":"eng"}],"user_id":"52534","publication":"Proceedings of the workshop on \"Integration heterogener Softwaresysteme\" (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)","citation":{"bibtex":"@inproceedings{Kolmschlag_Engels_1998, title={Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken}, booktitle={Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)}, publisher={GI}, author={Kolmschlag, Silvia and Engels, Gregor}, year={1998}, pages={13–24} }","ama":"Kolmschlag S, Engels G. Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken. In: <i>Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)</i>. GI; 1998:13-24.","mla":"Kolmschlag, Silvia, and Gregor Engels. “Unterstützung Der Flexibilität Eines Electronic Commerce Systems Durch Evolutionstechniken.” <i>Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)</i>, GI, 1998, pp. 13–24.","short":"S. Kolmschlag, G. Engels, in: Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), GI, 1998, pp. 13–24.","chicago":"Kolmschlag, Silvia, and Gregor Engels. “Unterstützung Der Flexibilität Eines Electronic Commerce Systems Durch Evolutionstechniken.” In <i>Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)</i>, 13–24. GI, 1998.","ieee":"S. Kolmschlag and G. Engels, “Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken,” in <i>Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)</i>, 1998, pp. 13–24.","apa":"Kolmschlag, S., &#38; Engels, G. (1998). Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken. In <i>Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)</i> (pp. 13–24). GI."},"date_created":"2019-03-04T12:25:47Z","type":"conference","department":[{"_id":"66"}]},{"date_created":"2019-03-04T12:25:53Z","department":[{"_id":"66"}],"type":"conference","citation":{"bibtex":"@inproceedings{Ehrig_Engels_Heckel_Taentzer_1998, title={Classification and Comparison of Modularity Concepts for Graph Transformation Systems}, number={tr-ri-98-201}, booktitle={Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)}, publisher={University of Paderborn}, author={Ehrig, Hartmut and Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele}, year={1998}, pages={122–131} }","ama":"Ehrig H, Engels G, Heckel R, Taentzer G. Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In: <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>. University of Paderborn; 1998:122-131.","mla":"Ehrig, Hartmut, et al. “Classification and Comparison of Modularity Concepts for Graph Transformation Systems.” <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>, no. tr-ri-98-201, University of Paderborn, 1998, pp. 122–31.","short":"H. Ehrig, G. Engels, R. Heckel, G. Taentzer, in: Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany), University of Paderborn, 1998, pp. 122–131.","chicago":"Ehrig, Hartmut, Gregor Engels, Reiko Heckel, and Gabriele Taentzer. “Classification and Comparison of Modularity Concepts for Graph Transformation Systems.” In <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>, 122–31. University of Paderborn, 1998.","ieee":"H. Ehrig, G. Engels, R. Heckel, and G. Taentzer, “Classification and Comparison of Modularity Concepts for Graph Transformation Systems,” in <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i>, 1998, no. tr-ri-98-201, pp. 122–131.","apa":"Ehrig, H., Engels, G., Heckel, R., &#38; Taentzer, G. (1998). Classification and Comparison of Modularity Concepts for Graph Transformation Systems. In <i>Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)</i> (pp. 122–131). University of Paderborn."},"publication":"Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT '98), Paderborn (Germany)","issue":"tr-ri-98-201","abstract":[{"text":"This paper presents a systematic approach for classifying and comparing modularity concepts that have been proposed for graph transformation systems. The approach is based on the following observation: Modules and module interconnections consist of basic specifications (forming, e.g., a module's body, import, or export interface), and relations between such specifications, like the implementation relation between export and body of a module. Hence, a natural approach for characterizing a module concept is to answer the following three questions: 1. What are the basic specifications? 2. Which relations between specifications are used? 3. How are specifications and relations combined to modules and interconnections? In this paper, these questions are considered in some detail for the following module concepts for graph transformation systems.","lang":"eng"}],"language":[{"iso":"eng"}],"_id":"8285","publisher":"University of Paderborn","page":"122-131","user_id":"52534","author":[{"last_name":"Ehrig","first_name":"Hartmut","full_name":"Ehrig, Hartmut"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"last_name":"Heckel","first_name":"Reiko","full_name":"Heckel, Reiko"},{"first_name":"Gabriele","last_name":"Taentzer","full_name":"Taentzer, Gabriele"}],"title":"Classification and Comparison of Modularity Concepts for Graph Transformation Systems","year":"1998","status":"public","date_updated":"2022-01-06T07:03:53Z"},{"type":"conference_editor","department":[{"_id":"66"}],"date_created":"2019-02-19T19:15:50Z","place":"Berlin/Heidelberg","issue":"4","citation":{"ama":"Engels G, ed. <i>Themenheft: Softwaretechnik</i>. Vol 12. Berlin/Heidelberg: Springer; 1997. doi:<a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>","bibtex":"@book{Engels_1997, place={Berlin/Heidelberg}, series={Informatik: Forschung und Entwicklung}, title={Themenheft: Softwaretechnik}, volume={12}, DOI={<a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>}, number={4}, publisher={Springer}, year={1997}, collection={Informatik: Forschung und Entwicklung} }","mla":"Engels, Gregor, editor. <i>Themenheft: Softwaretechnik</i>. Vol. 12, no. 4, Springer, 1997, doi:<a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>.","chicago":"Engels, Gregor, ed. <i>Themenheft: Softwaretechnik</i>. Vol. 12. Informatik: Forschung Und Entwicklung. Berlin/Heidelberg: Springer, 1997. <a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>.","short":"G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.","apa":"Engels, G. (Ed.). (1997). <i>Themenheft: Softwaretechnik</i> (Vol. 12). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/s004500050085\">http://dx.doi.org/10.1007/s004500050085</a>","ieee":"G. Engels, Ed., <i>Themenheft: Softwaretechnik</i>, vol. 12, no. 4. Berlin/Heidelberg: Springer, 1997."},"user_id":"52534","doi":"http://dx.doi.org/10.1007/s004500050085","volume":12,"editor":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}],"_id":"7795","publisher":"Springer","series_title":"Informatik: Forschung und Entwicklung","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:46Z","intvolume":"        12","year":"1997","status":"public","title":"Themenheft: Softwaretechnik"},{"_id":"7839","publisher":"Springer","page":"327-343","editor":[{"full_name":"Jazayeri, M.","first_name":"M.","last_name":"Jazayeri"},{"full_name":"Schauer, H.","first_name":"H.","last_name":"Schauer"}],"volume":1301,"user_id":"52534","status":"public","place":"Berlin/Heidelberg","citation":{"chicago":"Engels, Gregor, Reiko Heckel, Gabriele Taentzer, and Hartmut Ehrig. “A View-Oriented Approach to System Modelling Using Graph Transformations.” In <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>, edited by M. Jazayeri and H. Schauer, 1301:327–43. Berlin/Heidelberg: Springer, 1997. <a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>.","short":"G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.","ieee":"G. Engels, R. Heckel, G. Taentzer, and H. Ehrig, “A View-Oriented Approach to System Modelling Using Graph Transformations,” in <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>, 1997, vol. 1301, pp. 327–343.","apa":"Engels, G., Heckel, R., Taentzer, G., &#38; Ehrig, H. (1997). A View-Oriented Approach to System Modelling Using Graph Transformations. In M. Jazayeri &#38; H. Schauer (Eds.), <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i> (Vol. 1301, pp. 327–343). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>","bibtex":"@inproceedings{Engels_Heckel_Taentzer_Ehrig_1997, place={Berlin/Heidelberg}, title={A View-Oriented Approach to System Modelling Using Graph Transformations}, volume={1301}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>}, booktitle={Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele and Ehrig, Hartmut}, editor={Jazayeri, M. and Schauer, H.Editors}, year={1997}, pages={327–343} }","ama":"Engels G, Heckel R, Taentzer G, Ehrig H. A View-Oriented Approach to System Modelling Using Graph Transformations. In: Jazayeri M, Schauer H, eds. <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>. Vol 1301. Berlin/Heidelberg: Springer; 1997:327-343. doi:<a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>","mla":"Engels, Gregor, et al. “A View-Oriented Approach to System Modelling Using Graph Transformations.” <i>Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)</i>, edited by M. Jazayeri and H. Schauer, vol. 1301, Springer, 1997, pp. 327–43, doi:<a href=\"http://dx.doi.org/10.1007/3-540-63531-9\">http://dx.doi.org/10.1007/3-540-63531-9</a>."},"language":[{"iso":"eng"}],"doi":"http://dx.doi.org/10.1007/3-540-63531-9","author":[{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"},{"full_name":"Taentzer, Gabriele","last_name":"Taentzer","first_name":"Gabriele"},{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"}],"year":"1997","title":"A View-Oriented Approach to System Modelling Using Graph Transformations","intvolume":"      1301","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-20T14:06:52Z","department":[{"_id":"66"}],"type":"conference","publication":"Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)","abstract":[{"lang":"eng","text":"The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specification technique based on graph transformations which supports such a development approach. The use of graphs and graph transformations supports an intuitive understanding and an integration of static and dynamic aspects on a well-defined semantical base. On this background, formal notions of view and view relation are developed and the behaviour of views is described by a loose semantics. We define a construction for automatic view integration which assumes that the dependencies between different views are described by a reference model. The views and the reference model are kept consistent manually, which is the task of a model manager. All concepts and results are illustrated at the well-known example of a banking system."}]}]