[{"year":"2001","intvolume":"        53","page":"50-52","citation":{"apa":"Zimmer, D. (2001). Berechnung des kegeligen Längspressverbands bei Einsteckritzeln. <i>Special Antriebstechnik - Eine Sonderausgabe Der Zeitschriften VDI-Z Und Konstruktion </i>, <i>53</i>(1), 50–52.","mla":"Zimmer, Detmar. “Berechnung Des Kegeligen Längspressverbands Bei Einsteckritzeln.” <i>Special Antriebstechnik - Eine Sonderausgabe Der Zeitschriften VDI-Z Und Konstruktion </i>, vol. 53, no. 1, Vereinigte Fachverlage GmbH, 2001, pp. 50–52.","bibtex":"@article{Zimmer_2001, title={Berechnung des kegeligen Längspressverbands bei Einsteckritzeln}, volume={53}, number={1}, journal={Special Antriebstechnik - Eine Sonderausgabe der Zeitschriften VDI-Z und Konstruktion }, publisher={Vereinigte Fachverlage GmbH}, author={Zimmer, Detmar}, year={2001}, pages={50–52} }","short":"D. Zimmer, Special Antriebstechnik - Eine Sonderausgabe Der Zeitschriften VDI-Z Und Konstruktion  53 (2001) 50–52.","chicago":"Zimmer, Detmar. “Berechnung Des Kegeligen Längspressverbands Bei Einsteckritzeln.” <i>Special Antriebstechnik - Eine Sonderausgabe Der Zeitschriften VDI-Z Und Konstruktion </i> 53, no. 1 (2001): 50–52.","ieee":"D. Zimmer, “Berechnung des kegeligen Längspressverbands bei Einsteckritzeln,” <i>Special Antriebstechnik - Eine Sonderausgabe der Zeitschriften VDI-Z und Konstruktion </i>, vol. 53, no. 1, pp. 50–52, 2001.","ama":"Zimmer D. Berechnung des kegeligen Längspressverbands bei Einsteckritzeln. <i>Special Antriebstechnik - Eine Sonderausgabe der Zeitschriften VDI-Z und Konstruktion </i>. 2001;53(1):50-52."},"issue":"1","title":"Berechnung des kegeligen Längspressverbands bei Einsteckritzeln","date_updated":"2022-01-06T06:55:31Z","publisher":"Vereinigte Fachverlage GmbH","volume":53,"date_created":"2021-06-15T11:07:57Z","author":[{"id":"604","full_name":"Zimmer, Detmar","last_name":"Zimmer","first_name":"Detmar"}],"status":"public","publication":"Special Antriebstechnik - Eine Sonderausgabe der Zeitschriften VDI-Z und Konstruktion ","type":"journal_article","language":[{"iso":"eng"}],"_id":"22323","department":[{"_id":"9"},{"_id":"146"}],"user_id":"38077"},{"citation":{"chicago":"König, Rolf, and Caren Sureth-Sloane. “Der Einfluss Der Unternehmenssteuerreform Auf Die Rechtsformspezifische Steuerbelastung.” <i>Steuern Und Bilanzen</i> 3, no. 3 (2001): 117–21.","ieee":"R. König and C. Sureth-Sloane, “Der Einfluss der Unternehmenssteuerreform auf die rechtsformspezifische Steuerbelastung,” <i>Steuern und Bilanzen</i>, vol. 3, no. 3, pp. 117–121, 2001.","ama":"König R, Sureth-Sloane C. Der Einfluss der Unternehmenssteuerreform auf die rechtsformspezifische Steuerbelastung. <i>Steuern und Bilanzen</i>. 2001;3(3):117-121.","apa":"König, R., &#38; Sureth-Sloane, C. (2001). Der Einfluss der Unternehmenssteuerreform auf die rechtsformspezifische Steuerbelastung. <i>Steuern Und Bilanzen</i>, <i>3</i>(3), 117–121.","bibtex":"@article{König_Sureth-Sloane_2001, title={Der Einfluss der Unternehmenssteuerreform auf die rechtsformspezifische Steuerbelastung}, volume={3}, number={3}, journal={Steuern und Bilanzen}, publisher={Herne Berlin}, author={König, Rolf and Sureth-Sloane, Caren}, year={2001}, pages={117–121} }","short":"R. König, C. Sureth-Sloane, Steuern Und Bilanzen 3 (2001) 117–121.","mla":"König, Rolf, and Caren Sureth-Sloane. “Der Einfluss Der Unternehmenssteuerreform Auf Die Rechtsformspezifische Steuerbelastung.” <i>Steuern Und Bilanzen</i>, vol. 3, no. 3, Herne Berlin, 2001, pp. 117–21."},"intvolume":"         3","page":"117-121","year":"2001","issue":"3","title":"Der Einfluss der Unternehmenssteuerreform auf die rechtsformspezifische Steuerbelastung","author":[{"first_name":"Rolf","last_name":"König","full_name":"König, Rolf"},{"first_name":"Caren","id":"530","full_name":"Sureth-Sloane, Caren","last_name":"Sureth-Sloane"}],"date_created":"2021-08-02T11:45:32Z","volume":3,"publisher":"Herne Berlin","date_updated":"2022-01-06T06:55:43Z","status":"public","type":"journal_article","publication":"Steuern und Bilanzen","language":[{"iso":"eng"}],"user_id":"68751","department":[{"_id":"187"}],"_id":"22917"},{"title":"Integration der fahrdynamischen Funktionen durch Vehicle Dynamics Management","date_updated":"2022-01-06T06:55:49Z","author":[{"last_name":"Trächtler","full_name":"Trächtler, Ansgar","id":"552","first_name":"Ansgar"}],"date_created":"2021-08-09T09:31:51Z","year":"2001","citation":{"chicago":"Trächtler, Ansgar. “Integration Der Fahrdynamischen Funktionen Durch Vehicle Dynamics Management.” <i>Tagung “Fahrdynamikregelung”, Haus Der Technik</i>, 2001.","ieee":"A. Trächtler, “Integration der fahrdynamischen Funktionen durch Vehicle Dynamics Management,” <i>Tagung “Fahrdynamikregelung”, Haus der Technik</i>, 2001.","ama":"Trächtler A. Integration der fahrdynamischen Funktionen durch Vehicle Dynamics Management. <i>Tagung “Fahrdynamikregelung”, Haus der Technik</i>. 2001.","mla":"Trächtler, Ansgar. “Integration Der Fahrdynamischen Funktionen Durch Vehicle Dynamics Management.” <i>Tagung “Fahrdynamikregelung”, Haus Der Technik</i>, 2001.","short":"A. Trächtler, Tagung “Fahrdynamikregelung”, Haus Der Technik (2001).","bibtex":"@article{Trächtler_2001, title={Integration der fahrdynamischen Funktionen durch Vehicle Dynamics Management}, journal={Tagung “Fahrdynamikregelung”, Haus der Technik}, author={Trächtler, Ansgar}, year={2001} }","apa":"Trächtler, A. (2001). Integration der fahrdynamischen Funktionen durch Vehicle Dynamics Management. <i>Tagung “Fahrdynamikregelung”, Haus Der Technik</i>."},"language":[{"iso":"eng"}],"_id":"23347","user_id":"24876","department":[{"_id":"153"}],"status":"public","type":"journal_article","publication":"Tagung \"Fahrdynamikregelung\", Haus der Technik"},{"year":"2001","citation":{"apa":"Trächtler, A. (2001). Tomographische Methoden in der Meßtechnik . <i>Fortschritt-Berichte VDI Reihe 8 Nr. 897</i>.","mla":"Trächtler, Ansgar. “Tomographische Methoden in Der Meßtechnik .” <i>Fortschritt-Berichte VDI Reihe 8 Nr. 897</i>, 2001.","bibtex":"@article{Trächtler_2001, title={Tomographische Methoden in der Meßtechnik }, journal={Fortschritt-Berichte VDI Reihe 8 Nr. 897}, author={Trächtler, Ansgar}, year={2001} }","short":"A. Trächtler, Fortschritt-Berichte VDI Reihe 8 Nr. 897 (2001).","ama":"Trächtler A. Tomographische Methoden in der Meßtechnik . <i>Fortschritt-Berichte VDI Reihe 8 Nr 897</i>. 2001.","chicago":"Trächtler, Ansgar. “Tomographische Methoden in Der Meßtechnik .” <i>Fortschritt-Berichte VDI Reihe 8 Nr. 897</i>, 2001.","ieee":"A. Trächtler, “Tomographische Methoden in der Meßtechnik ,” <i>Fortschritt-Berichte VDI Reihe 8 Nr. 897</i>, 2001."},"title":"Tomographische Methoden in der Meßtechnik ","date_updated":"2022-01-06T06:55:49Z","date_created":"2021-08-09T09:31:52Z","author":[{"last_name":"Trächtler","full_name":"Trächtler, Ansgar","id":"552","first_name":"Ansgar"}],"status":"public","type":"journal_article","publication":"Fortschritt-Berichte VDI Reihe 8 Nr. 897","language":[{"iso":"eng"}],"_id":"23348","user_id":"24876","department":[{"_id":"153"}]},{"type":"conference_editor","editor":[{"last_name":"Mehner","full_name":"Mehner, Katharina","first_name":"Katharina"},{"first_name":"M.","full_name":"Mezini, M.","last_name":"Mezini"},{"first_name":"Elke","last_name":"Pulvermüller","full_name":"Pulvermüller, Elke"},{"first_name":"Andreas","full_name":"Speck, Andreas","last_name":"Speck"}],"status":"public","_id":"7787","user_id":"52534","series_title":"Forschungsbericht","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"year":"2001","citation":{"chicago":"Mehner, Katharina, M. Mezini, Elke Pulvermüller, and Andreas Speck, eds. <i>Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)</i>. Vol. tr-ri-01-223. Forschungsbericht. University of Paderborn, 2001.","ieee":"K. Mehner, M. Mezini, E. Pulvermüller, and A. Speck, Eds., <i>Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)</i>, vol. tr-ri-01-223. University of Paderborn, 2001.","ama":"Mehner K, Mezini M, Pulvermüller E, Speck A, eds. <i>Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)</i>. Vol tr-ri-01-223. University of Paderborn; 2001.","short":"K. Mehner, M. Mezini, E. Pulvermüller, A. Speck, eds., Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany), University of Paderborn, 2001.","mla":"Mehner, Katharina, et al., editors. <i>Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)</i>. Vol. tr-ri-01-223, University of Paderborn, 2001.","bibtex":"@book{Mehner_Mezini_Pulvermüller_Speck_2001, series={Forschungsbericht}, title={Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)}, volume={tr-ri-01-223}, publisher={University of Paderborn}, year={2001}, collection={Forschungsbericht} }","apa":"Mehner, K., Mezini, M., Pulvermüller, E., &#38; Speck, A. (Eds.). (2001). <i>Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)</i> (Vol. tr-ri-01-223). University of Paderborn."},"publisher":"University of Paderborn","date_updated":"2022-01-06T07:03:46Z","date_created":"2019-02-19T19:08:50Z","volume":"tr-ri-01-223","title":"Proceedings of the workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany)"},{"date_updated":"2022-01-06T07:03:46Z","publisher":"Gesellschaft für Informatik (GI)","date_created":"2019-02-19T19:09:37Z","volume":1,"title":"Modellierung 2001","place":"Bonn","year":"2001","citation":{"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} }","mla":"Engels, Gregor, et al., editors. <i>Modellierung 2001</i>. Vol. 1, Gesellschaft für Informatik (GI), 2001.","short":"G. Engels, A. Oberweis, A. Zündorf, eds., Modellierung 2001, Gesellschaft für Informatik (GI), Bonn, 2001.","apa":"Engels, G., Oberweis, A., &#38; Zündorf, A. (Eds.). (2001). <i>Modellierung 2001</i> (Vol. 1). Bonn: Gesellschaft für Informatik (GI).","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.","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."},"intvolume":"         1","_id":"7788","user_id":"52534","series_title":"Lecture Notes in Informatics","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference_editor","editor":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"first_name":"A.","full_name":"Oberweis, A.","last_name":"Oberweis"},{"first_name":"Albert","full_name":"Zündorf, Albert","last_name":"Zündorf"}],"status":"public"},{"citation":{"ama":"Böllert K, Streitferdt D, Heuzeroth D, Mehner K, Hanenberg S, eds. <i>Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany)</i>.; 2001.","ieee":"K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, and S. Hanenberg, Eds., <i>Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany)</i>. 2001.","chicago":"Böllert, K., D. Streitferdt, D. Heuzeroth, Katharina Mehner, and S. Hanenberg, eds. <i>Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany)</i>, 2001.","bibtex":"@book{Böllert_Streitferdt_Heuzeroth_Mehner_Hanenberg_2001, title={Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany)}, year={2001} }","mla":"Böllert, K., et al., editors. <i>Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany)</i>. 2001.","short":"K. Böllert, D. Streitferdt, D. Heuzeroth, K. Mehner, S. Hanenberg, eds., Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany), 2001.","apa":"Böllert, K., Streitferdt, D., Heuzeroth, D., Mehner, K., &#38; Hanenberg, S. (Eds.). (2001). <i>Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany)</i>."},"year":"2001","title":"Proceedings of the 3rd Young Researchers Workshop, satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE '01), Erfurt (Germany)","date_created":"2019-02-19T19:10:41Z","date_updated":"2022-01-06T07:03:46Z","status":"public","editor":[{"first_name":"K.","full_name":"Böllert, K.","last_name":"Böllert"},{"first_name":"D.","full_name":"Streitferdt, D.","last_name":"Streitferdt"},{"last_name":"Heuzeroth","full_name":"Heuzeroth, D.","first_name":"D."},{"first_name":"Katharina","last_name":"Mehner","full_name":"Mehner, Katharina"},{"full_name":"Hanenberg, S.","last_name":"Hanenberg","first_name":"S."}],"type":"conference_editor","language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7789"},{"_id":"7879","user_id":"52534","department":[{"_id":"66"}],"language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany)","status":"public","publisher":"Konradin-Verlag","date_updated":"2022-01-06T07:03:47Z","author":[{"full_name":"Lütkemeier, Björn","last_name":"Lütkemeier","first_name":"Björn"},{"first_name":"Sebastian","full_name":"Thöne, Sebastian","last_name":"Thöne"}],"date_created":"2019-02-21T10:39:54Z","title":"Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle","year":"2001","citation":{"mla":"Lütkemeier, Björn, and Sebastian Thöne. “Prozessorientierte Integration von Softwarekomponenten Durch XML-Basierte Workflow-Modelle.” <i>Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany)</i>, Konradin-Verlag, 2001.","bibtex":"@inproceedings{Lütkemeier_Thöne_2001, title={Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle}, booktitle={Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany)}, publisher={Konradin-Verlag}, author={Lütkemeier, Björn and Thöne, Sebastian}, year={2001} }","short":"B. Lütkemeier, S. Thöne, in: Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany), Konradin-Verlag, 2001.","apa":"Lütkemeier, B., &#38; Thöne, S. (2001). Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle. In <i>Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany)</i>. Konradin-Verlag.","ama":"Lütkemeier B, Thöne S. Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle. In: <i>Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany)</i>. Konradin-Verlag; 2001.","chicago":"Lütkemeier, Björn, and Sebastian Thöne. “Prozessorientierte Integration von Softwarekomponenten Durch XML-Basierte Workflow-Modelle.” In <i>Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany)</i>. Konradin-Verlag, 2001.","ieee":"B. Lütkemeier and S. Thöne, “Prozessorientierte Integration von Softwarekomponenten durch XML-basierte Workflow-Modelle,” in <i>Proceedings of the Fachwissenschaftlicher Informatik-Kongress (Informatiktage 2001), Bad Schussenried (Germany)</i>, 2001."}},{"citation":{"ieee":"P. Baldan, A. Corradini, H. Ehrig, and R. Heckel, “Compositional Modeling of Reactive Systems Using Open Nets,” in <i>Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)</i>, 2001, vol. 2154, pp. 502–518.","chicago":"Baldan, Paolo, Andrea Corradini, Hartmut Ehrig, and Reiko Heckel. “Compositional Modeling of Reactive Systems Using Open Nets.” In <i>Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)</i>, 2154:502–18. LNCS. Berlin/Heidelberg: Springer, 2001.","ama":"Baldan P, Corradini A, Ehrig H, Heckel R. Compositional Modeling of Reactive Systems Using Open Nets. In: <i>Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)</i>. Vol 2154. LNCS. Berlin/Heidelberg: Springer; 2001:502-518.","bibtex":"@inproceedings{Baldan_Corradini_Ehrig_Heckel_2001, place={Berlin/Heidelberg}, series={LNCS}, title={Compositional Modeling of Reactive Systems Using Open Nets}, volume={2154}, booktitle={Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)}, publisher={Springer}, author={Baldan, Paolo and Corradini, Andrea and Ehrig, Hartmut and Heckel, Reiko}, year={2001}, pages={502–518}, collection={LNCS} }","short":"P. Baldan, A. Corradini, H. Ehrig, R. Heckel, in: Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark), Springer, Berlin/Heidelberg, 2001, pp. 502–518.","mla":"Baldan, Paolo, et al. “Compositional Modeling of Reactive Systems Using Open Nets.” <i>Proceedings of the Conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)</i>, vol. 2154, Springer, 2001, pp. 502–18.","apa":"Baldan, P., Corradini, A., Ehrig, H., &#38; Heckel, R. (2001). Compositional Modeling of Reactive Systems Using Open Nets. In <i>Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)</i> (Vol. 2154, pp. 502–518). Berlin/Heidelberg: Springer."},"page":"502-518","intvolume":"      2154","year":"2001","place":"Berlin/Heidelberg","title":"Compositional Modeling of Reactive Systems Using Open Nets","author":[{"full_name":"Baldan, Paolo","last_name":"Baldan","first_name":"Paolo"},{"first_name":"Andrea","full_name":"Corradini, Andrea","last_name":"Corradini"},{"first_name":"Hartmut","last_name":"Ehrig","full_name":"Ehrig, Hartmut"},{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"}],"date_created":"2019-02-21T10:40:17Z","volume":2154,"date_updated":"2022-01-06T07:03:47Z","publisher":"Springer","status":"public","type":"conference","publication":"Proceedings of the conference on Concurrency Theory (CONCUR 2001), Aalborg (Denmark)","language":[{"iso":"eng"}],"series_title":"LNCS","user_id":"52534","department":[{"_id":"66"}],"_id":"7880"},{"page":"31-40","citation":{"short":"J. Küster, J. Stroop, in: Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany), IEEE Computer Society, Washington, DC, USA, 2001, pp. 31–40.","bibtex":"@inproceedings{Küster_Stroop_2001, place={Washington, DC, USA}, title={Consistent Design of Embedded Real-Time Systems with UML-RT}, DOI={<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815\">https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815</a>}, booktitle={Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany)}, publisher={IEEE Computer Society}, author={Küster, Jochen and Stroop, Joachim}, year={2001}, pages={31–40} }","mla":"Küster, Jochen, and Joachim Stroop. “Consistent Design of Embedded Real-Time Systems with UML-RT.” <i>Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany)</i>, IEEE Computer Society, 2001, pp. 31–40, doi:<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815\">https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815</a>.","apa":"Küster, J., &#38; Stroop, J. (2001). Consistent Design of Embedded Real-Time Systems with UML-RT. In <i>Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany)</i> (pp. 31–40). Washington, DC, USA: IEEE Computer Society. <a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815\">https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815</a>","ieee":"J. Küster and J. Stroop, “Consistent Design of Embedded Real-Time Systems with UML-RT,” in <i>Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany)</i>, 2001, pp. 31–40.","chicago":"Küster, Jochen, and Joachim Stroop. “Consistent Design of Embedded Real-Time Systems with UML-RT.” In <i>Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany)</i>, 31–40. Washington, DC, USA: IEEE Computer Society, 2001. <a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815\">https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815</a>.","ama":"Küster J, Stroop J. Consistent Design of Embedded Real-Time Systems with UML-RT. In: <i>Proceedings of the Conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany)</i>. Washington, DC, USA: IEEE Computer Society; 2001:31-40. doi:<a href=\"https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815\">https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815</a>"},"year":"2001","place":"Washington, DC, USA","date_created":"2019-02-21T10:40:47Z","author":[{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"last_name":"Stroop","full_name":"Stroop, Joachim","first_name":"Joachim"}],"date_updated":"2022-01-06T07:03:47Z","publisher":"IEEE Computer Society","doi":"https://groups.uni-paderborn.de/fg-engels/Publications/doi.ieeecomputersociety.org/10.1109/ISORC.2001.922815","title":"Consistent Design of Embedded Real-Time Systems with UML-RT","publication":"Proceedings of the conference on Object-Oriented Real-Time Distributed Computing (ISORC 2001), Magdeburg (Germany)","type":"conference","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"7881","language":[{"iso":"eng"}]},{"citation":{"apa":"Depke, R., Heckel, R., &#38; Küster, J. (2001). Improving the Agent-Oriented Modeling Process with Roles. In <i>Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)</i> (pp. 640–647). New York, NY, USA: ACM Press.","short":"R. Depke, R. Heckel, J. Küster, in: Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada), ACM Press, New York, NY, USA, 2001, pp. 640–647.","bibtex":"@inproceedings{Depke_Heckel_Küster_2001, place={New York, NY, USA}, title={Improving the Agent-Oriented Modeling Process with Roles}, booktitle={Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)}, publisher={ACM Press}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2001}, pages={640–647} }","mla":"Depke, Ralph, et al. “Improving the Agent-Oriented Modeling Process with Roles.” <i>Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)</i>, ACM Press, 2001, pp. 640–47.","ama":"Depke R, Heckel R, Küster J. Improving the Agent-Oriented Modeling Process with Roles. In: <i>Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)</i>. New York, NY, USA: ACM Press; 2001:640-647.","ieee":"R. Depke, R. Heckel, and J. Küster, “Improving the Agent-Oriented Modeling Process with Roles,” in <i>Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)</i>, 2001, pp. 640–647.","chicago":"Depke, Ralph, Reiko Heckel, and Jochen Küster. “Improving the Agent-Oriented Modeling Process with Roles.” In <i>Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)</i>, 640–47. New York, NY, USA: ACM Press, 2001."},"page":"640-647","place":"New York, NY, USA","year":"2001","date_created":"2019-02-21T10:41:13Z","author":[{"last_name":"Depke","full_name":"Depke, Ralph","first_name":"Ralph"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"}],"publisher":"ACM Press","date_updated":"2022-01-06T07:03:47Z","title":"Improving the Agent-Oriented Modeling Process with Roles","type":"conference","publication":"Proceedings of the Fifth International Conference on Autonomous Agents (AGENTS 2001), Montreal (Canada)","status":"public","user_id":"52534","department":[{"_id":"66"}],"_id":"7882","language":[{"iso":"eng"}]},{"language":[{"iso":"eng"}],"user_id":"52534","department":[{"_id":"66"}],"_id":"7883","status":"public","type":"conference","publication":"Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany)","title":"Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform","date_created":"2019-02-21T10:41:47Z","author":[{"last_name":"Depke","full_name":"Depke, Ralph","first_name":"Ralph"},{"first_name":"Reiko","last_name":"Heckel","full_name":"Heckel, Reiko"}],"publisher":"Technische Akademie Esslingen","date_updated":"2022-01-06T07:03:47Z","citation":{"ieee":"R. Depke and R. Heckel, “Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform,” in <i>Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany)</i>, 2001.","chicago":"Depke, Ralph, and Reiko Heckel. “Modellierung von Prozessen Mit UML Und Realisierung Durch Eine Internet-Agentenplattform.” In <i>Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany)</i>. Technische Akademie Esslingen, 2001.","ama":"Depke R, Heckel R. Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform. In: <i>Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany)</i>. Technische Akademie Esslingen; 2001.","apa":"Depke, R., &#38; Heckel, R. (2001). Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform. In <i>Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany)</i>. Technische Akademie Esslingen.","bibtex":"@inproceedings{Depke_Heckel_2001, title={Modellierung von Prozessen mit UML und Realisierung durch eine Internet-Agentenplattform}, booktitle={Proceedings of the 9. Kolloquium Software-Entwicklung für Internet und Intranet, Ostfildern (Germany)}, publisher={Technische Akademie Esslingen}, author={Depke, Ralph and Heckel, Reiko}, year={2001} }","short":"R. Depke, R. Heckel, in: Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany), Technische Akademie Esslingen, 2001.","mla":"Depke, Ralph, and Reiko Heckel. “Modellierung von Prozessen Mit UML Und Realisierung Durch Eine Internet-Agentenplattform.” <i>Proceedings of the 9. Kolloquium Software-Entwicklung Für Internet Und Intranet, Ostfildern (Germany)</i>, Technische Akademie Esslingen, 2001."},"year":"2001"},{"abstract":[{"lang":"eng","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."}],"status":"public","type":"conference","publication":"Proceedings of the conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada)","language":[{"iso":"eng"}],"_id":"7884","user_id":"52534","department":[{"_id":"66"}],"year":"2001","place":"Berlin/Heidelberg","citation":{"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.","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>.","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} }","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.","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>"},"intvolume":"      2185","page":"272-287","title":"Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model","doi":"http://dx.doi.org/10.1007/3-540-45441-1_21","date_updated":"2022-01-06T07:03:47Z","publisher":"Springer","date_created":"2019-02-21T10:42:24Z","author":[{"first_name":"Gregor","last_name":"Engels","id":"107","full_name":"Engels, Gregor"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"full_name":"Küster, Jochen","last_name":"Küster","first_name":"Jochen"}],"volume":2185},{"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)","type":"conference","abstract":[{"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.","lang":"eng"}],"status":"public","_id":"7885","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"issue":"5","year":"2001","place":"New York, NY, USA","intvolume":"        26","page":"186-195","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.","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>.","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>","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} }","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.","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>"},"date_updated":"2022-01-06T07:03:47Z","publisher":"ACM Press","volume":26,"date_created":"2019-02-21T10:43:26Z","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"},{"first_name":"Jochen","last_name":"Küster","full_name":"Küster, Jochen"},{"first_name":"Luuk","full_name":"Groenewegen, Luuk","last_name":"Groenewegen"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"title":"A methodology for specifying and analyzing consistency of object-oriented behavioral models","doi":"http://dx.doi.org/10.1145/503271.503235"},{"citation":{"apa":"Geiger, C., Flake, S., &#38; Küster, J. (2001). Towards UML-based Analysis and Design of Multi-Agent Systems. In <i>Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)</i>.","bibtex":"@inproceedings{Geiger_Flake_Küster_2001, title={Towards UML-based Analysis and Design of Multi-Agent Systems}, booktitle={Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)}, author={Geiger, Christian and Flake, Stephan and Küster, Jochen}, year={2001} }","short":"C. Geiger, S. Flake, J. Küster, in: Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates), 2001.","mla":"Geiger, Christian, et al. “Towards UML-Based Analysis and Design of Multi-Agent Systems.” <i>Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)</i>, 2001.","ama":"Geiger C, Flake S, Küster J. Towards UML-based Analysis and Design of Multi-Agent Systems. In: <i>Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)</i>. ; 2001.","ieee":"C. Geiger, S. Flake, and J. Küster, “Towards UML-based Analysis and Design of Multi-Agent Systems,” in <i>Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)</i>, 2001.","chicago":"Geiger, Christian, Stephan Flake, and Jochen Küster. “Towards UML-Based Analysis and Design of Multi-Agent Systems.” In <i>Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)</i>, 2001."},"year":"2001","date_created":"2019-02-21T10:44:10Z","author":[{"last_name":"Geiger","full_name":"Geiger, Christian","first_name":"Christian"},{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"last_name":"Küster","full_name":"Küster, Jochen","first_name":"Jochen"}],"date_updated":"2022-01-06T07:03:47Z","title":"Towards UML-based Analysis and Design of Multi-Agent Systems","publication":"Proceedings of International NAISO Symposium on Information Science Innovations in Engineering of Natural and Artificial Intelligent Systems (ENAIS 2001), Dubai (United Arab Emirates)","type":"conference","status":"public","department":[{"_id":"66"}],"user_id":"52534","_id":"7886","language":[{"iso":"eng"}]},{"title":"Graph Transformation as a Meta Language for Dynamic Modeling and Model Evolution","author":[{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}],"date_created":"2019-02-21T10:44:34Z","date_updated":"2022-01-06T07:03:47Z","publisher":"Universidade Nova de Lisboa","page":"42-47","citation":{"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.","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.","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} }","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.","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.","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."},"year":"2001","place":"Lisbon","issue":"UNL-DI-1-2001","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7887","status":"public","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)","type":"conference"},{"_id":"7888","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the IEEE Symposia on Human Centric Computing Languages and Environments (HCC 2001), Stresa (Italy)","type":"conference","status":"public","date_updated":"2022-01-06T07:03:47Z","publisher":"IEEE Computer Society","author":[{"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_created":"2019-02-21T10:45:17Z","title":"Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams","place":"Washington, DC, USA","year":"2001","page":"80-87","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.","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} }","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.","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.","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."}},{"status":"public","abstract":[{"text":"In Requirements Engineering structural and functional requirements for a new software system are gathered, analyzed, and manifested. Unfortunately the connection between these aspects gets lost in the standard object oriented methodology and has to be re-established later on. Not only is this tedious work but the detection of conflicts and inconsistencies in early phases is hindered by the separation of static and dynamic aspects. We propose the use of graph transformations to specify the connection between these aspects. Based on what we call an integrated business model, consistency analysis at the requirements model level becomes possible. Keywords: UML, Unified Process, functional specifications, integrated business model, graph transformation 1 Introduction At the beginning of each software development there are several ideas or visions of what the system to be build should achieve. The techniques developed in the area of requirements engineering are concerned with gathering, structuring and integrating these different ideas for the new system. It is the goal of this process to achieve a set of reasonable and consistent requirements for the further development process. The main problem is the detection and resolution of inconsistencies and conflicts between competing requirements. The application of formal methods and notations promises to support this task by enabling automated analysis. Although multiple formal methods have been proposed by scientists (see e.g. [7] for a survey), the standard methodologies in object oriented software engineering still use very informal and imprecise techniques in this phase of the development process. In particular, what is missing is a coupling between the structural (data) description (captured in class diagrams) and the behavior of the system (captured in activity and use case diagrams). In this paper we will show how to improve this situation by giving use cases a precise description, thus achieving a coupling of the dynamic and static parts of the model. This allows to apply formal techniques of consistency analysis. The paper is organized as follows: Section 2 gives an introduction to the requirements analysis phase in the Unified Process (UP) and points out some weak points of this approach. We will advance the basic ideas presented in the UP by further elaborating the ideas of a business model and formalizing their notion in Section 3. Section 4 introduces use case diagrams and their new role in the context of the integrated business model. Section 5 extends the notion of views to structure the whole requirements model and the concluding Section 6 gives perspectives toward further work on this topic.","lang":"eng"}],"publication":"Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich)","type":"conference","language":[{"iso":"eng"}],"department":[{"_id":"66"}],"user_id":"52534","_id":"7889","intvolume":"         1","page":"595-599","citation":{"ama":"Hendrik Hausmann J, Heckel R. Use Cases as views: A formal approach to Requirements engineering in the Unified Process. In: <i>Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich)</i>. Vol 1. Wien (Österreich): Österreichische Computer Gesellschaft; 2001:595-599.","ieee":"J. Hendrik Hausmann and R. Heckel, “Use Cases as views: A formal approach to Requirements engineering in the Unified Process,” in <i>Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich)</i>, 2001, vol. 1, pp. 595–599.","chicago":"Hendrik Hausmann, Jan, and Reiko Heckel. “Use Cases as Views: A Formal Approach to Requirements Engineering in the Unified Process.” In <i>Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich)</i>, 1:595–99. Wien (Österreich): Österreichische Computer Gesellschaft, 2001.","short":"J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.","bibtex":"@inproceedings{Hendrik Hausmann_Heckel_2001, place={Wien (Österreich)}, title={Use Cases as views: A formal approach to Requirements engineering in the Unified Process}, volume={1}, booktitle={Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich)}, publisher={Österreichische Computer Gesellschaft}, author={Hendrik Hausmann, Jan and Heckel, Reiko}, year={2001}, pages={595–599} }","mla":"Hendrik Hausmann, Jan, and Reiko Heckel. “Use Cases as Views: A Formal Approach to Requirements Engineering in the Unified Process.” <i>Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich)</i>, vol. 1, Österreichische Computer Gesellschaft, 2001, pp. 595–99.","apa":"Hendrik Hausmann, J., &#38; Heckel, R. (2001). Use Cases as views: A formal approach to Requirements engineering in the Unified Process. In <i>Proceedings of the GI/OCG-Jahrestagung on Wirtschaft und Wissenschaft in der Network Economy - Visionen und Wirklichkeit (2001), Wien (Österreich)</i> (Vol. 1, pp. 595–599). Wien (Österreich): Österreichische Computer Gesellschaft."},"place":"Wien (Österreich)","year":"2001","title":"Use Cases as views: A formal approach to Requirements engineering in the Unified Process","volume":1,"author":[{"first_name":"Jan","last_name":"Hendrik Hausmann","full_name":"Hendrik Hausmann, Jan"},{"first_name":"Reiko","full_name":"Heckel, Reiko","last_name":"Heckel"}],"date_created":"2019-02-21T10:46:46Z","publisher":"Österreichische Computer Gesellschaft","date_updated":"2022-01-06T07:03:47Z"},{"_id":"7890","department":[{"_id":"66"}],"user_id":"52534","language":[{"iso":"eng"}],"publication":"Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems","type":"conference","abstract":[{"lang":"eng","text":"One important application of Petri nets is thespecification of workflows. Such a specification is needed, for example, when interoperability of the workflows is an issue, which is frequently the case when business processes of different organizations shall be integrated.A workflow net is a Petri net satisfying some structural constraints, like the existence of one initial and one final place, and a corresponding soundness condition.An interorganizational workflow is modeled as a set of such workflow nets connected through additional places for asynchronous communication and synchronization requirements on transitions.In this contribution we interpret an interorganizational workflow as acomposition of open nets. This allows us to project processes of the overall net to open processes of the local nets and,vice versa, to deduce the global behavior from the behavior of the components.Such a compositional uunderstanding of workflows can be used to simulate and test local workflow nets in an unknown environment, and it provides the semantic justification for reusable components."}],"status":"public","publisher":"DFG Research Group \"Petri Net Technology\"","date_updated":"2022-01-06T07:03:47Z","date_created":"2019-02-21T10:47:49Z","author":[{"last_name":"Heckel","full_name":"Heckel, Reiko","first_name":"Reiko"}],"title":"Open Petri Nets as Semantic Model for Business Process Integration","year":"2001","page":"129-134","citation":{"apa":"Heckel, R. (2001). Open Petri Nets as Semantic Model for Business Process Integration. In <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems</i> (pp. 129–134). DFG Research Group “Petri Net Technology.”","mla":"Heckel, Reiko. “Open Petri Nets as Semantic Model for Business Process Integration.” <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems</i>, DFG Research Group “Petri Net Technology,” 2001, pp. 129–34.","short":"R. Heckel, in: Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems, DFG Research Group “Petri Net Technology,” 2001, pp. 129–134.","bibtex":"@inproceedings{Heckel_2001, title={Open Petri Nets as Semantic Model for Business Process Integration}, booktitle={Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems}, publisher={DFG Research Group “Petri Net Technology”}, author={Heckel, Reiko}, year={2001}, pages={129–134} }","ieee":"R. Heckel, “Open Petri Nets as Semantic Model for Business Process Integration,” in <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems</i>, 2001, pp. 129–134.","chicago":"Heckel, Reiko. “Open Petri Nets as Semantic Model for Business Process Integration.” In <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems</i>, 129–34. DFG Research Group “Petri Net Technology,” 2001.","ama":"Heckel R. Open Petri Nets as Semantic Model for Business Process Integration. In: <i>Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems</i>. DFG Research Group “Petri Net Technology”; 2001:129-134."}},{"date_created":"2019-02-21T10:48:46Z","author":[{"full_name":"Heckel, Reiko","last_name":"Heckel","first_name":"Reiko"},{"first_name":"Stefan","id":"447","full_name":"Sauer, Stefan","last_name":"Sauer"}],"volume":2029,"publisher":"Springer","date_updated":"2022-01-06T07:03:47Z","doi":"http://dx.doi.org/10.1007/3-540-45314-8_9","title":"Strengthening UML Collaboration Diagrams by State Transformations","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>","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.","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} }","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>","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>."},"page":"109-123","intvolume":"      2029","place":"London, UK","year":"2001","user_id":"52534","series_title":"LNCS","department":[{"_id":"66"}],"_id":"7891","language":[{"iso":"eng"}],"type":"conference","publication":"Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy)","status":"public"}]