---
_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. Quality Assurance with Dynamic Meta Modeling. Universität
Paderborn; 2013. doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
apa: Soltenborn, C. (2013). Quality Assurance with Dynamic Meta Modeling.
Universität Paderborn. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420
bibtex: '@book{Soltenborn_2013, title={Quality Assurance with Dynamic Meta Modeling},
DOI={http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420},
publisher={Universität Paderborn}, author={Soltenborn, Christian}, year={2013}
}'
chicago: Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling.
Universität Paderborn, 2013. http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
ieee: C. Soltenborn, Quality Assurance with Dynamic Meta Modeling. Universität
Paderborn, 2013.
mla: Soltenborn, Christian. Quality Assurance with Dynamic Meta Modeling.
Universität Paderborn, 2013, doi:http://nbn-resolving.de/urn:nbn:de:hbz:466:2-12420.
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: '502'
abstract:
- lang: eng
text: Self-adaptation allows continuously running software systems to operate in
changing and uncertain contexts while meeting their requirements in a broad range
of contexts, e.g., from low to high load situations. As a consequence, requirementsfor
self-adaptive systems are more complex than requirements for static systems as
they have to explicitly address properties of the self-adaptation layer.While
approaches exist in the literature to capture this new type of requirements formally,
their achievement cannot be analyzed in early design phases yet. In this paper,
we apply RELAX to formally specify non-functional requirements for self-adaptive
systems. We then apply our model-based SimuLizar approach for a semi-automatic
analysis to test whether the self-adaptation layer ensures that these non-functional
requirements are met. We evaluate our approach on the design of a proof-of-concept
load balancer system. As this evaluation demonstrates, we can iteratively improve
our system design by improving unsatisfactory self-adaption rules.
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Markus
full_name: Luckey, Markus
last_name: Luckey
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Becker M, Luckey M, Becker S. Performance Analysis of Self-Adaptive Systems
for Requirements Validation at Design-Time. In: Proceedings of the 9th ACM
SigSoft International Conference on Quality of Software Architectures (QoSA’13).
; 2013:43-52. doi:10.1145/2465478.2465489'
apa: Becker, M., Luckey, M., & Becker, S. (2013). Performance Analysis of Self-Adaptive
Systems for Requirements Validation at Design-Time. In Proceedings of the 9th
ACM SigSoft International Conference on Quality of Software Architectures (QoSA’13)
(pp. 43–52). https://doi.org/10.1145/2465478.2465489
bibtex: '@inproceedings{Becker_Luckey_Becker_2013, title={Performance Analysis of
Self-Adaptive Systems for Requirements Validation at Design-Time}, DOI={10.1145/2465478.2465489},
booktitle={Proceedings of the 9th ACM SigSoft International Conference on Quality
of Software Architectures (QoSA’13)}, author={Becker, Matthias and Luckey, Markus
and Becker, Steffen}, year={2013}, pages={43–52} }'
chicago: Becker, Matthias, Markus Luckey, and Steffen Becker. “Performance Analysis
of Self-Adaptive Systems for Requirements Validation at Design-Time.” In Proceedings
of the 9th ACM SigSoft International Conference on Quality of Software Architectures
(QoSA’13), 43–52, 2013. https://doi.org/10.1145/2465478.2465489.
ieee: M. Becker, M. Luckey, and S. Becker, “Performance Analysis of Self-Adaptive
Systems for Requirements Validation at Design-Time,” in Proceedings of the
9th ACM SigSoft International Conference on Quality of Software Architectures
(QoSA’13), 2013, pp. 43–52.
mla: Becker, Matthias, et al. “Performance Analysis of Self-Adaptive Systems for
Requirements Validation at Design-Time.” Proceedings of the 9th ACM SigSoft
International Conference on Quality of Software Architectures (QoSA’13), 2013,
pp. 43–52, doi:10.1145/2465478.2465489.
short: 'M. Becker, M. Luckey, S. Becker, in: Proceedings of the 9th ACM SigSoft
International Conference on Quality of Software Architectures (QoSA’13), 2013,
pp. 43–52.'
date_created: 2017-10-17T12:42:30Z
date_updated: 2022-01-06T07:01:35Z
ddc:
- '040'
doi: 10.1145/2465478.2465489
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T13:39:29Z
date_updated: 2018-03-15T13:39:29Z
file_id: '1309'
file_name: 502-qosa33f.pdf
file_size: 320384
relation: main_file
success: 1
file_date_updated: 2018-03-15T13:39:29Z
has_accepted_license: '1'
page: '43-52 '
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 9th ACM SigSoft International Conference on Quality
of Software Architectures (QoSA'13)
status: public
title: Performance Analysis of Self-Adaptive Systems for Requirements Validation at
Design-Time
type: conference
user_id: '15504'
year: '2013'
...
---
_id: '504'
author:
- first_name: Simon
full_name: Schwichtenberg, Simon
id: '13235'
last_name: Schwichtenberg
citation:
ama: Schwichtenberg S. Ontology-Based Normalization and Matching of Rich Service
Descriptions. Universität Paderborn; 2013.
apa: Schwichtenberg, S. (2013). Ontology-based Normalization and Matching of
Rich Service Descriptions. Universität Paderborn.
bibtex: '@book{Schwichtenberg_2013, title={Ontology-based Normalization and Matching
of Rich Service Descriptions}, publisher={Universität Paderborn}, author={Schwichtenberg,
Simon}, year={2013} }'
chicago: Schwichtenberg, Simon. Ontology-Based Normalization and Matching of
Rich Service Descriptions. Universität Paderborn, 2013.
ieee: S. Schwichtenberg, Ontology-based Normalization and Matching of Rich Service
Descriptions. Universität Paderborn, 2013.
mla: Schwichtenberg, Simon. Ontology-Based Normalization and Matching of Rich
Service Descriptions. Universität Paderborn, 2013.
short: S. Schwichtenberg, Ontology-Based Normalization and Matching of Rich Service
Descriptions, Universität Paderborn, 2013.
date_created: 2017-10-17T12:42:30Z
date_updated: 2022-01-06T07:01:35Z
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
title: Ontology-based Normalization and Matching of Rich Service Descriptions
type: mastersthesis
user_id: '15504'
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: Proceedings of the Multikonferenz Sofware
Engineering 2013 (SE 2013). LNI. ; 2013:17-18.'
apa: Engels, G. (2013). On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma
fürSoftwaresysteme der Zukunft. In Proceedings of the Multikonferenz Sofware
Engineering 2013 (SE 2013) (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 Proceedings of the Multikonferenz Sofware
Engineering 2013 (SE 2013), 17–18. LNI, 2013.
ieee: G. Engels, “On-The-Fly Computing -- Das Entwicklungs- und Betriebsparadigma
fürSoftwaresysteme der Zukunft,” in Proceedings of the Multikonferenz Sofware
Engineering 2013 (SE 2013), 2013, pp. 17–18.
mla: Engels, Gregor. “On-The-Fly Computing -- Das Entwicklungs- Und Betriebsparadigma
FürSoftwaresysteme Der Zukunft.” Proceedings of the Multikonferenz Sofware
Engineering 2013 (SE 2013), 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: '515'
abstract:
- lang: eng
text: The as a service paradigm reflects the fundamental idea of providing basic
coherent functionality in terms of components that can be utilised on demand.
These so-called services may also be interconnected in order to provide more complex
functionality. Automation of this service composition process is indeed a formidable
challenge. In our work, we are addressing this challenge by decomposing service
composition into sequential decision making steps. Each step is supported by a
recommendation mechanism. If composition requests recur over time and if evaluations
of composition results are fed back, a proper recommendation strategy can evolve
over time through learning from experience. In this paper, we describe our approach
of modelling this service composition and recommendation process as Markov decision
process and of solving it by means of reinforcement learning. A case study serves
as proof of concept.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
- first_name: Elisabeth
full_name: Kleinjohann, Elisabeth
id: '15588'
last_name: Kleinjohann
citation:
ama: Jungmann A, Kleinjohann B, Kleinjohann E. Learning Service Recommendations.
International Journal of Business Process Integration and Management. 2013;(4):284-297.
doi:10.1504/IJBPIM.2013.059135
apa: Jungmann, A., Kleinjohann, B., & Kleinjohann, E. (2013). Learning Service
Recommendations. International Journal of Business Process Integration and
Management, (4), 284–297. https://doi.org/10.1504/IJBPIM.2013.059135
bibtex: '@article{Jungmann_Kleinjohann_Kleinjohann_2013, title={Learning Service
Recommendations}, DOI={10.1504/IJBPIM.2013.059135},
number={4}, journal={International Journal of Business Process Integration and
Management}, publisher={InderScience}, author={Jungmann, Alexander and Kleinjohann,
Bernd and Kleinjohann, Elisabeth}, year={2013}, pages={284–297} }'
chicago: 'Jungmann, Alexander, Bernd Kleinjohann, and Elisabeth Kleinjohann. “Learning
Service Recommendations.” International Journal of Business Process Integration
and Management, no. 4 (2013): 284–97. https://doi.org/10.1504/IJBPIM.2013.059135.'
ieee: A. Jungmann, B. Kleinjohann, and E. Kleinjohann, “Learning Service Recommendations,”
International Journal of Business Process Integration and Management, no.
4, pp. 284–297, 2013.
mla: Jungmann, Alexander, et al. “Learning Service Recommendations.” International
Journal of Business Process Integration and Management, no. 4, InderScience,
2013, pp. 284–97, doi:10.1504/IJBPIM.2013.059135.
short: A. Jungmann, B. Kleinjohann, E. Kleinjohann, International Journal of Business
Process Integration and Management (2013) 284–297.
date_created: 2017-10-17T12:42:32Z
date_updated: 2022-01-06T07:01:39Z
ddc:
- '040'
doi: 10.1504/IJBPIM.2013.059135
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T10:43:38Z
date_updated: 2018-03-15T10:43:38Z
file_id: '1301'
file_name: 515-IJBPIM060402_JUNGMANN.pdf
file_size: 5301831
relation: main_file
success: 1
file_date_updated: 2018-03-15T10:43:38Z
has_accepted_license: '1'
issue: '4'
main_file_link:
- url: http://www.inderscience.com/offer.php?id=59135
page: 284-297
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '3'
name: SFB 901 - Project Area B
publication: International Journal of Business Process Integration and Management
publisher: InderScience
status: public
title: Learning Service Recommendations
type: journal_article
user_id: '477'
year: '2013'
...
---
_id: '516'
abstract:
- lang: eng
text: 'The as a Service paradigm reflects the fundamental idea of providing basic
coherent functionality in terms of components that can be utilized on demand.
These so-called services may also be interconnected in order to provide more complex
functionality. Automation of this service composition process is indeed a formidable
challenge. In our work, we are addressing this challenge by decomposing service
composition into sequential decision making steps. Each step is supported by a
recommendation mechanism. If composition requests recur over time and if evaluations
of composition results are fed back, a proper recommendation strategy can evolve
over time through learning from experience. In this paper, we describe our general
idea of modeling this service composition and recommendation process as Markov
Decision Process and of solving it by means of Reinforcement Learning. A case
study serves as proof of concept. '
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jungmann A, Kleinjohann B. Learning Recommendation System for Automated Service
Composition. In: Proceedings of the 10th IEEE International Conference on Services
Computing (SCC). ; 2013:97-104. doi:10.1109/SCC.2013.66'
apa: Jungmann, A., & Kleinjohann, B. (2013). Learning Recommendation System
for Automated Service Composition. In Proceedings of the 10th IEEE International
Conference on Services Computing (SCC) (pp. 97–104). https://doi.org/10.1109/SCC.2013.66
bibtex: '@inproceedings{Jungmann_Kleinjohann_2013, title={Learning Recommendation
System for Automated Service Composition}, DOI={10.1109/SCC.2013.66},
booktitle={Proceedings of the 10th IEEE International Conference on Services Computing
(SCC)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2013}, pages={97–104}
}'
chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Learning Recommendation System
for Automated Service Composition.” In Proceedings of the 10th IEEE International
Conference on Services Computing (SCC), 97–104, 2013. https://doi.org/10.1109/SCC.2013.66.
ieee: A. Jungmann and B. Kleinjohann, “Learning Recommendation System for Automated
Service Composition,” in Proceedings of the 10th IEEE International Conference
on Services Computing (SCC), 2013, pp. 97–104.
mla: Jungmann, Alexander, and Bernd Kleinjohann. “Learning Recommendation System
for Automated Service Composition.” Proceedings of the 10th IEEE International
Conference on Services Computing (SCC), 2013, pp. 97–104, doi:10.1109/SCC.2013.66.
short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International
Conference on Services Computing (SCC), 2013, pp. 97–104.'
date_created: 2017-10-17T12:42:33Z
date_updated: 2022-01-06T07:01:40Z
ddc:
- '040'
doi: 10.1109/SCC.2013.66
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T10:43:03Z
date_updated: 2018-03-15T10:43:03Z
file_id: '1300'
file_name: 516-manuscript.pdf
file_size: 1762714
relation: main_file
success: 1
file_date_updated: 2018-03-15T10:43:03Z
has_accepted_license: '1'
page: 97-104
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 10th IEEE International Conference on Services Computing
(SCC)
status: public
title: Learning Recommendation System for Automated Service Composition
type: conference
user_id: '15504'
year: '2013'
...
---
_id: '517'
abstract:
- lang: eng
text: In the Semantic (Web) Services area, services are considered black boxes with
a semantic description of their interfaces as to allow for precise service selection
and configuration. The semantic description is usually grounded on domain-specific
concepts as modeled in ontologies. This accounts for types used in service signatures,
but also predicates occurring in preconditions and effects of services. Ontologies,
in particular those enhanced with rules, capture the knowledge of domain experts
on properties of and relations between domain concepts. In this paper, we present
a verification technique for service compositions which makes use of this domain
knowledge. We consider a service composition to be an assembly of services of
which we just know signatures, preconditions, and effects. We aim at proving that
a composition satisfies a (user-defined) requirement, specified in terms of guaranteed
preconditions and required postconditions. As an underlying verification engine
we use an SMT solver. To take advantage of the domain knowledge (and often, to
enable verification at all), the knowledge is fed into the solver in the form of
sorts, uninterpreted functions and in particular assertions as to enhance the
solver’s reasoning capabilities. Thereby, we allow for deductions within a domain
previously unknown to the solver. We exemplify our technique on a case study from
the area of water network optimization software.
author:
- first_name: Sven
full_name: Walther, Sven
last_name: Walther
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Walther S, Wehrheim H. Knowledge-Based Verification of Service Compositions
- An SMT approach. In: Proceedings of the 18th IEEE International Conference
on Engineering of Complex Computer Systems (ICECCS). ; 2013:24-32. doi:10.1109/ICECCS.2013.14'
apa: Walther, S., & Wehrheim, H. (2013). Knowledge-Based Verification of Service
Compositions - An SMT approach. In Proceedings of the 18th IEEE International
Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 24–32).
https://doi.org/10.1109/ICECCS.2013.14
bibtex: '@inproceedings{Walther_Wehrheim_2013, title={Knowledge-Based Verification
of Service Compositions - An SMT approach}, DOI={10.1109/ICECCS.2013.14},
booktitle={Proceedings of the 18th IEEE International Conference on Engineering
of Complex Computer Systems (ICECCS)}, author={Walther, Sven and Wehrheim, Heike},
year={2013}, pages={24–32} }'
chicago: Walther, Sven, and Heike Wehrheim. “Knowledge-Based Verification of Service
Compositions - An SMT Approach.” In Proceedings of the 18th IEEE International
Conference on Engineering of Complex Computer Systems (ICECCS), 24–32, 2013.
https://doi.org/10.1109/ICECCS.2013.14.
ieee: S. Walther and H. Wehrheim, “Knowledge-Based Verification of Service Compositions
- An SMT approach,” in Proceedings of the 18th IEEE International Conference
on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
mla: Walther, Sven, and Heike Wehrheim. “Knowledge-Based Verification of Service
Compositions - An SMT Approach.” Proceedings of the 18th IEEE International
Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp.
24–32, doi:10.1109/ICECCS.2013.14.
short: 'S. Walther, H. Wehrheim, in: Proceedings of the 18th IEEE International
Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.'
date_created: 2017-10-17T12:42:33Z
date_updated: 2022-01-06T07:01:41Z
ddc:
- '000'
department:
- _id: '77'
doi: 10.1109/ICECCS.2013.14
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T13:26:08Z
date_updated: 2018-11-02T13:26:08Z
file_id: '5248'
file_name: 06601801.pdf
file_size: 217085
relation: main_file
file_date_updated: 2018-11-02T13:26:08Z
has_accepted_license: '1'
language:
- iso: eng
page: '24 - 32 '
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 18th IEEE International Conference on Engineering
of Complex Computer Systems (ICECCS)
status: public
title: Knowledge-Based Verification of Service Compositions - An SMT approach
type: conference
user_id: '477'
year: '2013'
...
---
_id: '518'
author:
- first_name: Vanessa
full_name: Petrausch, Vanessa
last_name: Petrausch
citation:
ama: Petrausch V. Klassifizierung unterschiedlicher Ansätze zum Matching von
Services. Universität Paderborn; 2013.
apa: Petrausch, V. (2013). Klassifizierung unterschiedlicher Ansätze zum Matching
von Services. Universität Paderborn.
bibtex: '@book{Petrausch_2013, title={Klassifizierung unterschiedlicher Ansätze
zum Matching von Services}, publisher={Universität Paderborn}, author={Petrausch,
Vanessa}, year={2013} }'
chicago: Petrausch, Vanessa. Klassifizierung unterschiedlicher Ansätze zum Matching
von Services. Universität Paderborn, 2013.
ieee: V. Petrausch, Klassifizierung unterschiedlicher Ansätze zum Matching von
Services. Universität Paderborn, 2013.
mla: Petrausch, Vanessa. Klassifizierung unterschiedlicher Ansätze zum Matching
von Services. Universität Paderborn, 2013.
short: V. Petrausch, Klassifizierung unterschiedlicher Ansätze zum Matching von
Services, Universität Paderborn, 2013.
date_created: 2017-10-17T12:42:33Z
date_updated: 2022-01-06T07:01:41Z
language:
- iso: ger
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
title: Klassifizierung unterschiedlicher Ansätze zum Matching von Services
type: bachelorsthesis
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:
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:715-718. doi:10.1145/2491411.2492405'
apa: Christin Platenius, M. (2013). Fuzzy Service Matching in On-The-Fly Computing.
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) (pp. 715–718). https://doi.org/10.1145/2491411.2492405
bibtex: '@inproceedings{Christin Platenius_2013, title={Fuzzy Service Matching in
On-The-Fly Computing}, DOI={10.1145/2491411.2492405},
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 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), 715–18, 2013. https://doi.org/10.1145/2491411.2492405.
ieee: M. Christin Platenius, “Fuzzy Service Matching in On-The-Fly Computing,” 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.
mla: Christin Platenius, Marie. “Fuzzy Service Matching in On-The-Fly Computing.”
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–18, doi:10.1145/2491411.2492405.
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'
...
---
_id: '529'
abstract:
- lang: eng
text: Mechatronic systems reconfigure the structure of their software architecture,
e.g., to avoid hazardous situations or to optimize operational conditions like
minimizing their energy consumption. As software architectures are typically build
on components, reconfiguration actions need to respect the component structure.
This structure should be hierarchical to enable encapsulated components. While
many reconfiguration approaches for embedded real-time systems allow the use of
hierarchically embedded components, i.e., horizontal composition, none of them
offers a modeling and verification solution to take hierarchical composition,
i.e., encapsulation, into account. In this paper, we present an extension to our
existing modeling language, MechatronicUML, to enable safe hierarchical reconfigurations.
The two main extensions are (a) an adapted variant of the two-phase commit protocol
to initiate reconfigurations which maintain component encapsulation and (b) a
timed model checking verification approach for instances of our model. We illustrate
our approach on a case study in the area of smart railway systems by showing two
different use cases of our approach and the verification of their safety properties.
author:
- first_name: Christian
full_name: Heinzemann, Christian
last_name: Heinzemann
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Heinzemann C, Becker S. Executing Reconfigurations in Hierarchical Component
Architectures. In: Proceedings of the 16th International ACM SigSoft Symposium
on Component-Based Software Engineering (CBSE). ; 2013:3-12. doi:10.1145/2465449.2465452'
apa: Heinzemann, C., & Becker, S. (2013). Executing Reconfigurations in Hierarchical
Component Architectures. In Proceedings of the 16th International ACM SigSoft
Symposium on Component-Based Software Engineering (CBSE) (pp. 3–12). https://doi.org/10.1145/2465449.2465452
bibtex: '@inproceedings{Heinzemann_Becker_2013, title={Executing Reconfigurations
in Hierarchical Component Architectures}, DOI={10.1145/2465449.2465452},
booktitle={Proceedings of the 16th International ACM SigSoft Symposium on Component-Based
Software Engineering (CBSE)}, author={Heinzemann, Christian and Becker, Steffen},
year={2013}, pages={3–12} }'
chicago: Heinzemann, Christian, and Steffen Becker. “Executing Reconfigurations
in Hierarchical Component Architectures.” In Proceedings of the 16th International
ACM SigSoft Symposium on Component-Based Software Engineering (CBSE), 3–12,
2013. https://doi.org/10.1145/2465449.2465452.
ieee: C. Heinzemann and S. Becker, “Executing Reconfigurations in Hierarchical Component
Architectures,” in Proceedings of the 16th International ACM SigSoft Symposium
on Component-Based Software Engineering (CBSE), 2013, pp. 3–12.
mla: Heinzemann, Christian, and Steffen Becker. “Executing Reconfigurations in Hierarchical
Component Architectures.” Proceedings of the 16th International ACM SigSoft
Symposium on Component-Based Software Engineering (CBSE), 2013, pp. 3–12,
doi:10.1145/2465449.2465452.
short: 'C. Heinzemann, S. Becker, in: Proceedings of the 16th International ACM
SigSoft Symposium on Component-Based Software Engineering (CBSE), 2013, pp. 3–12.'
date_created: 2017-10-17T12:42:35Z
date_updated: 2022-01-06T07:01:49Z
ddc:
- '040'
doi: 10.1145/2465449.2465452
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T10:35:39Z
date_updated: 2018-03-15T10:35:39Z
file_id: '1293'
file_name: 529-p3-heinzemann.pdf
file_size: 541849
relation: main_file
success: 1
file_date_updated: 2018-03-15T10:35:39Z
has_accepted_license: '1'
page: 3-12
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 16th International ACM SigSoft Symposium on Component-Based
Software Engineering (CBSE)
status: public
title: Executing Reconfigurations in Hierarchical Component Architectures
type: conference
user_id: '15504'
year: '2013'
...
---
_id: '530'
author:
- first_name: Dominik
full_name: Buse, Dominik
last_name: Buse
citation:
ama: Buse D. Entwurf Kooperativer Verhaltensweisen Heterogener Roboter. Universität
Paderborn; 2013.
apa: Buse, D. (2013). Entwurf kooperativer Verhaltensweisen heterogener Roboter.
Universität Paderborn.
bibtex: '@book{Buse_2013, title={Entwurf kooperativer Verhaltensweisen heterogener
Roboter}, publisher={Universität Paderborn}, author={Buse, Dominik}, year={2013}
}'
chicago: Buse, Dominik. Entwurf Kooperativer Verhaltensweisen Heterogener Roboter.
Universität Paderborn, 2013.
ieee: D. Buse, Entwurf kooperativer Verhaltensweisen heterogener Roboter.
Universität Paderborn, 2013.
mla: Buse, Dominik. Entwurf Kooperativer Verhaltensweisen Heterogener Roboter.
Universität Paderborn, 2013.
short: D. Buse, Entwurf Kooperativer Verhaltensweisen Heterogener Roboter, Universität
Paderborn, 2013.
date_created: 2017-10-17T12:42:35Z
date_updated: 2022-01-06T07:01:49Z
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Entwurf kooperativer Verhaltensweisen heterogener Roboter
type: bachelorsthesis
user_id: '15504'
year: '2013'
...
---
_id: '533'
author:
- first_name: Richard
full_name: Borkowski, Richard
last_name: Borkowski
citation:
ama: Borkowski R. Entwicklung eines Hybriden Planers zur verhaltensorientierten
Selbstoptimierung. Universität Paderborn; 2013.
apa: Borkowski, R. (2013). Entwicklung eines Hybriden Planers zur verhaltensorientierten
Selbstoptimierung. Universität Paderborn.
bibtex: '@book{Borkowski_2013, title={Entwicklung eines Hybriden Planers zur verhaltensorientierten
Selbstoptimierung}, publisher={Universität Paderborn}, author={Borkowski, Richard},
year={2013} }'
chicago: Borkowski, Richard. Entwicklung eines Hybriden Planers zur verhaltensorientierten
Selbstoptimierung. Universität Paderborn, 2013.
ieee: R. Borkowski, Entwicklung eines Hybriden Planers zur verhaltensorientierten
Selbstoptimierung. Universität Paderborn, 2013.
mla: Borkowski, Richard. Entwicklung eines Hybriden Planers zur verhaltensorientierten
Selbstoptimierung. Universität Paderborn, 2013.
short: R. Borkowski, Entwicklung eines Hybriden Planers zur verhaltensorientierten
Selbstoptimierung, Universität Paderborn, 2013.
date_created: 2017-10-17T12:42:36Z
date_updated: 2022-01-06T07:01:49Z
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Entwicklung eines Hybriden Planers zur verhaltensorientierten Selbstoptimierung
type: bachelorsthesis
user_id: '477'
year: '2013'
...
---
_id: '543'
author:
- first_name: Kavitha
full_name: Jagannath, Kavitha
last_name: Jagannath
citation:
ama: Jagannath K. Comparison of Various Contract-Based Approaches for Specifying
Behavior of On-The-Fly Computing Services. Universität Paderborn; 2013.
apa: Jagannath, K. (2013). Comparison of Various Contract-Based Approaches for
Specifying Behavior of On-The-Fly Computing Services. Universität Paderborn.
bibtex: '@book{Jagannath_2013, title={Comparison of Various Contract-Based Approaches
for Specifying Behavior of On-The-Fly Computing Services}, publisher={Universität
Paderborn}, author={Jagannath, Kavitha}, year={2013} }'
chicago: Jagannath, Kavitha. Comparison of Various Contract-Based Approaches
for Specifying Behavior of On-The-Fly Computing Services. Universität Paderborn,
2013.
ieee: K. Jagannath, Comparison of Various Contract-Based Approaches for Specifying
Behavior of On-The-Fly Computing Services. Universität Paderborn, 2013.
mla: Jagannath, Kavitha. Comparison of Various Contract-Based Approaches for
Specifying Behavior of On-The-Fly Computing Services. Universität Paderborn,
2013.
short: K. Jagannath, Comparison of Various Contract-Based Approaches for Specifying
Behavior of On-The-Fly Computing Services, Universität Paderborn, 2013.
date_created: 2017-10-17T12:42:38Z
date_updated: 2022-01-06T07:01:53Z
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
title: Comparison of Various Contract-Based Approaches for Specifying Behavior of
On-The-Fly Computing Services
type: mastersthesis
user_id: '15504'
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. Business Process Models - Change Management. Universität Paderborn;
2013. doi:10.1007/978-3-642-38604-6
apa: Gerth, C. (2013). Business Process Models - Change Management. Universität
Paderborn. https://doi.org/10.1007/978-3-642-38604-6
bibtex: '@book{Gerth_2013, title={Business Process Models - Change Management},
DOI={10.1007/978-3-642-38604-6},
publisher={Universität Paderborn}, author={Gerth, Christian}, year={2013} }'
chicago: Gerth, Christian. Business Process Models - Change Management. Universität
Paderborn, 2013. https://doi.org/10.1007/978-3-642-38604-6.
ieee: C. Gerth, Business Process Models - Change Management. Universität
Paderborn, 2013.
mla: Gerth, Christian. Business Process Models - Change Management. Universität
Paderborn, 2013, doi:10.1007/978-3-642-38604-6.
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: Proceedings of the 11th International Conference on Service Oriented
Computing (ICSOC’13). LNCS. ; 2013:524--532. doi:10.1007/978-3-642-45005-1_42'
apa: Huma, Z., Gerth, C., Engels, G., & Juwig, O. (2013). Automated Service
Composition for On-the-Fly SOAs. In Proceedings of the 11th International Conference
on Service Oriented Computing (ICSOC’13) (pp. 524--532). https://doi.org/10.1007/978-3-642-45005-1_42
bibtex: '@inproceedings{Huma_Gerth_Engels_Juwig_2013, series={LNCS}, title={Automated
Service Composition for On-the-Fly SOAs}, DOI={10.1007/978-3-642-45005-1_42},
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 Proceedings of the 11th International
Conference on Service Oriented Computing (ICSOC’13), 524--532. LNCS, 2013.
https://doi.org/10.1007/978-3-642-45005-1_42.
ieee: Z. Huma, C. Gerth, G. Engels, and O. Juwig, “Automated Service Composition
for On-the-Fly SOAs,” in Proceedings of the 11th International Conference on
Service Oriented Computing (ICSOC’13), 2013, pp. 524--532.
mla: Huma, Zille, et al. “Automated Service Composition for On-the-Fly SOAs.” Proceedings
of the 11th International Conference on Service Oriented Computing (ICSOC’13),
2013, pp. 524--532, doi:10.1007/978-3-642-45005-1_42.
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: '556'
author:
- first_name: Tobias
full_name: Nickel, Tobias
last_name: Nickel
citation:
ama: Nickel T. Analyse von Benutzeranforderungen von Service-Kompositionen mittels
Modelchecking. Universität Paderborn; 2013.
apa: Nickel, T. (2013). Analyse von Benutzeranforderungen von Service-Kompositionen
mittels Modelchecking. Universität Paderborn.
bibtex: '@book{Nickel_2013, title={Analyse von Benutzeranforderungen von Service-Kompositionen
mittels Modelchecking}, publisher={Universität Paderborn}, author={Nickel, Tobias},
year={2013} }'
chicago: Nickel, Tobias. Analyse von Benutzeranforderungen von Service-Kompositionen
mittels Modelchecking. Universität Paderborn, 2013.
ieee: T. Nickel, Analyse von Benutzeranforderungen von Service-Kompositionen
mittels Modelchecking. Universität Paderborn, 2013.
mla: Nickel, Tobias. Analyse von Benutzeranforderungen von Service-Kompositionen
mittels Modelchecking. Universität Paderborn, 2013.
short: T. Nickel, Analyse von Benutzeranforderungen von Service-Kompositionen mittels
Modelchecking, Universität Paderborn, 2013.
date_created: 2017-10-17T12:42:40Z
date_updated: 2022-01-06T07:01:59Z
language:
- iso: ger
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
title: Analyse von Benutzeranforderungen von Service-Kompositionen mittels Modelchecking
type: bachelorsthesis
user_id: '477'
year: '2013'
...
---
_id: '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: Proceedings
of the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering.
; 2013:143-152. doi:10.1145/2465449.2465454'
apa: Platenius, M., von Detten, M., Becker, S., Schäfer, W., & Engels, G. (2013).
A Survey of Fuzzy Service Matching Approaches in the Context of On-The-Fly Computing.
In Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering (pp. 143–152). https://doi.org/10.1145/2465449.2465454
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={10.1145/2465449.2465454},
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 Proceedings of the 16th International ACM Sigsoft
Symposium on Component-Based Software Engineering, 143–52, 2013. https://doi.org/10.1145/2465449.2465454.
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 Proceedings of the 16th International ACM Sigsoft Symposium on Component-Based
Software Engineering, 2013, pp. 143–152.
mla: Platenius, Marie, et al. “A Survey of Fuzzy Service Matching Approaches in
the Context of On-The-Fly Computing.” Proceedings of the 16th International
ACM Sigsoft Symposium on Component-Based Software Engineering, 2013, pp. 143–52,
doi:10.1145/2465449.2465454.
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: '568'
abstract:
- lang: eng
text: A major goal of the On-The-Fly Computing project is the automated composition
of individual services based on services that are available in dynamic markets.
Dependent on the granularity of a market, different alternatives that satisfy
the requested functional requirements may emerge. In order to select the best
solution, services are usually selected with respect to their quality in terms
of inherent non-functional properties. In this paper, we describe our idea of
how to model this service selection process as a Markov Decision Process, which
we in turn intend to solve by means of Reinforcement Learning techniques in order
to control the underlying service composition process. In addition, some initial
issues with respect to our approach are addressed.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jungmann A, Kleinjohann B. Towards the Application of Reinforcement Learning
Techniques for Quality-Based Service Selection in Automated Service Composition.
In: Proceedings of the 9th IEEE International Conference on Service Computing
(SCC). ; 2012:701-702. doi:10.1109/SCC.2012.76'
apa: Jungmann, A., & Kleinjohann, B. (2012). Towards the Application of Reinforcement
Learning Techniques for Quality-Based Service Selection in Automated Service Composition.
In Proceedings of the 9th IEEE International Conference on Service Computing
(SCC) (pp. 701–702). https://doi.org/10.1109/SCC.2012.76
bibtex: '@inproceedings{Jungmann_Kleinjohann_2012, title={Towards the Application
of Reinforcement Learning Techniques for Quality-Based Service Selection in Automated
Service Composition}, DOI={10.1109/SCC.2012.76},
booktitle={Proceedings of the 9th IEEE International Conference on Service Computing
(SCC)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2012}, pages={701–702}
}'
chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of
Reinforcement Learning Techniques for Quality-Based Service Selection in Automated
Service Composition.” In Proceedings of the 9th IEEE International Conference
on Service Computing (SCC), 701–2, 2012. https://doi.org/10.1109/SCC.2012.76.
ieee: A. Jungmann and B. Kleinjohann, “Towards the Application of Reinforcement
Learning Techniques for Quality-Based Service Selection in Automated Service Composition,”
in Proceedings of the 9th IEEE International Conference on Service Computing
(SCC), 2012, pp. 701–702.
mla: Jungmann, Alexander, and Bernd Kleinjohann. “Towards the Application of Reinforcement
Learning Techniques for Quality-Based Service Selection in Automated Service Composition.”
Proceedings of the 9th IEEE International Conference on Service Computing (SCC),
2012, pp. 701–02, doi:10.1109/SCC.2012.76.
short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 9th IEEE International
Conference on Service Computing (SCC), 2012, pp. 701–702.'
date_created: 2017-10-17T12:42:43Z
date_updated: 2022-01-06T07:02:31Z
ddc:
- '040'
doi: 10.1109/SCC.2012.76
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T10:19:51Z
date_updated: 2018-03-15T10:19:51Z
file_id: '1274'
file_name: 568-Towards_the_Application_of_Reinforcement_Learning_Techniques_for_Quality-Based_Service_Selection_in_Automated_Service_Composition.pdf
file_size: 122607
relation: main_file
success: 1
file_date_updated: 2018-03-15T10:19:51Z
has_accepted_license: '1'
page: 701-702
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 9th IEEE International Conference on Service Computing
(SCC)
status: public
title: Towards the Application of Reinforcement Learning Techniques for Quality-Based
Service Selection in Automated Service Composition
type: conference
user_id: '15504'
year: '2012'
...
---
_id: '569'
abstract:
- lang: eng
text: Today's real-time embedded systems operate in frequently changing environments
on which they react by self-adaptations. Such an approach needs adequate modeling
support of these reconfigurations to enable verification of safety properties,
e.g., by timed model checking. Component-based development of such systems realizes
these self-adaptations by structural reconfigurations of components and their
connectors. However, component models proposed in literature do not support reconfigurable
components in real-time embedded context but focus on other domains like business
information systems. In this paper, we present an extension of our modeling language
MechatronicUML to support structural reconfigurations taking the specific requirements
of our domain into account. Based on the proposed extension we outline our research
roadmap to achieve verification and realization of systems modeled in MechatronicUML.
author:
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Christian
full_name: Heinzemann, Christian
last_name: Heinzemann
- first_name: 'Claudia '
full_name: 'Priesterjahn, Claudia '
last_name: Priesterjahn
citation:
ama: 'Becker S, Heinzemann C, Priesterjahn C. Towards Modeling Reconfiguration in
Hierarchical Component Architectures. In: Proceedings of the 15th ACM SigSoft
International Symposium on Component-Based Software Engineering (CBSE). ;
2012:23--28. doi:10.1145/2304736.2304742'
apa: Becker, S., Heinzemann, C., & Priesterjahn, C. (2012). Towards Modeling
Reconfiguration in Hierarchical Component Architectures. In Proceedings of
the 15th ACM SigSoft International Symposium on Component-Based Software Engineering
(CBSE) (pp. 23--28). https://doi.org/10.1145/2304736.2304742
bibtex: '@inproceedings{Becker_Heinzemann_Priesterjahn_2012, title={Towards Modeling
Reconfiguration in Hierarchical Component Architectures}, DOI={10.1145/2304736.2304742},
booktitle={Proceedings of the 15th ACM SigSoft International Symposium on Component-Based
Software Engineering (CBSE)}, author={Becker, Steffen and Heinzemann, Christian
and Priesterjahn, Claudia }, year={2012}, pages={23--28} }'
chicago: Becker, Steffen, Christian Heinzemann, and Claudia Priesterjahn. “Towards
Modeling Reconfiguration in Hierarchical Component Architectures.” In Proceedings
of the 15th ACM SigSoft International Symposium on Component-Based Software Engineering
(CBSE), 23--28, 2012. https://doi.org/10.1145/2304736.2304742.
ieee: S. Becker, C. Heinzemann, and C. Priesterjahn, “Towards Modeling Reconfiguration
in Hierarchical Component Architectures,” in Proceedings of the 15th ACM SigSoft
International Symposium on Component-Based Software Engineering (CBSE), 2012,
pp. 23--28.
mla: Becker, Steffen, et al. “Towards Modeling Reconfiguration in Hierarchical Component
Architectures.” Proceedings of the 15th ACM SigSoft International Symposium
on Component-Based Software Engineering (CBSE), 2012, pp. 23--28, doi:10.1145/2304736.2304742.
short: 'S. Becker, C. Heinzemann, C. Priesterjahn, in: Proceedings of the 15th ACM
SigSoft International Symposium on Component-Based Software Engineering (CBSE),
2012, pp. 23--28.'
date_created: 2017-10-17T12:42:43Z
date_updated: 2022-01-06T07:02:34Z
ddc:
- '040'
doi: 10.1145/2304736.2304742
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T10:19:12Z
date_updated: 2018-03-15T10:19:12Z
file_id: '1273'
file_name: 569-CBSE12-Becker_Heinzemann_Priesterjahn.pdf
file_size: 139679
relation: main_file
success: 1
file_date_updated: 2018-03-15T10:19:12Z
has_accepted_license: '1'
page: 23--28
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 15th ACM SigSoft International Symposium on Component-Based
Software Engineering (CBSE)
status: public
title: Towards Modeling Reconfiguration in Hierarchical Component Architectures
type: conference
user_id: '15504'
year: '2012'
...
---
_id: '571'
abstract:
- lang: eng
text: The paradigm shift from purchasing monolithic software solutions to a dynamic
composition of individual solutions entails many new possibilities yet great challenges,
too. In order to satisfy user requirements, complex services have to be automatically
composed of elementary services. Multiple possibilities of composing a complex
service inevitably emerge. The problem of selecting the most appropriate services
has to be solved by comparing the different service candidates with respect to
their quality in terms of inherent non-functional properties while simultaneously
taking the user requirements into account. We are aiming for an integrated service
rating and ranking methodology in order to support the automation of the underlying
decision-making process. The main contribution of this paper is a first decomposition
of the quality-based service selection process, while emphasizing major issues
and challenges, which we are addressing in the On-The-Fly Computing project.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jungmann A, Kleinjohann B. Towards an Integrated Service Rating and Ranking
Methodology for Quality Based Service Selection in Automatic Service Composition.
In: Proceedings of the 4th International Conferences on Advanced Service Computing
(SERVICE COMPUTATION). ; 2012:43-47.'
apa: Jungmann, A., & Kleinjohann, B. (2012). Towards an Integrated Service Rating
and Ranking Methodology for Quality Based Service Selection in Automatic Service
Composition. In Proceedings of the 4th International Conferences on Advanced
Service Computing (SERVICE COMPUTATION) (pp. 43–47).
bibtex: '@inproceedings{Jungmann_Kleinjohann_2012, title={Towards an Integrated
Service Rating and Ranking Methodology for Quality Based Service Selection in
Automatic Service Composition}, booktitle={Proceedings of the 4th International
Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Jungmann,
Alexander and Kleinjohann, Bernd}, year={2012}, pages={43–47} }'
chicago: Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service
Rating and Ranking Methodology for Quality Based Service Selection in Automatic
Service Composition.” In Proceedings of the 4th International Conferences on
Advanced Service Computing (SERVICE COMPUTATION), 43–47, 2012.
ieee: A. Jungmann and B. Kleinjohann, “Towards an Integrated Service Rating and
Ranking Methodology for Quality Based Service Selection in Automatic Service Composition,”
in Proceedings of the 4th International Conferences on Advanced Service Computing
(SERVICE COMPUTATION), 2012, pp. 43–47.
mla: Jungmann, Alexander, and Bernd Kleinjohann. “Towards an Integrated Service
Rating and Ranking Methodology for Quality Based Service Selection in Automatic
Service Composition.” Proceedings of the 4th International Conferences on Advanced
Service Computing (SERVICE COMPUTATION), 2012, pp. 43–47.
short: 'A. Jungmann, B. Kleinjohann, in: Proceedings of the 4th International Conferences
on Advanced Service Computing (SERVICE COMPUTATION), 2012, pp. 43–47.'
date_created: 2017-10-17T12:42:43Z
date_updated: 2022-01-06T07:02:37Z
ddc:
- '040'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T09:39:02Z
date_updated: 2018-03-15T09:39:02Z
file_id: '1271'
file_name: 571-Towards_an_Integrated_Service_Rating_and_Ranking_Methodology__for_Quality_Based_Service_Selection_in_Automatic_Service_Composition.pdf
file_size: 103343
relation: main_file
success: 1
file_date_updated: 2018-03-15T09:39:02Z
has_accepted_license: '1'
page: 43-47
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subproject B2
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 4th International Conferences on Advanced Service
Computing (SERVICE COMPUTATION)
status: public
title: Towards an Integrated Service Rating and Ranking Methodology for Quality Based
Service Selection in Automatic Service Composition
type: conference
user_id: '15504'
year: '2012'
...