---
_id: '20983'
abstract:
- lang: eng
  text: In many areas, such as automotive, healthcare, or production, we find software-intensive
    systems with complex real-time requirements. To efficiently ensure the quality
    of these systems, engineers require automated tools for the validation of the
    requirements throughout the development. This, however, requires that the requirements
    are specified in an analyzable way. We propose modeling the specification using
    Modal Sequence Diagrams (MSDs), which express what a system may, must, or must
    not do in certain situations. MSDs can be executed via the play-out algorithm
    to investigate the behavior emerging from the interplay of multiple scenarios;
    we can also test if traces of the final product satisfy all scenarios. In this
    paper, we present the first tool supporting the play-out of MSDs with real-time
    constraints. As a case study, we modeled the requirements on gear shifts in an
    upcoming standard on vehicle testing and use our tool to validate externally generated
    gear shift sequences.
author:
- first_name: Christian
  full_name: Brenner, Christian
  last_name: Brenner
- first_name: Joel
  full_name: Greenyer, Joel
  last_name: Greenyer
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
- first_name: Grischa
  full_name: Liebel, Grischa
  last_name: Liebel
- first_name: Gerald
  full_name: Stieglbauer, Gerald
  last_name: Stieglbauer
- first_name: Matthias
  full_name: Tichy, Matthias
  last_name: Tichy
citation:
  ama: 'Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools
    Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In:
    <i>Proceedings of the 13th International Workshop on Graph Transformation and
    Visual Modeling Techniques (GT-VMT 2014)</i>. ; 2014.'
  apa: Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., &#38;
    Tichy, M. (2014). ScenarioTools Real-Time Play-Out for Test Sequence Validation
    in an Automotive Case Study. <i>Proceedings of the 13th International Workshop
    on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>.
  bibtex: '@inproceedings{Brenner_Greenyer_Holtmann_Liebel_Stieglbauer_Tichy_2014,
    title={ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive
    Case Study}, booktitle={Proceedings of the 13th International Workshop on Graph
    Transformation and Visual Modeling Techniques (GT-VMT 2014)}, author={Brenner,
    Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer,
    Gerald and Tichy, Matthias}, year={2014} }'
  chicago: Brenner, Christian, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald
    Stieglbauer, and Matthias Tichy. “ScenarioTools Real-Time Play-Out for Test Sequence
    Validation in an Automotive Case Study.” In <i>Proceedings of the 13th International
    Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>,
    2014.
  ieee: C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy,
    “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive
    Case Study,” 2014.
  mla: Brenner, Christian, et al. “ScenarioTools Real-Time Play-Out for Test Sequence
    Validation in an Automotive Case Study.” <i>Proceedings of the 13th International
    Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)</i>,
    2014.
  short: 'C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy,
    in: Proceedings of the 13th International Workshop on Graph Transformation and
    Visual Modeling Techniques (GT-VMT 2014), 2014.'
date_created: 2021-01-13T13:36:09Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: Proceedings of the 13th International Workshop on Graph Transformation
  and Visual Modeling Techniques (GT-VMT 2014)
status: public
title: ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive
  Case Study
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '20905'
author:
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Jörg
  full_name: Holtmann, Jörg
  id: '3875'
  last_name: Holtmann
  orcid: 0000-0001-6141-4571
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
citation:
  ama: 'Pohlmann U, Holtmann J, Meyer M, Gerking C. Generating Modelica Models from
    Software Specifications for the Simulation of Cyber-physical Systems. In: <i>Proceedings
    of the 40th Euromicro Conference on Software Engineering and Advanced Applications
    (SEAA)</i>. IEEE Xplore; 2014.'
  apa: Pohlmann, U., Holtmann, J., Meyer, M., &#38; Gerking, C. (2014). Generating
    Modelica Models from Software Specifications for the Simulation of Cyber-physical
    Systems. <i>Proceedings of the 40th Euromicro Conference on Software Engineering
    and Advanced Applications (SEAA)</i>.
  bibtex: '@inproceedings{Pohlmann_Holtmann_Meyer_Gerking_2014, title={Generating
    Modelica Models from Software Specifications for the Simulation of Cyber-physical
    Systems}, booktitle={Proceedings of the 40th Euromicro Conference on Software
    Engineering and Advanced Applications (SEAA)}, publisher={IEEE Xplore}, author={Pohlmann,
    Uwe and Holtmann, Jörg and Meyer, Matthias and Gerking, Christopher}, year={2014}
    }'
  chicago: Pohlmann, Uwe, Jörg Holtmann, Matthias Meyer, and Christopher Gerking.
    “Generating Modelica Models from Software Specifications for the Simulation of
    Cyber-Physical Systems.” In <i>Proceedings of the 40th Euromicro Conference on
    Software Engineering and Advanced Applications (SEAA)</i>. IEEE Xplore, 2014.
  ieee: U. Pohlmann, J. Holtmann, M. Meyer, and C. Gerking, “Generating Modelica Models
    from Software Specifications for the Simulation of Cyber-physical Systems,” 2014.
  mla: Pohlmann, Uwe, et al. “Generating Modelica Models from Software Specifications
    for the Simulation of Cyber-Physical Systems.” <i>Proceedings of the 40th Euromicro
    Conference on Software Engineering and Advanced Applications (SEAA)</i>, IEEE
    Xplore, 2014.
  short: 'U. Pohlmann, J. Holtmann, M. Meyer, C. Gerking, in: Proceedings of the 40th
    Euromicro Conference on Software Engineering and Advanced Applications (SEAA),
    IEEE Xplore, 2014.'
date_created: 2021-01-12T14:03:55Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: Proceedings of the 40th Euromicro Conference on Software Engineering
  and Advanced Applications (SEAA)
