[{"title":"Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking","date_created":"2017-10-17T12:42:40Z","author":[{"full_name":"Nickel, Tobias","last_name":"Nickel","first_name":"Tobias"}],"date_updated":"2022-01-06T07:01:59Z","publisher":"Universität Paderborn","citation":{"ieee":"T. Nickel, <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn, 2013.","chicago":"Nickel, Tobias. <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn, 2013.","ama":"Nickel T. <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn; 2013.","apa":"Nickel, T. (2013). <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn.","short":"T. Nickel, Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking, Universität Paderborn, 2013.","bibtex":"@book{Nickel_2013, title={Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking}, publisher={Universität Paderborn}, author={Nickel, Tobias}, year={2013} }","mla":"Nickel, Tobias. <i>Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking</i>. Universität Paderborn, 2013."},"year":"2013","language":[{"iso":"ger"}],"user_id":"477","_id":"556","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"status":"public","type":"bachelorsthesis"},{"publication":"Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)","type":"conference","status":"public","file":[{"content_type":"application/pdf","success":1,"relation":"main_file","date_updated":"2018-03-15T10:19:12Z","date_created":"2018-03-15T10:19:12Z","creator":"florida","file_size":139679,"file_name":"569-CBSE12-Becker_Heinzemann_Priesterjahn.pdf","access_level":"closed","file_id":"1273"}],"abstract":[{"text":"Today's real-time embedded systems operate in frequently changing environments on which they react by self-adaptations. Such an approach needs adequate modeling support of these reconfigurations to enable verification of safety properties, e.g., by timed model checking. Component-based development of such systems realizes these self-adaptations by structural reconfigurations of components and their connectors. However, component models proposed in literature do not support reconfigurable components in real-time embedded context but focus on other domains like business information systems. In this paper, we present an extension of our modeling language MechatronicUML to support structural reconfigurations taking the specific requirements of our domain into account. Based on the proposed extension we outline our research roadmap to achieve verification and realization of systems modeled in MechatronicUML.","lang":"eng"}],"user_id":"15504","_id":"569","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"file_date_updated":"2018-03-15T10:19:12Z","ddc":["040"],"has_accepted_license":"1","page":"23--28","citation":{"ama":"Becker S, Heinzemann C, Priesterjahn C. Towards Modeling Reconfiguration in Hierarchical Component Architectures. In: <i>Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)</i>. ; 2012:23--28. doi:<a href=\"https://doi.org/10.1145/2304736.2304742\">10.1145/2304736.2304742</a>","ieee":"S. Becker, C. Heinzemann, and C. Priesterjahn, “Towards Modeling Reconfiguration in Hierarchical Component Architectures,” in <i>Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)</i>, 2012, pp. 23--28.","chicago":"Becker, Steffen, Christian Heinzemann, and Claudia  Priesterjahn. “Towards Modeling Reconfiguration in Hierarchical Component Architectures.” In <i>Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)</i>, 23--28, 2012. <a href=\"https://doi.org/10.1145/2304736.2304742\">https://doi.org/10.1145/2304736.2304742</a>.","short":"S. Becker, C. Heinzemann, C. Priesterjahn, in: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE), 2012, pp. 23--28.","bibtex":"@inproceedings{Becker_Heinzemann_Priesterjahn_2012, title={Towards Modeling Reconfiguration in Hierarchical Component Architectures}, DOI={<a href=\"https://doi.org/10.1145/2304736.2304742\">10.1145/2304736.2304742</a>}, booktitle={Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)}, author={Becker, Steffen and Heinzemann, Christian and Priesterjahn, Claudia }, year={2012}, pages={23--28} }","mla":"Becker, Steffen, et al. “Towards Modeling Reconfiguration in Hierarchical Component Architectures.” <i>Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)</i>, 2012, pp. 23--28, doi:<a href=\"https://doi.org/10.1145/2304736.2304742\">10.1145/2304736.2304742</a>.","apa":"Becker, S., Heinzemann, C., &#38; Priesterjahn, C. (2012). Towards Modeling Reconfiguration in Hierarchical Component Architectures. In <i>Proceedings of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering (CBSE)</i> (pp. 23--28). <a href=\"https://doi.org/10.1145/2304736.2304742\">https://doi.org/10.1145/2304736.2304742</a>"},"year":"2012","date_created":"2017-10-17T12:42:43Z","author":[{"full_name":"Becker, Steffen","last_name":"Becker","first_name":"Steffen"},{"last_name":"Heinzemann","full_name":"Heinzemann, Christian","first_name":"Christian"},{"first_name":"Claudia ","full_name":"Priesterjahn, Claudia ","last_name":"Priesterjahn"}],"date_updated":"2022-01-06T07:02:34Z","doi":"10.1145/2304736.2304742","title":"Towards Modeling Reconfiguration in Hierarchical Component Architectures"},{"ddc":["040"],"file_date_updated":"2018-03-15T08:23:31Z","_id":"596","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"user_id":"15504","abstract":[{"text":"To meet quality-of-service requirements in changing environments, modern software systems adapt themselves. The structure, and correspondingly the behavior, of these systems undergoes continuous change. Model-driven performance engineering, however, assumes static system structures, behavior, and deployment. Hence, self-adaptive systems pose new challenges to model-driven performance engineering. There are a few surveys on self-adaptive systems, performance engineering, and the combination of both in the literature. In contrast to existing work, here we focus on model-driven performance analysis approaches. Based on a systematic literature review, we present a classication, identify open issues, and outline further research.","lang":"eng"}],"status":"public","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"creator":"florida","date_created":"2018-03-15T08:23:31Z","date_updated":"2018-03-15T08:23:31Z","access_level":"closed","file_name":"596-qosa25s-becker.pdf","file_id":"1256","file_size":141651}],"publication":"Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA'12)","type":"conference","title":"Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey","doi":"10.1145/2304696.2304716","date_updated":"2022-01-06T07:02:48Z","author":[{"last_name":"Becker","full_name":"Becker, Matthias","first_name":"Matthias"},{"first_name":"Markus","last_name":"Luckey","full_name":"Luckey, Markus"},{"first_name":"Steffen","last_name":"Becker","full_name":"Becker, Steffen"}],"date_created":"2017-10-17T12:42:48Z","year":"2012","page":"117-122","citation":{"ama":"Becker M, Luckey M, Becker S. Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey. In: <i>Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12)</i>. ; 2012:117-122. doi:<a href=\"https://doi.org/10.1145/2304696.2304716\">10.1145/2304696.2304716</a>","ieee":"M. Becker, M. Luckey, and S. Becker, “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey,” in <i>Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12)</i>, 2012, pp. 117–122.","chicago":"Becker, Matthias, Markus Luckey, and Steffen Becker. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” In <i>Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12)</i>, 117–22, 2012. <a href=\"https://doi.org/10.1145/2304696.2304716\">https://doi.org/10.1145/2304696.2304716</a>.","short":"M. Becker, M. Luckey, S. Becker, in: Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12), 2012, pp. 117–122.","mla":"Becker, Matthias, et al. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.” <i>Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12)</i>, 2012, pp. 117–22, doi:<a href=\"https://doi.org/10.1145/2304696.2304716\">10.1145/2304696.2304716</a>.","bibtex":"@inproceedings{Becker_Luckey_Becker_2012, title={Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey}, DOI={<a href=\"https://doi.org/10.1145/2304696.2304716\">10.1145/2304696.2304716</a>}, booktitle={Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12)}, author={Becker, Matthias and Luckey, Markus and Becker, Steffen}, year={2012}, pages={117–122} }","apa":"Becker, M., Luckey, M., &#38; Becker, S. (2012). Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey. In <i>Proceedings of the 8th ACM SigSoft International Conference on Quality of Software Architectures (QoSA’12)</i> (pp. 117–122). <a href=\"https://doi.org/10.1145/2304696.2304716\">https://doi.org/10.1145/2304696.2304716</a>"},"has_accepted_license":"1"},{"file":[{"success":1,"relation":"main_file","content_type":"application/pdf","file_size":1270467,"access_level":"closed","file_id":"1248","file_name":"610-MA_Mohr_2012_final.pdf","date_updated":"2018-03-15T08:13:40Z","creator":"florida","date_created":"2018-03-15T08:13:40Z"}],"status":"public","type":"mastersthesis","file_date_updated":"2018-03-15T08:13:40Z","ddc":["040"],"user_id":"15504","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"610","citation":{"ieee":"M. Mohr, <i>Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis</i>. Universität Paderborn, 2012.","chicago":"Mohr, Mario. <i>Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis</i>. Universität Paderborn, 2012.","ama":"Mohr M. <i>Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis</i>. Universität Paderborn; 2012.","short":"M. Mohr, Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis, Universität Paderborn, 2012.","bibtex":"@book{Mohr_2012, title={Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis}, publisher={Universität Paderborn}, author={Mohr, Mario}, year={2012} }","mla":"Mohr, Mario. <i>Generating Prototypes of Adaptive Component-Based Software Systems for Performance Analysis</i>. Universität Paderborn, 2012.","apa":"Mohr, M. (2012). <i>Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis</i>. Universität Paderborn."},"year":"2012","has_accepted_license":"1","title":"Generating Prototypes of Adaptive Component-based Software Systems for Performance Analysis","author":[{"first_name":"Mario","full_name":"Mohr, Mario","last_name":"Mohr"}],"date_created":"2017-10-17T12:42:51Z","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:02:52Z"},{"type":"mastersthesis","status":"public","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"614","user_id":"477","language":[{"iso":"ger"}],"year":"2012","citation":{"ieee":"S. Lehrig, <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>. Universität Paderborn, 2012.","chicago":"Lehrig, Sebastian. <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>. Universität Paderborn, 2012.","ama":"Lehrig S. <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>. Universität Paderborn; 2012.","apa":"Lehrig, S. (2012). <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>. Universität Paderborn.","mla":"Lehrig, Sebastian. <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>. Universität Paderborn, 2012.","bibtex":"@book{Lehrig_2012, title={Empirischer, quantitativer Vergleich von Modelltransformationssprachen}, publisher={Universität Paderborn}, author={Lehrig, Sebastian}, year={2012} }","short":"S. Lehrig, Empirischer, quantitativer Vergleich von Modelltransformationssprachen, Universität Paderborn, 2012."},"publisher":"Universität Paderborn","date_updated":"2022-01-06T07:02:53Z","date_created":"2017-10-17T12:42:51Z","author":[{"full_name":"Lehrig, Sebastian","last_name":"Lehrig","first_name":"Sebastian"}],"title":"Empirischer, quantitativer Vergleich von Modelltransformationssprachen"},{"status":"public","type":"conference","file_date_updated":"2018-03-15T10:24:06Z","_id":"565","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"_id":"3","name":"SFB 901 - Project Area B"}],"department":[{"_id":"77"}],"series_title":"LNCS","user_id":"477","page":"776-792","citation":{"chicago":"Besova, Galina, Sven Walther, Heike Wehrheim, and Steffen Becker. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.” In <i>Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)</i>, 776–92. LNCS, 2012. <a href=\"https://doi.org/10.1007/978-3-642-33666-9_49\">https://doi.org/10.1007/978-3-642-33666-9_49</a>.","ieee":"G. Besova, S. Walther, H. Wehrheim, and S. Becker, “Weaving-based configuration and modular transformation of multi-layer systems,” in <i>Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)</i>, 2012, pp. 776–792.","ama":"Besova G, Walther S, Wehrheim H, Becker S. Weaving-based configuration and modular transformation of multi-layer systems. In: <i>Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)</i>. LNCS. ; 2012:776-792. doi:<a href=\"https://doi.org/10.1007/978-3-642-33666-9_49\">10.1007/978-3-642-33666-9_49</a>","apa":"Besova, G., Walther, S., Wehrheim, H., &#38; Becker, S. (2012). Weaving-based configuration and modular transformation of multi-layer systems. In <i>Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)</i> (pp. 776–792). <a href=\"https://doi.org/10.1007/978-3-642-33666-9_49\">https://doi.org/10.1007/978-3-642-33666-9_49</a>","short":"G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS), 2012, pp. 776–792.","mla":"Besova, Galina, et al. “Weaving-Based Configuration and Modular Transformation of Multi-Layer Systems.” <i>Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)</i>, 2012, pp. 776–92, doi:<a href=\"https://doi.org/10.1007/978-3-642-33666-9_49\">10.1007/978-3-642-33666-9_49</a>.","bibtex":"@inproceedings{Besova_Walther_Wehrheim_Becker_2012, series={LNCS}, title={Weaving-based configuration and modular transformation of multi-layer systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-642-33666-9_49\">10.1007/978-3-642-33666-9_49</a>}, booktitle={Proceedings of the 15th International Conference on Model Driven Engineering Languages &#38; Systems (MoDELS)}, author={Besova, Galina and Walther, Sven and Wehrheim, Heike and Becker, Steffen}, year={2012}, pages={776–792}, collection={LNCS} }"},"has_accepted_license":"1","doi":"10.1007/978-3-642-33666-9_49","date_updated":"2022-01-06T07:02:20Z","author":[{"last_name":"Besova","full_name":"Besova, Galina","first_name":"Galina"},{"last_name":"Walther","full_name":"Walther, Sven","first_name":"Sven"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"},{"last_name":"Becker","full_name":"Becker, Steffen","first_name":"Steffen"}],"abstract":[{"text":"In model-driven development of multi-layer systems (e.g. application, platform and infrastructure), each layer is usually described by separate models. When generating analysis models or code, these separate models rst of all need to be linked. Hence, existing model transformations for single layers cannot be simply re-used. In this paper, we present a modular approach to the transformation of multi-layer systems. It employs model weaving to dene the interconnections between models of dierent layers. The weaving models themselves are subject to model transformations: The result of transforming a weaving model constitutes a conguration for the models obtained by transforming single layers, thereby allowing for a re-use of existing model transformations. We exemplify our approach by the generation of analysis models for component-based software.","lang":"eng"}],"file":[{"date_updated":"2018-03-15T10:24:06Z","creator":"florida","date_created":"2018-03-15T10:24:06Z","file_size":589972,"file_id":"1276","file_name":"565-Besova_et_al._-_2012_-_Weaving-Based_Configuration_and_Modular_Transformation_of_Multi-layer_Systems_01.pdf","access_level":"closed","content_type":"application/pdf","success":1,"relation":"main_file"}],"publication":"Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS)","ddc":["040"],"language":[{"iso":"eng"}],"year":"2012","title":"Weaving-based configuration and modular transformation of multi-layer systems","date_created":"2017-10-17T12:42:42Z"},{"file_date_updated":"2018-03-14T13:56:48Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"647","user_id":"477","department":[{"_id":"77"}],"status":"public","type":"journal_article","doi":"10.1016/j.scico.2011.01.009","date_updated":"2022-01-06T07:03:06Z","author":[{"first_name":"Michael","last_name":"Leuschel","full_name":"Leuschel, Michael"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573"}],"citation":{"ama":"Leuschel M, Wehrheim H. Selected papers on Integrated Formal Methods (iFM09). <i>Science of Computer Programming</i>. 2011;(10):835--836. doi:<a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">10.1016/j.scico.2011.01.009</a>","chicago":"Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” <i>Science of Computer Programming</i>, no. 10 (2011): 835--836. <a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">https://doi.org/10.1016/j.scico.2011.01.009</a>.","ieee":"M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” <i>Science of Computer Programming</i>, no. 10, pp. 835--836, 2011.","apa":"Leuschel, M., &#38; Wehrheim, H. (2011). Selected papers on Integrated Formal Methods (iFM09). <i>Science of Computer Programming</i>, (10), 835--836. <a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">https://doi.org/10.1016/j.scico.2011.01.009</a>","mla":"Leuschel, Michael, and Heike Wehrheim. “Selected Papers on Integrated Formal Methods (IFM09).” <i>Science of Computer Programming</i>, no. 10, Elsevier, 2011, pp. 835--836, doi:<a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">10.1016/j.scico.2011.01.009</a>.","bibtex":"@article{Leuschel_Wehrheim_2011, title={Selected papers on Integrated Formal Methods (iFM09)}, DOI={<a href=\"https://doi.org/10.1016/j.scico.2011.01.009\">10.1016/j.scico.2011.01.009</a>}, number={10}, journal={Science of Computer Programming}, publisher={Elsevier}, author={Leuschel, Michael and Wehrheim, Heike}, year={2011}, pages={835--836} }","short":"M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836."},"page":"835--836","has_accepted_license":"1","ddc":["040"],"language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","relation":"main_file","success":1,"creator":"florida","date_created":"2018-03-14T13:56:48Z","date_updated":"2018-03-14T13:56:48Z","access_level":"closed","file_id":"1226","file_name":"647-LeuschelWehrheim.pdf","file_size":139105}],"publication":"Science of Computer Programming","title":"Selected papers on Integrated Formal Methods (iFM09)","publisher":"Elsevier","date_created":"2017-10-17T12:42:58Z","year":"2011","issue":"10"},{"ddc":["040"],"language":[{"iso":"eng"}],"file_date_updated":"2018-03-14T13:55:38Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"_id":"649","user_id":"477","department":[{"_id":"77"}],"abstract":[{"text":"Today, the concept of service oriented architectures provides a way of building integrated solutions out of existing services. To this end, services from different providers are composed using advanced orchestration and choreography techniques. However, while this principle allows for greater flexibility at a smaller cost, the use of third party services also includes a risk: Deployed services might not work as claimed by their providers. In this paper, we propose a technique for analyzing the expected reliability of service compositions based on ratings given by (previous) service users. Every service thereby comes with a reputation, and the analysis computes an overall reliability of a service composition from the reputations of its constituent services. The proposed model-driven approach proceeds by translating statechart models of service compositions into input for a probabilistic model checker (PRISM) using state-of-the-art model transformations techniques. The approach has been implemented as an Eclipse plug-in and is fully compliant with UML.","lang":"eng"}],"file":[{"file_name":"649-ETAPS2011-Besova-Wehrheim-Wagner_01.pdf","access_level":"closed","file_id":"1225","file_size":534727,"creator":"florida","date_created":"2018-03-14T13:55:38Z","date_updated":"2018-03-14T13:55:38Z","relation":"main_file","success":1,"content_type":"application/pdf"}],"status":"public","type":"journal_article","publication":"Electronic Notes in Theoretical Computer Science","title":"Reputation-based Reliability Prediction of Service Compositions","doi":"10.1016/j.entcs.2011.11.008","publisher":"Elsevier","date_updated":"2022-01-06T07:03:07Z","date_created":"2017-10-17T12:42:58Z","author":[{"first_name":"Galina","full_name":"Besova, Galina","last_name":"Besova"},{"first_name":"Heike","full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim"},{"last_name":"Wagner","full_name":"Wagner, Annika","first_name":"Annika"}],"year":"2011","citation":{"apa":"Besova, G., Wehrheim, H., &#38; Wagner, A. (2011). Reputation-based Reliability Prediction of Service Compositions. <i>Electronic Notes in Theoretical Computer Science</i>, (2), 3–16. <a href=\"https://doi.org/10.1016/j.entcs.2011.11.008\">https://doi.org/10.1016/j.entcs.2011.11.008</a>","bibtex":"@article{Besova_Wehrheim_Wagner_2011, title={Reputation-based Reliability Prediction of Service Compositions}, DOI={<a href=\"https://doi.org/10.1016/j.entcs.2011.11.008\">10.1016/j.entcs.2011.11.008</a>}, number={2}, journal={Electronic Notes in Theoretical Computer Science}, publisher={Elsevier}, author={Besova, Galina and Wehrheim, Heike and Wagner, Annika}, year={2011}, pages={3–16} }","short":"G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.","mla":"Besova, Galina, et al. “Reputation-Based Reliability Prediction of Service Compositions.” <i>Electronic Notes in Theoretical Computer Science</i>, no. 2, Elsevier, 2011, pp. 3–16, doi:<a href=\"https://doi.org/10.1016/j.entcs.2011.11.008\">10.1016/j.entcs.2011.11.008</a>.","ama":"Besova G, Wehrheim H, Wagner A. Reputation-based Reliability Prediction of Service Compositions. <i>Electronic Notes in Theoretical Computer Science</i>. 2011;(2):3-16. doi:<a href=\"https://doi.org/10.1016/j.entcs.2011.11.008\">10.1016/j.entcs.2011.11.008</a>","chicago":"Besova, Galina, Heike Wehrheim, and Annika Wagner. “Reputation-Based Reliability Prediction of Service Compositions.” <i>Electronic Notes in Theoretical Computer Science</i>, no. 2 (2011): 3–16. <a href=\"https://doi.org/10.1016/j.entcs.2011.11.008\">https://doi.org/10.1016/j.entcs.2011.11.008</a>.","ieee":"G. Besova, H. Wehrheim, and A. Wagner, “Reputation-based Reliability Prediction of Service Compositions,” <i>Electronic Notes in Theoretical Computer Science</i>, no. 2, pp. 3–16, 2011."},"page":"3-16","has_accepted_license":"1","issue":"2"},{"file_date_updated":"2018-03-14T13:53:10Z","ddc":["040"],"user_id":"15504","series_title":"Karlsruhe Reports in Informatics","project":[{"_id":"1","name":"SFB 901"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"name":"SFB 901 - Project Area B","_id":"3"}],"_id":"653","file":[{"file_size":773622,"file_name":"653-Protocom-Lehrig_Zolynski.pdf","access_level":"closed","file_id":"1222","date_updated":"2018-03-14T13:53:10Z","creator":"florida","date_created":"2018-03-14T13:53:10Z","success":1,"relation":"main_file","content_type":"application/pdf"}],"status":"public","abstract":[{"lang":"eng","text":"Performance prototyping is an often used technique to assess the performance of software architectures early in the development process without relying on models of the system under study. ProtoCom is a prototype generator for the PCM realised as model-2-text transformation for which no experience report in a larger, virtualised setting exists. In this paper, we report on four case studies performed with an improved version of ProtoCom and report on the results gained with respect to analysis accuracy and usability. Our results demonstrate that the new version is much easier to use than previous versions and that results gained in our virtualised execution environment help in early assessments of performance under realistic conditions."}],"type":"conference","publication":"Proceedings of the Palladio Days 2011","doi":"10.5445/IR/1000025188 ","title":"Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study","author":[{"first_name":"Sebastian","last_name":"Lehrig","full_name":"Lehrig, Sebastian"},{"last_name":"Zolynski","full_name":"Zolynski, Thomas","first_name":"Thomas"}],"date_created":"2017-10-17T12:42:59Z","date_updated":"2022-01-06T07:03:10Z","citation":{"apa":"Lehrig, S., &#38; Zolynski, T. (2011). Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In <i>Proceedings of the Palladio Days 2011</i> (pp. 15–22). <a href=\"https://doi.org/10.5445/IR/1000025188 \">https://doi.org/10.5445/IR/1000025188 </a>","bibtex":"@inproceedings{Lehrig_Zolynski_2011, series={Karlsruhe Reports in Informatics}, title={Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study}, DOI={<a href=\"https://doi.org/10.5445/IR/1000025188 \">10.5445/IR/1000025188 </a>}, booktitle={Proceedings of the Palladio Days 2011}, author={Lehrig, Sebastian and Zolynski, Thomas}, year={2011}, pages={15–22}, collection={Karlsruhe Reports in Informatics} }","short":"S. Lehrig, T. Zolynski, in: Proceedings of the Palladio Days 2011, 2011, pp. 15–22.","mla":"Lehrig, Sebastian, and Thomas Zolynski. “Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study.” <i>Proceedings of the Palladio Days 2011</i>, 2011, pp. 15–22, doi:<a href=\"https://doi.org/10.5445/IR/1000025188 \">10.5445/IR/1000025188 </a>.","ieee":"S. Lehrig and T. Zolynski, “Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study,” in <i>Proceedings of the Palladio Days 2011</i>, 2011, pp. 15–22.","chicago":"Lehrig, Sebastian, and Thomas Zolynski. “Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study.” In <i>Proceedings of the Palladio Days 2011</i>, 15–22. Karlsruhe Reports in Informatics, 2011. <a href=\"https://doi.org/10.5445/IR/1000025188 \">https://doi.org/10.5445/IR/1000025188 </a>.","ama":"Lehrig S, Zolynski T. Performance Prototyping with ProtoCom in a Virtualised Environment: A Case Study. In: <i>Proceedings of the Palladio Days 2011</i>. Karlsruhe Reports in Informatics. ; 2011:15-22. doi:<a href=\"https://doi.org/10.5445/IR/1000025188 \">10.5445/IR/1000025188 </a>"},"page":"15-22","year":"2011","has_accepted_license":"1"},{"type":"mastersthesis","status":"public","citation":{"chicago":"Meyer, Joachim. <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud</i>. Universität Paderborn, 2011.","ieee":"J. Meyer, <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud</i>. Universität Paderborn, 2011.","ama":"Meyer J. <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud</i>. Universität Paderborn; 2011.","apa":"Meyer, J. (2011). <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud</i>. Universität Paderborn.","bibtex":"@book{Meyer_2011, title={Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud}, publisher={Universität Paderborn}, author={Meyer, Joachim}, year={2011} }","short":"J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud, Universität Paderborn, 2011.","mla":"Meyer, Joachim. <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud</i>. Universität Paderborn, 2011."},"year":"2011","user_id":"477","date_created":"2017-10-17T12:42:59Z","author":[{"last_name":"Meyer","full_name":"Meyer, Joachim","first_name":"Joachim"}],"_id":"655","publisher":"Universität Paderborn","date_updated":"2022-01-06T07:03:11Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B3","_id":"11"},{"name":"SFB 901 - Project Area B","_id":"3"}],"language":[{"iso":"ger"}],"title":"Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten Softwaresystemen in der Cloud"}]