[{"abstract":[{"lang":"eng","text":"Die Qualität Service-orientierter Softwaresysteme hängt wesentlich von der Einbindung der richtigen Dienste ab. Zwei grundsätzliche Aspekte kommen hierbei zum Tragen: (1) Passen die Anforderungen eines Service Requestors und die Servicebeschreibung eines Service Providers zusammen und (2) ist die Imple-mentierung der Web Services korrekt gegenüber der Servicebeschreibung. Wir verwenden Design by Contract Techniken auf der Modellebene zur semantischen Beschreibung von Web Services und führen ein Matching-Konzept für den Ver-gleich von Requestor- und Provider-Kontrakten ein. Damit wird eine automatisier-te, semantische Suche nach Web Services möglich. Wir erläutern zudem eine mo-dellbasierte Vorgehensweise zur Entwicklung von Web Services. Hierbei werden aus den Modellen der Anwendung (1) die auswertbaren semantischen Beschrei-bungen und (2) Runtime-Assertions erzeugt, um die Korrektheit der Implementie-rung eines Web Services gegenüber seiner Spezifikation zu überprüfen. So wird eine konstruktive und prüfende Qualitätssicherung unterstützt."}],"status":"public","type":"conference","publication":"Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany","language":[{"iso":"eng"}],"_id":"8398","user_id":"52534","series_title":"Lecture Notes in Informatics","department":[{"_id":"66"}],"place":"Bonn","year":"2005","citation":{"chicago":"Engels, Gregor, Marc Lohmann, and Stefan Sauer. “Modellbasierte Entwicklung von Web Services Mit Design by Contract.” In <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>, 68:491–95. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005.","ieee":"G. Engels, M. Lohmann, and S. Sauer, “Modellbasierte Entwicklung von Web Services mit Design by Contract,” in <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>, 2005, vol. 68, pp. 491–495.","ama":"Engels G, Lohmann M, Sauer S. Modellbasierte Entwicklung von Web Services mit Design by Contract. In: <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>. Vol 68. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2005:491-495.","apa":"Engels, G., Lohmann, M., &#38; Sauer, S. (2005). Modellbasierte Entwicklung von Web Services mit Design by Contract. In <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i> (Vol. 68, pp. 491–495). Bonn: Gesellschaft für Informatik (GI).","mla":"Engels, Gregor, et al. “Modellbasierte Entwicklung von Web Services Mit Design by Contract.” <i>Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany</i>, vol. 68, Gesellschaft für Informatik (GI), 2005, pp. 491–95.","short":"G. Engels, M. Lohmann, S. Sauer, in: Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge Der 35. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany, Gesellschaft für Informatik (GI), Bonn, 2005, pp. 491–495.","bibtex":"@inproceedings{Engels_Lohmann_Sauer_2005, place={Bonn}, series={Lecture Notes in Informatics}, title={Modellbasierte Entwicklung von Web Services mit Design by Contract}, volume={68}, booktitle={Proceedings of Informatik 2005 - Informatik LIVE! Band 2, Beiträge der 35. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Workshop Modellbasierte Qualitätssicherung, Bonn, Germany}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Lohmann, Marc and Sauer, Stefan}, year={2005}, pages={491–495}, collection={Lecture Notes in Informatics} }"},"page":"491-495","intvolume":"        68","title":"Modellbasierte Entwicklung von Web Services mit Design by Contract","date_updated":"2022-01-06T07:03:54Z","publisher":"Gesellschaft für Informatik (GI)","date_created":"2019-03-06T11:29:06Z","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"first_name":"Marc","full_name":"Lohmann, Marc","last_name":"Lohmann"},{"first_name":"Stefan","id":"447","full_name":"Sauer, Stefan","last_name":"Sauer"}],"volume":68},{"citation":{"bibtex":"@book{Engels_Sauer_2004, series={Special Issue of the International Journal of Software Engineering and Knowledge Engineering}, title={Modeling and Development of Multimedia Systems}, volume={14}, DOI={<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>}, number={6}, publisher={World Scientific}, year={2004}, collection={Special Issue of the International Journal of Software Engineering and Knowledge Engineering} }","mla":"Engels, Gregor, and Stefan Sauer, editors. <i>Modeling and Development of Multimedia Systems</i>. Vol. 14, no. 6, World Scientific, 2004, doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","short":"G. Engels, S. Sauer, eds., Modeling and Development of Multimedia Systems, World Scientific, 2004.","apa":"Engels, G., &#38; Sauer, S. (Eds.). (2004). <i>Modeling and Development of Multimedia Systems</i> (Vol. 14). World Scientific. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>","ieee":"G. Engels and S. Sauer, Eds., <i>Modeling and Development of Multimedia Systems</i>, vol. 14, no. 6. World Scientific, 2004.","chicago":"Engels, Gregor, and Stefan Sauer, eds. <i>Modeling and Development of Multimedia Systems</i>. Vol. 14. Special Issue of the International Journal of Software Engineering and Knowledge Engineering. World Scientific, 2004. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","ama":"Engels G, Sauer S, eds. <i>Modeling and Development of Multimedia Systems</i>. Vol 14. World Scientific; 2004. doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>"},"intvolume":"        14","year":"2004","issue":"6","doi":"http://dx.doi.org/10.1142/S021819400400183X","title":"Modeling and Development of Multimedia Systems","date_created":"2019-02-19T18:43:42Z","volume":14,"publisher":"World Scientific","date_updated":"2022-01-06T07:03:46Z","status":"public","editor":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"first_name":"Stefan","last_name":"Sauer","id":"447","full_name":"Sauer, Stefan"}],"type":"conference_editor","language":[{"iso":"eng"}],"user_id":"52534","series_title":"Special Issue of the International Journal of Software Engineering and Knowledge Engineering","department":[{"_id":"66"}],"_id":"7783"},{"publisher":"World Scientific Publishing","date_updated":"2022-01-06T07:03:48Z","date_created":"2019-02-21T11:28:11Z","author":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"volume":14,"title":"Guest Editors' Introduction","doi":"http://dx.doi.org/10.1142/S021819400400183X","issue":"6","year":"2004","citation":{"ama":"Engels G, Sauer S. Guest Editors’ Introduction. In: <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>. Vol 14. World Scientific Publishing; 2004:543-544. doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>","chicago":"Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” In <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, 14:543–44. World Scientific Publishing, 2004. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","ieee":"G. Engels and S. Sauer, “Guest Editors’ Introduction,” in <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, 2004, vol. 14, no. 6, pp. 543–544.","apa":"Engels, G., &#38; Sauer, S. (2004). Guest Editors’ Introduction. In <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i> (Vol. 14, pp. 543–544). World Scientific Publishing. <a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>","mla":"Engels, Gregor, and Stefan Sauer. “Guest Editors’ Introduction.” <i>International Journal of Software Engineering and Knowledge Engineering (IJSEKE)</i>, vol. 14, no. 6, World Scientific Publishing, 2004, pp. 543–44, doi:<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>.","short":"G. Engels, S. Sauer, in: International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific Publishing, 2004, pp. 543–544.","bibtex":"@inproceedings{Engels_Sauer_2004, title={Guest Editors’ Introduction}, volume={14}, DOI={<a href=\"http://dx.doi.org/10.1142/S021819400400183X\">http://dx.doi.org/10.1142/S021819400400183X</a>}, number={6}, booktitle={International Journal of Software Engineering and Knowledge Engineering (IJSEKE)}, publisher={World Scientific Publishing}, author={Engels, Gregor and Sauer, Stefan}, year={2004}, pages={543–544} }"},"page":"543-544","intvolume":"        14","_id":"7926","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference","publication":"International Journal of Software Engineering and Knowledge Engineering (IJSEKE)","status":"public"},{"issue":"3","intvolume":"         3","page":"181-193","citation":{"chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” <i>Software and Systems Modeling</i> 3, no. 3 (2004): 181–93.","ieee":"J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams,” <i>Software and Systems Modeling</i>, vol. 3, no. 3, pp. 181–193, 2004.","ama":"Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. <i>Software and Systems Modeling</i>. 2004;3(3):181-193.","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2004). Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. <i>Software and Systems Modeling</i>, <i>3</i>(3), 181–193.","bibtex":"@article{Hendrik Hausmann_Heckel_Sauer_2004, title={Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={3}, number={3}, journal={Software and Systems Modeling}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2004}, pages={181–193} }","short":"J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.","mla":"Hendrik Hausmann, Jan, et al. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” <i>Software and Systems Modeling</i>, vol. 3, no. 3, 2004, pp. 181–93."},"year":"2004","volume":3,"date_created":"2019-01-31T15:33:39Z","author":[{"full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann","first_name":"Jan"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Stefan","id":"447","full_name":"Sauer, Stefan","last_name":"Sauer"}],"date_updated":"2022-01-06T07:03:36Z","title":"Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams","publication":"Software and Systems Modeling","type":"journal_article","status":"public","abstract":[{"text":"UML offers different diagram types to model behavior and dynamics of software systems. In some domains like embedded real-time systems or multimedia systems, it is necessary to include specifications of time since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM) as a means for the specification of the formal operational semantics of UML models by applying graph transformation to the meta modeling of dynamic behavior. Within this paper, we extend this approach to also account for time by building on timed graph transformations. We apply these concepts to the domain of multimedia application modeling in which we adopt UML sequence diagrams. The DMM rules with time then specify an interpreter that can be used to analyze or test a model of multimedia sequence diagrams.","lang":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7382","language":[{"iso":"eng"}]},{"_id":"7908","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)","status":"public","date_updated":"2022-01-06T07:03:47Z","publisher":"IEEE Computer Society","date_created":"2019-02-21T11:03:20Z","author":[{"full_name":"Engels, Gregor","id":"107","last_name":"Engels","first_name":"Gregor"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"},{"last_name":"Neu","full_name":"Neu, Bettina","first_name":"Bettina"}],"title":"Integrating software engineering and user-centred design for multimedia software developments","doi":"http://dx.doi.org/10.1109/HCC.2003.1260240","year":"2003","place":"Washington, DC, USA","citation":{"ama":"Engels G, Sauer S, Neu B. Integrating software engineering and user-centred design for multimedia software developments. In: <i>Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i>. Washington, DC, USA: IEEE Computer Society; 2003:254-256. doi:<a href=\"http://dx.doi.org/10.1109/HCC.2003.1260240\">http://dx.doi.org/10.1109/HCC.2003.1260240</a>","ieee":"G. Engels, S. Sauer, and B. Neu, “Integrating software engineering and user-centred design for multimedia software developments,” in <i>Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i>, 2003, pp. 254–256.","chicago":"Engels, Gregor, Stefan Sauer, and Bettina Neu. “Integrating Software Engineering and User-Centred Design for Multimedia Software Developments.” In <i>Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i>, 254–56. Washington, DC, USA: IEEE Computer Society, 2003. <a href=\"http://dx.doi.org/10.1109/HCC.2003.1260240\">http://dx.doi.org/10.1109/HCC.2003.1260240</a>.","apa":"Engels, G., Sauer, S., &#38; Neu, B. (2003). Integrating software engineering and user-centred design for multimedia software developments. In <i>Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i> (pp. 254–256). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/HCC.2003.1260240\">http://dx.doi.org/10.1109/HCC.2003.1260240</a>","mla":"Engels, Gregor, et al. “Integrating Software Engineering and User-Centred Design for Multimedia Software Developments.” <i>Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)</i>, IEEE Computer Society, 2003, pp. 254–56, doi:<a href=\"http://dx.doi.org/10.1109/HCC.2003.1260240\">http://dx.doi.org/10.1109/HCC.2003.1260240</a>.","bibtex":"@inproceedings{Engels_Sauer_Neu_2003, place={Washington, DC, USA}, title={Integrating software engineering and user-centred design for multimedia software developments}, DOI={<a href=\"http://dx.doi.org/10.1109/HCC.2003.1260240\">http://dx.doi.org/10.1109/HCC.2003.1260240</a>}, booktitle={Proceedings of the conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Sauer, Stefan and Neu, Bettina}, year={2003}, pages={254–256} }","short":"G. Engels, S. Sauer, B. Neu, in: Proceedings of the Conference on Human-Centric Computing Languages and Environments (HCC 2003), Auckland (New Zealand), IEEE Computer Society, Washington, DC, USA, 2003, pp. 254–256."},"page":"254-256"},{"publisher":"Elsevier","date_updated":"2022-01-06T07:03:54Z","volume":72,"date_created":"2019-03-06T11:28:45Z","author":[{"last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan","first_name":"Jan"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Stefan","last_name":"Sauer","id":"447","full_name":"Sauer, Stefan"}],"title":"Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams","doi":"http://dx.doi.org/10.1016/S1571-0661(04)80617-0","issue":"3","year":"2003","intvolume":"        72","page":"133-144","citation":{"ama":"Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. In: <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, Satellite Event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)</i>. Vol 72. Electronic Notes in Theoretical Computer Science. Elsevier; 2003:133-144. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80617-0\">http://dx.doi.org/10.1016/S1571-0661(04)80617-0</a>","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” In <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, Satellite Event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)</i>, 72:133–44. Electronic Notes in Theoretical Computer Science. Elsevier, 2003. <a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80617-0\">http://dx.doi.org/10.1016/S1571-0661(04)80617-0</a>.","ieee":"J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams,” in <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)</i>, 2003, vol. 72, no. 3, pp. 133–144.","short":"J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, Satellite Event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain), Elsevier, 2003, pp. 133–144.","mla":"Hendrik Hausmann, Jan, et al. “Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams.” <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, Satellite Event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)</i>, vol. 72, no. 3, Elsevier, 2003, pp. 133–44, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80617-0\">http://dx.doi.org/10.1016/S1571-0661(04)80617-0</a>.","bibtex":"@inproceedings{Hendrik Hausmann_Heckel_Sauer_2003, series={Electronic Notes in Theoretical Computer Science}, title={Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams}, volume={72}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80617-0\">http://dx.doi.org/10.1016/S1571-0661(04)80617-0</a>}, number={3}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)}, publisher={Elsevier}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2003}, pages={133–144}, collection={Electronic Notes in Theoretical Computer Science} }","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2003). Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams. In <i>Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)</i> (Vol. 72, pp. 133–144). Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80617-0\">http://dx.doi.org/10.1016/S1571-0661(04)80617-0</a>"},"_id":"8380","department":[{"_id":"66"}],"user_id":"52534","series_title":"Electronic Notes in Theoretical Computer Science","language":[{"iso":"eng"}],"publication":"Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2002, satellite event of the International Conference on Graph Transformation (ICGT 2002)), Barcelona (Spain)","type":"conference","abstract":[{"text":"The Unified Modeling Langugage (UML) offers different diagram types to model the behavior of software systems. In some domains like embedded realtime systems or multimedia systems, it is necessary to include specifications of time in behavioral models since the correctness of these applications depends on the fulfillment of temporal requirements in addition to functional requirements. UML thus already incorporates language features to model time and temporal constraints. Such model elements must have an equivalent in the semantic domain. We have proposed Dynamic Meta Modeling (DMM), an approach based on graph transformation, as a means for specifying operational semantics of dynamic UML diagrams. In this article, we extend this approach to also account for time by extending the semantic domain to timed graph transformation. This enables us to define the operational semantics of UML diagrams with time speci- fications. As an example, we provide semantics for special sequence diagrams from the domain of multimedia application modeling.","lang":"eng"}],"status":"public"},{"publication":"Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)","type":"conference","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"7899","language":[{"iso":"eng"}],"citation":{"apa":"Engels, G., Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2002). Testing the Consistency of Dynamic UML Diagrams. In <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>.","bibtex":"@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2002, title={Testing the Consistency of Dynamic UML Diagrams}, booktitle={Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2002} }","short":"G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), 2002.","mla":"Engels, Gregor, et al. “Testing the Consistency of Dynamic UML Diagrams.” <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002.","ama":"Engels G, Hendrik Hausmann J, Heckel R, Sauer S. Testing the Consistency of Dynamic UML Diagrams. In: <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>. ; 2002.","ieee":"G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Testing the Consistency of Dynamic UML Diagrams,” in <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002.","chicago":"Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Testing the Consistency of Dynamic UML Diagrams.” In <i>Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002."},"year":"2002","date_created":"2019-02-21T10:58:02Z","author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"first_name":"Jan","full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"}],"date_updated":"2022-01-06T07:03:47Z","title":"Testing the Consistency of Dynamic UML Diagrams"},{"author":[{"first_name":"Jan","full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"date_created":"2019-03-06T11:13:02Z","date_updated":"2022-01-06T07:03:53Z","publisher":"Department of Software Engineering and Computer Science, Blekinge Institute of Technology","title":"Extended Model Relations with Graphical Consistency Conditions","citation":{"ieee":"J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Extended Model Relations with Graphical Consistency Conditions,” in <i>Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany)</i>, 2002, pp. 61–74.","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Extended Model Relations with Graphical Consistency Conditions.” In <i>Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany)</i>, 61–74. Department of Software Engineering and Computer Science, Blekinge Institute of Technology, 2002.","ama":"Hendrik Hausmann J, Heckel R, Sauer S. Extended Model Relations with Graphical Consistency Conditions. In: <i>Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany)</i>. Department of Software Engineering and Computer Science, Blekinge Institute of Technology; 2002:61-74.","short":"J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany), Department of Software Engineering and Computer Science, Blekinge Institute of Technology, 2002, pp. 61–74.","bibtex":"@inproceedings{Hendrik Hausmann_Heckel_Sauer_2002, title={Extended Model Relations with Graphical Consistency Conditions}, booktitle={Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany)}, publisher={Department of Software Engineering and Computer Science, Blekinge Institute of Technology}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2002}, pages={61–74} }","mla":"Hendrik Hausmann, Jan, et al. “Extended Model Relations with Graphical Consistency Conditions.” <i>Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany)</i>, Department of Software Engineering and Computer Science, Blekinge Institute of Technology, 2002, pp. 61–74.","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2002). Extended Model Relations with Graphical Consistency Conditions. In <i>Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany)</i> (pp. 61–74). Department of Software Engineering and Computer Science, Blekinge Institute of Technology."},"page":"61-74","year":"2002","user_id":"52534","department":[{"_id":"66"}],"_id":"8368","language":[{"iso":"eng"}],"type":"conference","publication":"Proceeding of the Workshop on Consistency Problems in UML-based Software Development (satellite event of the UML 2002), Dresden (Germany)","status":"public","abstract":[{"text":"Consistency of models and model transformations are strongly interrelated topics. It is thus desirable to have a single notation to express model properties concerning both aspects. When using meta modeling techniques, graph transformations are a natural candidate to express model transformations. This paper explores the use of graph transformations for denoting consistency conditions between models. This technique yields benefits for different types of interrelation between transformation and consistency. A special focus is put on the generation of automatic consistency-establishing transformations.","lang":"eng"}]},{"status":"public","type":"conference","publication":"Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)","language":[{"iso":"eng"}],"_id":"7888","user_id":"52534","department":[{"_id":"66"}],"year":"2001","place":"Washington, DC, USA","citation":{"chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.” In <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>, 80–87. Washington, DC, USA: IEEE Computer Society, 2001.","ieee":"J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams,” in <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>, 2001, pp. 80–87.","ama":"Hendrik Hausmann J, Heckel R, Sauer S. Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. In: <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>. Washington, DC, USA: IEEE Computer Society; 2001:80-87.","short":"J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 80–87.","mla":"Hendrik Hausmann, Jan, et al. “Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams.” <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>, IEEE Computer Society, 2001, pp. 80–87.","bibtex":"@inproceedings{Hendrik Hausmann_Heckel_Sauer_2001, place={Washington, DC, USA}, title={Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams}, booktitle={Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}, publisher={IEEE Computer Society}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2001}, pages={80–87} }","apa":"Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2001). Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams. In <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i> (pp. 80–87). Washington, DC, USA: IEEE Computer Society."},"page":"80-87","title":"Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams","publisher":"IEEE Computer Society","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-21T10:45:17Z","author":[{"first_name":"Jan","last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"last_name":"Sauer","full_name":"Sauer, Stefan","id":"447","first_name":"Stefan"}]},{"place":"London, UK","year":"2001","page":"109-123","intvolume":"      2029","citation":{"apa":"Heckel, R., &#38; Sauer, S. (2001). Strengthening UML Collaboration Diagrams by State Transformations. In <i>Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i> (Vol. 2029, pp. 109–123). London, UK: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-45314-8_9\">http://dx.doi.org/10.1007/3-540-45314-8_9</a>","mla":"Heckel, Reiko, and Stefan Sauer. “Strengthening UML Collaboration Diagrams by State Transformations.” <i>Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>, vol. 2029, Springer, 2001, pp. 109–23, doi:<a href=\"http://dx.doi.org/10.1007/3-540-45314-8_9\">http://dx.doi.org/10.1007/3-540-45314-8_9</a>.","bibtex":"@inproceedings{Heckel_Sauer_2001, place={London, UK}, series={LNCS}, title={Strengthening UML Collaboration Diagrams by State Transformations}, volume={2029}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-45314-8_9\">http://dx.doi.org/10.1007/3-540-45314-8_9</a>}, booktitle={Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)}, publisher={Springer}, author={Heckel, Reiko and Sauer, Stefan}, year={2001}, pages={109–123}, collection={LNCS} }","short":"R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.","ieee":"R. Heckel and S. Sauer, “Strengthening UML Collaboration Diagrams by State Transformations,” in <i>Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>, 2001, vol. 2029, pp. 109–123.","chicago":"Heckel, Reiko, and Stefan Sauer. “Strengthening UML Collaboration Diagrams by State Transformations.” In <i>Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>, 2029:109–23. LNCS. London, UK: Springer, 2001. <a href=\"http://dx.doi.org/10.1007/3-540-45314-8_9\">http://dx.doi.org/10.1007/3-540-45314-8_9</a>.","ama":"Heckel R, Sauer S. Strengthening UML Collaboration Diagrams by State Transformations. In: <i>Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)</i>. Vol 2029. LNCS. London, UK: Springer; 2001:109-123. doi:<a href=\"http://dx.doi.org/10.1007/3-540-45314-8_9\">http://dx.doi.org/10.1007/3-540-45314-8_9</a>"},"publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","volume":2029,"date_created":"2019-02-21T10:48:46Z","author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"first_name":"Stefan","last_name":"Sauer","full_name":"Sauer, Stefan","id":"447"}],"title":"Strengthening UML Collaboration Diagrams by State Transformations","doi":"http://dx.doi.org/10.1007/3-540-45314-8_9","publication":"Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)","type":"conference","status":"public","_id":"7891","department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","language":[{"iso":"eng"}]},{"citation":{"apa":"Sauer, S., &#38; Engels, G. (2001). UML-based Behavior Specification of Interactive Multimedia Applications. In <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i> (pp. 248–255). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/HCC.2001.995271\">http://dx.doi.org/10.1109/HCC.2001.995271</a>","mla":"Sauer, Stefan, and Gregor Engels. “UML-Based Behavior Specification of Interactive Multimedia Applications.” <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>, IEEE Computer Society, 2001, pp. 248–55, doi:<a href=\"http://dx.doi.org/10.1109/HCC.2001.995271\">http://dx.doi.org/10.1109/HCC.2001.995271</a>.","bibtex":"@inproceedings{Sauer_Engels_2001, place={Washington, DC, USA}, title={UML-based Behavior Specification of Interactive Multimedia Applications}, DOI={<a href=\"http://dx.doi.org/10.1109/HCC.2001.995271\">http://dx.doi.org/10.1109/HCC.2001.995271</a>}, booktitle={Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels, Gregor}, year={2001}, pages={248–255} }","short":"S. Sauer, G. Engels, in: Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy), IEEE Computer Society, Washington, DC, USA, 2001, pp. 248–255.","ieee":"S. Sauer and G. Engels, “UML-based Behavior Specification of Interactive Multimedia Applications,” in <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>, 2001, pp. 248–255.","chicago":"Sauer, Stefan, and Gregor Engels. “UML-Based Behavior Specification of Interactive Multimedia Applications.” In <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>, 248–55. Washington, DC, USA: IEEE Computer Society, 2001. <a href=\"http://dx.doi.org/10.1109/HCC.2001.995271\">http://dx.doi.org/10.1109/HCC.2001.995271</a>.","ama":"Sauer S, Engels G. UML-based Behavior Specification of Interactive Multimedia Applications. In: <i>Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)</i>. Washington, DC, USA: IEEE Computer Society; 2001:248-255. doi:<a href=\"http://dx.doi.org/10.1109/HCC.2001.995271\">http://dx.doi.org/10.1109/HCC.2001.995271</a>"},"page":"248-255","place":"Washington, DC, USA","year":"2001","doi":"http://dx.doi.org/10.1109/HCC.2001.995271","title":"UML-based Behavior Specification of Interactive Multimedia Applications","author":[{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"},{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"}],"date_created":"2019-02-21T10:50:19Z","date_updated":"2022-01-06T07:03:47Z","publisher":"IEEE Computer Society","status":"public","abstract":[{"text":"Availability of precise, yet usable modeling languages is essential to the construction of multimedia systems based on software engineering principles and methods. Although several languages have been proposed for the specification of isolated multimedia system aspects, there not yet exists an integrated modeling language that adequately supports multimedia software development in practice. We propose an extension of the Unified Modeling Language (UML) for the integrated specification of multimedia systems based on an object-oriented development method. Since integration of co-existing timed procedural and interactive behavior is at the heart of multimedia systems, we focus on UML-based specification of behavior in this paper. In addition, we outline how these behavioral aspects are to be integrated with media, presentation, and software architecture modeling to achieve a coherent and consistent model.","lang":"eng"}],"type":"conference","publication":"Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7893"},{"year":"2001","citation":{"ieee":"G. Engels, J. Gaulke, and S. Sauer, “Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil,” <i>Forschungsforum Paderborn</i>, vol. 4, pp. 24–29, 2001.","chicago":"Engels, Gregor, Jens Gaulke, and Stefan Sauer. “Modelle Für Automobile Software - Objektorientierte Modellierung von Eingebetteten, Interaktiven Softwaresystemen Im Automobil.” <i>Forschungsforum Paderborn</i> 4 (2001): 24–29.","ama":"Engels G, Gaulke J, Sauer S. Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil. <i>Forschungsforum Paderborn</i>. 2001;4:24-29.","apa":"Engels, G., Gaulke, J., &#38; Sauer, S. (2001). Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil. <i>Forschungsforum Paderborn</i>, <i>4</i>, 24–29.","short":"G. Engels, J. Gaulke, S. Sauer, Forschungsforum Paderborn 4 (2001) 24–29.","mla":"Engels, Gregor, et al. “Modelle Für Automobile Software - Objektorientierte Modellierung von Eingebetteten, Interaktiven Softwaresystemen Im Automobil.” <i>Forschungsforum Paderborn</i>, vol. 4, 2001, pp. 24–29.","bibtex":"@article{Engels_Gaulke_Sauer_2001, title={Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil}, volume={4}, journal={Forschungsforum Paderborn}, author={Engels, Gregor and Gaulke, Jens and Sauer, Stefan}, year={2001}, pages={24–29} }"},"page":"24-29","intvolume":"         4","title":"Modelle für automobile Software - Objektorientierte Modellierung von eingebetteten, interaktiven Softwaresystemen im Automobil","date_updated":"2022-01-06T07:03:36Z","date_created":"2019-01-31T15:42:58Z","author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"last_name":"Gaulke","full_name":"Gaulke, Jens","first_name":"Jens"},{"id":"447","full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan"}],"volume":4,"abstract":[{"lang":"ger","text":"Wie in allen technischen Geräten werden auch im Automobil immer mehr Funktionen durch Softwaresysteme realisiert bzw. gesteuert. Bei einer Entwicklung derartiger Softwaresysteme wird im Rahmen eines ingenieurmäßigen Entwicklungsprozesses zunächst ein Modell erstellt. Hierzu muss eine Modellierungssprache zur Verfügung stehen, die den Modellierer adäquat bei der Erstellung des Modells unterstützt und ein einheitliches Verständnis des Modells ermöglicht."}],"status":"public","type":"journal_article","publication":"Forschungsforum Paderborn","language":[{"iso":"eng"}],"_id":"7395","user_id":"52534","department":[{"_id":"66"}]},{"place":"Bonn","year":"2001","page":"142-157","intvolume":"         7","citation":{"apa":"Hendrik Hausmann, J., Küster, J., &#38; Sauer, S. (2001). Identifiying Semantic Dimensions of (UML) Sequence Diagrams. In <i>Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)</i> (Vol. 7, pp. 142–157). Bonn: Gesellschaft für Informatik (GI).","bibtex":"@inproceedings{Hendrik Hausmann_Küster_Sauer_2001, place={Bonn}, series={Lecture Notes in Informatics}, title={Identifiying Semantic Dimensions of (UML) Sequence Diagrams}, volume={7}, booktitle={Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)}, publisher={Gesellschaft für Informatik (GI)}, author={Hendrik Hausmann, Jan and Küster, Jochen and Sauer, Stefan}, year={2001}, pages={142–157}, collection={Lecture Notes in Informatics} }","mla":"Hendrik Hausmann, Jan, et al. “Identifiying Semantic Dimensions of (UML) Sequence Diagrams.” <i>Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada)</i>, vol. 7, Gesellschaft für Informatik (GI), 2001, pp. 142–57.","short":"J. Hendrik Hausmann, J. Küster, S. Sauer, in: Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada), Gesellschaft für Informatik (GI), Bonn, 2001, pp. 142–157.","ama":"Hendrik Hausmann J, Küster J, Sauer S. Identifiying Semantic Dimensions of (UML) Sequence Diagrams. In: <i>Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada)</i>. Vol 7. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2001:142-157.","ieee":"J. Hendrik Hausmann, J. Küster, and S. Sauer, “Identifiying Semantic Dimensions of (UML) Sequence Diagrams,” in <i>Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)</i>, 2001, vol. 7, pp. 142–157.","chicago":"Hendrik Hausmann, Jan, Jochen Küster, and Stefan Sauer. “Identifiying Semantic Dimensions of (UML) Sequence Diagrams.” In <i>Proceedings of the Workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the EXtremists (PUML, Colocated with the UML 2001), Toronto (Canada)</i>, 7:142–57. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2001."},"publisher":"Gesellschaft für Informatik (GI)","date_updated":"2022-01-06T07:03:53Z","volume":7,"date_created":"2019-03-06T11:12:52Z","author":[{"first_name":"Jan","full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann"},{"first_name":"Jochen","full_name":"Küster, Jochen","last_name":"Küster"},{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"}],"title":"Identifiying Semantic Dimensions of (UML) Sequence Diagrams","publication":"Proceedings of the workshop on Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML, colocated with the UML 2001), Toronto (Canada)","type":"conference","abstract":[{"lang":"eng","text":"Although UMS sequence diagrams are widely used in practical software development, there is still a great demand for improvements. Their use both within and outside the standard interpretation of the UML specification is not seldom confused because different interpretations for sequence diagrams exist without means to distinguish between them. Furthermore, alternative sequence diagram notations with more syntactical features and different semantics still have a big influence and are readily used (explicitly as well as implicitly) alongside UML's sequence diagrams."}],"status":"public","_id":"8360","department":[{"_id":"66"}],"series_title":"Lecture Notes in Informatics","user_id":"52534","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","series_title":"LNCS","_id":"7873","status":"public","abstract":[{"lang":"eng","text":"Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to model structural and behavioral aspects of a software system. The UML was developed as a general-purpose language together with intrinsic features to extend the UML towards problem domain-specific profiles. The paper illustrates the language features of the UML and its adaptation mechanisms. As a conclusion, we show that the UML or an appropriate, to be defined core UML, respectively, may serve as a universal base of an object-oriented modeling language. But this core has to be adapted according to problem domain-specific requirements to yield an expressive and intuitive modeling language for a certain problem domain."}],"publication":"Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)","type":"conference","title":"UML - A Universal Modeling Language?","volume":1825,"date_created":"2019-02-21T10:34:45Z","author":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"last_name":"Sauer","id":"447","full_name":"Sauer, Stefan","first_name":"Stefan"}],"publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","intvolume":"      1825","page":"24-38","citation":{"bibtex":"@inproceedings{Engels_Heckel_Sauer_2000, place={Berlin/Heidelberg}, series={LNCS}, title={UML - A Universal Modeling Language?}, volume={1825}, booktitle={Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={24–38}, collection={LNCS} }","short":"G. Engels, R. Heckel, S. Sauer, in: Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark), Springer, Berlin/Heidelberg, 2000, pp. 24–38.","mla":"Engels, Gregor, et al. “UML - A Universal Modeling Language?” <i>Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)</i>, vol. 1825, Springer, 2000, pp. 24–38.","apa":"Engels, G., Heckel, R., &#38; Sauer, S. (2000). UML - A Universal Modeling Language? In <i>Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)</i> (Vol. 1825, pp. 24–38). Berlin/Heidelberg: Springer.","ieee":"G. Engels, R. Heckel, and S. Sauer, “UML - A Universal Modeling Language?,” in <i>Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)</i>, 2000, vol. 1825, pp. 24–38.","chicago":"Engels, Gregor, Reiko Heckel, and Stefan Sauer. “UML - A Universal Modeling Language?” In <i>Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)</i>, 1825:24–38. LNCS. Berlin/Heidelberg: Springer, 2000.","ama":"Engels G, Heckel R, Sauer S. UML - A Universal Modeling Language? In: <i>Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)</i>. Vol 1825. LNCS. Berlin/Heidelberg: Springer; 2000:24-38."},"place":"Berlin/Heidelberg","year":"2000"},{"_id":"7875","series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"status":"public","type":"conference","doi":"http://dx.doi.org/10.1007/3-540-40011-7_23","date_updated":"2022-01-06T07:03:47Z","author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann","first_name":"Jan"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"first_name":"Stefan","last_name":"Sauer","id":"447","full_name":"Sauer, Stefan"}],"volume":1939,"place":"Berlin/Heidelberg","citation":{"short":"G. Engels, J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), Springer, Berlin/Heidelberg, 2000, pp. 323–337.","bibtex":"@inproceedings{Engels_Hendrik Hausmann_Heckel_Sauer_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML}, volume={1939}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-40011-7_23\">http://dx.doi.org/10.1007/3-540-40011-7_23</a>}, booktitle={Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)}, publisher={Springer}, author={Engels, Gregor and Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={323–337}, collection={LNCS} }","mla":"Engels, Gregor, et al. “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.” <i>Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK)</i>, vol. 1939, Springer, 2000, pp. 323–37, doi:<a href=\"http://dx.doi.org/10.1007/3-540-40011-7_23\">http://dx.doi.org/10.1007/3-540-40011-7_23</a>.","apa":"Engels, G., Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2000). Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In <i>Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)</i> (Vol. 1939, pp. 323–337). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-40011-7_23\">http://dx.doi.org/10.1007/3-540-40011-7_23</a>","chicago":"Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.” In <i>Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK)</i>, 1939:323–37. LNCS. Berlin/Heidelberg: Springer, 2000. <a href=\"http://dx.doi.org/10.1007/3-540-40011-7_23\">http://dx.doi.org/10.1007/3-540-40011-7_23</a>.","ieee":"G. Engels, J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML,” in <i>Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)</i>, 2000, vol. 1939, pp. 323–337.","ama":"Engels G, Hendrik Hausmann J, Heckel R, Sauer S. Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: <i>Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK)</i>. Vol 1939. LNCS. Berlin/Heidelberg: Springer; 2000:323-337. doi:<a href=\"http://dx.doi.org/10.1007/3-540-40011-7_23\">http://dx.doi.org/10.1007/3-540-40011-7_23</a>"},"intvolume":"      1939","page":"323-337","language":[{"iso":"eng"}],"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 speci.cation of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to de.ne the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s structured operational semantics (SOS) paradigm, a style of semantics speci.cation 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"}],"publication":"Proceedings of the 3rd international conference on the Unified Modeling Language (UML 2000), York (UK)","title":"Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML","publisher":"Springer","date_created":"2019-02-21T10:36:15Z","year":"2000"},{"language":[{"iso":"eng"}],"_id":"8329","user_id":"52534","department":[{"_id":"66"}],"abstract":[{"text":"In diesem Beitrag stellen wir eine Methode zur Spezifikation der dynamischen Semantik von UML im Sinne einer Metamodellierung vor. Die dynamische Metamodellierung verwendet dabei UMLKollaborationsdiagramme als eine dem Modellierer bekannte Notation. Diese werden durch eine Interpretation als Regeln einer graphischen operationalen Semantik (GOS) semantisch präzisiert. Die GOS-Formalisierung beruht dabei sowohl auf Konzepten von Graphtransformationen als auch dem Ansatz der Structured Operational Semantics. GOS-Regeln werden als Deduktionsregeln für die Spezifikation eines Interpreters betrachtet, der basierend auf einer Prolog-Ausführungsmaschine realisert werden soll.","lang":"eng"}],"status":"public","type":"conference","publication":"Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)","title":"Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung","date_updated":"2022-01-06T07:03:53Z","author":[{"full_name":"Hendrik Hausmann, Jan","last_name":"Hendrik Hausmann","first_name":"Jan"},{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"},{"first_name":"Stefan","last_name":"Sauer","id":"447","full_name":"Sauer, Stefan"}],"date_created":"2019-03-05T13:29:17Z","year":"2000","citation":{"apa":"Hendrik Hausmann, J., Heckel, R., &#38; Sauer, S. (2000). Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung. In <i>Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)</i>.","mla":"Hendrik Hausmann, Jan, et al. “Ein Konzept Zur Anwendungsbezogenen UML-Semantikbeschreibung Durch Dynamische Metamodellierung.” <i>Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany)</i>, 2000.","bibtex":"@inproceedings{Hendrik Hausmann_Heckel_Sauer_2000, title={Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung}, booktitle={Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)}, author={Hendrik Hausmann, Jan and Heckel, Reiko and Sauer, Stefan}, year={2000} }","short":"J. Hendrik Hausmann, R. Heckel, S. Sauer, in: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany), 2000.","chicago":"Hendrik Hausmann, Jan, Reiko Heckel, and Stefan Sauer. “Ein Konzept Zur Anwendungsbezogenen UML-Semantikbeschreibung Durch Dynamische Metamodellierung.” In <i>Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany)</i>, 2000.","ieee":"J. Hendrik Hausmann, R. Heckel, and S. Sauer, “Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung,” in <i>Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)</i>, 2000.","ama":"Hendrik Hausmann J, Heckel R, Sauer S. Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung. In: <i>Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany)</i>. ; 2000."}},{"publication":"Proceedings of the 7th GI-Workshop GROOM","type":"conference","status":"public","_id":"8343","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"issue":"2","year":"2000","intvolume":"        20","page":"43-44","citation":{"mla":"Heckel, Reiko, and Stefan Sauer. “Dynamische Metamodellierung Als Methode Zur Definition Einer Operationalen Semantik Für Die UML.” <i>Proceedings of the 7th GI-Workshop GROOM</i>, vol. 20, no. 2, University of Koblenz-Landau, 2000, pp. 43–44.","short":"R. Heckel, S. Sauer, in: Proceedings of the 7th GI-Workshop GROOM, University of Koblenz-Landau, 2000, pp. 43–44.","bibtex":"@inproceedings{Heckel_Sauer_2000, title={Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML}, volume={20}, number={2}, booktitle={Proceedings of the 7th GI-Workshop GROOM}, publisher={University of Koblenz-Landau}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={43–44} }","apa":"Heckel, R., &#38; Sauer, S. (2000). Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In <i>Proceedings of the 7th GI-Workshop GROOM</i> (Vol. 20, pp. 43–44). University of Koblenz-Landau.","chicago":"Heckel, Reiko, and Stefan Sauer. “Dynamische Metamodellierung Als Methode Zur Definition Einer Operationalen Semantik Für Die UML.” In <i>Proceedings of the 7th GI-Workshop GROOM</i>, 20:43–44. University of Koblenz-Landau, 2000.","ieee":"R. Heckel and S. Sauer, “Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML,” in <i>Proceedings of the 7th GI-Workshop GROOM</i>, 2000, vol. 20, no. 2, pp. 43–44.","ama":"Heckel R, Sauer S. Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In: <i>Proceedings of the 7th GI-Workshop GROOM</i>. Vol 20. University of Koblenz-Landau; 2000:43-44."},"date_updated":"2022-01-06T07:03:53Z","publisher":"University of Koblenz-Landau","volume":20,"date_created":"2019-03-05T13:29:34Z","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"first_name":"Stefan","id":"447","full_name":"Sauer, Stefan","last_name":"Sauer"}],"title":"Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML"},{"language":[{"iso":"eng"}],"_id":"8344","department":[{"_id":"66"}],"user_id":"52534","status":"public","publication":"Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)","type":"conference","title":"Strengthening the Semantics of UML Collaboration Diagrams","publisher":"Ludwig-Maximilians-University","date_updated":"2022-01-06T07:03:53Z","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"}],"date_created":"2019-03-05T13:29:35Z","year":"2000","place":"Munich (Germany)","page":"63-69","citation":{"chicago":"Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration Diagrams.” In <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, 63–69. Munich (Germany): Ludwig-Maximilians-University, 2000.","ieee":"R. Heckel and S. Sauer, “Strengthening the Semantics of UML Collaboration Diagrams,” in <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, 2000, no. 0006, pp. 63–69.","ama":"Heckel R, Sauer S. Strengthening the Semantics of UML Collaboration Diagrams. In: <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>. Munich (Germany): Ludwig-Maximilians-University; 2000:63-69.","apa":"Heckel, R., &#38; Sauer, S. (2000). Strengthening the Semantics of UML Collaboration Diagrams. In <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i> (pp. 63–69). Munich (Germany): Ludwig-Maximilians-University.","bibtex":"@inproceedings{Heckel_Sauer_2000, place={Munich (Germany)}, title={Strengthening the Semantics of UML Collaboration Diagrams}, number={0006}, booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={63–69} }","short":"R. Heckel, S. Sauer, in: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), Ludwig-Maximilians-University, Munich (Germany), 2000, pp. 63–69.","mla":"Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration Diagrams.” <i>Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)</i>, no. 0006, Ludwig-Maximilians-University, 2000, pp. 63–69."},"issue":"0006"},{"status":"public","publication":"Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"series_title":"LNCS","user_id":"52534","_id":"7856","page":"473-488","intvolume":"      1723","citation":{"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.","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.","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."},"place":"Berlin/Heidelberg","year":"1999","title":"UML Collaboration Diagrams and Their Transformation to Java","volume":1723,"author":[{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"last_name":"Hücking","full_name":"Hücking, Roland","first_name":"Roland"},{"first_name":"Stefan","full_name":"Sauer, Stefan","id":"447","last_name":"Sauer"},{"full_name":"Wagner, Annika","last_name":"Wagner","first_name":"Annika"}],"date_created":"2019-02-20T14:36:26Z","date_updated":"2022-01-06T07:03:47Z","publisher":"Springer"},{"date_created":"2019-02-20T14:38:09Z","author":[{"first_name":"Stefan","last_name":"Sauer","id":"447","full_name":"Sauer, Stefan"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"}],"date_updated":"2022-01-06T07:03:47Z","publisher":"IEEE Computer Society","doi":"http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878","title":"Extending UML for Modeling of Multimedia Applications","citation":{"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>","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.","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>.","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>","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.","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} }","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>."},"page":"80-87","year":"1999","place":"Tokyo, Japan","user_id":"52534","department":[{"_id":"66"}],"_id":"7860","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)","status":"public","abstract":[{"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.","lang":"eng"}]}]