publisher: IEEE Xplore
status: public
title: Generating Modelica Models from Software Specifications for the Simulation
  of Cyber-physical Systems
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '20907'
author:
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
citation:
  ama: 'Becker S, Dziwok S, Gerking C, et al. The MechatronicUML Method: Model-Driven
    Software Engineering of Self-Adaptive Mechatronic Systems. In: <i>Proceedings
    of the 36th International Conference on Software Engineering (Posters)</i>. ACM,
    New York, NY, USA; 2014.'
  apa: 'Becker, S., Dziwok, S., Gerking, C., Heinzemann, C., Schäfer, W., Meyer, M.,
    &#38; Pohlmann, U. (2014). The MechatronicUML Method: Model-Driven Software Engineering
    of Self-Adaptive Mechatronic Systems. <i>Proceedings of the 36th International
    Conference on Software Engineering (Posters)</i>.'
  bibtex: '@inproceedings{Becker_Dziwok_Gerking_Heinzemann_Schäfer_Meyer_Pohlmann_2014,
    title={The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive
    Mechatronic Systems}, booktitle={Proceedings of the 36th International Conference
    on Software Engineering (Posters)}, publisher={ACM, New York, NY, USA}, author={Becker,
    Steffen and Dziwok, Stefan and Gerking, Christopher and Heinzemann, Christian
    and Schäfer, Wilhelm and Meyer, Matthias and Pohlmann, Uwe}, year={2014} }'
  chicago: 'Becker, Steffen, Stefan Dziwok, Christopher Gerking, Christian Heinzemann,
    Wilhelm Schäfer, Matthias Meyer, and Uwe Pohlmann. “The MechatronicUML Method:
    Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” In <i>Proceedings
    of the 36th International Conference on Software Engineering (Posters)</i>. ACM,
    New York, NY, USA, 2014.'
  ieee: 'S. Becker <i>et al.</i>, “The MechatronicUML Method: Model-Driven Software
    Engineering of Self-Adaptive Mechatronic Systems,” 2014.'
  mla: 'Becker, Steffen, et al. “The MechatronicUML Method: Model-Driven Software
    Engineering of Self-Adaptive Mechatronic Systems.” <i>Proceedings of the 36th
    International Conference on Software Engineering (Posters)</i>, ACM, New York,
    NY, USA, 2014.'
  short: 'S. Becker, S. Dziwok, C. Gerking, C. Heinzemann, W. Schäfer, M. Meyer, U.
    Pohlmann, in: Proceedings of the 36th International Conference on Software Engineering
    (Posters), ACM, New York, NY, USA, 2014.'
date_created: 2021-01-12T14:06:40Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
publication: Proceedings of the 36th International Conference on Software Engineering
  (Posters)
publisher: ACM, New York, NY, USA
status: public
title: 'The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive
  Mechatronic Systems'
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '20908'
author:
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: Matthias
  full_name: Tichy, Matthias
  last_name: Tichy
- first_name: Sebastian
  full_name: Thiele, Sebastian
  last_name: Thiele
citation:
  ama: 'Pohlmann U, Dziwok S, Meyer M, Tichy M, Thiele S. A Modelica Coordination
    Pattern Library for Cyber-Physical Systems. In: <i>Proceedings of the 7th International
    ICST Conference on Simulation Tools and Techniques</i>. ; 2014.'
  apa: Pohlmann, U., Dziwok, S., Meyer, M., Tichy, M., &#38; Thiele, S. (2014). A
    Modelica Coordination Pattern Library for Cyber-Physical Systems. <i>Proceedings
    of the 7th International ICST Conference on Simulation Tools and Techniques</i>.
  bibtex: '@inproceedings{Pohlmann_Dziwok_Meyer_Tichy_Thiele_2014, title={A Modelica
    Coordination Pattern Library for Cyber-Physical Systems}, booktitle={Proceedings
    of the 7th International ICST Conference on Simulation Tools and Techniques},
    author={Pohlmann, Uwe and Dziwok, Stefan and Meyer, Matthias and Tichy, Matthias
    and Thiele, Sebastian}, year={2014} }'
  chicago: Pohlmann, Uwe, Stefan Dziwok, Matthias Meyer, Matthias Tichy, and Sebastian
    Thiele. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.”
    In <i>Proceedings of the 7th International ICST Conference on Simulation Tools
    and Techniques</i>, 2014.
  ieee: U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, and S. Thiele, “A Modelica Coordination
    Pattern Library for Cyber-Physical Systems,” 2014.
  mla: Pohlmann, Uwe, et al. “A Modelica Coordination Pattern Library for Cyber-Physical
    Systems.” <i>Proceedings of the 7th International ICST Conference on Simulation
    Tools and Techniques</i>, 2014.
  short: 'U. Pohlmann, S. Dziwok, M. Meyer, M. Tichy, S. Thiele, in: Proceedings of
    the 7th International ICST Conference on Simulation Tools and Techniques, 2014.'
date_created: 2021-01-12T14:07:40Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
main_file_link:
- url: http://dl.acm.org/citation.cfm?id=2643106&CFID=389201271&CFTOKEN=71445276
publication: Proceedings of the 7th International ICST Conference on Simulation Tools
  and Techniques
status: public
title: A Modelica Coordination Pattern Library for Cyber-Physical Systems
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '20909'
author:
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
- first_name: Sebastian
  full_name: Thiele, Sebastian
  last_name: Thiele
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: Claudia
  full_name: Priesterjahn, Claudia
  last_name: Priesterjahn
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Matthias
  full_name: Tichy, Matthias
  last_name: Tichy
