[{"file":[{"file_id":"1367","file_name":"401-WAS4FI2014.pdf","access_level":"closed","file_size":396656,"date_created":"2018-03-16T11:38:13Z","creator":"florida","date_updated":"2018-03-16T11:38:13Z","relation":"main_file","success":1,"content_type":"application/pdf"}],"status":"public","abstract":[{"lang":"eng","text":"Service matching approaches determine to what extent a provided service matches a requester's requirements. This process is based on service specifications describing functional (e.g., signatures) as well as non-functional properties (e.g., privacy policies). However, we cannot expect service specifications to be complete as providers do not want to share all details of their services' implementation. Moreover, creating complete specifications requires much effort. In this paper, we propose a novel service matching approach taking into account a service's signatures and privacy policies. In particular, our approach applies fuzzy matching techniques that are able to deal with incomplete service specifications. As a benefit, decision-making based on matching results is improved and service matching becomes better applicable in practice."}],"type":"conference","publication":"Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet","file_date_updated":"2018-03-16T11:38:13Z","language":[{"iso":"eng"}],"ddc":["040"],"series_title":"Communications in Computer and Information Science","user_id":"477","department":[{"_id":"66"},{"_id":"76"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Subprojekt C1","_id":"13"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Project Area C","_id":"4"}],"_id":"401","citation":{"bibtex":"@inproceedings{Platenius_Arifulina_Petrlic_Schäfer_2014, series={Communications in Computer and Information Science}, title={Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-14886-1_2\">10.1007/978-3-319-14886-1_2</a>}, booktitle={Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet}, author={Platenius, Marie Christin and Arifulina, Svetlana and Petrlic, Ronald and Schäfer, Wilhelm}, year={2014}, pages={6–17}, collection={Communications in Computer and Information Science} }","short":"M.C. Platenius, S. Arifulina, R. Petrlic, W. Schäfer, in: Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet, 2014, pp. 6–17.","mla":"Platenius, Marie Christin, et al. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.” <i>Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet</i>, 2014, pp. 6–17, doi:<a href=\"https://doi.org/10.1007/978-3-319-14886-1_2\">10.1007/978-3-319-14886-1_2</a>.","apa":"Platenius, M. C., Arifulina, S., Petrlic, R., &#38; Schäfer, W. (2014). Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In <i>Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet</i> (pp. 6–17). <a href=\"https://doi.org/10.1007/978-3-319-14886-1_2\">https://doi.org/10.1007/978-3-319-14886-1_2</a>","ieee":"M. C. Platenius, S. Arifulina, R. Petrlic, and W. Schäfer, “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching,” in <i>Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet</i>, 2014, pp. 6–17.","chicago":"Platenius, Marie Christin, Svetlana Arifulina, Ronald Petrlic, and Wilhelm Schäfer. “Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching.” In <i>Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet</i>, 6–17. Communications in Computer and Information Science, 2014. <a href=\"https://doi.org/10.1007/978-3-319-14886-1_2\">https://doi.org/10.1007/978-3-319-14886-1_2</a>.","ama":"Platenius MC, Arifulina S, Petrlic R, Schäfer W. Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching. In: <i>Proceedings of the 4th International Workshop on Adaptive Services for the Future Internet</i>. Communications in Computer and Information Science. ; 2014:6-17. doi:<a href=\"https://doi.org/10.1007/978-3-319-14886-1_2\">10.1007/978-3-319-14886-1_2</a>"},"page":"6-17","year":"2014","has_accepted_license":"1","doi":"10.1007/978-3-319-14886-1_2","title":"Matching of Incomplete Service Specifications Exemplified by Privacy Policy Matching","author":[{"first_name":"Marie Christin","full_name":"Platenius, Marie Christin","last_name":"Platenius"},{"first_name":"Svetlana","last_name":"Arifulina","full_name":"Arifulina, Svetlana"},{"full_name":"Petrlic, Ronald","last_name":"Petrlic","first_name":"Ronald"},{"first_name":"Wilhelm","last_name":"Schäfer","full_name":"Schäfer, Wilhelm"}],"date_created":"2017-10-17T12:42:10Z","date_updated":"2022-01-06T07:00:07Z"},{"citation":{"bibtex":"@inproceedings{Arifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series={LNCS}, title={Market-optimized Service Specification and Matching}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-45391-9_47\">10.1007/978-3-662-45391-9_47</a>}, booktitle={Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)}, author={Arifulina, Svetlana and Platenius, Marie Christin and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm}, editor={Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, SamiEditors}, year={2014}, pages={543–550}, collection={LNCS} }","mla":"Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.” <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)</i>, edited by Xavier Franch et al., 2014, pp. 543–50, doi:<a href=\"https://doi.org/10.1007/978-3-662-45391-9_47\">10.1007/978-3-662-45391-9_47</a>.","short":"S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer, in: X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.","apa":"Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., &#38; Schäfer, W. (2014). Market-optimized Service Specification and Matching. In X. Franch, A. Ghose, G. Lewis, &#38; S. Bhiri (Eds.), <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)</i> (pp. 543–550). <a href=\"https://doi.org/10.1007/978-3-662-45391-9_47\">https://doi.org/10.1007/978-3-662-45391-9_47</a>","ama":"Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds. <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)</i>. LNCS. ; 2014:543-550. doi:<a href=\"https://doi.org/10.1007/978-3-662-45391-9_47\">10.1007/978-3-662-45391-9_47</a>","chicago":"Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification and Matching.” In <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)</i>, edited by Xavier Franch, AdityaK. Ghose, GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014. <a href=\"https://doi.org/10.1007/978-3-662-45391-9_47\">https://doi.org/10.1007/978-3-662-45391-9_47</a>.","ieee":"S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer, “Market-optimized Service Specification and Matching,” in <i>Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)</i>, 2014, pp. 543–550."},"page":"543-550","has_accepted_license":"1","doi":"10.1007/978-3-662-45391-9_47","date_updated":"2022-01-06T07:00:07Z","author":[{"first_name":"Svetlana","last_name":"Arifulina","full_name":"Arifulina, Svetlana"},{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"},{"first_name":"Christian","last_name":"Gerth","full_name":"Gerth, Christian"},{"full_name":"Becker, Steffen","last_name":"Becker","first_name":"Steffen"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"},{"first_name":"Wilhelm","full_name":"Schäfer, Wilhelm","last_name":"Schäfer"}],"editor":[{"first_name":"Xavier","full_name":"Franch, Xavier","last_name":"Franch"},{"first_name":"AdityaK.","full_name":"Ghose, AdityaK.","last_name":"Ghose"},{"full_name":"Lewis, GraceA.","last_name":"Lewis","first_name":"GraceA."},{"first_name":"Sami","full_name":"Bhiri, Sami","last_name":"Bhiri"}],"status":"public","type":"conference","file_date_updated":"2018-03-16T11:38:59Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Subproject B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"402","series_title":"LNCS","user_id":"477","department":[{"_id":"66"},{"_id":"76"}],"year":"2014","title":"Market-optimized Service Specification and Matching","date_created":"2017-10-17T12:42:10Z","abstract":[{"lang":"eng","text":"Various approaches in service engineering are based on servicemarkets where brokers use service matching in order to performservice discovery. For matching, a broker translates the specifications ofproviders' services and requesters' requirements into her own specificationlanguage, in order to check their compliance using a matcher. Thebroker's success depends on the configuration of her language and itsmatcher because they in uence important properties like the effort forproviders and requesters to create suitable specifications as well as accuracyand runtime of matching. However, neither existing service specification languages, nor existing matching approaches are optimized insuch way. Our approach automatically provides brokers with an optimalconfiguration of a language and its matcher to improve her success ina given market with respect to her strategy. The approach is based onformalized configuration properties and a predefined set of configurationrules."}],"file":[{"file_size":377432,"file_id":"1368","file_name":"402-ICSOC2014.pdf","access_level":"closed","date_updated":"2018-03-16T11:38:59Z","creator":"florida","date_created":"2018-03-16T11:38:59Z","success":1,"relation":"main_file","content_type":"application/pdf"}],"publication":"Proceedings of the 12th International Conference on Service Oriented Computing (ICSOC 2014)","ddc":["040"],"language":[{"iso":"eng"}]},{"type":"conference","editor":[{"first_name":"Paris","last_name":"Avgeriou","full_name":"Avgeriou, Paris"},{"full_name":"Zdun, Uwe","last_name":"Zdun","first_name":"Uwe"}],"status":"public","_id":"409","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"11","name":"SFB 901 - Subproject B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"department":[{"_id":"76"}],"user_id":"477","series_title":"LNCS","file_date_updated":"2018-03-16T11:34:58Z","has_accepted_license":"1","page":"210-217","citation":{"ama":"Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service Market Architecture. In: Avgeriou P, Zdun U, eds. <i>Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)</i>. LNCS. ; 2014:210-217. doi:<a href=\"https://doi.org/10.1007/978-3-319-09970-5_19\">10.1007/978-3-319-09970-5_19</a>","chicago":"Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating Service Matchers into a Service Market Architecture.” In <i>Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)</i>, edited by Paris Avgeriou and Uwe Zdun, 210–17. LNCS, 2014. <a href=\"https://doi.org/10.1007/978-3-319-09970-5_19\">https://doi.org/10.1007/978-3-319-09970-5_19</a>.","ieee":"M. C. Platenius, S. Becker, and W. Schäfer, “Integrating Service Matchers into a Service Market Architecture,” in <i>Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)</i>, 2014, pp. 210–217.","short":"M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.), Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.","bibtex":"@inproceedings{Platenius_Becker_Schäfer_2014, series={LNCS}, title={Integrating Service Matchers into a Service Market Architecture}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-09970-5_19\">10.1007/978-3-319-09970-5_19</a>}, booktitle={Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)}, author={Platenius, Marie Christin and Becker, Steffen and Schäfer, Wilhelm}, editor={Avgeriou, Paris and Zdun, UweEditors}, year={2014}, pages={210–217}, collection={LNCS} }","mla":"Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service Market Architecture.” <i>Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)</i>, edited by Paris Avgeriou and Uwe Zdun, 2014, pp. 210–17, doi:<a href=\"https://doi.org/10.1007/978-3-319-09970-5_19\">10.1007/978-3-319-09970-5_19</a>.","apa":"Platenius, M. C., Becker, S., &#38; Schäfer, W. (2014). Integrating Service Matchers into a Service Market Architecture. In P. Avgeriou &#38; U. Zdun (Eds.), <i>Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)</i> (pp. 210–217). <a href=\"https://doi.org/10.1007/978-3-319-09970-5_19\">https://doi.org/10.1007/978-3-319-09970-5_19</a>"},"date_updated":"2022-01-06T07:00:15Z","author":[{"full_name":"Platenius, Marie Christin","last_name":"Platenius","first_name":"Marie Christin"},{"last_name":"Becker","full_name":"Becker, Steffen","first_name":"Steffen"},{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"}],"doi":"10.1007/978-3-319-09970-5_19","publication":"Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)","abstract":[{"lang":"eng","text":"Service markets provide software components in the formof services. In order to enable a service discovery that satisfies servicerequesters and providers best, markets need automatic service matching:approaches for comparing whether a provided service satisfies a servicerequest. Current markets, e.g., app markets, are limited to basic keywordbasedsearch although many better suitable matching approaches aredescribed in literature. However, necessary architectural decisions forthe integration of matchers have a huge impact on quality propertieslike performance or security.Architectural decisions wrt. servicematchers have rarely been discussed,yet, and systematic approaches for their integration into service marketsare missing. In this paper, we present a systematic integration approachincluding the definition of requirements and a discussion on architecturaltactics. As a benefit, the decision-making process of integrating servicematchers is supported and the overall market success can be improved."}],"file":[{"file_size":395884,"file_name":"409-ecsa14.pdf","file_id":"1363","access_level":"closed","date_updated":"2018-03-16T11:34:58Z","creator":"florida","date_created":"2018-03-16T11:34:58Z","success":1,"relation":"main_file","content_type":"application/pdf"}],"ddc":["040"],"language":[{"iso":"eng"}],"year":"2014","date_created":"2017-10-17T12:42:11Z","title":"Integrating Service Matchers into a Service Market Architecture"},{"user_id":"15504","project":[{"name":"SFB 901","_id":"1"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"411","type":"mastersthesis","status":"public","date_created":"2017-10-17T12:42:12Z","author":[{"first_name":"Vahide","full_name":"Taherinajafabadi, Vahide","last_name":"Taherinajafabadi"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T07:00:18Z","title":"Improving Service Specifications for the Service Matching on a Service Market","citation":{"bibtex":"@book{Taherinajafabadi_2014, title={Improving Service Specifications for the Service Matching on a Service Market}, publisher={Universität Paderborn}, author={Taherinajafabadi, Vahide}, year={2014} }","mla":"Taherinajafabadi, Vahide. <i>Improving Service Specifications for the Service Matching on a Service Market</i>. Universität Paderborn, 2014.","short":"V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market, Universität Paderborn, 2014.","apa":"Taherinajafabadi, V. (2014). <i>Improving Service Specifications for the Service Matching on a Service Market</i>. Universität Paderborn.","ama":"Taherinajafabadi V. <i>Improving Service Specifications for the Service Matching on a Service Market</i>. Universität Paderborn; 2014.","chicago":"Taherinajafabadi, Vahide. <i>Improving Service Specifications for the Service Matching on a Service Market</i>. Universität Paderborn, 2014.","ieee":"V. Taherinajafabadi, <i>Improving Service Specifications for the Service Matching on a Service Market</i>. Universität Paderborn, 2014."},"year":"2014"},{"year":"2014","citation":{"ama":"Vijapurwala S. <i>Handling Incomplete Service Specifications Using Fuzzy Matching</i>. Universität Paderborn; 2014.","chicago":"Vijapurwala, Shafi. <i>Handling Incomplete Service Specifications Using Fuzzy Matching</i>. Universität Paderborn, 2014.","ieee":"S. Vijapurwala, <i>Handling Incomplete Service Specifications using Fuzzy Matching</i>. Universität Paderborn, 2014.","apa":"Vijapurwala, S. (2014). <i>Handling Incomplete Service Specifications using Fuzzy Matching</i>. Universität Paderborn.","bibtex":"@book{Vijapurwala_2014, title={Handling Incomplete Service Specifications using Fuzzy Matching}, publisher={Universität Paderborn}, author={Vijapurwala, Shafi}, year={2014} }","short":"S. Vijapurwala, Handling Incomplete Service Specifications Using Fuzzy Matching, Universität Paderborn, 2014.","mla":"Vijapurwala, Shafi. <i>Handling Incomplete Service Specifications Using Fuzzy Matching</i>. Universität Paderborn, 2014."},"status":"public","type":"mastersthesis","title":"Handling Incomplete Service Specifications using Fuzzy Matching","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"date_updated":"2022-01-06T07:00:25Z","publisher":"Universität Paderborn","_id":"415","user_id":"15504","author":[{"full_name":"Vijapurwala, Shafi","last_name":"Vijapurwala","first_name":"Shafi"}],"date_created":"2017-10-17T12:42:12Z"},{"status":"public","type":"mastersthesis","user_id":"15504","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"420","citation":{"ieee":"S. Merschjohann, <i>Fuzzy Matching of Service Price Specifications</i>. Universität Paderborn, 2014.","chicago":"Merschjohann, Sven. <i>Fuzzy Matching of Service Price Specifications</i>. Universität Paderborn, 2014.","ama":"Merschjohann S. <i>Fuzzy Matching of Service Price Specifications</i>. Universität Paderborn; 2014.","mla":"Merschjohann, Sven. <i>Fuzzy Matching of Service Price Specifications</i>. Universität Paderborn, 2014.","bibtex":"@book{Merschjohann_2014, title={Fuzzy Matching of Service Price Specifications}, publisher={Universität Paderborn}, author={Merschjohann, Sven}, year={2014} }","short":"S. Merschjohann, Fuzzy Matching of Service Price Specifications, Universität Paderborn, 2014.","apa":"Merschjohann, S. (2014). <i>Fuzzy Matching of Service Price Specifications</i>. Universität Paderborn."},"year":"2014","title":"Fuzzy Matching of Service Price Specifications","date_created":"2017-10-17T12:42:13Z","author":[{"full_name":"Merschjohann, Sven","last_name":"Merschjohann","first_name":"Sven"}],"date_updated":"2022-01-06T07:00:33Z","publisher":"Universität Paderborn"},{"abstract":[{"text":"One of the main ideas of Service-Oriented Computing (SOC) is the delivery of flexibly composable services provided on world-wide markets. For a successful service discovery,service requests have to be matched with the available service offers. However, in a situation in which no service that completely matches the request can be discovered, the customer may tolerate slight discrepancies between request and offer. Some existing fuzzy matching approaches are able to detectsuch service variants, but they do not allow to explicitly specify which parts of a request are not mandatory. In this paper, we improve an existing service matching approach based onVisual Contracts leveraging our preliminary work of design pattern detection. Thereby, we support explicit specifications of service variants and realize gradual matching results that can be ranked in order to discover the service offer that matches a customer’s request best.","lang":"eng"}],"status":"public","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","access_level":"closed","file_id":"1319","file_name":"484-Platenius_et_al_ICWS2013.pdf","file_size":262082,"date_created":"2018-03-15T13:57:42Z","creator":"florida","date_updated":"2018-03-15T13:57:42Z"}],"publication":"IEEE 20th International Conference on Web Services (ICWS 2013)","type":"conference","ddc":["040"],"file_date_updated":"2018-03-15T13:57:42Z","language":[{"iso":"eng"}],"_id":"484","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"department":[{"_id":"66"},{"_id":"76"}],"user_id":"477","year":"2013","page":"613-614","citation":{"ieee":"M. C. Platenius, M. von Detten, C. Gerth, W. Schäfer, and G. Engels, “Service Matching under Consideration of Explicitly Specified Service Variants,” in <i>IEEE 20th International Conference on Web Services (ICWS 2013)</i>, 2013, pp. 613–614.","chicago":"Platenius, Marie Christin, Markus von Detten, Christian Gerth, Wilhelm Schäfer, and Gregor Engels. “Service Matching under Consideration of Explicitly Specified Service Variants.” In <i>IEEE 20th International Conference on Web Services (ICWS 2013)</i>, 613–14, 2013. <a href=\"https://doi.org/10.1109/ICWS.2013.98\">https://doi.org/10.1109/ICWS.2013.98</a>.","ama":"Platenius MC, von Detten M, Gerth C, Schäfer W, Engels G. Service Matching under Consideration of Explicitly Specified Service Variants. In: <i>IEEE 20th International Conference on Web Services (ICWS 2013)</i>. ; 2013:613-614. doi:<a href=\"https://doi.org/10.1109/ICWS.2013.98\">10.1109/ICWS.2013.98</a>","short":"M.C. Platenius, M. von Detten, C. Gerth, W. Schäfer, G. Engels, in: IEEE 20th International Conference on Web Services (ICWS 2013), 2013, pp. 613–614.","bibtex":"@inproceedings{Platenius_von Detten_Gerth_Schäfer_Engels_2013, title={Service Matching under Consideration of Explicitly Specified Service Variants}, DOI={<a href=\"https://doi.org/10.1109/ICWS.2013.98\">10.1109/ICWS.2013.98</a>}, booktitle={IEEE 20th International Conference on Web Services (ICWS 2013)}, author={Platenius, Marie Christin and von Detten, Markus and Gerth, Christian and Schäfer, Wilhelm and Engels, Gregor}, year={2013}, pages={613–614} }","mla":"Platenius, Marie Christin, et al. “Service Matching under Consideration of Explicitly Specified Service Variants.” <i>IEEE 20th International Conference on Web Services (ICWS 2013)</i>, 2013, pp. 613–14, doi:<a href=\"https://doi.org/10.1109/ICWS.2013.98\">10.1109/ICWS.2013.98</a>.","apa":"Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., &#38; Engels, G. (2013). Service Matching under Consideration of Explicitly Specified Service Variants. In <i>IEEE 20th International Conference on Web Services (ICWS 2013)</i> (pp. 613–614). <a href=\"https://doi.org/10.1109/ICWS.2013.98\">https://doi.org/10.1109/ICWS.2013.98</a>"},"has_accepted_license":"1","title":"Service Matching under Consideration of Explicitly Specified Service Variants","doi":"10.1109/ICWS.2013.98","date_updated":"2022-01-06T07:01:27Z","author":[{"first_name":"Marie Christin","last_name":"Platenius","full_name":"Platenius, Marie Christin"},{"last_name":"von Detten","full_name":"von Detten, Markus","first_name":"Markus"},{"full_name":"Gerth, Christian","last_name":"Gerth","first_name":"Christian"},{"last_name":"Schäfer","full_name":"Schäfer, Wilhelm","first_name":"Wilhelm"},{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}],"date_created":"2017-10-17T12:42:26Z"},{"title":"Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies","date_created":"2017-10-17T12:42:28Z","supervisor":[{"full_name":"Schäfer, Wilhelm","last_name":"Schäfer","first_name":"Wilhelm"}],"author":[{"first_name":"Markus","last_name":"von Detten","full_name":"von Detten, Markus"}],"date_updated":"2022-01-06T07:01:30Z","publisher":"Universität Paderborn","citation":{"mla":"von Detten, Markus. <i>Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies</i>. Universität Paderborn, 2013.","bibtex":"@book{von Detten_2013, title={Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies}, publisher={Universität Paderborn}, author={von Detten, Markus}, year={2013} }","short":"M. von Detten, Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies, Universität Paderborn, 2013.","apa":"von Detten, M. (2013). <i>Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies</i>. Universität Paderborn.","ama":"von Detten M. <i>Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies</i>. Universität Paderborn; 2013.","chicago":"Detten, Markus von. <i>Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies</i>. Universität Paderborn, 2013.","ieee":"M. von Detten, <i>Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies</i>. Universität Paderborn, 2013."},"year":"2013","has_accepted_license":"1","file_date_updated":"2018-03-15T13:43:42Z","ddc":["040"],"department":[{"_id":"76"}],"user_id":"477","_id":"494","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}],"status":"public","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","file_id":"1315","access_level":"closed","file_name":"494-Dissertation-vonDetten.pdf","file_size":11101635,"date_created":"2018-03-15T13:43:42Z","creator":"florida","date_updated":"2018-03-15T13:43:42Z"}],"abstract":[{"lang":"eng","text":"The maintenance of component-based software systems requires up-to-date models of their concrete architecture, i.e. the architecture that is realised in the source code. These models help in systematically planning, analysing and executing typical reengineering activities. Often no or only outdated architectural models of such systems exist. Therefore, various reverse engineering methods have been developed which try to recover a system's components, subsystems and connectors. However, these reverse engineering methods are severely impacted by design deciencies in the system's code base, especially violations of the component encapsulation. As long as design deciencies are not considered in the reverse engineering process, they reduce the quality of the recovered component structures. Despite this impact of design deciencies, no existing architecture reconstruction approach explicitly integrates a systematic deciency detection and removal into the recovery process. Therefore, I have developed Archimetrix. Archimetrix is a tool-supported architecture reconstruction process. It enhances a clustering-based architecture recovery approach with an extensible, pattern-based deciency detection. After the detection of deciencies, Archimetrix supports the software architect in removing the de ciencies and provides the means to preview the architectural consequences of such a removal. I also provide a process to identify and formalise additional deciencies. I validated the approach on three case studies which show that Archimetrix is able to identify relevant deciencies and that the removal of these deciencies leads to an increased quality of the recovered architectures, i.e. they are closer to the corresponding conceptual architectures."}],"type":"dissertation"},{"status":"public","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."}],"type":"dissertation","language":[{"iso":"eng"}],"user_id":"477","department":[{"_id":"66"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"9","name":"SFB 901 - Subproject B1"}],"_id":"7569","citation":{"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>.","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} }","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.","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>.","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>"},"year":"2013","doi":"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420","title":"Quality Assurance with Dynamic Meta Modeling","supervisor":[{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"}],"author":[{"first_name":"Christian","full_name":"Soltenborn, Christian","id":"1737","orcid":"0000-0002-0342-8227","last_name":"Soltenborn"}],"date_created":"2019-02-06T14:15:58Z","date_updated":"2022-01-06T07:03:39Z","publisher":"Universität Paderborn"},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"504","user_id":"15504","status":"public","type":"mastersthesis","title":"Ontology-based Normalization and Matching of Rich Service Descriptions","date_updated":"2022-01-06T07:01:35Z","publisher":"Universität Paderborn","author":[{"first_name":"Simon","last_name":"Schwichtenberg","id":"13235","full_name":"Schwichtenberg, Simon"}],"date_created":"2017-10-17T12:42:30Z","year":"2013","citation":{"apa":"Schwichtenberg, S. (2013). <i>Ontology-based Normalization and Matching of Rich Service Descriptions</i>. Universität Paderborn.","short":"S. Schwichtenberg, Ontology-Based Normalization and Matching of Rich Service Descriptions, Universität Paderborn, 2013.","mla":"Schwichtenberg, Simon. <i>Ontology-Based Normalization and Matching of Rich Service Descriptions</i>. Universität Paderborn, 2013.","bibtex":"@book{Schwichtenberg_2013, title={Ontology-based Normalization and Matching of Rich Service Descriptions}, publisher={Universität Paderborn}, author={Schwichtenberg, Simon}, year={2013} }","chicago":"Schwichtenberg, Simon. <i>Ontology-Based Normalization and Matching of Rich Service Descriptions</i>. Universität Paderborn, 2013.","ieee":"S. Schwichtenberg, <i>Ontology-based Normalization and Matching of Rich Service Descriptions</i>. Universität Paderborn, 2013.","ama":"Schwichtenberg S. <i>Ontology-Based Normalization and Matching of Rich Service Descriptions</i>. Universität Paderborn; 2013."}},{"citation":{"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.","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.","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.","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} }","short":"G. Engels, in: Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013), 2013, pp. 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.","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)."},"page":"17-18","year":"2013","has_accepted_license":"1","title":"On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma fürSoftwaresysteme der Zukunft","date_created":"2017-10-17T12:42:31Z","author":[{"first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor","id":"107"}],"date_updated":"2022-01-06T07:01:36Z","file":[{"relation":"main_file","success":1,"content_type":"application/pdf","access_level":"closed","file_name":"506-SE2013-OntheFlyComputing-GE.pdf","file_id":"1306","file_size":175876,"creator":"florida","date_created":"2018-03-15T10:48:11Z","date_updated":"2018-03-15T10:48:11Z"}],"status":"public","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"}],"type":"conference","publication":"Proceedings of the Multikonferenz Sofware Engineering 2013 (SE 2013)","language":[{"iso":"eng"}],"file_date_updated":"2018-03-15T10:48:11Z","ddc":["040"],"series_title":"LNI","user_id":"477","department":[{"_id":"66"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"506"},{"citation":{"apa":"Petrausch, V. (2013). <i>Klassifizierung unterschiedlicher Ansätze zum Matching von Services</i>. Universität Paderborn.","short":"V. Petrausch, Klassifizierung unterschiedlicher Ansätze zum Matching von Services, Universität Paderborn, 2013.","bibtex":"@book{Petrausch_2013, title={Klassifizierung unterschiedlicher Ansätze zum Matching von Services}, publisher={Universität Paderborn}, author={Petrausch, Vanessa}, year={2013} }","mla":"Petrausch, Vanessa. <i>Klassifizierung unterschiedlicher Ansätze zum Matching von Services</i>. Universität Paderborn, 2013.","ieee":"V. Petrausch, <i>Klassifizierung unterschiedlicher Ansätze zum Matching von Services</i>. Universität Paderborn, 2013.","chicago":"Petrausch, Vanessa. <i>Klassifizierung unterschiedlicher Ansätze zum Matching von Services</i>. Universität Paderborn, 2013.","ama":"Petrausch V. <i>Klassifizierung unterschiedlicher Ansätze zum Matching von Services</i>. Universität Paderborn; 2013."},"year":"2013","date_created":"2017-10-17T12:42:33Z","author":[{"first_name":"Vanessa","full_name":"Petrausch, Vanessa","last_name":"Petrausch"}],"publisher":"Universität Paderborn","date_updated":"2022-01-06T07:01:41Z","title":"Klassifizierung unterschiedlicher Ansätze zum Matching von Services","type":"bachelorsthesis","status":"public","user_id":"477","_id":"518","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"language":[{"iso":"ger"}]},{"title":"Fuzzy Service Matching in On-The-Fly Computing","doi":"10.1145/2491411.2492405","date_updated":"2022-01-06T07:01:48Z","date_created":"2017-10-17T12:42:35Z","author":[{"first_name":"Marie","full_name":"Christin Platenius, Marie","last_name":"Christin Platenius"}],"year":"2013","page":" 715-718 ","citation":{"short":"M. Christin Platenius, in: Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2013, pp. 715–718.","bibtex":"@inproceedings{Christin Platenius_2013, title={Fuzzy Service Matching in On-The-Fly Computing}, DOI={<a href=\"https://doi.org/10.1145/2491411.2492405\">10.1145/2491411.2492405</a>}, booktitle={Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)}, author={Christin Platenius, Marie}, year={2013}, pages={715–718} }","mla":"Christin Platenius, Marie. “Fuzzy Service Matching in On-The-Fly Computing.” <i>Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)</i>, 2013, pp. 715–18, doi:<a href=\"https://doi.org/10.1145/2491411.2492405\">10.1145/2491411.2492405</a>.","apa":"Christin Platenius, M. (2013). Fuzzy Service Matching in On-The-Fly Computing. In <i>Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)</i> (pp. 715–718). <a href=\"https://doi.org/10.1145/2491411.2492405\">https://doi.org/10.1145/2491411.2492405</a>","ieee":"M. Christin Platenius, “Fuzzy Service Matching in On-The-Fly Computing,” in <i>Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)</i>, 2013, pp. 715–718.","chicago":"Christin Platenius, Marie. “Fuzzy Service Matching in On-The-Fly Computing.” In <i>Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)</i>, 715–18, 2013. <a href=\"https://doi.org/10.1145/2491411.2492405\">https://doi.org/10.1145/2491411.2492405</a>.","ama":"Christin Platenius M. Fuzzy Service Matching in On-The-Fly Computing. In: <i>Proceedings of the Doctoral Symposium of the 9th Joint Meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)</i>. ; 2013:715-718. doi:<a href=\"https://doi.org/10.1145/2491411.2492405\">10.1145/2491411.2492405</a>"},"has_accepted_license":"1","ddc":["040"],"file_date_updated":"2018-03-15T10:36:38Z","language":[{"iso":"eng"}],"_id":"527","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"department":[{"_id":"76"}],"user_id":"477","abstract":[{"text":"In the future vision of software engineering, services from world-wide markets are composed automated in order to build custom-made systems.Supporting such scenarios requires an adequate service matching approach.Many existing approaches do not fulfill two key requirements of emerging concepts like On-The-Fly-Computing, namely (1) comprehensiveness, i.e., the consideration of different service aspects that cover not only functional properties, but also non-functional properties and (2) fuzzy matching, i.e., the ability to deliver gradual results in order to cope with a certain extent of uncertainty, incompleteness, and tolerance ranges.In this paper, I present a fuzzy matching process that distinguishes between different fuzziness sources and leverages fuzziness in different matching steps which consider different service aspects, e.g., behavior and quality properties. ","lang":"eng"}],"status":"public","file":[{"content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-15T10:36:38Z","date_created":"2018-03-15T10:36:38Z","creator":"florida","file_size":730490,"file_name":"527-p715-platenius.pdf","file_id":"1295","access_level":"closed"}],"publication":"Proceedings of the Doctoral Symposium of the 9th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)","type":"conference"},{"date_created":"2017-10-17T12:42:38Z","user_id":"15504","author":[{"full_name":"Jagannath, Kavitha","last_name":"Jagannath","first_name":"Kavitha"}],"_id":"543","date_updated":"2022-01-06T07:01:53Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}],"publisher":"Universität Paderborn","title":"Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services","type":"mastersthesis","status":"public","citation":{"ieee":"K. Jagannath, <i>Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services</i>. Universität Paderborn, 2013.","chicago":"Jagannath, Kavitha. <i>Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services</i>. Universität Paderborn, 2013.","ama":"Jagannath K. <i>Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services</i>. Universität Paderborn; 2013.","apa":"Jagannath, K. (2013). <i>Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services</i>. Universität Paderborn.","bibtex":"@book{Jagannath_2013, title={Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services}, publisher={Universität Paderborn}, author={Jagannath, Kavitha}, year={2013} }","mla":"Jagannath, Kavitha. <i>Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services</i>. Universität Paderborn, 2013.","short":"K. Jagannath, Comparison of Various Contract-Based Approaches for Specifying Behavior of On-The-Fly Computing Services, Universität Paderborn, 2013."},"year":"2013"},{"year":"2013","citation":{"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>","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>.","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>","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>.","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} }","short":"C. Gerth, Business Process Models - Change Management, Universität Paderborn, 2013."},"publisher":"Universität Paderborn","date_updated":"2022-01-06T07:01:55Z","supervisor":[{"last_name":"Engels","id":"107","full_name":"Engels, Gregor","first_name":"Gregor"}],"author":[{"first_name":"Christian","full_name":"Gerth, Christian","last_name":"Gerth"}],"date_created":"2017-10-17T12:42:39Z","title":"Business Process Models - Change Management","doi":"10.1007/978-3-642-38604-6","type":"dissertation","abstract":[{"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.","lang":"eng"}],"status":"public","_id":"547","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"department":[{"_id":"66"}],"user_id":"477","language":[{"iso":"eng"}]},{"title":"Automated Service Composition for On-the-Fly SOAs","doi":"10.1007/978-3-642-45005-1_42","date_updated":"2022-01-06T07:01:57Z","date_created":"2017-10-17T12:42:39Z","author":[{"last_name":"Huma","full_name":"Huma, Zille","first_name":"Zille"},{"first_name":"Christian","full_name":"Gerth, Christian","last_name":"Gerth"},{"first_name":"Gregor","id":"107","full_name":"Engels, Gregor","last_name":"Engels"},{"last_name":"Juwig","full_name":"Juwig, Oliver","first_name":"Oliver"}],"year":"2013","citation":{"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.","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>.","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>","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.","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} }"},"page":"524--532","has_accepted_license":"1","ddc":["040"],"language":[{"iso":"eng"}],"file_date_updated":"2018-03-15T10:31:20Z","project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"551","user_id":"477","series_title":"LNCS","department":[{"_id":"66"}],"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"}],"file":[{"content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-15T10:31:20Z","creator":"florida","date_created":"2018-03-15T10:31:20Z","file_size":384397,"file_id":"1287","file_name":"551-978-3-642-45005-1_42.pdf","access_level":"closed"}],"status":"public","type":"conference","publication":"Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC'13)"},{"user_id":"477","department":[{"_id":"66"},{"_id":"76"}],"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"560","language":[{"iso":"eng"}],"file_date_updated":"2018-03-15T10:26:49Z","ddc":["040"],"type":"conference","publication":"Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering","file":[{"file_size":570580,"access_level":"closed","file_name":"560-Platenius_et_al_CBSE2013.pdf","file_id":"1281","date_updated":"2018-03-15T10:26:49Z","date_created":"2018-03-15T10:26:49Z","creator":"florida","success":1,"relation":"main_file","content_type":"application/pdf"}],"status":"public","abstract":[{"lang":"eng","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."}],"author":[{"full_name":"Platenius, Marie","last_name":"Platenius","first_name":"Marie"},{"first_name":"Markus","full_name":"von Detten, Markus","last_name":"von Detten"},{"first_name":"Steffen","last_name":"Becker","full_name":"Becker, Steffen"},{"last_name":"Schäfer","full_name":"Schäfer, Wilhelm","first_name":"Wilhelm"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"}],"date_created":"2017-10-17T12:42:41Z","date_updated":"2022-01-06T07:02:06Z","doi":"10.1145/2465449.2465454","title":"A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing","has_accepted_license":"1","citation":{"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>.","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.","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>","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>","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} }","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.","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>."},"page":"143-152","year":"2013"},{"language":[{"iso":"eng"}],"file_date_updated":"2018-03-15T09:38:22Z","ddc":["040"],"series_title":"LNCS","user_id":"477","department":[{"_id":"66"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"9","name":"SFB 901 - Subprojekt B1"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"572","file":[{"success":1,"relation":"main_file","content_type":"application/pdf","file_size":518982,"file_name":"572-MODELS2012-Huma_Gerth_Engels_Juwig.pdf","file_id":"1270","access_level":"closed","date_updated":"2018-03-15T09:38:22Z","date_created":"2018-03-15T09:38:22Z","creator":"florida"}],"status":"public","abstract":[{"lang":"eng","text":"Service-oriented computing (SOC) promises to solve many issues in the area of distributed software development, e.g. the realization of the loose coupling pattern in practice through service discovery and invocation. For this purpose, service descriptions must comprise structural as well as behavioral information of the services otherwise an accurate service discovery is not possible. We addressed this issue in our previous paper and proposed a UML-based rich service description language (RSDL) providing comprehensive notations to specify service requests and offers.However, the automatic matching of service requests and offers specified in a RSDL for the purpose of service discovery is a complex task, due to multifaceted heterogeneity of the service partners. This heterogeneity includes the use of different underlying ontologies or different levels of granularity in the specification itself resulting in complex mappings between service requests and offers. In this paper, we present an automatic matching mechanism for service requests and offers specified in a RSDL that overcomes the underlying heterogeneity of the service partners."}],"type":"conference","publication":"Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS)","doi":"10.1007/978-3-642-33666-9_45","title":"Towards an Automatic Service Discovery for UML-based Rich Service Descriptions","author":[{"first_name":"Zille","last_name":"Huma","full_name":"Huma, Zille"},{"first_name":"Christian","last_name":"Gerth","full_name":"Gerth, Christian"},{"last_name":"Engels","full_name":"Engels, Gregor","id":"107","first_name":"Gregor"},{"first_name":"Oliver","full_name":"Juwig, Oliver","last_name":"Juwig"}],"date_created":"2017-10-17T12:42:43Z","date_updated":"2022-01-06T07:02:37Z","citation":{"ama":"Huma Z, Gerth C, Engels G, Juwig O. Towards an Automatic Service Discovery for UML-based Rich Service Descriptions. In: <i>Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS)</i>. LNCS. ; 2012:709--725. doi:<a href=\"https://doi.org/10.1007/978-3-642-33666-9_45\">10.1007/978-3-642-33666-9_45</a>","chicago":"Huma, Zille, Christian Gerth, Gregor Engels, and Oliver Juwig. “Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions.” In <i>Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS)</i>, 709--725. LNCS, 2012. <a href=\"https://doi.org/10.1007/978-3-642-33666-9_45\">https://doi.org/10.1007/978-3-642-33666-9_45</a>.","ieee":"Z. Huma, C. Gerth, G. Engels, and O. Juwig, “Towards an Automatic Service Discovery for UML-based Rich Service Descriptions,” in <i>Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS)</i>, 2012, pp. 709--725.","apa":"Huma, Z., Gerth, C., Engels, G., &#38; Juwig, O. (2012). Towards an Automatic Service Discovery for UML-based Rich Service Descriptions. In <i>Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS)</i> (pp. 709--725). <a href=\"https://doi.org/10.1007/978-3-642-33666-9_45\">https://doi.org/10.1007/978-3-642-33666-9_45</a>","mla":"Huma, Zille, et al. “Towards an Automatic Service Discovery for UML-Based Rich Service Descriptions.” <i>Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS)</i>, 2012, pp. 709--725, doi:<a href=\"https://doi.org/10.1007/978-3-642-33666-9_45\">10.1007/978-3-642-33666-9_45</a>.","bibtex":"@inproceedings{Huma_Gerth_Engels_Juwig_2012, series={LNCS}, title={Towards an Automatic Service Discovery for UML-based Rich Service Descriptions}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-33666-9_45\">10.1007/978-3-642-33666-9_45</a>}, booktitle={Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS)}, author={Huma, Zille and Gerth, Christian and Engels, Gregor and Juwig, Oliver}, year={2012}, pages={709--725}, collection={LNCS} }","short":"Z. Huma, C. Gerth, G. Engels, O. Juwig, in: Proceedings of the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2012, pp. 709--725."},"page":"709--725","year":"2012","has_accepted_license":"1"},{"file_date_updated":"2018-03-15T09:37:48Z","department":[{"_id":"66"}],"user_id":"477","series_title":"CEUR Workshop Proceedings","_id":"573","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"status":"public","editor":[{"full_name":"W. Eisenecker, Ulrich","last_name":"W. Eisenecker","first_name":"Ulrich"},{"last_name":"Bucholdt","full_name":"Bucholdt, Christian","first_name":"Christian"}],"type":"conference","author":[{"first_name":"Svetlana","last_name":"Arifulina","full_name":"Arifulina, Svetlana"}],"date_updated":"2022-01-06T07:02:37Z","page":"23--26","citation":{"apa":"Arifulina, S. (2012). Towards a Framework for the Integration of Modeling Languages. In U. W. Eisenecker &#38; C. Bucholdt (Eds.), <i>Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))</i> (pp. 23--26).","mla":"Arifulina, Svetlana. “Towards a Framework for the Integration of Modeling Languages.” <i>Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))</i>, edited by Ulrich W. Eisenecker and Christian Bucholdt, 2012, pp. 23--26.","bibtex":"@inproceedings{Arifulina_2012, series={CEUR Workshop Proceedings}, title={Towards a Framework for the Integration of Modeling Languages}, booktitle={Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))}, author={Arifulina, Svetlana}, editor={W. Eisenecker, Ulrich and Bucholdt, ChristianEditors}, year={2012}, pages={23--26}, collection={CEUR Workshop Proceedings} }","short":"S. Arifulina, in: U. W. Eisenecker, C. Bucholdt (Eds.), Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium)), 2012, pp. 23--26.","chicago":"Arifulina, Svetlana. “Towards a Framework for the Integration of Modeling Languages.” In <i>Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))</i>, edited by Ulrich W. Eisenecker and Christian Bucholdt, 23--26. CEUR Workshop Proceedings, 2012.","ieee":"S. Arifulina, “Towards a Framework for the Integration of Modeling Languages,” in <i>Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))</i>, 2012, pp. 23--26.","ama":"Arifulina S. Towards a Framework for the Integration of Modeling Languages. In: W. Eisenecker U, Bucholdt C, eds. <i>Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))</i>. CEUR Workshop Proceedings. ; 2012:23--26."},"has_accepted_license":"1","language":[{"iso":"eng"}],"ddc":["040"],"file":[{"content_type":"application/pdf","relation":"main_file","success":1,"date_created":"2018-03-15T09:37:48Z","creator":"florida","date_updated":"2018-03-15T09:37:48Z","file_name":"573-Framework_for_Integration_of_Modeling_Languages.pdf","file_id":"1269","access_level":"closed","file_size":321930}],"abstract":[{"lang":"eng","text":"In software markets of the future, customer-specific software will be developed on demand from distributed software and hardware services available on world-wide markets. Having a request, services have to be automatically discovered and composed. For that purpose, services have to be matched based on their specifications. For the accurate matching, services have to be described comprehensively that requires the integration of different domain-specific languages (DSLs) used for functional, non-functional, and infrastructural properties. Since different service providers use plenty of language dialects to model the same service property, their integration is needed for the matching. In this paper, we propose a framework for integration of DSLs. It is based on a parameterized abstract core language that integrates key concepts needed to describe a service. Parts of the core language can be substituted with concrete DSLs. Thus, the framework serves as a basis for the comprehensive specification and automatic matching of services."}],"publication":"Proceedings of the Doctoral Symposium of the 5th International Conference on Software Language Engineering 2012, Dresden, Germany (SLE (Doctoral Symposium))","title":"Towards a Framework for the Integration of Modeling Languages","date_created":"2017-10-17T12:42:43Z","year":"2012"},{"doi":"10.14279/tuj.eceasst.47.718","title":"Coverage Criteria for Testing DMM Specifications","author":[{"first_name":"Svetlana","last_name":"Arifulina","full_name":"Arifulina, Svetlana"},{"first_name":"Gregor","full_name":"Engels, Gregor","id":"107","last_name":"Engels"},{"orcid":"0000-0002-0342-8227","last_name":"Soltenborn","id":"1737","full_name":"Soltenborn, Christian","first_name":"Christian"}],"date_created":"2017-10-17T12:42:53Z","date_updated":"2022-01-06T07:02:57Z","citation":{"mla":"Arifulina, Svetlana, et al. “Coverage Criteria for Testing DMM Specifications.” <i>Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</i>, 2012, doi:<a href=\"https://doi.org/10.14279/tuj.eceasst.47.718\">10.14279/tuj.eceasst.47.718</a>.","short":"S. Arifulina, G. Engels, C. Soltenborn, in: Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), 2012.","bibtex":"@inproceedings{Arifulina_Engels_Soltenborn_2012, series={Electronic Communications of the EASST}, title={Coverage Criteria for Testing DMM Specifications}, DOI={<a href=\"https://doi.org/10.14279/tuj.eceasst.47.718\">10.14279/tuj.eceasst.47.718</a>}, booktitle={Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)}, author={Arifulina, Svetlana and Engels, Gregor and Soltenborn, Christian}, year={2012}, collection={Electronic Communications of the EASST} }","apa":"Arifulina, S., Engels, G., &#38; Soltenborn, C. (2012). Coverage Criteria for Testing DMM Specifications. In <i>Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</i>. <a href=\"https://doi.org/10.14279/tuj.eceasst.47.718\">https://doi.org/10.14279/tuj.eceasst.47.718</a>","ama":"Arifulina S, Engels G, Soltenborn C. Coverage Criteria for Testing DMM Specifications. In: <i>Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</i>. Electronic Communications of the EASST. ; 2012. doi:<a href=\"https://doi.org/10.14279/tuj.eceasst.47.718\">10.14279/tuj.eceasst.47.718</a>","chicago":"Arifulina, Svetlana, Gregor Engels, and Christian Soltenborn. “Coverage Criteria for Testing DMM Specifications.” In <i>Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</i>. Electronic Communications of the EASST, 2012. <a href=\"https://doi.org/10.14279/tuj.eceasst.47.718\">https://doi.org/10.14279/tuj.eceasst.47.718</a>.","ieee":"S. Arifulina, G. Engels, and C. Soltenborn, “Coverage Criteria for Testing DMM Specifications,” in <i>Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)</i>, 2012."},"year":"2012","has_accepted_license":"1","file_date_updated":"2018-03-15T06:46:40Z","language":[{"iso":"eng"}],"ddc":["040"],"series_title":"Electronic Communications of the EASST","user_id":"14955","department":[{"_id":"66"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B1","_id":"9"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"622","file":[{"date_updated":"2018-03-15T06:46:40Z","creator":"florida","date_created":"2018-03-15T06:46:40Z","file_size":301602,"file_name":"622-gtvmt2012-Arifulina_01.pdf","file_id":"1243","access_level":"closed","content_type":"application/pdf","success":1,"relation":"main_file"}],"status":"public","abstract":[{"text":"Behavioral modeling languages are most useful if their behavior is specified formally such that it can e.g. be analyzed and executed automatically. Obviously, the quality of such behavior specifications is crucial. The rule-based semantics specification technique Dynamic Meta Modeling (DMM) honors this by using the approach of Test-driven Semantics Specification (TDSS), which makes sure that the specification at hand at least describes the correct behavior for a suite of test models. However, in its current state TDSS does not provide any means to measure the quality of such a test suite. In this paper, we describe how we have applied the idea of test coverage to TDSS. Similar to common approaches of defining test coverage criteria, we describe a data structure called invocation graph containing possible orders of applications ofDMM rules. Then we define different coverage criteria based on that data structure, taking the rule applications caused by the test suite’s models into account. Our implementation of the described approach gives the language engineer using DMM a means to reason about the quality of the language’s test suite, and also provides hints on how to improve that quality by adding dedicated test models to the test suite.","lang":"eng"}],"type":"conference","publication":"Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT)"}]