---
_id: '556'
author:
- first_name: Tobias
  full_name: Nickel, Tobias
  last_name: Nickel
citation:
  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.
  bibtex: '@book{Nickel_2013, title={Analyse von Benutzeranforderungen von Service-Kompositionen
    mittels Modelchecking}, publisher={Universität Paderborn}, author={Nickel, Tobias},
    year={2013} }'
  chicago: Nickel, Tobias. <i>Analyse von Benutzeranforderungen von Service-Kompositionen
    mittels Modelchecking</i>. Universität Paderborn, 2013.
  ieee: T. Nickel, <i>Analyse von Benutzeranforderungen von Service-Kompositionen
    mittels Modelchecking</i>. Universität Paderborn, 2013.
  mla: Nickel, Tobias. <i>Analyse von Benutzeranforderungen von Service-Kompositionen
    mittels Modelchecking</i>. Universität Paderborn, 2013.
  short: T. Nickel, Analyse von Benutzeranforderungen von Service-Kompositionen mittels
    Modelchecking, Universität Paderborn, 2013.
date_created: 2017-10-17T12:42:40Z
date_updated: 2022-01-06T07:01:59Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking
type: bachelorsthesis
user_id: '477'
year: '2013'
...
---
_id: '569'
abstract:
- lang: eng
  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.
author:
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
- first_name: 'Claudia '
  full_name: 'Priesterjahn, Claudia '
  last_name: Priesterjahn
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>'
  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>
  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} }'
  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>.
  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.
  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>.
  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.'
date_created: 2017-10-17T12:42:43Z
date_updated: 2022-01-06T07:02:34Z
ddc:
- '040'
doi: 10.1145/2304736.2304742
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T10:19:12Z
  date_updated: 2018-03-15T10:19:12Z
  file_id: '1273'
  file_name: 569-CBSE12-Becker_Heinzemann_Priesterjahn.pdf
  file_size: 139679
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T10:19:12Z
has_accepted_license: '1'
page: 23--28
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based
  Software Engineering (CBSE)
status: public
title: Towards Modeling Reconfiguration in Hierarchical Component Architectures
type: conference
user_id: '15504'
year: '2012'
...
---
_id: '596'
abstract:
- lang: eng
  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.
author:
- first_name: Matthias
  full_name: Becker, Matthias
  last_name: Becker
- first_name: Markus
  full_name: Luckey, Markus
  last_name: Luckey
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
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>'
  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>'
  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} }'
  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>.'
  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.'
  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>.'
  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.'
date_created: 2017-10-17T12:42:48Z
date_updated: 2022-01-06T07:02:48Z
ddc:
- '040'
doi: 10.1145/2304696.2304716
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T08:23:31Z
  date_updated: 2018-03-15T08:23:31Z
  file_id: '1256'
  file_name: 596-qosa25s-becker.pdf
  file_size: 141651
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T08:23:31Z
has_accepted_license: '1'
page: 117-122
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 8th ACM SigSoft International Conference on Quality
  of Software Architectures (QoSA'12)
status: public
title: 'Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey'
type: conference
user_id: '15504'
year: '2012'
...
---
_id: '610'
author:
- first_name: Mario
  full_name: Mohr, Mario
  last_name: Mohr
citation:
  ama: Mohr M. <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.
  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} }'
  chicago: Mohr, Mario. <i>Generating Prototypes of Adaptive Component-Based Software
    Systems for Performance Analysis</i>. Universität Paderborn, 2012.
  ieee: M. Mohr, <i>Generating Prototypes of Adaptive Component-based Software Systems
    for Performance Analysis</i>. Universität Paderborn, 2012.
  mla: Mohr, Mario. <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.
date_created: 2017-10-17T12:42:51Z
date_updated: 2022-01-06T07:02:52Z
ddc:
- '040'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T08:13:40Z
  date_updated: 2018-03-15T08:13:40Z
  file_id: '1248'
  file_name: 610-MA_Mohr_2012_final.pdf
  file_size: 1270467
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T08:13:40Z
has_accepted_license: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Generating Prototypes of Adaptive Component-based Software Systems for Performance
  Analysis
type: mastersthesis
user_id: '15504'
year: '2012'
...
---
_id: '614'
author:
- first_name: Sebastian
  full_name: Lehrig, Sebastian
  last_name: Lehrig
citation:
  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.
  bibtex: '@book{Lehrig_2012, title={Empirischer, quantitativer Vergleich von Modelltransformationssprachen},
    publisher={Universität Paderborn}, author={Lehrig, Sebastian}, year={2012} }'
  chicago: Lehrig, Sebastian. <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>.
    Universität Paderborn, 2012.
  ieee: S. Lehrig, <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>.
    Universität Paderborn, 2012.
  mla: Lehrig, Sebastian. <i>Empirischer, quantitativer Vergleich von Modelltransformationssprachen</i>.
    Universität Paderborn, 2012.
  short: S. Lehrig, Empirischer, quantitativer Vergleich von Modelltransformationssprachen,
    Universität Paderborn, 2012.