citation:
  ama: Becker S, Dziwok S, Gerking C, et al. <i>The MechatronicUML Design Method -
    Process and Language for Platform-Independent Modeling</i>.; 2014.
  apa: Becker, S., Dziwok, S., Gerking, C., Schäfer, W., Heinzemann, C., Thiele, S.,
    Meyer, M., Priesterjahn, C., Pohlmann, U., &#38; Tichy, M. (2014). <i>The MechatronicUML
    Design Method - Process and Language for Platform-Independent Modeling</i>.
  bibtex: '@book{Becker_Dziwok_Gerking_Schäfer_Heinzemann_Thiele_Meyer_Priesterjahn_Pohlmann_Tichy_2014,
    title={The MechatronicUML Design Method - Process and Language for Platform-Independent
    Modeling}, author={Becker, Steffen and Dziwok, Stefan and Gerking, Christopher
    and Schäfer, Wilhelm and Heinzemann, Christian and Thiele, Sebastian and Meyer,
    Matthias and Priesterjahn, Claudia and Pohlmann, Uwe and Tichy, Matthias}, year={2014}
    }'
  chicago: Becker, Steffen, Stefan Dziwok, Christopher Gerking, Wilhelm Schäfer, Christian
    Heinzemann, Sebastian Thiele, Matthias Meyer, Claudia Priesterjahn, Uwe Pohlmann,
    and Matthias Tichy. <i>The MechatronicUML Design Method - Process and Language
    for Platform-Independent Modeling</i>, 2014.
  ieee: S. Becker <i>et al.</i>, <i>The MechatronicUML Design Method - Process and
    Language for Platform-Independent Modeling</i>. 2014.
  mla: Becker, Steffen, et al. <i>The MechatronicUML Design Method - Process and Language
    for Platform-Independent Modeling</i>. 2014.
  short: S. Becker, S. Dziwok, C. Gerking, W. Schäfer, C. Heinzemann, S. Thiele, M.
    Meyer, C. Priesterjahn, U. Pohlmann, M. Tichy, The MechatronicUML Design Method
    - Process and Language for Platform-Independent Modeling, 2014.
date_created: 2021-01-12T14:08:53Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
status: public
title: The MechatronicUML Design Method - Process and Language for Platform-Independent
  Modeling
type: report
user_id: '5786'
year: '2014'
...
---
_id: '20910'
author:
- first_name: Uwe
  full_name: Pohlmann, Uwe
  last_name: Pohlmann
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: Andreas Peter
  full_name: Dann, Andreas Peter
  last_name: Dann
- first_name: Christopher
  full_name: Brink, Christopher
  last_name: Brink
citation:
  ama: 'Pohlmann U, Meyer M, Dann AP, Brink C. Viewpoints and Views in Hardware Platform
    Modeling for Safe Deployment. In: <i>Proceedings of the 2Nd Workshop on View-Based,
    Aspect-Oriented and Orthographic Software Modelling</i>. ACM, New York, NY, USA;
    2014:23:23-23:30.'
  apa: Pohlmann, U., Meyer, M., Dann, A. P., &#38; Brink, C. (2014). Viewpoints and
    Views in Hardware Platform Modeling for Safe Deployment. <i>Proceedings of the
    2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>,
    23:23-23:30.
  bibtex: '@inproceedings{Pohlmann_Meyer_Dann_Brink_2014, title={Viewpoints and Views
    in Hardware Platform Modeling for Safe Deployment}, booktitle={Proceedings of
    the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling},
    publisher={ACM, New York, NY, USA}, author={Pohlmann, Uwe and Meyer, Matthias
    and Dann, Andreas Peter and Brink, Christopher}, year={2014}, pages={23:23-23:30}
    }'
  chicago: Pohlmann, Uwe, Matthias Meyer, Andreas Peter Dann, and Christopher Brink.
    “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” In <i>Proceedings
    of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>,
    23:23-23:30. ACM, New York, NY, USA, 2014.
  ieee: U. Pohlmann, M. Meyer, A. P. Dann, and C. Brink, “Viewpoints and Views in
    Hardware Platform Modeling for Safe Deployment,” in <i>Proceedings of the 2Nd
    Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling</i>,
    2014, p. 23:23-23:30.
  mla: Pohlmann, Uwe, et al. “Viewpoints and Views in Hardware Platform Modeling for
    Safe Deployment.” <i>Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented
    and Orthographic Software Modelling</i>, ACM, New York, NY, USA, 2014, p. 23:23-23:30.
  short: 'U. Pohlmann, M. Meyer, A.P. Dann, C. Brink, in: Proceedings of the 2Nd Workshop
    on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York,
    NY, USA, 2014, p. 23:23-23:30.'
date_created: 2021-01-12T14:09:51Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
page: 23:23-23:30
publication: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic
  Software Modelling
publisher: ACM, New York, NY, USA
status: public
title: Viewpoints and Views in Hardware Platform Modeling for Safe Deployment
type: conference
user_id: '5786'
year: '2014'
...
---
_id: '449'
abstract:
- lang: eng
  text: Cloud computing resulted in a continuously growing number of provided software
    services to be used by consumers. Brokers discover services that fit best to consumers'
    requirements by matching Qualityof-Service (QoS) properties. In order to negotiate
    Service-Level Agreements (SLAs), a provider has to determine the provided QoS
    based on QoS analyses. However, the risk for the provider to violate the SLA is
    high as the service's actual quality can deviate from the specified QoS due to
    uncertainties that occur during the provider's quality analysis. In this paper,
    we discuss current software engineering paradigms like cloud computing and service-oriented
    computing with respect to the amount of uncertainty they induce into service matching
    and SLA negotiations. As a result, we explain, why cloud computing reduces such
    uncertainties.
author:
- first_name: Matthias
  full_name: Becker, Matthias
  last_name: Becker
