[{"language":[{"iso":"eng"}],"_id":"7275","page":"1-2","volume":28,"user_id":"52534","author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"},{"full_name":"Luckey, Markus","last_name":"Luckey","first_name":"Markus"}],"status":"public","year":"2013","title":"Editorial","intvolume":"        28","date_updated":"2022-01-06T07:03:31Z","date_created":"2019-01-30T13:54:36Z","department":[{"_id":"66"}],"type":"journal_article","citation":{"ieee":"G. Engels and M. Luckey, “Editorial,” <i>Computer Science - Research and Development</i>, vol. 28, no. 1, pp. 1–2, 2013.","mla":"Engels, Gregor, and Markus Luckey. “Editorial.” <i>Computer Science - Research and Development</i>, vol. 28, no. 1, 2013, pp. 1–2.","apa":"Engels, G., &#38; Luckey, M. (2013). Editorial. <i>Computer Science - Research and Development</i>, <i>28</i>(1), 1–2.","bibtex":"@article{Engels_Luckey_2013, title={Editorial}, volume={28}, number={1}, journal={Computer Science - Research and Development}, author={Engels, Gregor and Luckey, Markus}, year={2013}, pages={1–2} }","short":"G. Engels, M. Luckey, Computer Science - Research and Development 28 (2013) 1–2.","ama":"Engels G, Luckey M. Editorial. <i>Computer Science - Research and Development</i>. 2013;28(1):1-2.","chicago":"Engels, Gregor, and Markus Luckey. “Editorial.” <i>Computer Science - Research and Development</i> 28, no. 1 (2013): 1–2."},"publication":"Computer Science - Research and Development","issue":"1"},{"publication":"Forschungsforum Paderborn","citation":{"bibtex":"@article{Engels_Gerth_Kleinjohann_Kleinjohann_Müller_Sauer_2013, title={Informationstechnik spart Ressourcen}, volume={16/2013}, journal={Forschungsforum Paderborn}, author={Engels, Gregor and Gerth, Christian and Kleinjohann, Bernd and Kleinjohann, Lisa and Müller, Wolfgang and Sauer, Stefan}, year={2013}, pages={54–61} }","ama":"Engels G, Gerth C, Kleinjohann B, Kleinjohann L, Müller W, Sauer S. Informationstechnik spart Ressourcen. <i>Forschungsforum Paderborn</i>. 2013;16/2013:54-61.","mla":"Engels, Gregor, et al. “Informationstechnik Spart Ressourcen.” <i>Forschungsforum Paderborn</i>, vol. 16/2013, 2013, pp. 54–61.","short":"G. Engels, C. Gerth, B. Kleinjohann, L. Kleinjohann, W. Müller, S. Sauer, Forschungsforum Paderborn 16/2013 (2013) 54–61.","chicago":"Engels, Gregor, Christian Gerth, Bernd Kleinjohann, Lisa Kleinjohann, Wolfgang Müller, and Stefan Sauer. “Informationstechnik Spart Ressourcen.” <i>Forschungsforum Paderborn</i> 16/2013 (2013): 54–61.","ieee":"G. Engels, C. Gerth, B. Kleinjohann, L. Kleinjohann, W. Müller, and S. Sauer, “Informationstechnik spart Ressourcen,” <i>Forschungsforum Paderborn</i>, vol. 16/2013, pp. 54–61, 2013.","apa":"Engels, G., Gerth, C., Kleinjohann, B., Kleinjohann, L., Müller, W., &#38; Sauer, S. (2013). Informationstechnik spart Ressourcen. <i>Forschungsforum Paderborn</i>, <i>16/2013</i>, 54–61."},"date_created":"2019-01-30T13:55:16Z","type":"journal_article","department":[{"_id":"66"}],"status":"public","title":"Informationstechnik spart Ressourcen","year":"2013","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"first_name":"Christian","last_name":"Gerth","full_name":"Gerth, Christian"},{"full_name":"Kleinjohann, Bernd","first_name":"Bernd","last_name":"Kleinjohann"},{"last_name":"Kleinjohann","first_name":"Lisa","full_name":"Kleinjohann, Lisa","id":"15588"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"full_name":"Sauer, Stefan","first_name":"Stefan","last_name":"Sauer","id":"447"}],"date_updated":"2022-01-06T07:03:31Z","page":"54-61","language":[{"iso":"eng"}],"_id":"7276","user_id":"52534","volume":"16/2013"},{"department":[{"_id":"66"}],"type":"journal_article","date_created":"2019-01-30T13:56:05Z","citation":{"apa":"Gerth, C., Küster, J., Luckey, M., &#38; Engels, G. (2013). Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. <i>Software and Systems Modeling</i>, <i>12</i>(3), 517–535.","ieee":"C. Gerth, J. Küster, M. Luckey, and G. Engels, “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models,” <i>Software and Systems Modeling</i>, vol. 12, no. 3, pp. 517–535, 2013.","short":"C. Gerth, J. Küster, M. Luckey, G. Engels, Software and Systems Modeling 12 (2013) 517–535.","chicago":"Gerth, Christian, Jochen Küster, Markus Luckey, and Gregor Engels. “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models.” <i>Software and Systems Modeling</i> 12, no. 3 (2013): 517–35.","mla":"Gerth, Christian, et al. “Detection and Resolution of Conflicting Change Operations in Version Management of Process Models.” <i>Software and Systems Modeling</i>, vol. 12, no. 3, 2013, pp. 517–35.","ama":"Gerth C, Küster J, Luckey M, Engels G. Detection and Resolution of Conflicting Change Operations in Version Management of Process Models. <i>Software and Systems Modeling</i>. 2013;12(3):517-535.","bibtex":"@article{Gerth_Küster_Luckey_Engels_2013, title={Detection and Resolution of Conflicting Change Operations in Version Management of Process Models}, volume={12}, number={3}, journal={Software and Systems Modeling}, author={Gerth, Christian and Küster, Jochen and Luckey, Markus and Engels, Gregor}, year={2013}, pages={517–535} }"},"issue":"3","publication":"Software and Systems Modeling","volume":12,"user_id":"52534","_id":"7277","language":[{"iso":"eng"}],"page":"517-535","intvolume":"        12","date_updated":"2022-01-06T07:03:31Z","author":[{"first_name":"Christian","last_name":"Gerth","full_name":"Gerth, Christian"},{"last_name":"Küster","first_name":"Jochen","full_name":"Küster, Jochen"},{"first_name":"Markus","last_name":"Luckey","full_name":"Luckey, Markus"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}],"title":"Detection and Resolution of Conflicting Change Operations in Version Management of Process Models","year":"2013","status":"public"},{"date_created":"2019-01-30T13:56:52Z","type":"journal_article","department":[{"_id":"66"}],"publication":"OBJEKTspektrum","citation":{"bibtex":"@article{Faragó_Törsel_Mlynarski_Weißleder_Güldali_Brandes_2013, title={Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt}, volume={4}, journal={OBJEKTspektrum}, author={Faragó, David and Törsel, Arne-Michael and Mlynarski, Michael and Weißleder, Stephan and Güldali, Baris and Brandes, Christian}, year={2013}, pages={32–38} }","ama":"Faragó D, Törsel A-M, Mlynarski M, Weißleder S, Güldali B, Brandes C. Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt. <i>OBJEKTspektrum</i>. 2013;4:32-38.","mla":"Faragó, David, et al. “Wirtschaftlichkeitsberechnung Für MBT: Wann Sich Modellbasiertes Testen Lohnt.” <i>OBJEKTspektrum</i>, vol. 4, 2013, pp. 32–38.","short":"D. Faragó, A.-M. Törsel, M. Mlynarski, S. Weißleder, B. Güldali, C. Brandes, OBJEKTspektrum 4 (2013) 32–38.","chicago":"Faragó, David, Arne-Michael Törsel, Michael Mlynarski, Stephan Weißleder, Baris Güldali, and Christian Brandes. “Wirtschaftlichkeitsberechnung Für MBT: Wann Sich Modellbasiertes Testen Lohnt.” <i>OBJEKTspektrum</i> 4 (2013): 32–38.","ieee":"D. Faragó, A.-M. Törsel, M. Mlynarski, S. Weißleder, B. Güldali, and C. Brandes, “Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt,” <i>OBJEKTspektrum</i>, vol. 4, pp. 32–38, 2013.","apa":"Faragó, D., Törsel, A.-M., Mlynarski, M., Weißleder, S., Güldali, B., &#38; Brandes, C. (2013). Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt. <i>OBJEKTspektrum</i>, <i>4</i>, 32–38."},"abstract":[{"lang":"eng","text":"Modellbasiertes Testen verspricht potenziell eine höhere Effizienz und Effektivität im Testprozess. Ob im eigenen Kontext der Einsatz wirtschaftlich ist, ist jedoch häufig unklar. Dieser Beitrag analysiert systematisch Kosten- und Nutzenfaktoren und stellt ein Verfahren zur Abschätzung der Wirtschaftlichkeit des modellbasierten Testens vor. Anhand eines Beispiels wird der Ablauf veranschaulicht."}],"page":"32-38","language":[{"iso":"eng"}],"_id":"7278","user_id":"52534","volume":4,"status":"public","year":"2013","title":"Wirtschaftlichkeitsberechnung für MBT: Wann sich modellbasiertes Testen lohnt","author":[{"first_name":"David","last_name":"Faragó","full_name":"Faragó, David"},{"first_name":"Arne-Michael","last_name":"Törsel","full_name":"Törsel, Arne-Michael"},{"full_name":"Mlynarski, Michael","last_name":"Mlynarski","first_name":"Michael"},{"first_name":"Stephan","last_name":"Weißleder","full_name":"Weißleder, Stephan"},{"last_name":"Güldali","first_name":"Baris","full_name":"Güldali, Baris"},{"full_name":"Brandes, Christian","last_name":"Brandes","first_name":"Christian"}],"date_updated":"2022-01-06T07:03:31Z","intvolume":"         4"},{"status":"public","user_id":"52534","volume":2,"editor":[{"first_name":"S K","last_name":"Chang","full_name":"Chang, S K"}],"page":"21--53","_id":"7523","publisher":"World Scientific Publishing Company","citation":{"ama":"Engels G, Sauer S. Object-oriented Modeling of Multimedia Applications. In: Chang SK, ed. <i>Handbook of Software Engineering and Knowledge Engineering</i>. Vol 2. Singapore: World Scientific Publishing Company; 2013:21--53. doi:<a href=\"https://doi.org/10.1142/4603\">https://doi.org/10.1142/4603</a>","bibtex":"@inbook{Engels_Sauer_2013, place={Singapore}, title={Object-oriented Modeling of Multimedia Applications}, volume={2}, DOI={<a href=\"https://doi.org/10.1142/4603\">https://doi.org/10.1142/4603</a>}, booktitle={Handbook of Software Engineering and Knowledge Engineering}, publisher={World Scientific Publishing Company}, author={Engels, Gregor and Sauer, Stefan}, editor={Chang, S KEditor}, year={2013}, pages={21--53} }","mla":"Engels, Gregor, and Stefan Sauer. “Object-Oriented Modeling of Multimedia Applications.” <i>Handbook of Software Engineering and Knowledge Engineering</i>, edited by S K Chang, vol. 2, World Scientific Publishing Company, 2013, pp. 21--53, doi:<a href=\"https://doi.org/10.1142/4603\">https://doi.org/10.1142/4603</a>.","short":"G. Engels, S. Sauer, in: S.K. Chang (Ed.), Handbook of Software Engineering and Knowledge Engineering, World Scientific Publishing Company, Singapore, 2013, pp. 21--53.","chicago":"Engels, Gregor, and Stefan Sauer. “Object-Oriented Modeling of Multimedia Applications.” In <i>Handbook of Software Engineering and Knowledge Engineering</i>, edited by S K Chang, 2:21--53. Singapore: World Scientific Publishing Company, 2013. <a href=\"https://doi.org/10.1142/4603\">https://doi.org/10.1142/4603</a>.","apa":"Engels, G., &#38; Sauer, S. (2013). Object-oriented Modeling of Multimedia Applications. In S. K. Chang (Ed.), <i>Handbook of Software Engineering and Knowledge Engineering</i> (Vol. 2, pp. 21--53). Singapore: World Scientific Publishing Company. <a href=\"https://doi.org/10.1142/4603\">https://doi.org/10.1142/4603</a>","ieee":"G. Engels and S. Sauer, “Object-oriented Modeling of Multimedia Applications,” in <i>Handbook of Software Engineering and Knowledge Engineering</i>, vol. 2, S. K. Chang, Ed. Singapore: World Scientific Publishing Company, 2013, pp. 21--53."},"place":"Singapore","publication_status":"published","date_updated":"2022-01-06T07:03:39Z","intvolume":"         2","year":"2013","title":"Object-oriented Modeling of Multimedia Applications","author":[{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"},{"full_name":"Sauer, Stefan","last_name":"Sauer","first_name":"Stefan","id":"447"}],"publication_identifier":{"isbn":["9789810245146","9789810249731","9789812389718"]},"doi":"https://doi.org/10.1142/4603","language":[{"iso":"eng"}],"publication":"Handbook of Software Engineering and Knowledge Engineering","type":"book_chapter","department":[{"_id":"66"}],"date_created":"2019-02-04T22:56:37Z"},{"citation":{"chicago":"Soltenborn, Christian. <i>Quality Assurance with Dynamic Meta Modeling</i>. Universität Paderborn, 2013. <a href=\"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420\">http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420</a>.","short":"C. Soltenborn, Quality Assurance with Dynamic Meta Modeling, Universität Paderborn, 2013.","apa":"Soltenborn, C. (2013). <i>Quality Assurance with Dynamic Meta Modeling</i>. Universität Paderborn. <a href=\"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420\">http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420</a>","ieee":"C. Soltenborn, <i>Quality Assurance with Dynamic Meta Modeling</i>. Universität Paderborn, 2013.","ama":"Soltenborn C. <i>Quality Assurance with Dynamic Meta Modeling</i>. Universität Paderborn; 2013. doi:<a href=\"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420\">http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420</a>","bibtex":"@book{Soltenborn_2013, title={Quality Assurance with Dynamic Meta Modeling}, DOI={<a href=\"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420\">http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420</a>}, publisher={Universität Paderborn}, author={Soltenborn, Christian}, year={2013} }","mla":"Soltenborn, Christian. <i>Quality Assurance with Dynamic Meta Modeling</i>. Universität Paderborn, 2013, doi:<a href=\"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420\">http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420</a>."},"supervisor":[{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"}],"abstract":[{"lang":"eng","text":"Dynamic Meta Modeling (DMM) is a semantics specification technique targeted at MOF-based modeling languages, where a language's behavior is defined by means of graphical operational rules which change runtime models. The DMM approach has first been suggested by Engels et al. in 2000; Hausmann has then defined the DMM language on a conceptual level within his PhD thesis in 2006. Consequently, the next step was to bring the existing DMM concepts alive, and then to apply them to different modeling languages, making use of the lessons learned to improve the DMM concepts as well as the DMM tooling. The result of this process is the DMM++ method, which is presented within this thesis. Our contributions are three-fold: First, and according to our experiences with the DMM language, we have introduced new concepts such as refinement by means of rule overriding, and we have strengthened existing concepts such as the dealing with universally quantified structures or attributes. Second, we have developed a test-driven process for semantics specification: A set of test models is created, and their expected behavior is fixed. Then, the DMM rules are created incrementally, finally resulting in a DMM ruleset realizing at least the expected behavior of the test models. Additionally, we have defined a set of coverage criteria for DMM rulesets which allow to measure the quality of a set of test models. Third, we have shown how functional as well as non-functional requirements can be formulated against models and their DMM specifications. The former is achieved by providing a visual language for formulating temporal logic properties, which are then verified with model checking techniques, and by allowing for visual debugging of models failing a requirement. For the latter, the modeler can add performance information to models and analyze their performance properties, e.g. average throughput."}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"date_created":"2019-02-06T14:15:58Z","type":"dissertation","department":[{"_id":"66"}],"year":"2013","title":"Quality Assurance with Dynamic Meta Modeling","status":"public","author":[{"full_name":"Soltenborn, Christian","first_name":"Christian","last_name":"Soltenborn","orcid":"0000-0002-0342-8227","id":"1737"}],"date_updated":"2022-01-06T07:03:39Z","_id":"7569","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"user_id":"477","doi":"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420"},{"related_material":{"link":[{"url":"http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-3-642-38603-9","relation":"confirmation"}]},"abstract":[{"lang":"eng","text":"Driven by the need for a closer alignment of business and IT requirements, the role of business process models in the development of enterprise software systems has increased continuously. Similar to other software artifacts, process models are developed and refined in team environments by several stakeholders, resulting in different versions. These versions need to be merged in order to obtain an integrated process model. Existing solutions to this basic problem in the field of software configuration management are mainly limited to textual documents, e.g., source code. This monograph presents a generally applicable framework for process model change management, which provides easy-to-use comparison and merging capabilities for the integration of different process model versions. The framework supports popular modeling languages such as BPMN, BPEL, or UML Activity Diagrams. Differences between process models are represented in terms of intuitive, high-level change operations. Equipped with a sophisticated analysis of dependencies and a semantic-aware computation of conflicts between differences, the framework constitutes a comprehensive and practically usable solution for process model change management in the model-driven development of enterprise software systems."}],"citation":{"apa":"Gerth, C. (2013). <i>Business Process Models - Change Management</i>.","ieee":"C. Gerth, <i>Business Process Models - Change Management</i>. 2013.","short":"C. Gerth, Business Process Models - Change Management, 2013.","chicago":"Gerth, Christian. <i>Business Process Models - Change Management</i>, 2013.","mla":"Gerth, Christian. <i>Business Process Models - Change Management</i>. 2013.","ama":"Gerth C. <i>Business Process Models - Change Management</i>.; 2013.","bibtex":"@book{Gerth_2013, title={Business Process Models - Change Management}, author={Gerth, Christian}, year={2013} }"},"type":"dissertation","department":[{"_id":"66"}],"date_created":"2019-02-06T14:18:12Z","date_updated":"2022-01-06T07:03:40Z","status":"public","year":"2013","title":"Business Process Models - Change Management","author":[{"first_name":"Christian","last_name":"Gerth","full_name":"Gerth, Christian"}],"user_id":"52534","_id":"7571","language":[{"iso":"eng"}]},{"_id":"8485","series_title":"LNI","publisher":"GI","language":[{"iso":"eng"}],"page":"425--434","volume":215,"user_id":"52534","author":[{"last_name":"Spijkerman","first_name":"Michael ","full_name":"Spijkerman, Michael "}],"status":"public","year":"2013","title":"Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden","intvolume":"       215","date_updated":"2022-01-06T07:03:55Z","date_created":"2019-03-08T13:53:50Z","department":[{"_id":"66"}],"type":"conference","citation":{"mla":"Spijkerman, Michael. “Ein Pragmatischer Ansatz Zur Entwicklung Situationsgerechter Entwicklungsmethoden.” <i>Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear)</i>, vol. 215, GI, 2013, pp. 425--434.","bibtex":"@inproceedings{Spijkerman_2013, series={LNI}, title={Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden}, volume={215}, booktitle={Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear)}, publisher={GI}, author={Spijkerman, Michael }, year={2013}, pages={425--434}, collection={LNI} }","ama":"Spijkerman M. Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden. In: <i>Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear)</i>. Vol 215. LNI. GI; 2013:425--434.","ieee":"M. Spijkerman, “Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden,” in <i>Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear)</i>, 2013, vol. 215, pp. 425--434.","apa":"Spijkerman, M. (2013). Ein pragmatischer Ansatz zur Entwicklung situationsgerechter Entwicklungsmethoden. In <i>Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear)</i> (Vol. 215, pp. 425--434). GI.","short":"M. Spijkerman, in: Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear), GI, 2013, pp. 425--434.","chicago":"Spijkerman, Michael . “Ein Pragmatischer Ansatz Zur Entwicklung Situationsgerechter Entwicklungsmethoden.” In <i>Software Engineering 2013 - Workshopband (Inkl. Doktorandensymposium) SE 2013 (to Appear)</i>, 215:425--434. LNI. GI, 2013."},"publication":"Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium) SE 2013 (to appear)"},{"intvolume":"       998","date_updated":"2022-01-06T07:03:55Z","author":[{"last_name":"Nagel ","first_name":"Benjamin ","full_name":"Nagel , Benjamin "},{"full_name":"Gerth , Christian ","last_name":"Gerth ","first_name":"Christian "},{"first_name":"Jennifer ","last_name":"Post","full_name":"Post, Jennifer "},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"year":"2013","status":"public","title":"Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies","volume":998,"user_id":"52534","_id":"8486","publisher":"CEUR-WS.org","series_title":"CEUR Workshop Proceedings","language":[{"iso":"eng"}],"page":"9--16","citation":{"bibtex":"@inproceedings{Nagel _Gerth _Post_Engels_2013, series={CEUR Workshop Proceedings}, title={Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies}, volume={998}, booktitle={Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13)}, publisher={CEUR-WS.org}, author={Nagel , Benjamin  and Gerth , Christian  and Post, Jennifer  and Engels, Gregor}, year={2013}, pages={9--16}, collection={CEUR Workshop Proceedings} }","ama":"Nagel  B, Gerth  C, Post J, Engels G. Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies. In: <i>Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13)</i>. Vol 998. CEUR Workshop Proceedings. CEUR-WS.org; 2013:9--16.","mla":"Nagel , Benjamin, et al. “Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies.” <i>Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13)</i>, vol. 998, CEUR-WS.org, 2013, pp. 9--16.","chicago":"Nagel , Benjamin , Christian  Gerth , Jennifer  Post, and Gregor Engels. “Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies.” In <i>Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13)</i>, 998:9--16. CEUR Workshop Proceedings. CEUR-WS.org, 2013.","short":"B. Nagel , C. Gerth , J. Post, G. Engels, in: Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13), CEUR-WS.org, 2013, pp. 9--16.","ieee":"B. Nagel , C. Gerth , J. Post, and G. Engels, “Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies,” in <i>Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13)</i>, 2013, vol. 998, pp. 9--16.","apa":"Nagel , B., Gerth , C., Post, J., &#38; Engels, G. (2013). Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies. In <i>Proceedings of the CAiSE’13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE’13)</i> (Vol. 998, pp. 9--16). CEUR-WS.org."},"publication":"Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE'13)","department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-08T13:55:30Z"},{"citation":{"mla":"Kehrer , Timo, and Christian Gerth. “CVSM 2013 Challenge: Recognizing High-Level Edit Operations in Evolving Models.” <i>Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13)</i>, vol. 33, no. 2, FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2013, pp. 32–34.","ama":"Kehrer  T, Gerth C. CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models. In: <i>Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13)</i>. Vol 33. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI); 2013:32-34.","bibtex":"@inproceedings{Kehrer _Gerth_2013, series={Softwaretechnik-Trends}, title={CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.}, volume={33}, number={2}, booktitle={Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13)}, publisher={FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)}, author={Kehrer , Timo  and Gerth, Christian }, year={2013}, pages={32–34}, collection={Softwaretechnik-Trends} }","apa":"Kehrer , T., &#38; Gerth, C. (2013). CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models. In <i>Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13)</i> (Vol. 33, pp. 32–34). FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI).","ieee":"T. Kehrer  and C. Gerth, “CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.,” in <i>Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13)</i>, 2013, vol. 33, no. 2, pp. 32–34.","short":"T. Kehrer , C. Gerth, in: Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13), FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2013, pp. 32–34.","chicago":"Kehrer , Timo , and Christian  Gerth. “CVSM 2013 Challenge: Recognizing High-Level Edit Operations in Evolving Models.” In <i>Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM’13)</i>, 33:32–34. Softwaretechnik-Trends. FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI), 2013."},"publication":"Proceedings of the Workshop on Comparison and Versioning of Software Models (CVSM'13)","issue":"2","department":[{"_id":"66"}],"type":"conference","date_created":"2019-03-08T13:57:51Z","intvolume":"        33","date_updated":"2022-01-06T07:03:55Z","author":[{"last_name":"Kehrer ","first_name":"Timo ","full_name":"Kehrer , Timo "},{"full_name":"Gerth, Christian ","first_name":"Christian ","last_name":"Gerth"}],"title":"CVSM 2013 Challenge: Recognizing High-level Edit Operations in Evolving Models.","status":"public","year":"2013","volume":33,"user_id":"52534","publisher":"FG Softwaretechnik, Gesellschaft für Informatik e.v. (GI)","_id":"8487","language":[{"iso":"eng"}],"series_title":"Softwaretechnik-Trends","page":"32-34"},{"page":"189-200","language":[{"iso":"eng"}],"_id":"8488","publisher":"GI, Köllen Druck+Verlag GmbH, Bonn","user_id":"52534","status":"public","year":"2013","title":"Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung","author":[{"first_name":"Marvin ","last_name":"Grieger ","full_name":"Grieger , Marvin "},{"id":"447","full_name":"Sauer, Stefan","first_name":"Stefan","last_name":"Sauer"}],"date_updated":"2022-01-06T07:03:55Z","date_created":"2019-03-08T13:59:14Z","type":"conference","department":[{"_id":"66"}],"publication":"Software Engineering 2013 Workshopband","citation":{"mla":"Grieger , Marvin, and Stefan Sauer. “Wiederverwendbarkeit von Migrationswissen Durch Techniken Der Modellgetriebenen Softwareentwicklung.” <i>Software Engineering 2013 Workshopband</i>, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 189–200.","ama":"Grieger  M, Sauer S. Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung. In: <i>Software Engineering 2013 Workshopband</i>. GI, Köllen Druck+Verlag GmbH, Bonn; 2013:189-200.","bibtex":"@inproceedings{Grieger _Sauer_2013, title={Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung}, booktitle={Software Engineering 2013 Workshopband}, publisher={GI, Köllen Druck+Verlag GmbH, Bonn}, author={Grieger , Marvin  and Sauer, Stefan}, year={2013}, pages={189–200} }","apa":"Grieger , M., &#38; Sauer, S. (2013). Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung. In <i>Software Engineering 2013 Workshopband</i> (pp. 189–200). GI, Köllen Druck+Verlag GmbH, Bonn.","ieee":"M. Grieger  and S. Sauer, “Wiederverwendbarkeit von Migrationswissen durch Techniken der modellgetriebenen Softwareentwicklung,” in <i>Software Engineering 2013 Workshopband</i>, 2013, pp. 189–200.","short":"M. Grieger , S. Sauer, in: Software Engineering 2013 Workshopband, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 189–200.","chicago":"Grieger , Marvin , and Stefan Sauer. “Wiederverwendbarkeit von Migrationswissen Durch Techniken Der Modellgetriebenen Softwareentwicklung.” In <i>Software Engineering 2013 Workshopband</i>, 189–200. GI, Köllen Druck+Verlag GmbH, Bonn, 2013."}},{"type":"conference","department":[{"_id":"66"}],"date_created":"2019-03-08T14:02:17Z","publication":"Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (accepted for application)","citation":{"mla":"Nagel , Benjamin, et al. “Goal-Driven Composition of Business Process Models.” <i>Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application)</i>, 2013.","apa":"Nagel , B., Gerth , C., &#38; Engels, G. (2013). Goal-driven Composition of Business Process Models. In <i>Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (accepted for application)</i>.","ieee":"B. Nagel , C. Gerth , and G. Engels, “Goal-driven Composition of Business Process Models,” in <i>Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (accepted for application)</i>, 2013.","short":"B. Nagel , C. Gerth , G. Engels, in: Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application), 2013.","ama":"Nagel  B, Gerth  C, Engels G. Goal-driven Composition of Business Process Models. In: <i>Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application)</i>. ; 2013.","chicago":"Nagel , Benjamin , Christian  Gerth , and Gregor Engels. “Goal-Driven Composition of Business Process Models.” In <i>Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (Accepted for Application)</i>, 2013.","bibtex":"@inproceedings{Nagel _Gerth _Engels_2013, title={Goal-driven Composition of Business Process Models}, booktitle={Proceedings of the 9th Workshop on Engineering Service-Oriented Applications (WESOA 2013) (accepted for application)}, author={Nagel , Benjamin  and Gerth , Christian  and Engels, Gregor}, year={2013} }"},"user_id":"52534","language":[{"iso":"eng"}],"_id":"8489","date_updated":"2022-01-06T07:03:55Z","title":"Goal-driven Composition of Business Process Models","year":"2013","status":"public","author":[{"first_name":"Benjamin ","last_name":"Nagel ","full_name":"Nagel , Benjamin "},{"full_name":"Gerth , Christian ","first_name":"Christian ","last_name":"Gerth "},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}]},{"page":"435-444","_id":"8490","publisher":"GI, Köllen Druck+Verlag GmbH, Bonn","language":[{"iso":"eng"}],"user_id":"52534","title":"Assembly-based Method Engineering with Method Patterns","year":"2013","status":"public","author":[{"first_name":"Masud ","last_name":"Fazal-Baqaie ","full_name":"Fazal-Baqaie , Masud "},{"first_name":"Markus ","last_name":"Luckey ","full_name":"Luckey , Markus "},{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"date_updated":"2022-01-06T07:03:56Z","date_created":"2019-03-08T14:03:48Z","type":"conference","department":[{"_id":"66"}],"publication":"Software Engineering 2013 Workshopband","citation":{"short":"M. Fazal-Baqaie , M. Luckey , G. Engels, in: Software Engineering 2013 Workshopband, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 435–444.","chicago":"Fazal-Baqaie , Masud , Markus  Luckey , and Gregor Engels. “Assembly-Based Method Engineering with Method Patterns.” In <i>Software Engineering 2013 Workshopband</i>, 435–44. GI, Köllen Druck+Verlag GmbH, Bonn, 2013.","apa":"Fazal-Baqaie , M., Luckey , M., &#38; Engels, G. (2013). Assembly-based Method Engineering with Method Patterns. In <i>Software Engineering 2013 Workshopband</i> (pp. 435–444). GI, Köllen Druck+Verlag GmbH, Bonn.","ieee":"M. Fazal-Baqaie , M. Luckey , and G. Engels, “Assembly-based Method Engineering with Method Patterns,” in <i>Software Engineering 2013 Workshopband</i>, 2013, pp. 435–444.","ama":"Fazal-Baqaie  M, Luckey  M, Engels G. Assembly-based Method Engineering with Method Patterns. In: <i>Software Engineering 2013 Workshopband</i>. GI, Köllen Druck+Verlag GmbH, Bonn; 2013:435-444.","bibtex":"@inproceedings{Fazal-Baqaie _Luckey _Engels_2013, title={Assembly-based Method Engineering with Method Patterns}, booktitle={Software Engineering 2013 Workshopband}, publisher={GI, Köllen Druck+Verlag GmbH, Bonn}, author={Fazal-Baqaie , Masud  and Luckey , Markus  and Engels, Gregor}, year={2013}, pages={435–444} }","mla":"Fazal-Baqaie , Masud, et al. “Assembly-Based Method Engineering with Method Patterns.” <i>Software Engineering 2013 Workshopband</i>, GI, Köllen Druck+Verlag GmbH, Bonn, 2013, pp. 435–44."}},{"year":"2013","title":"On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft","author":[{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"}],"date_updated":"2022-01-06T07:01:36Z","language":[{"iso":"eng"}],"series_title":"LNI","publication":"Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)","abstract":[{"text":"Alle Dom{\\\"a}nen und Branchen der heutigen Wirtschaft sind auf eine effiziente und effektive Entwicklung von ben{\\\"o}tigten Softwaresystemen angewiesen. Das 40 Jahre alte Prinzip der Beschaffung von Softwaresystemen durch den Einkauf von teuren, relativ unflexiblen Standardl{\\\"o}sungen beziehungsweise der noch teureren Erstellung durch Softwareh{\\\"a}user oder eigene Softwareabteilungen muss deshalb in Frage gestellt werden. Mit dem Einsatz von Cloud Computing-Techniken wird es m{\\\"o}glich, Softwaresysteme und die f{\\\"u}r den Betrieb ben{\\\"o}tigten Ressourcen nur bei Bedarf und nur in der ben{\\\"o}tigten Form einzukaufen. Mit dem Ansatz der service-orientierten Architekturen stehen Methoden zur Verf{\\\"u}gung, Software zumindest unternehmensintern flexibel zusammenzustellen. Diese ersten Ans{\\\"a}tze f{\\\"u}r eine neue Art der Entwicklung und des Betriebs von Softwaresystemen bilden den Ausgangspunkt f{\\\"u}r die Forschungen in dem seit 2011 laufenden DFG Sonderforschungsbereich (SFB) 901 „On-The-Fly Computing“ an der Universit{\\\"a}t Paderborn. Die Vision des On-The-Fly Computing ist, dass die Softwaresysteme der Zukunft aus individuell und automatisch konfigurierten und zur Ausf{\\\"u}hrung gebrachten Softwarebausteinen bestehen, die auf M{\\\"a}rkten frei gehandelt werden und flexibel kombinierbar sind. Um zu erforschen, in wie weit diese Vision realisierbar ist, werden Konzepte, Methoden und Techniken entwickelt, die eine weitestgehend automatische Konfiguration, Ausf{\\\"u}hrung und Adaption von Softwaresystemen aus auf weltweiten M{\\\"a}rkten verf{\\\"u}gbaren Services erm{\\\"o}glichen. Um diese Ziele zu erreichen, arbeiten an der Universit{\\\"a}t Paderborn Informatiker aus unterschiedlichen Disziplinen wie Softwaretechnik, Algorithmik, Rechnernetze, Systementwurf, Sicherheit und Kryptographie mit Wirtschaftswissenschaftlern zusammen, die ihre spezifische Expertise einbringen, mit der die Organisation und Weiterentwicklung des Marktes vorangetrieben werden kann.","lang":"eng"}],"file":[{"creator":"florida","date_created":"2018-03-15T10:48:11Z","relation":"main_file","date_updated":"2018-03-15T10:48:11Z","file_name":"506-SE2013-OntheFlyComputing-GE.pdf","access_level":"closed","file_size":175876,"file_id":"1306","success":1,"content_type":"application/pdf"}],"date_created":"2017-10-17T12:42:31Z","type":"conference","department":[{"_id":"66"}],"status":"public","has_accepted_license":"1","page":"17-18","_id":"506","user_id":"477","ddc":["040"],"file_date_updated":"2018-03-15T10:48:11Z","citation":{"bibtex":"@inproceedings{Engels_2013, series={LNI}, title={On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft}, booktitle={Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)}, author={Engels, Gregor}, year={2013}, pages={17–18}, collection={LNI} }","ama":"Engels G. On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft. In: <i>Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)</i>. LNI. ; 2013:17-18.","mla":"Engels, Gregor. “On-The-Fly Computing -- Das Entwicklungs- Und Betriebsparadigma FürSoftwaresysteme Der Zukunft.” <i>Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)</i>, 2013, pp. 17–18.","short":"G. Engels, in: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 17–18.","chicago":"Engels, Gregor. “On-The-Fly Computing -- Das Entwicklungs- Und Betriebsparadigma FürSoftwaresysteme Der Zukunft.” In <i>Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)</i>, 17–18. LNI, 2013.","ieee":"G. Engels, “On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft,” in <i>Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)</i>, 2013, pp. 17–18.","apa":"Engels, G. (2013). On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft. In <i>Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)</i> (pp. 17–18)."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}]},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"abstract":[{"lang":"eng","text":"In recent years, the role of process models in the development of enterprise software systems has increased continuously. Today, process models are used at different levels in the development process. For instance, in Service-Oriented Architectures (SOA), high-level business process models become input for the development of IT systems, and in running IT systems executable process models describe choreographies of Web Services. A key driver behind this development is the necessity for a closer alignment of business and IT requirements, to reduce the reaction times in software development to frequent changes in competitive markets.Typically in these scenarios, process models are developed, maintained, and transformed in a team environment by several stakeholders that are often from different business units, resulting in different versions. To obtain integrated process models comprising the changes applied to different versions, the versions need to be consolidated by means of model change management. Change management for process models can be compared to widely used concurrent versioning systems (CVS) and consists of the following major activities: matching of process models, detection of differences, computation of dependencies and conflicts between differences, and merging of process models.Although in general model-driven development (MDD) is accepted as a well-established development approach, there are still some shortcomings that let developers decide against MDD and for more traditional development paradigms. These shortcomings comprise a lack of fully integrated and fully featured development environments for MDD, such as a comprehensive support for model change management.In this thesis, we present a framework for process model change management. The framework is based on an intermediate representation for process models that serves as an abstraction of specific process modeling languages and focuses on common syntactic and semantic core concepts for the modeling of workflow in process models. Based on the intermediate representation, we match process models in versioning scenarios and compute differences between process models generically. Further, we consider the analysis of dependencies between differences and show how conflicts between differences can be computed by taking into account the semantics of the modeling language.As proof-of concept, we have implemented major parts of this framework in terms of a prototype. The detection of differences and dependencies contributed also to the Compare & Merge framework for the IBM WebSphere Business Modeler V 7.0 [1] (WBM), which was released as a product in fall 2009."}],"citation":{"mla":"Gerth, Christian. <i>Business Process Models - Change Management</i>. Universität Paderborn, 2013, doi:<a href=\"https://doi.org/10.1007/978-3-642-38604-6\">10.1007/978-3-642-38604-6</a>.","apa":"Gerth, C. (2013). <i>Business Process Models - Change Management</i>. Universität Paderborn. <a href=\"https://doi.org/10.1007/978-3-642-38604-6\">https://doi.org/10.1007/978-3-642-38604-6</a>","ieee":"C. Gerth, <i>Business Process Models - Change Management</i>. Universität Paderborn, 2013.","chicago":"Gerth, Christian. <i>Business Process Models - Change Management</i>. Universität Paderborn, 2013. <a href=\"https://doi.org/10.1007/978-3-642-38604-6\">https://doi.org/10.1007/978-3-642-38604-6</a>.","ama":"Gerth C. <i>Business Process Models - Change Management</i>. Universität Paderborn; 2013. doi:<a href=\"https://doi.org/10.1007/978-3-642-38604-6\">10.1007/978-3-642-38604-6</a>","short":"C. Gerth, Business Process Models - Change Management, Universität Paderborn, 2013.","bibtex":"@book{Gerth_2013, title={Business Process Models - Change Management}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-38604-6\">10.1007/978-3-642-38604-6</a>}, publisher={Universität Paderborn}, author={Gerth, Christian}, year={2013} }"},"supervisor":[{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}],"department":[{"_id":"66"}],"type":"dissertation","date_created":"2017-10-17T12:42:39Z","date_updated":"2022-01-06T07:01:55Z","author":[{"full_name":"Gerth, Christian","first_name":"Christian","last_name":"Gerth"}],"title":"Business Process Models - Change Management","status":"public","year":"2013","user_id":"477","doi":"10.1007/978-3-642-38604-6","_id":"547","publisher":"Universität Paderborn","language":[{"iso":"eng"}]},{"status":"public","has_accepted_license":"1","_id":"551","page":"524--532","ddc":["040"],"user_id":"477","citation":{"mla":"Huma, Zille, et al. “Automated Service Composition for On-the-Fly SOAs.” <i>Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13)</i>, 2013, pp. 524--532, doi:<a href=\"https://doi.org/10.1007/978-3-642-45005-1_42\">10.1007/978-3-642-45005-1_42</a>.","bibtex":"@inproceedings{Huma_Gerth_Engels_Juwig_2013, series={LNCS}, title={Automated Service Composition for On-the-Fly SOAs}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-45005-1_42\">10.1007/978-3-642-45005-1_42</a>}, booktitle={Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13)}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2013}, pages={524--532}, collection={LNCS} }","ama":"Huma Z, Gerth C, Engels G, Juwig O. Automated Service Composition for On-the-Fly SOAs. In: <i>Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13)</i>. LNCS. ; 2013:524--532. doi:<a href=\"https://doi.org/10.1007/978-3-642-45005-1_42\">10.1007/978-3-642-45005-1_42</a>","ieee":"Z. Huma, C. Gerth, G. Engels, and O. Juwig, “Automated Service Composition for On-the-Fly SOAs,” in <i>Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13)</i>, 2013, pp. 524--532.","apa":"Huma, Z., Gerth, C., Engels, G., &#38; Juwig, O. (2013). Automated Service Composition for On-the-Fly SOAs. In <i>Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13)</i> (pp. 524--532). <a href=\"https://doi.org/10.1007/978-3-642-45005-1_42\">https://doi.org/10.1007/978-3-642-45005-1_42</a>","chicago":"Huma, Zille, Christian Gerth, Gregor Engels, and Oliver Juwig. “Automated Service Composition for On-the-Fly SOAs.” In <i>Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13)</i>, 524--532. LNCS, 2013. <a href=\"https://doi.org/10.1007/978-3-642-45005-1_42\">https://doi.org/10.1007/978-3-642-45005-1_42</a>.","short":"Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13), 2013, pp. 524--532."},"file_date_updated":"2018-03-15T10:31:20Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"author":[{"last_name":"Huma","first_name":"Zille","full_name":"Huma, Zille"},{"last_name":"Gerth","first_name":"Christian","full_name":"Gerth, Christian"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"},{"last_name":"Juwig","first_name":"Oliver","full_name":"Juwig, Oliver"}],"title":"Automated Service Composition for On-the-Fly SOAs","year":"2013","date_updated":"2022-01-06T07:01:57Z","language":[{"iso":"eng"}],"series_title":"LNCS","doi":"10.1007/978-3-642-45005-1_42","publication":"Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC'13)","abstract":[{"text":"In the service-oriented computing domain, the number of available software services steadily increased in recent years, favored by the rise of cloud computing with its attached delivery models like Software-as-a-Service (SaaS). To fully leverage the opportunities provided by these services for developing highly flexible and aligned SOA, integration of new services as well as the substitution of existing services must be simplified. As a consequence, approaches for automated and accurate service discovery and composition are needed. In this paper, we propose an automatic service composition approach as an extension to our earlier work on automatic service discovery. To ensure accurate results, it matches service requests and available offers based on their structural as well as behavioral aspects. Afterwards, possible service compositions are determined by composing service protocols through a composition strategy based on labeled transition systems.","lang":"eng"}],"date_created":"2017-10-17T12:42:39Z","file":[{"creator":"florida","date_created":"2018-03-15T10:31:20Z","file_size":384397,"access_level":"closed","file_name":"551-978-3-642-45005-1_42.pdf","date_updated":"2018-03-15T10:31:20Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"1287"}],"department":[{"_id":"66"}],"type":"conference"},{"has_accepted_license":"1","status":"public","user_id":"477","ddc":["040"],"_id":"560","page":"143-152","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"citation":{"short":"M. Platenius, M. von Detten, S. Becker, W. Schäfer, G. Engels, in: Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–152.","ama":"Platenius M, von Detten M, Becker S, Schäfer W, Engels G. A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing. In: <i>Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>. ; 2013:143-152. doi:<a href=\"https://doi.org/10.1145/2465449.2465454\">10.1145/2465449.2465454</a>","chicago":"Platenius, Marie, Markus von Detten, Steffen Becker, Wilhelm Schäfer, and Gregor Engels. “A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing.” In <i>Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>, 143–52, 2013. <a href=\"https://doi.org/10.1145/2465449.2465454\">https://doi.org/10.1145/2465449.2465454</a>.","bibtex":"@inproceedings{Platenius_von Detten_Becker_Schäfer_Engels_2013, title={A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing}, DOI={<a href=\"https://doi.org/10.1145/2465449.2465454\">10.1145/2465449.2465454</a>}, booktitle={Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering}, author={Platenius, Marie and von Detten, Markus and Becker, Steffen and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={143–152} }","mla":"Platenius, Marie, et al. “A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing.” <i>Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>, 2013, pp. 143–52, doi:<a href=\"https://doi.org/10.1145/2465449.2465454\">10.1145/2465449.2465454</a>.","apa":"Platenius, M., von Detten, M., Becker, S., Schäfer, W., &#38; Engels, G. (2013). A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing. In <i>Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering</i> (pp. 143–152). <a href=\"https://doi.org/10.1145/2465449.2465454\">https://doi.org/10.1145/2465449.2465454</a>","ieee":"M. Platenius, M. von Detten, S. Becker, W. Schäfer, and G. Engels, “A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing,” in <i>Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering</i>, 2013, pp. 143–152."},"file_date_updated":"2018-03-15T10:26:49Z","date_updated":"2022-01-06T07:02:06Z","author":[{"first_name":"Marie","last_name":"Platenius","full_name":"Platenius, Marie"},{"first_name":"Markus","last_name":"von Detten","full_name":"von Detten, Markus"},{"first_name":"Steffen","last_name":"Becker","full_name":"Becker, Steffen"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"},{"full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor","id":"107"}],"title":"A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing","year":"2013","doi":"10.1145/2465449.2465454","language":[{"iso":"eng"}],"abstract":[{"text":"In the last decades, development turned from monolithic software products towards more flexible software components that can be provided on world-wide markets in form of services. Customers request such services or compositions of several services. However, in many cases, discovering the best services to address a given request is a tough challenge and requires expressive, gradual matching results, considering different aspects of a service description, e.g., inputs/ouputs, protocols, or quality properties. Furthermore,in situations in which no service exactly satifies the request, approximate matching which can deal with a certain amount of fuzziness becomes necessary. There is a wealth of service matching approaches, but it is not clear whether there is a comprehensive, fuzzy matching approach which addresses all these challenges. Although there are a few service matchingsurveys, none of them is able to answer this question. In this paper, we perform a systematic literature survey of 35 (outof 504) service matching approaches which consider fuzzy matching. Based on this survey, we propose a classication,discuss how different matching approaches can be combined into a comprehensive matching method, and identify future research challenges.","lang":"eng"}],"publication":"Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering","department":[{"_id":"66"},{"_id":"76"}],"type":"conference","date_created":"2017-10-17T12:42:41Z","file":[{"file_id":"1281","content_type":"application/pdf","success":1,"file_name":"560-Platenius_et_al_CBSE2013.pdf","access_level":"closed","file_size":570580,"relation":"main_file","date_updated":"2018-03-15T10:26:49Z","date_created":"2018-03-15T10:26:49Z","creator":"florida"}]},{"issue":"1","publication":"Journal of Applied Logic","extern":"1","date_created":"2019-01-15T10:09:17Z","type":"journal_article","department":[{"_id":"66"}],"year":"2013","title":"Relational semantics for full linear logic","publication_identifier":{"issn":["1570-8683"]},"author":[{"full_name":"Coumans, Dion","first_name":"Dion","last_name":"Coumans"},{"last_name":"Gehrke","first_name":"Mai","full_name":"Gehrke, Mai"},{"last_name":"van Rooijen","first_name":"Lorijn","full_name":"van Rooijen, Lorijn","id":"58843"}],"date_updated":"2022-01-06T07:03:17Z","publication_status":"published","intvolume":"        12","language":[{"iso":"eng"}],"doi":"10.1016/j.jal.2013.07.005","citation":{"mla":"Coumans, Dion, et al. “Relational Semantics for Full Linear Logic.” <i>Journal of Applied Logic</i>, vol. 12, no. 1, Elsevier BV, 2013, pp. 50–66, doi:<a href=\"https://doi.org/10.1016/j.jal.2013.07.005\">10.1016/j.jal.2013.07.005</a>.","ama":"Coumans D, Gehrke M, van Rooijen L. Relational semantics for full linear logic. <i>Journal of Applied Logic</i>. 2013;12(1):50-66. doi:<a href=\"https://doi.org/10.1016/j.jal.2013.07.005\">10.1016/j.jal.2013.07.005</a>","bibtex":"@article{Coumans_Gehrke_van Rooijen_2013, title={Relational semantics for full linear logic}, volume={12}, DOI={<a href=\"https://doi.org/10.1016/j.jal.2013.07.005\">10.1016/j.jal.2013.07.005</a>}, number={1}, journal={Journal of Applied Logic}, publisher={Elsevier BV}, author={Coumans, Dion and Gehrke, Mai and van Rooijen, Lorijn}, year={2013}, pages={50–66} }","apa":"Coumans, D., Gehrke, M., &#38; van Rooijen, L. (2013). Relational semantics for full linear logic. <i>Journal of Applied Logic</i>, <i>12</i>(1), 50–66. <a href=\"https://doi.org/10.1016/j.jal.2013.07.005\">https://doi.org/10.1016/j.jal.2013.07.005</a>","ieee":"D. Coumans, M. Gehrke, and L. van Rooijen, “Relational semantics for full linear logic,” <i>Journal of Applied Logic</i>, vol. 12, no. 1, pp. 50–66, 2013.","chicago":"Coumans, Dion, Mai Gehrke, and Lorijn van Rooijen. “Relational Semantics for Full Linear Logic.” <i>Journal of Applied Logic</i> 12, no. 1 (2013): 50–66. <a href=\"https://doi.org/10.1016/j.jal.2013.07.005\">https://doi.org/10.1016/j.jal.2013.07.005</a>.","short":"D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66."},"status":"public","page":"50-66","publisher":"Elsevier BV","_id":"6729","user_id":"58843","volume":12},{"extern":"1","citation":{"ama":"Place T, van Rooijen L, Zeitoun M. Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages. In: <i>Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India</i>. Vol 24. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; 2013:363--375. doi:<a href=\"https://doi.org/10.4230/LIPICS.FSTTCS.2013.363\">10.4230/LIPICS.FSTTCS.2013.363</a>","bibtex":"@inproceedings{Place_van Rooijen_Zeitoun_2013, series={LIPIcs}, title={Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages}, volume={24}, DOI={<a href=\"https://doi.org/10.4230/LIPICS.FSTTCS.2013.363\">10.4230/LIPICS.FSTTCS.2013.363</a>}, booktitle={Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India}, publisher={Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, author={Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}, year={2013}, pages={363--375}, collection={LIPIcs} }","mla":"Place, Thomas, et al. “Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.” <i>Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India</i>, vol. 24, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375, doi:<a href=\"https://doi.org/10.4230/LIPICS.FSTTCS.2013.363\">10.4230/LIPICS.FSTTCS.2013.363</a>.","short":"T. Place, L. van Rooijen, M. Zeitoun, in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375.","chicago":"Place, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages.” In <i>Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India</i>, 24:363--375. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. <a href=\"https://doi.org/10.4230/LIPICS.FSTTCS.2013.363\">https://doi.org/10.4230/LIPICS.FSTTCS.2013.363</a>.","apa":"Place, T., van Rooijen, L., &#38; Zeitoun, M. (2013). Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages. In <i>Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India</i> (Vol. 24, pp. 363--375). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. <a href=\"https://doi.org/10.4230/LIPICS.FSTTCS.2013.363\">https://doi.org/10.4230/LIPICS.FSTTCS.2013.363</a>","ieee":"T. Place, L. van Rooijen, and M. Zeitoun, “Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages,” in <i>Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India</i>, 2013, vol. 24, pp. 363--375."},"publication":"Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India","department":[{"_id":"66"}],"type":"conference","date_created":"2019-01-15T10:10:14Z","intvolume":"        24","date_updated":"2022-01-06T07:03:17Z","author":[{"full_name":"Place, Thomas","last_name":"Place","first_name":"Thomas"},{"id":"58843","first_name":"Lorijn","last_name":"van Rooijen","full_name":"van Rooijen, Lorijn"},{"full_name":"Zeitoun, Marc","last_name":"Zeitoun","first_name":"Marc"}],"title":"Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages","status":"public","year":"2013","volume":24,"user_id":"58843","doi":"10.4230/LIPICS.FSTTCS.2013.363","_id":"6730","series_title":"LIPIcs","language":[{"iso":"eng"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik","page":"363--375"},{"date_created":"2019-01-15T10:23:36Z","place":"Berlin, Heidelberg","department":[{"_id":"66"}],"type":"conference","citation":{"bibtex":"@inproceedings{Place_van Rooijen_Zeitoun_2013, place={Berlin, Heidelberg}, title={Separating Regular Languages by Piecewise Testable and Unambiguous Languages}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-40313-2_64\">10.1007/978-3-642-40313-2_64</a>}, booktitle={Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013}, publisher={Springer Berlin Heidelberg}, author={Place, Thomas and van Rooijen, Lorijn and Zeitoun, Marc}, year={2013}, pages={729–740} }","ama":"Place T, van Rooijen L, Zeitoun M. Separating Regular Languages by Piecewise Testable and Unambiguous Languages. In: <i>Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013</i>. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:729-740. doi:<a href=\"https://doi.org/10.1007/978-3-642-40313-2_64\">10.1007/978-3-642-40313-2_64</a>","mla":"Place, Thomas, et al. “Separating Regular Languages by Piecewise Testable and Unambiguous Languages.” <i>Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013</i>, Springer Berlin Heidelberg, 2013, pp. 729–40, doi:<a href=\"https://doi.org/10.1007/978-3-642-40313-2_64\">10.1007/978-3-642-40313-2_64</a>.","short":"T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.","chicago":"Place, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “Separating Regular Languages by Piecewise Testable and Unambiguous Languages.” In <i>Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013</i>, 729–40. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. <a href=\"https://doi.org/10.1007/978-3-642-40313-2_64\">https://doi.org/10.1007/978-3-642-40313-2_64</a>.","ieee":"T. Place, L. van Rooijen, and M. Zeitoun, “Separating Regular Languages by Piecewise Testable and Unambiguous Languages,” in <i>Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013</i>, 2013, pp. 729–740.","apa":"Place, T., van Rooijen, L., &#38; Zeitoun, M. (2013). Separating Regular Languages by Piecewise Testable and Unambiguous Languages. In <i>Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013</i> (pp. 729–740). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-40313-2_64\">https://doi.org/10.1007/978-3-642-40313-2_64</a>"},"publication":"Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013","extern":"1","_id":"6732","language":[{"iso":"eng"}],"publisher":"Springer Berlin Heidelberg","page":"729-740","user_id":"58843","doi":"10.1007/978-3-642-40313-2_64","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783642403125","9783642403132"]},"author":[{"full_name":"Place, Thomas","first_name":"Thomas","last_name":"Place"},{"id":"58843","first_name":"Lorijn","last_name":"van Rooijen","full_name":"van Rooijen, Lorijn"},{"last_name":"Zeitoun","first_name":"Marc","full_name":"Zeitoun, Marc"}],"status":"public","title":"Separating Regular Languages by Piecewise Testable and Unambiguous Languages","year":"2013","publication_status":"published","date_updated":"2022-01-06T07:03:17Z"}]