date_created: 2017-10-17T12:42:51Z
date_updated: 2022-01-06T07:02:53Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Empirischer, quantitativer Vergleich von Modelltransformationssprachen
type: mastersthesis
user_id: '477'
year: '2012'
...
---
_id: '565'
abstract:
- lang: eng
  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.'
author:
- first_name: Galina
  full_name: Besova, Galina
  last_name: Besova
- first_name: Sven
  full_name: Walther, Sven
  last_name: Walther
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
citation:
  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>
  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}
    }'
  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.
  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>.
  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.'
date_created: 2017-10-17T12:42:42Z
date_updated: 2022-01-06T07:02:20Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-642-33666-9_49
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T10:24:06Z
  date_updated: 2018-03-15T10:24:06Z
  file_id: '1276'
  file_name: 565-Besova_et_al._-_2012_-_Weaving-Based_Configuration_and_Modular_Transformation_of_Multi-layer_Systems_01.pdf
  file_size: 589972
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T10:24:06Z
has_accepted_license: '1'
language:
- iso: eng
page: 776-792
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 15th International Conference on Model Driven Engineering
  Languages & Systems (MoDELS)
series_title: LNCS
status: public
title: Weaving-based configuration and modular transformation of multi-layer systems
type: conference
user_id: '477'
year: '2012'
...
---
_id: '647'
author:
- first_name: Michael
  full_name: Leuschel, Michael
  last_name: Leuschel
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
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>
  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>
  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}
    }'
  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.
  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>.
  short: M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:06Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.scico.2011.01.009
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:56:48Z
  date_updated: 2018-03-14T13:56:48Z
  file_id: '1226'
  file_name: 647-LeuschelWehrheim.pdf
  file_size: 139105
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:56:48Z
has_accepted_license: '1'
issue: '10'
language:
- iso: eng
page: 835--836
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '12'
  name: SFB 901 - Subproject B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Science of Computer Programming
publisher: Elsevier
status: public
title: Selected papers on Integrated Formal Methods (iFM09)
type: journal_article
user_id: '477'
year: '2011'
...
---
_id: '649'
abstract:
- lang: eng
  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.'
author:
- first_name: Galina
  full_name: Besova, Galina
  last_name: Besova
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
- first_name: Annika
  full_name: Wagner, Annika
  last_name: Wagner
citation:
  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>
  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}
    }'
  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.
  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>.
  short: G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer
    Science (2011) 3–16.
date_created: 2017-10-17T12:42:58Z
date_updated: 2022-01-06T07:03:07Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.entcs.2011.11.008
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:55:38Z
  date_updated: 2018-03-14T13:55:38Z
  file_id: '1225'
  file_name: 649-ETAPS2011-Besova-Wehrheim-Wagner_01.pdf
  file_size: 534727
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:55:38Z
has_accepted_license: '1'
issue: '2'
language:
- iso: eng
page: 3-16
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Electronic Notes in Theoretical Computer Science
publisher: Elsevier
status: public
title: Reputation-based Reliability Prediction of Service Compositions
type: journal_article
user_id: '477'
year: '2011'
...
---
_id: '653'
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.
author:
- first_name: Sebastian
  full_name: Lehrig, Sebastian
  last_name: Lehrig
- first_name: Thomas
  full_name: Zolynski, Thomas
  last_name: Zolynski
citation:
  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>'
  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} }'
  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>.'
  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.'
  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>.'
  short: 'S. Lehrig, T. Zolynski, in: Proceedings of the Palladio Days 2011, 2011,
    pp. 15–22.'
date_created: 2017-10-17T12:42:59Z
date_updated: 2022-01-06T07:03:10Z
ddc:
- '040'
doi: '10.5445/IR/1000025188 '
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-14T13:53:10Z
  date_updated: 2018-03-14T13:53:10Z
  file_id: '1222'
  file_name: 653-Protocom-Lehrig_Zolynski.pdf
  file_size: 773622
  relation: main_file
  success: 1
file_date_updated: 2018-03-14T13:53:10Z
has_accepted_license: '1'
page: 15-22
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the Palladio Days 2011
series_title: Karlsruhe Reports in Informatics
status: public
title: 'Performance Prototyping with ProtoCom in a Virtualised Environment: A Case
  Study'
type: conference
user_id: '15504'
year: '2011'
...
---
_id: '655'
author:
- first_name: Joachim
  full_name: Meyer, Joachim
  last_name: Meyer
citation:
  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} }'
  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.
  mla: Meyer, Joachim. <i>Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven
    Komponentenbasierten Softwaresystemen in der Cloud</i>. Universität Paderborn,
    2011.
  short: J. Meyer, Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten
    Softwaresystemen in der Cloud, Universität Paderborn, 2011.
date_created: 2017-10-17T12:42:59Z
date_updated: 2022-01-06T07:03:11Z
language:
- iso: ger
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Modellgetriebene Skalierbarkeitsanalyse von selbst-adaptiven Komponentenbasierten
  Softwaresystemen in der Cloud
type: mastersthesis
user_id: '477'
year: '2011'
...