- first_name: Marie Christin
  full_name: Platenius, Marie Christin
  last_name: Platenius
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
citation:
  ama: 'Becker M, Platenius MC, Becker S. Cloud Computing Reduces Uncertainties in
    Quality-of-Service Matching! In: <i>Proceedings of the 2nd International Workshop
    on Cloud Service Brokerage (CSB)</i>. Communications in Computer and Information
    Science. ; 2014:153-159. doi:<a href="https://doi.org/10.1007/978-3-319-14886-1_15">10.1007/978-3-319-14886-1_15</a>'
  apa: Becker, M., Platenius, M. C., &#38; Becker, S. (2014). Cloud Computing Reduces
    Uncertainties in Quality-of-Service Matching! In <i>Proceedings of the 2nd International
    Workshop on Cloud Service Brokerage (CSB)</i> (pp. 153–159). <a href="https://doi.org/10.1007/978-3-319-14886-1_15">https://doi.org/10.1007/978-3-319-14886-1_15</a>
  bibtex: '@inproceedings{Becker_Platenius_Becker_2014, series={Communications in
    Computer and Information Science}, title={Cloud Computing Reduces Uncertainties
    in Quality-of-Service Matching!}, DOI={<a href="https://doi.org/10.1007/978-3-319-14886-1_15">10.1007/978-3-319-14886-1_15</a>},
    booktitle={Proceedings of the 2nd International Workshop on Cloud Service Brokerage
    (CSB)}, author={Becker, Matthias and Platenius, Marie Christin and Becker, Steffen},
    year={2014}, pages={153–159}, collection={Communications in Computer and Information
    Science} }'
  chicago: Becker, Matthias, Marie Christin Platenius, and Steffen Becker. “Cloud
    Computing Reduces Uncertainties in Quality-of-Service Matching!” In <i>Proceedings
    of the 2nd International Workshop on Cloud Service Brokerage (CSB)</i>, 153–59.
    Communications in Computer and Information Science, 2014. <a href="https://doi.org/10.1007/978-3-319-14886-1_15">https://doi.org/10.1007/978-3-319-14886-1_15</a>.
  ieee: M. Becker, M. C. Platenius, and S. Becker, “Cloud Computing Reduces Uncertainties
    in Quality-of-Service Matching!,” in <i>Proceedings of the 2nd International Workshop
    on Cloud Service Brokerage (CSB)</i>, 2014, pp. 153–159.
  mla: Becker, Matthias, et al. “Cloud Computing Reduces Uncertainties in Quality-of-Service
    Matching!” <i>Proceedings of the 2nd International Workshop on Cloud Service Brokerage
    (CSB)</i>, 2014, pp. 153–59, doi:<a href="https://doi.org/10.1007/978-3-319-14886-1_15">10.1007/978-3-319-14886-1_15</a>.
  short: 'M. Becker, M.C. Platenius, S. Becker, in: Proceedings of the 2nd International
    Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.'
date_created: 2017-10-17T12:42:19Z
date_updated: 2022-01-06T07:01:06Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1007/978-3-319-14886-1_15
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:26:04Z
  date_updated: 2018-03-16T11:26:04Z
  file_id: '1346'
  file_name: 449-CSB2014_01.pdf
  file_size: 362248
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:26:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 153-159
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '9'
  name: SFB 901 - Subproject B1
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 2nd International Workshop on Cloud Service Brokerage
  (CSB)
series_title: Communications in Computer and Information Science
status: public
title: Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
type: conference
user_id: '477'
year: '2014'
...
---
_id: '401'
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.
author:
- first_name: Marie Christin
  full_name: Platenius, Marie Christin
  last_name: Platenius
- first_name: Svetlana
  full_name: Arifulina, Svetlana
  last_name: Arifulina
- first_name: Ronald
  full_name: Petrlic, Ronald
  last_name: Petrlic
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
citation:
  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>'
  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>
  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} }'
  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>.
  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.
  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>.
  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.'
date_created: 2017-10-17T12:42:10Z
date_updated: 2022-01-06T07:00:07Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1007/978-3-319-14886-1_2
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:38:13Z
  date_updated: 2018-03-16T11:38:13Z
  file_id: '1367'
  file_name: 401-WAS4FI2014.pdf
  file_size: 396656
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:38:13Z
has_accepted_license: '1'
language:
- iso: eng
page: 6-17
project:
- _id: '1'
  name: SFB 901
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '4'
  name: SFB 901 - Project Area C
publication: Proceedings of the 4th International Workshop on Adaptive Services for
  the Future Internet
series_title: Communications in Computer and Information Science
status: public
title: Matching of Incomplete Service Specifications Exemplified by Privacy Policy
  Matching
type: conference
user_id: '477'
year: '2014'
...
---
_id: '402'
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.
author:
- first_name: Svetlana
  full_name: Arifulina, Svetlana
  last_name: Arifulina
- first_name: Marie Christin
  full_name: Platenius, Marie Christin
  last_name: Platenius
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
citation:
  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>'
  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>
  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} }'
  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.
  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.'
date_created: 2017-10-17T12:42:10Z
date_updated: 2022-01-06T07:00:07Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1007/978-3-662-45391-9_47
editor:
- first_name: Xavier
  full_name: Franch, Xavier
  last_name: Franch
- first_name: AdityaK.
  full_name: Ghose, AdityaK.
  last_name: Ghose
- first_name: GraceA.
  full_name: Lewis, GraceA.
  last_name: Lewis
- first_name: Sami
  full_name: Bhiri, Sami
  last_name: Bhiri
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:38:59Z
  date_updated: 2018-03-16T11:38:59Z
  file_id: '1368'
  file_name: 402-ICSOC2014.pdf
  file_size: 377432
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:38:59Z
has_accepted_license: '1'
language:
- iso: eng
page: 543-550
project:
- _id: '1'
  name: SFB 901
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '11'
  name: SFB 901 - Subproject B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 12th International Conference on Service Oriented
  Computing (ICSOC 2014)
series_title: LNCS
status: public
title: Market-optimized Service Specification and Matching
type: conference
user_id: '477'
year: '2014'
...
---
_id: '409'
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.
author:
- first_name: Marie Christin
  full_name: Platenius, Marie Christin
  last_name: Platenius
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
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>'
  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>
  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} }'
  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.
  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>.
  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.'
date_created: 2017-10-17T12:42:11Z
date_updated: 2022-01-06T07:00:15Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1007/978-3-319-09970-5_19
editor:
- first_name: Paris
  full_name: Avgeriou, Paris
  last_name: Avgeriou
- first_name: Uwe
  full_name: Zdun, Uwe
  last_name: Zdun
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:34:58Z
  date_updated: 2018-03-16T11:34:58Z
  file_id: '1363'
  file_name: 409-ecsa14.pdf
  file_size: 395884
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:34:58Z
has_accepted_license: '1'
language:
- iso: eng
page: 210-217
project:
- _id: '1'
  name: SFB 901
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '11'
  name: SFB 901 - Subproject B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 8th European Conference on Software Architecture (ECSA
  2014)
series_title: LNCS
status: public
title: Integrating Service Matchers into a Service Market Architecture
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5189'
author:
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Siegfried
  full_name: Rasthofer, Siegfried
  last_name: Rasthofer
- first_name: Christian
  full_name: Fritz, Christian
  last_name: Fritz
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Alexandre
  full_name: Bartel, Alexandre
  last_name: Bartel
