[{"intvolume":"      2786","date_updated":"2022-01-06T07:03:53Z","author":[{"full_name":"Förster, Alexander","first_name":"Alexander","last_name":"Förster"},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"year":"2003","title":"Quality Ensuring Development of Software Processes","status":"public","volume":2786,"user_id":"52534","_id":"8376","language":[{"iso":"eng"}],"publisher":"Springer","series_title":"LNCS","page":"62-73","citation":{"bibtex":"@inproceedings{Förster_Engels_2003, place={Berlin/Heidelberg}, series={LNCS}, title={Quality Ensuring Development of Software Processes}, volume={2786}, booktitle={Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland)}, publisher={Springer}, author={Förster, Alexander and Engels, Gregor}, year={2003}, pages={62–73}, collection={LNCS} }","ama":"Förster A, Engels G. Quality Ensuring Development of Software Processes. In: <i>Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland)</i>. Vol 2786. LNCS. Berlin/Heidelberg: Springer; 2003:62-73.","short":"A. Förster, G. Engels, in: Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland), Springer, Berlin/Heidelberg, 2003, pp. 62–73.","chicago":"Förster, Alexander, and Gregor Engels. “Quality Ensuring Development of Software Processes.” In <i>Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland)</i>, 2786:62–73. LNCS. Berlin/Heidelberg: Springer, 2003.","ieee":"A. Förster and G. Engels, “Quality Ensuring Development of Software Processes,” in <i>Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland)</i>, 2003, vol. 2786, pp. 62–73.","mla":"Förster, Alexander, and Gregor Engels. “Quality Ensuring Development of Software Processes.” <i>Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland)</i>, vol. 2786, Springer, 2003, pp. 62–73.","apa":"Förster, A., &#38; Engels, G. (2003). Quality Ensuring Development of Software Processes. In <i>Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland)</i> (Vol. 2786, pp. 62–73). Berlin/Heidelberg: Springer."},"publication":"Proceeding of the 9th European Workshop on Software Process Technology (EWSPT 2003), Helsinki (Finland)","department":[{"_id":"66"}],"type":"conference","place":"Berlin/Heidelberg","date_created":"2019-03-06T11:28:40Z"},{"user_id":"52534","doi":"http://dx.doi.org/10.1109/CMPSAC.2002.1044527","_id":"7896","language":[{"iso":"eng"}],"publisher":"IEEE Computer Society","page":"13-18","date_updated":"2022-01-06T07:03:47Z","author":[{"full_name":"Depke, Ralph","last_name":"Depke","first_name":"Ralph"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"},{"last_name":"Langham","first_name":"Matthew","full_name":"Langham, Matthew"},{"last_name":"Lütkemeier","first_name":"Björn","full_name":"Lütkemeier, Björn"},{"full_name":"Thöne, Sebastian","last_name":"Thöne","first_name":"Sebastian"}],"status":"public","title":"Process-Oriented, Consistent Integration of Software Components","year":"2002","department":[{"_id":"66"}],"type":"conference","date_created":"2019-02-21T10:55:46Z","place":"Washington, DC, USA","citation":{"ieee":"R. Depke, G. Engels, M. Langham, B. Lütkemeier, and S. Thöne, “Process-Oriented, Consistent Integration of Software Components,” in <i>Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>, 2002, pp. 13–18.","mla":"Depke, Ralph, et al. “Process-Oriented, Consistent Integration of Software Components.” <i>Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>, IEEE Computer Society, 2002, pp. 13–18, doi:<a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>.","apa":"Depke, R., Engels, G., Langham, M., Lütkemeier, B., &#38; Thöne, S. (2002). Process-Oriented, Consistent Integration of Software Components. In <i>Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i> (pp. 13–18). Washington, DC, USA: IEEE Computer Society. <a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>","bibtex":"@inproceedings{Depke_Engels_Langham_Lütkemeier_Thöne_2002, place={Washington, DC, USA}, title={Process-Oriented, Consistent Integration of Software Components}, DOI={<a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>}, booktitle={Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)}, publisher={IEEE Computer Society}, author={Depke, Ralph and Engels, Gregor and Langham, Matthew and Lütkemeier, Björn and Thöne, Sebastian}, year={2002}, pages={13–18} }","ama":"Depke R, Engels G, Langham M, Lütkemeier B, Thöne S. Process-Oriented, Consistent Integration of Software Components. In: <i>Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>. Washington, DC, USA: IEEE Computer Society; 2002:13-18. doi:<a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>","short":"R. Depke, G. Engels, M. Langham, B. Lütkemeier, S. Thöne, in: Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England), IEEE Computer Society, Washington, DC, USA, 2002, pp. 13–18.","chicago":"Depke, Ralph, Gregor Engels, Matthew Langham, Björn Lütkemeier, and Sebastian Thöne. “Process-Oriented, Consistent Integration of Software Components.” In <i>Proceedings of the Conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)</i>, 13–18. Washington, DC, USA: IEEE Computer Society, 2002. <a href=\"http://dx.doi.org/10.1109/CMPSAC.2002.1044527\">http://dx.doi.org/10.1109/CMPSAC.2002.1044527</a>."},"publication":"Proceedings of the conference on Prolonging Software Life: Development and Redevelopment (COMPSAC 2002), Oxford (England)"},{"publication":"Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)","citation":{"bibtex":"@inproceedings{Engels_Heckel_Küster_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Consistency-Preserving Model Evolution through Transformations}, volume={2460}, booktitle={Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={212–226}, collection={LNCS} }","chicago":"Engels, Gregor, Reiko Heckel, Jochen Küster, and Luuk Groenewegen. “Consistency-Preserving Model Evolution through Transformations.” In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 2460:212–26. LNCS. Berlin/Heidelberg: Springer, 2002.","short":"G. Engels, R. Heckel, J. Küster, L. Groenewegen, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, Berlin/Heidelberg, 2002, pp. 212–226.","ama":"Engels G, Heckel R, Küster J, Groenewegen L. Consistency-Preserving Model Evolution through Transformations. In: <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>. Vol 2460. LNCS. Berlin/Heidelberg: Springer; 2002:212-226.","ieee":"G. Engels, R. Heckel, J. Küster, and L. Groenewegen, “Consistency-Preserving Model Evolution through Transformations,” in <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, 2002, vol. 2460, pp. 212–226.","mla":"Engels, Gregor, et al. “Consistency-Preserving Model Evolution through Transformations.” <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i>, vol. 2460, Springer, 2002, pp. 212–26.","apa":"Engels, G., Heckel, R., Küster, J., &#38; Groenewegen, L. (2002). Consistency-Preserving Model Evolution through Transformations. In <i>Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)</i> (Vol. 2460, pp. 212–226). Berlin/Heidelberg: Springer."},"date_created":"2019-02-21T10:56:48Z","place":"Berlin/Heidelberg","type":"conference","department":[{"_id":"66"}],"status":"public","title":"Consistency-Preserving Model Evolution through Transformations","year":"2002","author":[{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"},{"last_name":"Groenewegen","first_name":"Luuk","full_name":"Groenewegen, Luuk"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"      2460","page":"212-226","publisher":"Springer","_id":"7897","series_title":"LNCS","language":[{"iso":"eng"}],"user_id":"52534","volume":2460},{"page":"2-22","language":[{"iso":"eng"}],"_id":"7898","publisher":"IOS Press","user_id":"52534","volume":6,"year":"2002","status":"public","title":"Consistent Interaction Of Software Components","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"},{"full_name":"Groenewegen, Luuk","first_name":"Luuk","last_name":"Groenewegen"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"         6","date_created":"2019-02-21T10:57:29Z","type":"conference","department":[{"_id":"66"}],"issue":"4","publication":"Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)","citation":{"apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2002). Consistent Interaction Of Software Components. In <i>Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i> (Vol. 6, pp. 2–22). IOS Press.","ieee":"G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction Of Software Components,” in <i>Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 2002, vol. 6, no. 4, pp. 2–22.","short":"G. Engels, J. Küster, L. Groenewegen, in: Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA), IOS Press, 2002, pp. 2–22.","chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction Of Software Components.” In <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, 6:2–22. IOS Press, 2002.","mla":"Engels, Gregor, et al. “Consistent Interaction Of Software Components.” <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>, vol. 6, no. 4, IOS Press, 2002, pp. 2–22.","ama":"Engels G, Küster J, Groenewegen L. Consistent Interaction Of Software Components. In: <i>Proceedings of the Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)</i>. Vol 6. IOS Press; 2002:2-22.","bibtex":"@inproceedings{Engels_Küster_Groenewegen_2002, title={Consistent Interaction Of Software Components}, volume={6}, number={4}, booktitle={Proceedings of the conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)}, publisher={IOS Press}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }"}},{"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T10:58:02Z","publication":"Proceedings of the Sixth International Conference on Integrated Design and Process Technology (IDPT 2002), Pasadena, CA (USA)","citation":{"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.","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} }","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>.","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.","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."},"user_id":"52534","language":[{"iso":"eng"}],"_id":"7899","date_updated":"2022-01-06T07:03:47Z","status":"public","title":"Testing the Consistency of Dynamic UML Diagrams","year":"2002","author":[{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"last_name":"Hendrik Hausmann","first_name":"Jan","full_name":"Hendrik Hausmann, Jan"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"id":"447","full_name":"Sauer, Stefan","first_name":"Stefan","last_name":"Sauer"}]},{"year":"2002","title":"Consistent Interaction of Software Components","status":"public","author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"},{"full_name":"Groenewegen, Luuk","last_name":"Groenewegen","first_name":"Luuk"}],"date_updated":"2022-01-06T07:03:36Z","intvolume":"         6","page":"2-22","_id":"7387","language":[{"iso":"eng"}],"user_id":"52534","volume":6,"issue":"4","publication":"Transactions of the SDPS: Journal of Integrated Design & Process Science","citation":{"chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction of Software Components.” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i> 6, no. 4 (2002): 2–22.","short":"G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal of Integrated Design &#38; Process Science 6 (2002) 2–22.","ieee":"G. Engels, J. Küster, and L. Groenewegen, “Consistent Interaction of Software Components,” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, vol. 6, no. 4, pp. 2–22, 2002.","apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2002). Consistent Interaction of Software Components. <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, <i>6</i>(4), 2–22.","bibtex":"@article{Engels_Küster_Groenewegen_2002, title={Consistent Interaction of Software Components}, volume={6}, number={4}, journal={Transactions of the SDPS: Journal of Integrated Design &#38; Process Science}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2002}, pages={2–22} }","ama":"Engels G, Küster J, Groenewegen L. Consistent Interaction of Software Components. <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>. 2002;6(4):2-22.","mla":"Engels, Gregor, et al. “Consistent Interaction of Software Components.” <i>Transactions of the SDPS: Journal of Integrated Design &#38; Process Science</i>, vol. 6, no. 4, 2002, pp. 2–22."},"abstract":[{"lang":"eng","text":"Constructing complex software systems by integrating different software components is a promising and challenging approach. With the functionality of software components given by models it is possible to ensure consistency of such models before implementation in order to successfully build the system. Models consisting of different submodels, the absence of an overall formal semantics and the numerous possibilities of employing models requires the development of techniques ensuring the consistency. In this paper, we discuss the issue of consistency of models made up of different submodels proposing a concept for the management of consistency. Consistency management relies on a consistency concept and a process for ensuring consistency of models. We introduce a consistency concept for software components modeled in the Unified Modeling Language (UML) and devise suitable consistency checks. On this basis, we propose a process how to locate and resolve inconsistencies, thus ensuring the consistency of models and by that the consistency of componentbased systems derived from those models."}],"date_created":"2019-01-31T15:38:09Z","type":"journal_article","department":[{"_id":"66"}]},{"date_created":"2019-01-31T15:39:38Z","department":[{"_id":"66"}],"type":"journal_article","citation":{"chicago":"Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.” <i>Informatik Forschung Und Entwicklung</i> 1, no. 17 (2002): 41–44.","short":"E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002) 41–44.","apa":"Doberkat, E.-E., &#38; Engels, G. (2002). MuSofT - Multimedia in der Softwaretechnik. <i>Informatik Forschung Und Entwicklung</i>, <i>1</i>(17), 41–44.","ieee":"E.-E. Doberkat and G. Engels, “MuSofT - Multimedia in der Softwaretechnik,” <i>Informatik Forschung und Entwicklung</i>, vol. 1, no. 17, pp. 41–44, 2002.","ama":"Doberkat E-E, Engels G. MuSofT - Multimedia in der Softwaretechnik. <i>Informatik Forschung und Entwicklung</i>. 2002;1(17):41-44.","bibtex":"@article{Doberkat_Engels_2002, title={MuSofT - Multimedia in der Softwaretechnik}, volume={1}, number={17}, journal={Informatik Forschung und Entwicklung}, author={Doberkat, Ernst-Erich and Engels, Gregor}, year={2002}, pages={41–44} }","mla":"Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.” <i>Informatik Forschung Und Entwicklung</i>, vol. 1, no. 17, 2002, pp. 41–44."},"publication":"Informatik Forschung und Entwicklung","issue":"17","abstract":[{"lang":"ger","text":"Im BMBF-Verbundprojekt MuSofT werden multimediale Lehrmaterialien für die Lehre der Softwaretechnik entwickelt. Neben den inhaltliche Aspekten sind die Distribution und die Lizenzierung der erstellten Lehrmaterialien wichtige Themakomplexe, um die Nachhaltigkeit des Projektes zu erhöhen. In diesem Papier stellen wir die in MuSofT gewählten Lösungen einer Open-Content-Lizenz sowie eines Portals zur Distribution der entwickelten Materialien vor."}],"language":[{"iso":"eng"}],"_id":"7389","page":"41-44","volume":1,"user_id":"52534","author":[{"full_name":"Doberkat, Ernst-Erich","last_name":"Doberkat","first_name":"Ernst-Erich"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"status":"public","title":"MuSofT - Multimedia in der Softwaretechnik","year":"2002","intvolume":"         1","date_updated":"2022-01-06T07:03:36Z"},{"author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Groenewegen","first_name":"Luuk","full_name":"Groenewegen, Luuk"}],"title":"Towards Team-Automata-Driven Object-Oriented Collaborative Work","status":"public","year":"2002","intvolume":"      2300","date_updated":"2022-01-06T07:03:39Z","series_title":"LNCS","_id":"7525","publisher":"Springer","language":[{"iso":"eng"}],"page":"257-276","volume":2300,"user_id":"52534","citation":{"apa":"Engels, G., &#38; Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented Collaborative Work. In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i> (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.","ieee":"G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, Berlin/Heidelberg: Springer, 2002, pp. 257–276.","short":"G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.","chicago":"Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.","mla":"Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, Springer, 2002, pp. 257–76.","ama":"Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.","bibtex":"@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={2002}, pages={257–276}, collection={LNCS} }"},"publication":"Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg","abstract":[{"lang":"eng","text":"The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and statecharts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated."}],"place":"Berlin/Heidelberg","date_created":"2019-02-04T23:03:52Z","department":[{"_id":"66"}],"type":"book_chapter"},{"volume":"P-19","user_id":"52534","publisher":"Gesellschaft für Informatik (GI)","_id":"7526","language":[{"iso":"eng"}],"series_title":"Lecture Notes in Informatics","page":"377-384","date_updated":"2022-01-06T07:03:39Z","author":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"first_name":"Ernst-Erich","last_name":"Doberkat","full_name":"Doberkat, Ernst-Erich"}],"year":"2002","title":"Multimedia in der Informatik-Lehre","status":"public","department":[{"_id":"66"}],"type":"book_chapter","date_created":"2019-02-04T23:04:36Z","place":"Bonn","abstract":[{"text":"Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt. Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert. Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt. In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen, multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert.","lang":"eng"}],"citation":{"short":"G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.","chicago":"Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” In <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>, P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2002.","apa":"Engels, G., &#38; Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre. In <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i> (Vol. P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).","ieee":"G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i>, vol. P-19, Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.","ama":"Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.","bibtex":"@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics}, title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Doberkat, Ernst-Erich}, year={2002}, pages={377–384}, collection={Lecture Notes in Informatics} }","mla":"Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>, vol. P-19, Gesellschaft für Informatik (GI), 2002, pp. 377–84."},"publication":"Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics"},{"language":[{"iso":"eng"}],"series_title":"LNCS","date_updated":"2022-01-06T07:03:39Z","intvolume":"      2300","title":"Towards Team-Automata-Driven Object-Oriented Collaborative Work","year":"2002","author":[{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"first_name":"Luuk","last_name":"Groenewegen","full_name":"Groenewegen, Luuk"}],"type":"book_chapter","department":[{"_id":"66"}],"date_created":"2019-02-05T11:57:09Z","abstract":[{"text":"The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and statecharts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated.","lang":"eng"}],"publication":"Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg","user_id":"52534","volume":2300,"editor":[{"full_name":"Brauer, W. ","first_name":"W. ","last_name":"Brauer"},{"first_name":"H.","last_name":"Ehring","full_name":"Ehring, H."},{"first_name":"J. ","last_name":"Karhumäki","full_name":"Karhumäki, J. "},{"last_name":"Salomaa","first_name":"A. ","full_name":"Salomaa, A. "}],"page":"257-276","_id":"7528","publisher":"Springer","status":"public","place":"Berlin/Heidelberg","citation":{"ieee":"G. Engels and L. Groenewegen, “Towards Team-Automata-Driven Object-Oriented Collaborative Work,” in <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, vol. 2300, W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa, Eds. Berlin/Heidelberg: Springer, 2002, pp. 257–276.","mla":"Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, edited by W.  Brauer et al., vol. 2300, Springer, 2002, pp. 257–76.","apa":"Engels, G., &#38; Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented Collaborative Work. In W. Brauer, H. Ehring, J. Karhumäki, &#38; A. Salomaa (Eds.), <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i> (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.","bibtex":"@inbook{Engels_Groenewegen_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Towards Team-Automata-Driven Object-Oriented Collaborative Work}, volume={2300}, booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, editor={Brauer, W.  and Ehring, H. and Karhumäki, J.  and Salomaa, A. Editors}, year={2002}, pages={257–276}, collection={LNCS} }","ama":"Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: Brauer W, Ehring H, Karhumäki J, Salomaa A, eds. <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.","short":"G. Engels, L. Groenewegen, in: W. Brauer, H. Ehring, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.","chicago":"Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” In <i>Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg</i>, edited by W.  Brauer, H. Ehring, J.  Karhumäki, and A.  Salomaa, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002."}},{"author":[{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"full_name":"Doberkat, Ernst-Erich","first_name":"Ernst-Erich","last_name":"Doberkat"}],"title":"Multimedia in der Informatik-Lehre","status":"public","year":"2002","date_updated":"2022-01-06T07:03:39Z","_id":"7529","series_title":"Lecture Notes in Informatics","publisher":"Gesellschaft für Informatik (GI)","language":[{"iso":"eng"}],"page":"377-384","volume":"P-19","editor":[{"full_name":"Schubert, S. ","first_name":"S. ","last_name":"Schubert"},{"full_name":"Reusch, B. ","first_name":"B. ","last_name":"Reusch"},{"full_name":"Jesse, N. ","first_name":"N. ","last_name":"Jesse"}],"user_id":"52534","citation":{"chicago":"Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” In <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>, edited by S.  Schubert, B.  Reusch, and N.  Jesse, P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2002.","short":"G. Engels, E.-E. Doberkat, in: S. Schubert, B. Reusch, N. Jesse (Eds.), Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.","apa":"Engels, G., &#38; Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre. In S. Schubert, B. Reusch, &#38; N. Jesse (Eds.), <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i> (Vol. P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).","ieee":"G. Engels and E.-E. Doberkat, “Multimedia in der Informatik-Lehre,” in <i>Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics</i>, vol. P-19, S. Schubert, B. Reusch, and N. Jesse, Eds. Bonn: Gesellschaft für Informatik (GI), 2002, pp. 377–384.","ama":"Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Schubert S, Reusch B, Jesse N, eds. <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.","bibtex":"@inbook{Engels_Doberkat_2002, place={Bonn}, series={Lecture Notes in Informatics}, title={Multimedia in der Informatik-Lehre}, volume={P-19}, booktitle={Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics}, publisher={Gesellschaft für Informatik (GI)}, author={Engels, Gregor and Doberkat, Ernst-Erich}, editor={Schubert, S.  and Reusch, B.  and Jesse, N. Editors}, year={2002}, pages={377–384}, collection={Lecture Notes in Informatics} }","mla":"Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” <i>Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics</i>, edited by S.  Schubert et al., vol. P-19, Gesellschaft für Informatik (GI), 2002, pp. 377–84."},"publication":"Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics","abstract":[{"lang":"ger","text":"Neue Medien werden in der universitären Lehre in zunehmendem Maße eingesetzt. Nachdem sich noch vor einigen Jahren nur vereinzelte Pilotprojekte mit dem Thema beschäftigt haben, wird inzwischen eine Vielzahl von Projekten öffentlich gefördert. Als Beispiel sei das BMBF-Förderprogramm Neue Medien in der Hochschullehre genannt. In der Informatik haben nicht zuletzt die hohen Studierendenzahlen dazu beigetragen, multimediale Elemente in der Lehre als ein mögliches Mittel zur Bewältigung der hohen Lehrbelastung bei gleichzeitiger Wahrung von Qualität und Vielfalt der Lehre anzusehen. Das fachliche Interesse vieler Informatiker am Thema Multimedia kommt hinzu. Im Workshop Multimedia in der Informatik-Lehre wird ein Überblick über gegenwärtige Ansätze zur Unterstützung der Lehre in der Informatik mit multimedialen Mitteln gegeben und es werden Erfahrungen und Konsequenzen diskutiert."}],"date_created":"2019-02-05T11:59:25Z","place":"Bonn","department":[{"_id":"66"}],"type":"book_chapter"},{"date_created":"2019-03-06T11:12:56Z","department":[{"_id":"66"}],"type":"conference","citation":{"apa":"Heckel, R., &#38; Engels, G. (2002). Towards a Formal Framework for Inter-Enterprise Application Integration. In <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)</i> (Vol. 51, pp. 139–151). Elsevier. <a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80198-1\">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>","ieee":"R. Heckel and G. Engels, “Towards a Formal Framework for Inter-Enterprise Application Integration,” in <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)</i>, 2002, vol. 51, pp. 139–151.","short":"R. Heckel, G. Engels, in: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France), Elsevier, 2002, pp. 139–151.","chicago":"Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise Application Integration.” In <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)</i>, 51:139–51. Electronic Notes in Theoretical Computer Science. Elsevier, 2002. <a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80198-1\">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>.","mla":"Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise Application Integration.” <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)</i>, vol. 51, Elsevier, 2002, pp. 139–51, doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80198-1\">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>.","ama":"Heckel R, Engels G. Towards a Formal Framework for Inter-Enterprise Application Integration. In: <i>Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)</i>. Vol 51. Electronic Notes in Theoretical Computer Science. Elsevier; 2002:139-151. doi:<a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80198-1\">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>","bibtex":"@inproceedings{Heckel_Engels_2002, series={Electronic Notes in Theoretical Computer Science}, title={Towards a Formal Framework for Inter-Enterprise Application Integration}, volume={51}, DOI={<a href=\"http://dx.doi.org/10.1016/S1571-0661(04)80198-1\">http://dx.doi.org/10.1016/S1571-0661(04)80198-1</a>}, booktitle={Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)}, publisher={Elsevier}, author={Heckel, Reiko and Engels, Gregor}, year={2002}, pages={139–151}, collection={Electronic Notes in Theoretical Computer Science} }"},"publication":"Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France)","abstract":[{"lang":"eng","text":"A major concern of software development today is the integration of applications of different enterprises, e.g., over the internet. This requires a shift of focus from system development towards integration of enterprise models and evolution of systems. We propose a conceptual framework for a method addressing these issues and discuss its formalization by means of graph transformation concepts."}],"series_title":"Electronic Notes in Theoretical Computer Science","_id":"8363","language":[{"iso":"eng"}],"publisher":"Elsevier","page":"139-151","volume":51,"user_id":"52534","doi":"http://dx.doi.org/10.1016/S1571-0661(04)80198-1","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"year":"2002","status":"public","title":"Towards a Formal Framework for Inter-Enterprise Application Integration","intvolume":"        51","date_updated":"2022-01-06T07:03:53Z"},{"abstract":[{"text":"The composition of elementary web services to larger-scale services has become an important means to enhance e-business collaborations. If such composite web services can also integrate legacy components that are not yet provided as web services, the number of possible compositions is increased. Following a process-oriented approach, the compositions can be described as control- and data-flow between available web services and components. This paper discusses the Business Process Execution Language for Web Services (BPEL4WS), an existing service composition language, and proposes UML-WSC as an alternative, visual language. For the advanced description of service interfaces, UML-WSC extends the type system of the established Web Service Definition Language (WSDL).","lang":"eng"}],"publication":"Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)","citation":{"ama":"Thöne S, Depke R, Engels G. Process-Oriented, Flexible Composition of Web Services with UML. In: <i>Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland)</i>. Vol 2784. LNCS. Berlin/Heidelberg: Springer; 2002:390-401.","bibtex":"@inproceedings{Thöne_Depke_Engels_2002, place={Berlin/Heidelberg}, series={LNCS}, title={Process-Oriented, Flexible Composition of Web Services with UML}, volume={2784}, booktitle={Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)}, publisher={Springer}, author={Thöne, Sebastian and Depke, Ralph and Engels, Gregor}, year={2002}, pages={390–401}, collection={LNCS} }","mla":"Thöne, Sebastian, et al. “Process-Oriented, Flexible Composition of Web Services with UML.” <i>Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland)</i>, vol. 2784, Springer, 2002, pp. 390–401.","short":"S. Thöne, R. Depke, G. Engels, in: Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland), Springer, Berlin/Heidelberg, 2002, pp. 390–401.","chicago":"Thöne, Sebastian, Ralph Depke, and Gregor Engels. “Process-Oriented, Flexible Composition of Web Services with UML.” In <i>Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland)</i>, 2784:390–401. LNCS. Berlin/Heidelberg: Springer, 2002.","apa":"Thöne, S., Depke, R., &#38; Engels, G. (2002). Process-Oriented, Flexible Composition of Web Services with UML. In <i>Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)</i> (Vol. 2784, pp. 390–401). Berlin/Heidelberg: Springer.","ieee":"S. Thöne, R. Depke, and G. Engels, “Process-Oriented, Flexible Composition of Web Services with UML,” in <i>Proceedings of the International Workshop on Conceptual Modeling Approaches for e-Business: A Web Service Perspective (eCOMO 2002), Tampere (Finland)</i>, 2002, vol. 2784, pp. 390–401."},"type":"conference","department":[{"_id":"66"}],"place":"Berlin/Heidelberg","date_created":"2019-03-06T11:12:57Z","date_updated":"2022-01-06T07:03:53Z","intvolume":"      2784","year":"2002","status":"public","title":"Process-Oriented, Flexible Composition of Web Services with UML","author":[{"full_name":"Thöne, Sebastian","first_name":"Sebastian","last_name":"Thöne"},{"full_name":"Depke, Ralph","last_name":"Depke","first_name":"Ralph"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"}],"user_id":"52534","volume":2784,"page":"390-401","publisher":"Springer","_id":"8364","series_title":"LNCS","language":[{"iso":"eng"}]},{"type":"conference","department":[{"_id":"66"}],"place":"New York, NY, USA","date_created":"2019-03-06T11:12:58Z","publication":"Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)","citation":{"mla":"Engels, Gregor, et al. “Towards Consistency-Preserving Model Evolution.” <i>Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA)</i>, ACM Press, 2002, pp. 129–32, doi:<a href=\"http://doi.acm.org/10.1145/512035.512066\">http://doi.acm.org/10.1145/512035.512066</a>.","bibtex":"@inproceedings{Engels_Küster_Heckel_2002, place={New York, NY, USA}, title={Towards Consistency-Preserving Model Evolution}, DOI={<a href=\"http://doi.acm.org/10.1145/512035.512066\">http://doi.acm.org/10.1145/512035.512066</a>}, booktitle={Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)}, publisher={ACM Press}, author={Engels, Gregor and Küster, Jochen and Heckel, Reiko}, year={2002}, pages={129–132} }","ama":"Engels G, Küster J, Heckel R. Towards Consistency-Preserving Model Evolution. In: <i>Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA)</i>. New York, NY, USA: ACM Press; 2002:129-132. doi:<a href=\"http://doi.acm.org/10.1145/512035.512066\">http://doi.acm.org/10.1145/512035.512066</a>","ieee":"G. Engels, J. Küster, and R. Heckel, “Towards Consistency-Preserving Model Evolution,” in <i>Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)</i>, 2002, pp. 129–132.","apa":"Engels, G., Küster, J., &#38; Heckel, R. (2002). Towards Consistency-Preserving Model Evolution. In <i>Proceedings of the International Workshop on Principles of Software Evolution(satellite event of the ICSE 02), Orlando, Florida (USA)</i> (pp. 129–132). New York, NY, USA: ACM Press. <a href=\"http://doi.acm.org/10.1145/512035.512066\">http://doi.acm.org/10.1145/512035.512066</a>","short":"G. Engels, J. Küster, R. Heckel, in: Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA), ACM Press, New York, NY, USA, 2002, pp. 129–132.","chicago":"Engels, Gregor, Jochen Küster, and Reiko Heckel. “Towards Consistency-Preserving Model Evolution.” In <i>Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA)</i>, 129–32. New York, NY, USA: ACM Press, 2002. <a href=\"http://doi.acm.org/10.1145/512035.512066\">http://doi.acm.org/10.1145/512035.512066</a>."},"doi":"http://doi.acm.org/10.1145/512035.512066","user_id":"52534","page":"129-132","_id":"8365","language":[{"iso":"eng"}],"publisher":"ACM Press","date_updated":"2022-01-06T07:03:53Z","year":"2002","title":"Towards Consistency-Preserving Model Evolution","status":"public","author":[{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"full_name":"Küster, Jochen","first_name":"Jochen","last_name":"Küster"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"}]},{"series_title":"Lecture Notes in Informatics","_id":"7788","language":[{"iso":"eng"}],"publisher":"Gesellschaft für Informatik (GI)","editor":[{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"full_name":"Oberweis, A.","last_name":"Oberweis","first_name":"A."},{"full_name":"Zündorf, Albert","last_name":"Zündorf","first_name":"Albert"}],"volume":1,"user_id":"52534","title":"Modellierung 2001","year":"2001","status":"public","intvolume":"         1","date_updated":"2022-01-06T07:03:46Z","place":"Bonn","date_created":"2019-02-19T19:09:37Z","department":[{"_id":"66"}],"type":"conference_editor","citation":{"mla":"Engels, Gregor, et al., editors. <i>Modellierung 2001</i>. Vol. 1, Gesellschaft für Informatik (GI), 2001.","bibtex":"@book{Engels_Oberweis_Zündorf_2001, place={Bonn}, series={Lecture Notes in Informatics}, title={Modellierung 2001}, volume={1}, publisher={Gesellschaft für Informatik (GI)}, year={2001}, collection={Lecture Notes in Informatics} }","ama":"Engels G, Oberweis A, Zündorf A, eds. <i>Modellierung 2001</i>. Vol 1. Bonn: Gesellschaft für Informatik (GI); 2001.","ieee":"G. Engels, A. Oberweis, and A. Zündorf, Eds., <i>Modellierung 2001</i>, vol. 1. Bonn: Gesellschaft für Informatik (GI), 2001.","apa":"Engels, G., Oberweis, A., &#38; Zündorf, A. (Eds.). (2001). <i>Modellierung 2001</i> (Vol. 1). Bonn: Gesellschaft für Informatik (GI).","chicago":"Engels, Gregor, A. Oberweis, and Albert Zündorf, eds. <i>Modellierung 2001</i>. Vol. 1. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2001.","short":"G. Engels, A. Oberweis, A. Zündorf, eds., Modellierung 2001, Gesellschaft für Informatik (GI), Bonn, 2001."}},{"year":"2001","title":"Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model","status":"public","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"      2185","page":"272-287","language":[{"iso":"eng"}],"_id":"7884","publisher":"Springer","doi":"http://dx.doi.org/10.1007/3-540-45441-1_21","user_id":"52534","volume":2185,"publication":"Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)","citation":{"bibtex":"@inproceedings{Engels_Heckel_Küster_2001, place={Berlin/Heidelberg}, title={Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model}, volume={2185}, DOI={<a href=\"http://dx.doi.org/10.1007/3-540-45441-1_21\">http://dx.doi.org/10.1007/3-540-45441-1_21</a>}, booktitle={Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={272–287} }","ama":"Engels G, Heckel R, Küster J. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In: <i>Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)</i>. Vol 2185. Berlin/Heidelberg: Springer; 2001:272-287. doi:<a href=\"http://dx.doi.org/10.1007/3-540-45441-1_21\">http://dx.doi.org/10.1007/3-540-45441-1_21</a>","mla":"Engels, Gregor, et al. “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-Model.” <i>Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)</i>, vol. 2185, Springer, 2001, pp. 272–87, doi:<a href=\"http://dx.doi.org/10.1007/3-540-45441-1_21\">http://dx.doi.org/10.1007/3-540-45441-1_21</a>.","short":"G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.","chicago":"Engels, Gregor, Reiko Heckel, and Jochen Küster. “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-Model.” In <i>Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)</i>, 2185:272–87. Berlin/Heidelberg: Springer, 2001. <a href=\"http://dx.doi.org/10.1007/3-540-45441-1_21\">http://dx.doi.org/10.1007/3-540-45441-1_21</a>.","ieee":"G. Engels, R. Heckel, and J. Küster, “Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model,” in <i>Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)</i>, 2001, vol. 2185, pp. 272–287.","apa":"Engels, G., Heckel, R., &#38; Küster, J. (2001). Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In <i>Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)</i> (Vol. 2185, pp. 272–287). Berlin/Heidelberg: Springer. <a href=\"http://dx.doi.org/10.1007/3-540-45441-1_21\">http://dx.doi.org/10.1007/3-540-45441-1_21</a>"},"abstract":[{"text":"Object-oriented modeling favors the modeling of object behavior from different viewpoints and at different levels of abstraction. This gives rise to consistency problems between overlapping or semantically related submodels. The absence of a formal semantics for the UML and the numerous ways of employing the language within the development process lead to a number of different consistency notions. Therefore, general meta-level techniques are required for specifying, analyzing, and communicating consistency constraints. In this paper, we discuss the issue of consistency of behavioral models in the UML and present techniques for specifying and analyzing consistency. Using meta-model rules we transform elements of UML models into a semantic domain. Then, consistency constraints can by specified and validated using the language and the tools of the semantic domain. This general methodology is exemplified by the problem of protocol statechart inheritance.","lang":"eng"}],"place":"Berlin/Heidelberg","date_created":"2019-02-21T10:42:24Z","type":"conference","department":[{"_id":"66"}]},{"user_id":"52534","volume":26,"page":"186-195","_id":"7885","publisher":"ACM Press","status":"public","place":"New York, NY, USA","citation":{"ieee":"G. Engels, J. Küster, L. Groenewegen, and R. Heckel, “A methodology for specifying and analyzing consistency of object-oriented behavioral models,” in <i>Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)</i>, 2001, vol. 26, no. 5, pp. 186–195.","apa":"Engels, G., Küster, J., Groenewegen, L., &#38; Heckel, R. (2001). A methodology for specifying and analyzing consistency of object-oriented behavioral models. In <i>Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)</i> (Vol. 26, pp. 186–195). New York, NY, USA: ACM Press. <a href=\"http://dx.doi.org/10.1145/503271.503235\">http://dx.doi.org/10.1145/503271.503235</a>","short":"G. Engels, J. Küster, L. Groenewegen, R. Heckel, in: Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria), ACM Press, New York, NY, USA, 2001, pp. 186–195.","chicago":"Engels, Gregor, Jochen Küster, Luuk Groenewegen, and Reiko Heckel. “A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models.” In <i>Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)</i>, 26:186–95. New York, NY, USA: ACM Press, 2001. <a href=\"http://dx.doi.org/10.1145/503271.503235\">http://dx.doi.org/10.1145/503271.503235</a>.","mla":"Engels, Gregor, et al. “A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models.” <i>Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)</i>, vol. 26, no. 5, ACM Press, 2001, pp. 186–95, doi:<a href=\"http://dx.doi.org/10.1145/503271.503235\">http://dx.doi.org/10.1145/503271.503235</a>.","bibtex":"@inproceedings{Engels_Küster_Groenewegen_Heckel_2001, place={New York, NY, USA}, title={A methodology for specifying and analyzing consistency of object-oriented behavioral models}, volume={26}, DOI={<a href=\"http://dx.doi.org/10.1145/503271.503235\">http://dx.doi.org/10.1145/503271.503235</a>}, number={5}, booktitle={Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)}, publisher={ACM Press}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk and Heckel, Reiko}, year={2001}, pages={186–195} }","ama":"Engels G, Küster J, Groenewegen L, Heckel R. A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: <i>Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)</i>. Vol 26. New York, NY, USA: ACM Press; 2001:186-195. doi:<a href=\"http://dx.doi.org/10.1145/503271.503235\">http://dx.doi.org/10.1145/503271.503235</a>"},"doi":"http://dx.doi.org/10.1145/503271.503235","language":[{"iso":"eng"}],"date_updated":"2022-01-06T07:03:47Z","intvolume":"        26","year":"2001","title":"A methodology for specifying and analyzing consistency of object-oriented behavioral models","author":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"last_name":"Groenewegen","first_name":"Luuk","full_name":"Groenewegen, Luuk"},{"full_name":"Heckel, Reiko","first_name":"Reiko","last_name":"Heckel"}],"type":"conference","department":[{"_id":"66"}],"date_created":"2019-02-21T10:43:26Z","abstract":[{"lang":"eng","text":"Object-oriented modeling favors the modeling of object behavior from different viewpoints and the successive refinement of behavioral models in the development process. This gives rise to consistency problems of behavioral models. The absence of a formal semantics for UML models and the numerous possibilities of employing behavioral models within the development process lead to the rise of a number of different consistency notions. In this paper, w e discuss the issue of consistency of behavioral models in the UML and present a general methodology how consistency problems can be dealt with. According to the methodology, those aspects of the models relevant to the consistency are mapped to a semantic domain in which precise consistency tests can be formulated. The choice of the semantic domain and the definition of consistency conditions can be used to construct different consistency notions. We show the applicability of our methodology by giving an example of a concrete consistency problem of concurrent object-oriented models."}],"publication":"Proceedings of the 8th European Software Engineering Conference (ESEC 2001) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), Vienna (Austria)","issue":"5"},{"place":"Lisbon","date_created":"2019-02-21T10:44:34Z","department":[{"_id":"66"}],"type":"conference","citation":{"apa":"Heckel, R., &#38; Engels, G. (2001). Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution. In <i>Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)</i> (pp. 42–47). Lisbon: Universidade Nova de Lisboa.","ieee":"R. Heckel and G. Engels, “Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution,” in <i>Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)</i>, 2001, no. UNL-DI-1-2001, pp. 42–47.","short":"R. Heckel, G. Engels, in: Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal), Universidade Nova de Lisboa, Lisbon, 2001, pp. 42–47.","chicago":"Heckel, Reiko, and Gregor Engels. “Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution.” In <i>Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)</i>, 42–47. Lisbon: Universidade Nova de Lisboa, 2001.","mla":"Heckel, Reiko, and Gregor Engels. “Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution.” <i>Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)</i>, no. UNL-DI-1-2001, Universidade Nova de Lisboa, 2001, pp. 42–47.","ama":"Heckel R, Engels G. Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution. In: <i>Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, Co-Located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)</i>. Lisbon: Universidade Nova de Lisboa; 2001:42-47.","bibtex":"@inproceedings{Heckel_Engels_2001, place={Lisbon}, title={Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution}, number={UNL-DI-1-2001}, booktitle={Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)}, publisher={Universidade Nova de Lisboa}, author={Heckel, Reiko and Engels, Gregor}, year={2001}, pages={42–47} }"},"publication":"Proceeding of International Special Session on Formal Foundations of Software Evolution (FFSE 2001, co-located with the Conference on Software Maintenance and Reengineering), Lisbon (Portugal)","issue":"UNL-DI-1-2001","language":[{"iso":"eng"}],"_id":"7887","publisher":"Universidade Nova de Lisboa","page":"42-47","user_id":"52534","author":[{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"}],"year":"2001","title":"Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution","status":"public","date_updated":"2022-01-06T07:03:47Z"},{"page":"248-255","_id":"7893","language":[{"iso":"eng"}],"publisher":"IEEE Computer Society","user_id":"52534","doi":"http://dx.doi.org/10.1109/HCC.2001.995271","status":"public","title":"UML-based Behavior Specification of Interactive Multimedia Applications","year":"2001","author":[{"id":"447","full_name":"Sauer, Stefan","first_name":"Stefan","last_name":"Sauer"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-21T10:50:19Z","place":"Washington, DC, USA","type":"conference","department":[{"_id":"66"}],"publication":"Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)","citation":{"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.","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>.","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.","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>","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} }","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>","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>."},"abstract":[{"lang":"eng","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."}]},{"report_number":"01-221","citation":{"ieee":"G. Engels, J. Küster, and L. Groenewegen, <i>On the Specification and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science, 2001.","apa":"Engels, G., Küster, J., &#38; Groenewegen, L. (2001). <i>On the Specification and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science.","short":"G. Engels, J. Küster, L. Groenewegen, On the Specification and Analysis of Protocols in UML-RT, University of Paderborn, Department of Computer Science, 2001.","chicago":"Engels, Gregor, Jochen Küster, and Luuk Groenewegen. <i>On the Specification and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science, 2001.","mla":"Engels, Gregor, et al. <i>On the Specification and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science, 2001.","bibtex":"@book{Engels_Küster_Groenewegen_2001, title={On the Specification and Analysis of Protocols in UML-RT}, publisher={University of Paderborn, Department of Computer Science}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2001} }","ama":"Engels G, Küster J, Groenewegen L. <i>On the Specification and Analysis of Protocols in UML-RT</i>. University of Paderborn, Department of Computer Science; 2001."},"type":"report","department":[{"_id":"66"}],"date_created":"2019-03-03T16:13:09Z","date_updated":"2022-01-06T07:03:52Z","year":"2001","title":"On the Specification and Analysis of Protocols in UML-RT","status":"public","author":[{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"},{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"},{"first_name":"Luuk","last_name":"Groenewegen","full_name":"Groenewegen, Luuk"}],"user_id":"52534","_id":"8211","publisher":"University of Paderborn, Department of Computer Science","language":[{"iso":"eng"}]}]