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