- first_name: Jacques
  full_name: Klein, Jacques
  last_name: Klein
- first_name: Yves
  full_name: Le Traon, Yves
  last_name: Le Traon
- first_name: Damien
  full_name: Octeau, Damien
  last_name: Octeau
- first_name: Patrick
  full_name: McDaniel, Patrick
  last_name: McDaniel
citation:
  ama: 'Arzt S, Rasthofer S, Fritz C, et al. FlowDroid: Precise Context, Flow, Field,
    Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In: <i>Proceedings
    of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
    - PLDI ’14</i>. ACM Press; 2014. doi:<a href="https://doi.org/10.1145/2594291.2594299">10.1145/2594291.2594299</a>'
  apa: 'Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., … McDaniel,
    P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
    Taint Analysis for Android Apps. In <i>Proceedings of the 35th ACM SIGPLAN Conference
    on Programming Language Design and Implementation - PLDI ’14</i>. ACM Press. <a
    href="https://doi.org/10.1145/2594291.2594299">https://doi.org/10.1145/2594291.2594299</a>'
  bibtex: '@inproceedings{Arzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014,
    title={FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
    Taint Analysis for Android Apps}, DOI={<a href="https://doi.org/10.1145/2594291.2594299">10.1145/2594291.2594299</a>},
    booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
    Design and Implementation - PLDI ’14}, publisher={ACM Press}, author={Arzt, Steven
    and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre
    and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick},
    year={2014} }'
  chicago: 'Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre
    Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “FlowDroid:
    Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis
    for Android Apps.” In <i>Proceedings of the 35th ACM SIGPLAN Conference on Programming
    Language Design and Implementation - PLDI ’14</i>. ACM Press, 2014. <a href="https://doi.org/10.1145/2594291.2594299">https://doi.org/10.1145/2594291.2594299</a>.'
  ieee: 'S. Arzt <i>et al.</i>, “FlowDroid: Precise Context, Flow, Field, Object-sensitive
    and Lifecycle-aware Taint Analysis for Android Apps,” in <i>Proceedings of the
    35th ACM SIGPLAN Conference on Programming Language Design and Implementation
    - PLDI ’14</i>, 2014.'
  mla: 'Arzt, Steven, et al. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive
    and Lifecycle-Aware Taint Analysis for Android Apps.” <i>Proceedings of the 35th
    ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI
    ’14</i>, ACM Press, 2014, doi:<a href="https://doi.org/10.1145/2594291.2594299">10.1145/2594291.2594299</a>.'
  short: 'S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon,
    D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on
    Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.'
date_created: 2018-10-31T10:55:28Z
date_updated: 2022-01-06T07:01:42Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2594291.2594299
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T13:59:33Z
  date_updated: 2018-11-02T13:59:33Z
  file_id: '5258'
  file_name: p259-arzt.pdf
  file_size: 406920
  relation: main_file
  success: 1
file_date_updated: 2018-11-02T13:59:33Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/far+14flowdroid.pdf
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
  Design and Implementation - PLDI '14
publication_identifier:
  isbn:
  - '9781450327848'
publication_status: published
publisher: ACM Press
status: public
title: 'FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
  Taint Analysis for Android Apps'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5190'
author:
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Siegfried
  full_name: Rasthofer, Siegfried
  last_name: Rasthofer
- first_name: Enrico
  full_name: Lovat, Enrico
  last_name: Lovat
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric,
    System-Wide Policies in Android. In: <i>International Conference on Availability,
    Reliability and Security (ARES 2014)</i>. IEEE; 2014:40-49.'
  apa: 'Arzt, S., Rasthofer, S., Lovat, E., &#38; Bodden, E. (2014). DroidForce: Enforcing
    Complex, Data-Centric, System-Wide Policies in Android. In <i>International Conference
    on Availability, Reliability and Security (ARES 2014)</i> (pp. 40–49). IEEE.'
  bibtex: '@inproceedings{Arzt_Rasthofer_Lovat_Bodden_2014, title={DroidForce: Enforcing
    Complex, Data-Centric, System-Wide Policies in Android}, booktitle={International
    Conference on Availability, Reliability and Security (ARES 2014)}, publisher={IEEE},
    author={Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric},
    year={2014}, pages={40–49} }'
  chicago: 'Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce:
    Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In <i>International
    Conference on Availability, Reliability and Security (ARES 2014)</i>, 40–49. IEEE,
    2014.'
  ieee: 'S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex,
    Data-Centric, System-Wide Policies in Android,” in <i>International Conference
    on Availability, Reliability and Security (ARES 2014)</i>, 2014, pp. 40–49.'
  mla: 'Arzt, Steven, et al. “DroidForce: Enforcing Complex, Data-Centric, System-Wide
    Policies in Android.” <i>International Conference on Availability, Reliability
    and Security (ARES 2014)</i>, IEEE, 2014, pp. 40–49.'
  short: 'S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference
    on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.'
date_created: 2018-10-31T11:04:43Z
date_updated: 2022-01-06T07:01:43Z
ddc:
- '004'
department:
- _id: '76'
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T13:21:13Z
  date_updated: 2018-11-02T13:21:13Z
  file_id: '5247'
  file_name: ralb14droidforce.pdf
  file_size: 661565
  relation: main_file
file_date_updated: 2018-11-02T13:21:13Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ralb14droidforce.pdf
page: 40-49
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: International Conference on Availability, Reliability and Security (ARES
  2014)
publisher: IEEE
status: public
title: 'DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '20978'
author:
- first_name: Marcus
  full_name: Hüwe, Marcus
  id: '13606'
  last_name: Hüwe
citation:
  ama: Hüwe M. <i>Das Verteilungsproblem Für Mechatronische Systeme</i>. Universität
    Paderborn, Heinz Nixdorf Institut, Softwaretechnik; 2013.
  apa: Hüwe, M. (2013). <i>Das Verteilungsproblem für mechatronische Systeme</i>.
    Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
  bibtex: '@book{Hüwe_2013, title={Das Verteilungsproblem für mechatronische Systeme},
    publisher={Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik}, author={Hüwe,
    Marcus}, year={2013} }'
  chicago: Hüwe, Marcus. <i>Das Verteilungsproblem Für Mechatronische Systeme</i>.
    Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
  ieee: M. Hüwe, <i>Das Verteilungsproblem für mechatronische Systeme</i>. Universität
    Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
  mla: Hüwe, Marcus. <i>Das Verteilungsproblem Für Mechatronische Systeme</i>. Universität
    Paderborn, Heinz Nixdorf Institut, Softwaretechnik, 2013.
  short: M. Hüwe, Das Verteilungsproblem Für Mechatronische Systeme, Universität Paderborn,
    Heinz Nixdorf Institut, Softwaretechnik, 2013.
date_created: 2021-01-13T13:23:53Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publisher: Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik
status: public
title: Das Verteilungsproblem für mechatronische Systeme
type: bachelorsthesis
user_id: '5786'
year: '2013'
...
---
_id: '20980'
abstract:
- lang: ger
  text: Das Thema Elektromobilität hat in der Fahrzeugindustrie in den letzten Jahren
    viel Aufmerksamkeit erhalten. Gerade im Bereich der Entwicklung von Steuergeräte-Software
    ist der Bedarf an frühzeitiger Absicherung hoch. Nur so können Produkteinführungszeiten
    minimiert und effektiv Entwicklungskosten eingespart werden. Komplexe Werkzeugketten
    und die verteilte Entwicklung erschweren den Prozess und verlängern die Entwicklungszeit.
    Das Förderprojekt „Simulationsgestützter Entwurf für Elektrofahrzeuge“, kurz „E-Mobil“,
    nimmt sich der Herausforderungen einer verteilten Entwicklung von Steuergeräte-Software
    an. Vier Projektpartner aus Industrie und Forschung untersuchen die Besonderheiten
    sowohl bzgl. des Entwurfsprozesses, als auch der beteiligten Entwurfswerkzeuge
    im Vergleich zur konventionellen Fahrzeugentwicklung. Im Fokus stehen die Modellierung
    und die simulationsgestützte Absicherung in frühen Entwurfsstadien. Die Modellierung
    umfasst Regelungssoftware sowie die für die Simulation nötigen elektrischen und
    mechatronischen Komponenten. Die vorliegende Arbeit stellt die Kernthemen sowie
    aktuelle Ergebnisse aus dem Projekt vor.
author:
- first_name: Emad
  full_name: Farshizadeh, Emad
  last_name: Farshizadeh
- first_name: Hermann
  full_name: Briese, Hermann
  last_name: Briese
- first_name: David
  full_name: Steinmann, David
  last_name: Steinmann
- first_name: Lars
  full_name: Stockmann, Lars
  id: '48144'
  last_name: Stockmann
- first_name: Steffen
  full_name: Beringer, Steffen
  last_name: Beringer
- first_name: Dominik
  full_name: Holler, Dominik
  last_name: Holler
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Christian
  full_name: Heinzemann, Christian
  last_name: Heinzemann
- first_name: Klaus
  full_name: Peter, Klaus
  last_name: Peter
- first_name: Michael
  full_name: Leuer, Michael
  last_name: Leuer
citation:
  ama: 'Farshizadeh E, Briese H, Steinmann D, et al. Simulationsgestützter Entwurf
    für Elektrofahrzeuge. In: <i>8. Dortmunder Autotag</i>. ; 2013.'
  apa: Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler,
    D., Klobedanz, K., Heinzemann, C., Peter, K., &#38; Leuer, M. (2013). Simulationsgestützter
    Entwurf für Elektrofahrzeuge. <i>8. Dortmunder Autotag</i>.
  bibtex: '@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013,
    title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder
    Autotag}, author={Farshizadeh, Emad and Briese, Hermann and Steinmann, David and
    Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and
    Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }'
  chicago: Farshizadeh, Emad, Hermann Briese, David Steinmann, Lars Stockmann, Steffen
    Beringer, Dominik Holler, Kay Klobedanz, Christian Heinzemann, Klaus Peter, and
    Michael Leuer. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.” In <i>8.
    Dortmunder Autotag</i>, 2013.
  ieee: E. Farshizadeh <i>et al.</i>, “Simulationsgestützter Entwurf für Elektrofahrzeuge,”
    2013.
  mla: Farshizadeh, Emad, et al. “Simulationsgestützter Entwurf Für Elektrofahrzeuge.”
    <i>8. Dortmunder Autotag</i>, 2013.
  short: 'E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler,
    K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, 2013.'
date_created: 2021-01-13T13:28:47Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publication: 8. Dortmunder Autotag
status: public
title: Simulationsgestützter Entwurf für Elektrofahrzeuge
type: conference
user_id: '5786'
year: '2013'
...
---
_id: '20985'
abstract:
- lang: ger
  text: "Die in der Automobilindustrie verwendeten eingebetteten Systeme gehören zu
    den komplexesten eingebetteten Systemen. Die Automobilhersteller sind in der Entwicklung
    ständig bemüht sowohl die Sicherheit und den Komfort des Fahrers also auch der
    anderen Insassen zu verbessern. Die meisten der entwickelten Systeme sind sowohl
    zeit- als auch sicherheitskritisch. Einer Studie von Mercedes-Benz zufolge resultieren
    80% der Innovationen in der Automobilbranche aus neuen Elektronikkomponenten,
    deren Funktionen zu 90% durch Software realisiert wird. Um die steigende Komplexität
    in der Entwicklung von eingebetteten Systemen zu beherrschen wird in der Automobilbranche
    immer öfter die modelbasierte Softwareentwicklung anstelle der klassischen Programmierung
    eingesetzt. Im Requirements Engineering, der ersten Phase der Entwicklung eines
    Produktes, werden die Anforderungen gesammelt und dokumentiert. Die Dokumentation
    erfolgt mittels natürlicher Sprache. Modellbasierte Ansätze werden heutzutage
    höchstens unterstützend eingesetzt. Während des Requirements Engineerings muss
    der Requirements Engineer sowohl die funktionalen Anforderungen an das zu entwickelnde
    System als auch seine zeitlichen Anforderungen spezifizieren und analysieren.
    Die funktionalen Anforderungen umfassen dabei insbesondere die Kommunikation zwischen
    den verschiedenen Teilsystemen. Szenarien stellen eine intuitive Möglichkeit zur
    Modellierung von funktionalen Anforderungen dar. Im Rahmen dieser Arbeit wird
    ein modellbasierter Ansatz zur Modellierung von Szenarien verwendet. Anforderungen
    an das zeitliche Verhalten werden innerhalb der Architektur spezifiziert. Dazu
    stehen in der Automobilbranche Architekturbeschreibungssprachen wie EAST-ADL zur
    Verfügung. Obwohl sowohl funktionale als auch zeitliche Anforderungen an das System
    spezifiziert und analysiert werden müssen, existiert bisher keine Methodik, die
    beide Ansätze miteinander kombiniert. Aus diesem Grund wurde im Rahmen dieser
    Arbeit eine neue Requirements Engineering Methodik entwickelt, die eine systematische
    und ganzheitliche Spezifikation und Analyse der funktionalen und zeitlichen Anforderungen
    bereitstellt. Wir haben zwei Modelltransformationen entwickelt, um den Requirements
    Engineer beim Übergang von den funktionalen zu den zeitlichen Anforderungen zu
    unterstützen. Die vorliegende Arbeit wird durch eine Evaluierung der Methodik,
    sowie der Modelltransformationen auf Basis eines Komfortsteuergerätes abgerundet.\r\n"
author:
- first_name: Thorsten
  full_name: Koch, Thorsten
  id: '13616'
  last_name: Koch
citation:
  ama: Koch T. <i>Combining Scenario-Based and Architecture-Based Timing Requirements</i>.
    University of Paderborn; 2013.
  apa: Koch, T. (2013). <i>Combining Scenario-based and Architecture-based Timing
    Requirements</i>. University of Paderborn.
  bibtex: '@book{Koch_2013, title={Combining Scenario-based and Architecture-based
    Timing Requirements}, publisher={University of Paderborn}, author={Koch, Thorsten},
    year={2013} }'
  chicago: Koch, Thorsten. <i>Combining Scenario-Based and Architecture-Based Timing
    Requirements</i>. University of Paderborn, 2013.
  ieee: T. Koch, <i>Combining Scenario-based and Architecture-based Timing Requirements</i>.
    University of Paderborn, 2013.
  mla: Koch, Thorsten. <i>Combining Scenario-Based and Architecture-Based Timing Requirements</i>.
    University of Paderborn, 2013.
  short: T. Koch, Combining Scenario-Based and Architecture-Based Timing Requirements,
    University of Paderborn, 2013.
date_created: 2021-01-13T13:44:06Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '76'
language:
- iso: eng
publisher: University of Paderborn
status: public
title: Combining Scenario-based and Architecture-based Timing Requirements
type: mastersthesis
user_id: '5786'
year: '2013'
...
---
_id: '20831'
abstract:
- lang: ger
  text: Die Komplexität von mechatronischen Systemen wird stetig größer. MechatronicUML
    (MUML) ist eine Methode zur Entwicklung für Software von mechatronischen Systemen.
    Im Rahmen einer Bachelorarbeit wurde ein bestehender Quelltextgenerator für MUML-Modelle
    so erweitert, dass Quelltext für ein Echtzeitbetriebssystem generiert werden kann,
    welches auf einem LEGO Mindstorms-Roboter installiert ist.
author:
- first_name: Johannes
  full_name: Geismann, Johannes
  id: '20063'
  last_name: Geismann
  orcid: https://orcid.org/0000-0003-2015-2047
citation:
  ama: 'Geismann J. Quelltextgenerierung für LEGO Mindstorms-Roboter. In: <i>Berichtsband
    Der Informatiktage 2013: Smarte Sichten, Smarte Schichten</i>. Vol 12. GI-Edition
    - Lecture Notes in Informatics (LNI). Köllen Verlag; 2013:71-74.'
  apa: 'Geismann, J. (2013). Quelltextgenerierung für LEGO Mindstorms-Roboter. <i>Berichtsband
    Der Informatiktage 2013: Smarte Sichten, Smarte Schichten</i>, <i>12</i>, 71–74.'
  bibtex: '@inproceedings{Geismann_2013, place={Bonn, Germany}, series={GI-Edition
    - Lecture Notes in Informatics (LNI)}, title={Quelltextgenerierung für LEGO Mindstorms-Roboter},
    volume={12}, booktitle={Berichtsband der Informatiktage 2013: Smarte Sichten,
    smarte Schichten}, publisher={Köllen Verlag}, author={Geismann, Johannes}, year={2013},
    pages={71–74}, collection={GI-Edition - Lecture Notes in Informatics (LNI)} }'
  chicago: 'Geismann, Johannes. “Quelltextgenerierung Für LEGO Mindstorms-Roboter.”
    In <i>Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten</i>,
    12:71–74. GI-Edition - Lecture Notes in Informatics (LNI). Bonn, Germany: Köllen
    Verlag, 2013.'
  ieee: 'J. Geismann, “Quelltextgenerierung für LEGO Mindstorms-Roboter,” in <i>Berichtsband
    der Informatiktage 2013: Smarte Sichten, smarte Schichten</i>, 2013, vol. 12,
    pp. 71–74.'
  mla: 'Geismann, Johannes. “Quelltextgenerierung Für LEGO Mindstorms-Roboter.” <i>Berichtsband
    Der Informatiktage 2013: Smarte Sichten, Smarte Schichten</i>, vol. 12, Köllen
    Verlag, 2013, pp. 71–74.'
  short: 'J. Geismann, in: Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte
    Schichten, Köllen Verlag, Bonn, Germany, 2013, pp. 71–74.'
date_created: 2020-12-22T09:59:27Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
intvolume: '        12'
language:
- iso: eng
main_file_link:
- url: http://subs.emis.de/LNI/Seminar/Seminar12/S-12.pdf#page=72
page: 71-74
place: Bonn, Germany
publication: 'Berichtsband der Informatiktage 2013: Smarte Sichten, smarte Schichten'
publisher: Köllen Verlag
series_title: GI-Edition - Lecture Notes in Informatics (LNI)
status: public
title: Quelltextgenerierung für LEGO Mindstorms-Roboter
type: conference
user_id: '5786'
volume: 12
year: '2013'
...
---
_id: '20913'
author:
- first_name: Jens
  full_name: Frieben, Jens
  last_name: Frieben
- first_name: Henning
  full_name: Heutger, Henning
  last_name: Heutger
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: Steffen
  full_name: Becker, Steffen
  last_name: Becker
citation:
  ama: 'Frieben J, Heutger H, Meyer M, Becker S. Modulare Leistungsprognose von Kompaktsteuerungen.
    In: <i>9. Paderborner Workshop Entwurf Mechatronischer Systeme</i>. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn; 2013:147-160.'
  apa: Frieben, J., Heutger, H., Meyer, M., &#38; Becker, S. (2013). Modulare Leistungsprognose
    von Kompaktsteuerungen. <i>9. Paderborner Workshop Entwurf Mechatronischer Systeme</i>,
    147–160.
  bibtex: '@inproceedings{Frieben_Heutger_Meyer_Becker_2013, place={Paderborn}, title={Modulare
    Leistungsprognose von Kompaktsteuerungen}, booktitle={9. Paderborner Workshop
    Entwurf mechatronischer Systeme}, publisher={Verlagsschriftenreihe des Heinz Nixdorf
    Instituts, Paderborn}, author={Frieben, Jens and Heutger, Henning and Meyer, Matthias
    and Becker, Steffen}, year={2013}, pages={147–160} }'
  chicago: 'Frieben, Jens, Henning Heutger, Matthias Meyer, and Steffen Becker. “Modulare
    Leistungsprognose von Kompaktsteuerungen.” In <i>9. Paderborner Workshop Entwurf
    Mechatronischer Systeme</i>, 147–60. Paderborn: Verlagsschriftenreihe des Heinz
    Nixdorf Instituts, Paderborn, 2013.'
  ieee: J. Frieben, H. Heutger, M. Meyer, and S. Becker, “Modulare Leistungsprognose
    von Kompaktsteuerungen,” in <i>9. Paderborner Workshop Entwurf mechatronischer
    Systeme</i>, 2013, pp. 147–160.
  mla: Frieben, Jens, et al. “Modulare Leistungsprognose von Kompaktsteuerungen.”
    <i>9. Paderborner Workshop Entwurf Mechatronischer Systeme</i>, Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, 2013, pp. 147–60.
  short: 'J. Frieben, H. Heutger, M. Meyer, S. Becker, in: 9. Paderborner Workshop
    Entwurf Mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn, Paderborn, 2013, pp. 147–160.'
date_created: 2021-01-12T14:20:58Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
- _id: '241'
language:
- iso: eng
page: 147-160
place: Paderborn
publication: 9. Paderborner Workshop Entwurf mechatronischer Systeme
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Modulare Leistungsprognose von Kompaktsteuerungen
type: conference
user_id: '5786'
year: '2013'
...
---
_id: '484'
abstract:
- lang: eng
  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.
author:
- first_name: Marie Christin
  full_name: Platenius, Marie Christin
  last_name: Platenius
- first_name: Markus
  full_name: von Detten, Markus
  last_name: von Detten
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  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>'
  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>
  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} }'
  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>.
  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.
  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>.
  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.'
date_created: 2017-10-17T12:42:26Z
date_updated: 2022-01-06T07:01:27Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1109/ICWS.2013.98
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T13:57:42Z
  date_updated: 2018-03-15T13:57:42Z
  file_id: '1319'
  file_name: 484-Platenius_et_al_ICWS2013.pdf
  file_size: 262082
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T13:57:42Z
has_accepted_license: '1'
language:
- iso: eng
page: 613-614
project:
- _id: '1'
  name: SFB 901
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '3'
  name: SFB 901 - Project Area B
publication: IEEE 20th International Conference on Web Services (ICWS 2013)
status: public
title: Service Matching under Consideration of Explicitly Specified Service Variants
type: conference
user_id: '477'
year: '2013'
...
---
_id: '494'
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.
author:
- first_name: Markus
  full_name: von Detten, Markus
  last_name: von Detten
citation:
  ama: von Detten M. <i>Reengineering of Component-Based Software Systems in the Presence
    of Design Deficiencies</i>. 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.
  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} }'
  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.
  mla: von Detten, Markus. <i>Reengineering of Component-Based Software Systems in
    the Presence of Design Deficiencies</i>. Universität Paderborn, 2013.
  short: M. von Detten, Reengineering of Component-Based Software Systems in the Presence
    of Design Deficiencies, Universität Paderborn, 2013.
date_created: 2017-10-17T12:42:28Z
date_updated: 2022-01-06T07:01:30Z
ddc:
- '040'
department:
- _id: '76'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T13:43:42Z
  date_updated: 2018-03-15T13:43:42Z
  file_id: '1315'
  file_name: 494-Dissertation-vonDetten.pdf
  file_size: 11101635
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T13:43:42Z
has_accepted_license: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
title: Reengineering of Component-Based Software Systems in the Presence of Design
  Deficiencies
type: dissertation
user_id: '477'
year: '2013'
...
---
_id: '527'
abstract:
- lang: eng
  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. '
author:
- first_name: Marie
  full_name: Christin Platenius, Marie
  last_name: Christin Platenius
citation:
  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>'
  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>
  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} }'
  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>.
  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.
  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>.
  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.'
date_created: 2017-10-17T12:42:35Z
date_updated: 2022-01-06T07:01:48Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1145/2491411.2492405
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-15T10:36:38Z
  date_updated: 2018-03-15T10:36:38Z
  file_id: '1295'
  file_name: 527-p715-platenius.pdf
  file_size: 730490
  relation: main_file
  success: 1
file_date_updated: 2018-03-15T10:36:38Z
has_accepted_license: '1'
language:
- iso: eng
page: ' 715-718 '
project:
- _id: '1'
  name: SFB 901
- _id: '9'
  name: SFB 901 - Subprojekt B1
- _id: '3'
  name: SFB 901 - Project Area B
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)
status: public
title: Fuzzy Service Matching in On-The-Fly Computing
type: conference
user_id: '477'
year: '2013'
...
