---
_id: '4792'
author:
- first_name: Robin
full_name: Senge, Robin
last_name: Senge
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: Senge R, Hüllermeier E. Fast Fuzzy Pattern Tree Learning for Classification.
IEEE Transactions on Fuzzy Systems. 2015;23(6):2024-2033. doi:10.1109/tfuzz.2015.2396078
apa: Senge, R., & Hüllermeier, E. (2015). Fast Fuzzy Pattern Tree Learning for
Classification. IEEE Transactions on Fuzzy Systems, 23(6), 2024–2033.
https://doi.org/10.1109/tfuzz.2015.2396078
bibtex: '@article{Senge_Hüllermeier_2015, title={Fast Fuzzy Pattern Tree Learning
for Classification}, volume={23}, DOI={10.1109/tfuzz.2015.2396078},
number={6}, journal={IEEE Transactions on Fuzzy Systems}, publisher={Institute
of Electrical and Electronics Engineers (IEEE)}, author={Senge, Robin and Hüllermeier,
Eyke}, year={2015}, pages={2024–2033} }'
chicago: 'Senge, Robin, and Eyke Hüllermeier. “Fast Fuzzy Pattern Tree Learning
for Classification.” IEEE Transactions on Fuzzy Systems 23, no. 6 (2015):
2024–33. https://doi.org/10.1109/tfuzz.2015.2396078.'
ieee: R. Senge and E. Hüllermeier, “Fast Fuzzy Pattern Tree Learning for Classification,”
IEEE Transactions on Fuzzy Systems, vol. 23, no. 6, pp. 2024–2033, 2015.
mla: Senge, Robin, and Eyke Hüllermeier. “Fast Fuzzy Pattern Tree Learning for Classification.”
IEEE Transactions on Fuzzy Systems, vol. 23, no. 6, Institute of Electrical
and Electronics Engineers (IEEE), 2015, pp. 2024–33, doi:10.1109/tfuzz.2015.2396078.
short: R. Senge, E. Hüllermeier, IEEE Transactions on Fuzzy Systems 23 (2015) 2024–2033.
date_created: 2018-10-22T06:53:37Z
date_updated: 2022-01-06T07:01:22Z
ddc:
- '000'
department:
- _id: '355'
doi: 10.1109/tfuzz.2015.2396078
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:53:23Z
date_updated: 2018-11-02T15:53:23Z
file_id: '5316'
file_name: 07018950.pdf
file_size: 732827
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:53:23Z
has_accepted_license: '1'
intvolume: ' 23'
issue: '6'
language:
- iso: eng
page: 2024-2033
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '11'
name: SFB 901 - Subproject B3
publication: IEEE Transactions on Fuzzy Systems
publication_identifier:
issn:
- 1063-6706
- 1941-0034
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Fast Fuzzy Pattern Tree Learning for Classification
type: journal_article
user_id: '49109'
volume: 23
year: '2015'
...
---
_id: '333'
author:
- first_name: Sebastian
full_name: Osterbrink, Sebastian
last_name: Osterbrink
citation:
ama: Osterbrink S. Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn;
2014.
apa: Osterbrink, S. (2014). Visualisierung von SMT-Solver-Ausgaben. Universität
Paderborn.
bibtex: '@book{Osterbrink_2014, title={Visualisierung von SMT-Solver-Ausgaben},
publisher={Universität Paderborn}, author={Osterbrink, Sebastian}, year={2014}
}'
chicago: Osterbrink, Sebastian. Visualisierung von SMT-Solver-Ausgaben. Universität
Paderborn, 2014.
ieee: S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben. Universität
Paderborn, 2014.
mla: Osterbrink, Sebastian. Visualisierung von SMT-Solver-Ausgaben. Universität
Paderborn, 2014.
short: S. Osterbrink, Visualisierung von SMT-Solver-Ausgaben, Universität Paderborn,
2014.
date_created: 2017-10-17T12:41:56Z
date_updated: 2022-01-06T06:59:10Z
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: Visualisierung von SMT-Solver-Ausgaben
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '336'
abstract:
- lang: eng
text: Today, service compositions often need to be assembled or changed on-the-fly,
which leaves only little time for quality assurance. Moreover, quality assurance
is complicated by service providers only giving information on their services
in terms of domain specific concepts with only limited semantic meaning. In this
paper, we propose a method to construct service compositions based on pre-verifiedtemplates.
Templates, given as workflow descriptions, are typed over a (domain-independent)
template ontology defining concepts and predicates. Templates are proven correct
using an abstract semantics, leaving the specific meaning of ontology concepts
open, however, only up to given ontology rules. Construction of service compositions
amounts to instantiation of templates with domain-specific services.Correctness
of an instantiation can then simply be checked by verifying that the domain ontology(a)
adheres to the rules of the template ontology, and (b) fulfills the constraints
of the employed template.
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. Verified Service Compositions by Template-Based Construction.
In: Lanese I, Madelaine E, eds. Proceedings of the 11th International Symposium
on Formal Aspects of Component Software (FACS). LNCS. ; 2014:31-48. doi:10.1007/978-3-319-15317-9_3'
apa: Walther, S., & Wehrheim, H. (2014). Verified Service Compositions by Template-Based
Construction. In I. Lanese & E. Madelaine (Eds.), Proceedings of the 11th
International Symposium on Formal Aspects of Component Software (FACS) (pp.
31–48). https://doi.org/10.1007/978-3-319-15317-9_3
bibtex: '@inproceedings{Walther_Wehrheim_2014, series={LNCS}, title={Verified Service
Compositions by Template-Based Construction}, DOI={10.1007/978-3-319-15317-9_3},
booktitle={Proceedings of the 11th International Symposium on Formal Aspects of
Component Software (FACS)}, author={Walther, Sven and Wehrheim, Heike}, editor={Lanese,
Ivan and Madelaine, EricEditors}, year={2014}, pages={31–48}, collection={LNCS}
}'
chicago: Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based
Construction.” In Proceedings of the 11th International Symposium on Formal
Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine,
31–48. LNCS, 2014. https://doi.org/10.1007/978-3-319-15317-9_3.
ieee: S. Walther and H. Wehrheim, “Verified Service Compositions by Template-Based
Construction,” in Proceedings of the 11th International Symposium on Formal
Aspects of Component Software (FACS), 2014, pp. 31–48.
mla: Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based
Construction.” Proceedings of the 11th International Symposium on Formal Aspects
of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 2014,
pp. 31–48, doi:10.1007/978-3-319-15317-9_3.
short: 'S. Walther, H. Wehrheim, in: I. Lanese, E. Madelaine (Eds.), Proceedings
of the 11th International Symposium on Formal Aspects of Component Software (FACS),
2014, pp. 31–48.'
date_created: 2017-10-17T12:41:57Z
date_updated: 2022-01-06T06:59:13Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1007/978-3-319-15317-9_3
editor:
- first_name: Ivan
full_name: Lanese, Ivan
last_name: Lanese
- first_name: Eric
full_name: Madelaine, Eric
last_name: Madelaine
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:29:29Z
date_updated: 2018-03-20T07:29:29Z
file_id: '1423'
file_name: 336-facs2014_walther.pdf
file_size: 484422
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:29:29Z
has_accepted_license: '1'
language:
- iso: eng
page: 31-48
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 11th International Symposium on Formal Aspects of
Component Software (FACS)
series_title: LNCS
status: public
title: Verified Service Compositions by Template-Based Construction
type: conference
user_id: '477'
year: '2014'
...
---
_id: '344'
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Galina
full_name: Besova, Galina
last_name: Besova
- first_name: Sven
full_name: Walther, Sven
last_name: Walther
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration
for Architecture Validation. In: Proceedings of the 40th Euromicro Conference
on Software Engineering and Advanced Applications (Work in Progress Session).
; 2014.'
apa: Becker, M., Becker, S., Besova, G., Walther, S., & Wehrheim, H. (2014).
Towards Systematic Configuration for Architecture Validation. In Proceedings
of the 40th Euromicro Conference on Software Engineering and Advanced Applications
(Work in Progress Session).
bibtex: '@inproceedings{Becker_Becker_Besova_Walther_Wehrheim_2014, title={Towards
Systematic Configuration for Architecture Validation}, booktitle={Proceedings
of the 40th Euromicro Conference on Software Engineering and Advanced Applications
(Work in Progress Session)}, author={Becker, Matthias and Becker, Steffen and
Besova, Galina and Walther, Sven and Wehrheim, Heike}, year={2014} }'
chicago: Becker, Matthias, Steffen Becker, Galina Besova, Sven Walther, and Heike
Wehrheim. “Towards Systematic Configuration for Architecture Validation.” In Proceedings
of the 40th Euromicro Conference on Software Engineering and Advanced Applications
(Work in Progress Session), 2014.
ieee: M. Becker, S. Becker, G. Besova, S. Walther, and H. Wehrheim, “Towards Systematic
Configuration for Architecture Validation,” in Proceedings of the 40th Euromicro
Conference on Software Engineering and Advanced Applications (Work in Progress
Session), 2014.
mla: Becker, Matthias, et al. “Towards Systematic Configuration for Architecture
Validation.” Proceedings of the 40th Euromicro Conference on Software Engineering
and Advanced Applications (Work in Progress Session), 2014.
short: 'M. Becker, S. Becker, G. Besova, S. Walther, H. Wehrheim, in: Proceedings
of the 40th Euromicro Conference on Software Engineering and Advanced Applications
(Work in Progress Session), 2014.'
date_created: 2017-10-17T12:41:59Z
date_updated: 2022-01-06T06:59:17Z
ddc:
- '040'
department:
- _id: '77'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:27:54Z
date_updated: 2018-03-20T07:27:54Z
file_id: '1420'
file_name: 344-paper_CAMERA_READY.pdf
file_size: 80674
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:27:54Z
has_accepted_license: '1'
language:
- iso: eng
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 40th Euromicro Conference on Software Engineering
and Advanced Applications (Work in Progress Session)
status: public
title: Towards Systematic Configuration for Architecture Validation
type: conference
user_id: '477'
year: '2014'
...
---
_id: '353'
abstract:
- lang: eng
text: 'There are many technologies for the automation of processesthat deal with
services; examples are service discovery and composition.Automation of these processes
requires that the services are described semantically. However, semantically described
services are currently not oronly rarely available, which limits the applicability
of discovery and composition approaches. The systematic support for creating new
semanticservices usable by automated technologies is an open problem.We tackle
this problem with a template based approach: Domain independent templates are
instantiated with domain specific services andboolean expressions. The obtained
services have semantic descriptionswhose correctness directly follows from the
correctness of the template.Besides the theory, we present experimental results
for a service repository in which 85% of the services were generated automatically.'
author:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Sven
full_name: Walther, Sven
last_name: Walther
citation:
ama: 'Mohr F, Walther S. Template-based Generation of Semantic Services. In: Proceedings
of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2014:188-203.
doi:10.1007/978-3-319-14130-5_14'
apa: Mohr, F., & Walther, S. (2014). Template-based Generation of Semantic Services.
In Proceedings of the 14th International Conference on Software Reuse (ICSR)
(pp. 188–203). https://doi.org/10.1007/978-3-319-14130-5_14
bibtex: '@inproceedings{Mohr_Walther_2014, series={LNCS}, title={Template-based
Generation of Semantic Services}, DOI={10.1007/978-3-319-14130-5_14},
booktitle={Proceedings of the 14th International Conference on Software Reuse
(ICSR)}, author={Mohr, Felix and Walther, Sven}, year={2014}, pages={188–203},
collection={LNCS} }'
chicago: Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”
In Proceedings of the 14th International Conference on Software Reuse (ICSR),
188–203. LNCS, 2014. https://doi.org/10.1007/978-3-319-14130-5_14.
ieee: F. Mohr and S. Walther, “Template-based Generation of Semantic Services,”
in Proceedings of the 14th International Conference on Software Reuse (ICSR),
2014, pp. 188–203.
mla: Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”
Proceedings of the 14th International Conference on Software Reuse (ICSR),
2014, pp. 188–203, doi:10.1007/978-3-319-14130-5_14.
short: 'F. Mohr, S. Walther, in: Proceedings of the 14th International Conference
on Software Reuse (ICSR), 2014, pp. 188–203.'
date_created: 2017-10-17T12:42:00Z
date_updated: 2022-01-06T06:59:22Z
ddc:
- '040'
department:
- _id: '77'
- _id: '355'
doi: 10.1007/978-3-319-14130-5_14
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:23:32Z
date_updated: 2018-03-20T07:23:32Z
file_id: '1414'
file_name: 353-icsr2015_submission_17.pdf
file_size: 431778
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:23:32Z
has_accepted_license: '1'
language:
- iso: eng
page: 188-203
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
publication: Proceedings of the 14th International Conference on Software Reuse (ICSR)
series_title: LNCS
status: public
title: Template-based Generation of Semantic Services
type: conference
user_id: '477'
year: '2014'
...
---
_id: '359'
author:
- first_name: Manuel
full_name: Töws, Manuel
id: '11315'
last_name: Töws
citation:
ama: Töws M. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen
in SMT-LIB. Universität Paderborn; 2014.
apa: Töws, M. (2014). Statistisches Testen von unbeweisbaren Anforderungen an
Programmspezifikationen in SMT-LIB. Universität Paderborn.
bibtex: '@book{Töws_2014, title={Statistisches Testen von unbeweisbaren Anforderungen
an Programmspezifikationen in SMT-LIB}, publisher={Universität Paderborn}, author={Töws,
Manuel}, year={2014} }'
chicago: Töws, Manuel. Statistisches Testen von unbeweisbaren Anforderungen an
Programmspezifikationen in SMT-LIB. Universität Paderborn, 2014.
ieee: M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen
in SMT-LIB. Universität Paderborn, 2014.
mla: Töws, Manuel. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen
in SMT-LIB. Universität Paderborn, 2014.
short: M. Töws, Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen
in SMT-LIB, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:02Z
date_updated: 2022-01-06T06:59:26Z
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: Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen
in SMT-LIB
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '364'
abstract:
- lang: eng
text: 'Today, software components are traded on markets in form of services. These
services can also be service compositions consisting of several services. If a
software architect wants to provide such a service composition in the market for
trade, she needs to perform several tasks: she needs to model the composition,
to discover existing services to be part of that composition, and to analyze the
composition''s functional correctness as well as its quality, e.g., performance.
Up to now, the architect needed to find and use different tools for these tasks.
Typically, these tools are not interoperable with each other. We provide the tool
SeSAME that supports a software architect in all of these tasks. SeSAME is an
integrated Eclipse-based tool-suite providing a comprehensive service specification
language to model service compositions and existing services. Furthermore, it
includes modules for service matching, functional analysis, and non-functional
analysis. SeSAME is the first tool that integrates all these tasks into one tool-suite
and, thereby, provides holistic support for trading software services. Thus, it
contributes to a software provider''s market success.'
author:
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Sven
full_name: Walther, Sven
last_name: Walther
citation:
ama: 'Arifulina S, Becker M, Platenius MC, Walther S. SeSAME: Modeling and Analyzing
High-Quality Service Compositions. In: Proceedings of the 29th IEEE/ACM International
Conference on Automated Software Engineering (ASE 2014). ; 2014:839-842. doi:10.1145/2642937.2648621'
apa: 'Arifulina, S., Becker, M., Platenius, M. C., & Walther, S. (2014). SeSAME:
Modeling and Analyzing High-Quality Service Compositions. In Proceedings of
the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE
2014) (pp. 839–842). https://doi.org/10.1145/2642937.2648621'
bibtex: '@inproceedings{Arifulina_Becker_Platenius_Walther_2014, title={SeSAME:
Modeling and Analyzing High-Quality Service Compositions}, DOI={10.1145/2642937.2648621},
booktitle={Proceedings of the 29th IEEE/ACM International Conference on Automated
Software Engineering (ASE 2014)}, author={Arifulina, Svetlana and Becker, Matthias
and Platenius, Marie Christin and Walther, Sven}, year={2014}, pages={839–842}
}'
chicago: 'Arifulina, Svetlana, Matthias Becker, Marie Christin Platenius, and Sven
Walther. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.” In
Proceedings of the 29th IEEE/ACM International Conference on Automated Software
Engineering (ASE 2014), 839–42, 2014. https://doi.org/10.1145/2642937.2648621.'
ieee: 'S. Arifulina, M. Becker, M. C. Platenius, and S. Walther, “SeSAME: Modeling
and Analyzing High-Quality Service Compositions,” in Proceedings of the 29th
IEEE/ACM International Conference on Automated Software Engineering (ASE 2014),
2014, pp. 839–842.'
mla: 'Arifulina, Svetlana, et al. “SeSAME: Modeling and Analyzing High-Quality Service
Compositions.” Proceedings of the 29th IEEE/ACM International Conference on
Automated Software Engineering (ASE 2014), 2014, pp. 839–42, doi:10.1145/2642937.2648621.'
short: 'S. Arifulina, M. Becker, M.C. Platenius, S. Walther, in: Proceedings of
the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE
2014), 2014, pp. 839–842.'
date_created: 2017-10-17T12:42:03Z
date_updated: 2022-01-06T06:59:28Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1145/2642937.2648621
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:19:59Z
date_updated: 2018-03-20T07:19:59Z
file_id: '1407'
file_name: 364-ASE2014.pdf
file_size: 473308
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:19:59Z
has_accepted_license: '1'
language:
- iso: eng
page: 839-842
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 29th IEEE/ACM International Conference on Automated
Software Engineering (ASE 2014)
status: public
title: 'SeSAME: Modeling and Analyzing High-Quality Service Compositions'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '449'
abstract:
- lang: eng
text: Cloud computing resulted in a continuously growing number of provided software
services to be used by consumers. Brokers discover services that fit best to consumers'
requirements by matching Qualityof-Service (QoS) properties. In order to negotiate
Service-Level Agreements (SLAs), a provider has to determine the provided QoS
based on QoS analyses. However, the risk for the provider to violate the SLA is
high as the service's actual quality can deviate from the specified QoS due to
uncertainties that occur during the provider's quality analysis. In this paper,
we discuss current software engineering paradigms like cloud computing and service-oriented
computing with respect to the amount of uncertainty they induce into service matching
and SLA negotiations. As a result, we explain, why cloud computing reduces such
uncertainties.
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Becker M, Platenius MC, Becker S. Cloud Computing Reduces Uncertainties in
Quality-of-Service Matching! In: Proceedings of the 2nd International Workshop
on Cloud Service Brokerage (CSB). Communications in Computer and Information
Science. ; 2014:153-159. doi:10.1007/978-3-319-14886-1_15'
apa: Becker, M., Platenius, M. C., & Becker, S. (2014). Cloud Computing Reduces
Uncertainties in Quality-of-Service Matching! In Proceedings of the 2nd International
Workshop on Cloud Service Brokerage (CSB) (pp. 153–159). https://doi.org/10.1007/978-3-319-14886-1_15
bibtex: '@inproceedings{Becker_Platenius_Becker_2014, series={Communications in
Computer and Information Science}, title={Cloud Computing Reduces Uncertainties
in Quality-of-Service Matching!}, DOI={10.1007/978-3-319-14886-1_15},
booktitle={Proceedings of the 2nd International Workshop on Cloud Service Brokerage
(CSB)}, author={Becker, Matthias and Platenius, Marie Christin and Becker, Steffen},
year={2014}, pages={153–159}, collection={Communications in Computer and Information
Science} }'
chicago: Becker, Matthias, Marie Christin Platenius, and Steffen Becker. “Cloud
Computing Reduces Uncertainties in Quality-of-Service Matching!” In Proceedings
of the 2nd International Workshop on Cloud Service Brokerage (CSB), 153–59.
Communications in Computer and Information Science, 2014. https://doi.org/10.1007/978-3-319-14886-1_15.
ieee: M. Becker, M. C. Platenius, and S. Becker, “Cloud Computing Reduces Uncertainties
in Quality-of-Service Matching!,” in Proceedings of the 2nd International Workshop
on Cloud Service Brokerage (CSB), 2014, pp. 153–159.
mla: Becker, Matthias, et al. “Cloud Computing Reduces Uncertainties in Quality-of-Service
Matching!” Proceedings of the 2nd International Workshop on Cloud Service Brokerage
(CSB), 2014, pp. 153–59, doi:10.1007/978-3-319-14886-1_15.
short: 'M. Becker, M.C. Platenius, S. Becker, in: Proceedings of the 2nd International
Workshop on Cloud Service Brokerage (CSB), 2014, pp. 153–159.'
date_created: 2017-10-17T12:42:19Z
date_updated: 2022-01-06T07:01:06Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1007/978-3-319-14886-1_15
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:26:04Z
date_updated: 2018-03-16T11:26:04Z
file_id: '1346'
file_name: 449-CSB2014_01.pdf
file_size: 362248
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:26:04Z
has_accepted_license: '1'
language:
- iso: eng
page: 153-159
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '9'
name: SFB 901 - Subproject B1
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 2nd International Workshop on Cloud Service Brokerage
(CSB)
series_title: Communications in Computer and Information Science
status: public
title: Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!
type: conference
user_id: '477'
year: '2014'
...
---
_id: '402'
abstract:
- lang: eng
text: Various approaches in service engineering are based on servicemarkets where
brokers use service matching in order to performservice discovery. For matching,
a broker translates the specifications ofproviders' services and requesters' requirements
into her own specificationlanguage, in order to check their compliance using a
matcher. Thebroker's success depends on the configuration of her language and
itsmatcher because they in uence important properties like the effort forproviders
and requesters to create suitable specifications as well as accuracyand runtime
of matching. However, neither existing service specification languages, nor existing
matching approaches are optimized insuch way. Our approach automatically provides
brokers with an optimalconfiguration of a language and its matcher to improve
her success ina given market with respect to her strategy. The approach is based
onformalized configuration properties and a predefined set of configurationrules.
author:
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Christian
full_name: Gerth, Christian
last_name: Gerth
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Arifulina S, Platenius MC, Gerth C, Becker S, Engels G, Schäfer W. Market-optimized
Service Specification and Matching. In: Franch X, Ghose A, Lewis G, Bhiri S, eds.
Proceedings of the 12th International Conference on Service Oriented Computing
(ICSOC 2014). LNCS. ; 2014:543-550. doi:10.1007/978-3-662-45391-9_47'
apa: Arifulina, S., Platenius, M. C., Gerth, C., Becker, S., Engels, G., & Schäfer,
W. (2014). Market-optimized Service Specification and Matching. In X. Franch,
A. Ghose, G. Lewis, & S. Bhiri (Eds.), Proceedings of the 12th International
Conference on Service Oriented Computing (ICSOC 2014) (pp. 543–550). https://doi.org/10.1007/978-3-662-45391-9_47
bibtex: '@inproceedings{Arifulina_Platenius_Gerth_Becker_Engels_Schäfer_2014, series={LNCS},
title={Market-optimized Service Specification and Matching}, DOI={10.1007/978-3-662-45391-9_47},
booktitle={Proceedings of the 12th International Conference on Service Oriented
Computing (ICSOC 2014)}, author={Arifulina, Svetlana and Platenius, Marie Christin
and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm},
editor={Franch, Xavier and Ghose, AdityaK. and Lewis, GraceA. and Bhiri, SamiEditors},
year={2014}, pages={543–550}, collection={LNCS} }'
chicago: Arifulina, Svetlana, Marie Christin Platenius, Christian Gerth, Steffen
Becker, Gregor Engels, and Wilhelm Schäfer. “Market-Optimized Service Specification
and Matching.” In Proceedings of the 12th International Conference on Service
Oriented Computing (ICSOC 2014), edited by Xavier Franch, AdityaK. Ghose,
GraceA. Lewis, and Sami Bhiri, 543–50. LNCS, 2014. https://doi.org/10.1007/978-3-662-45391-9_47.
ieee: S. Arifulina, M. C. Platenius, C. Gerth, S. Becker, G. Engels, and W. Schäfer,
“Market-optimized Service Specification and Matching,” in Proceedings of the
12th International Conference on Service Oriented Computing (ICSOC 2014),
2014, pp. 543–550.
mla: Arifulina, Svetlana, et al. “Market-Optimized Service Specification and Matching.”
Proceedings of the 12th International Conference on Service Oriented Computing
(ICSOC 2014), edited by Xavier Franch et al., 2014, pp. 543–50, doi:10.1007/978-3-662-45391-9_47.
short: 'S. Arifulina, M.C. Platenius, C. Gerth, S. Becker, G. Engels, W. Schäfer,
in: X. Franch, A. Ghose, G. Lewis, S. Bhiri (Eds.), Proceedings of the 12th International
Conference on Service Oriented Computing (ICSOC 2014), 2014, pp. 543–550.'
date_created: 2017-10-17T12:42:10Z
date_updated: 2022-01-06T07:00:07Z
ddc:
- '040'
department:
- _id: '66'
- _id: '76'
doi: 10.1007/978-3-662-45391-9_47
editor:
- first_name: Xavier
full_name: Franch, Xavier
last_name: Franch
- first_name: AdityaK.
full_name: Ghose, AdityaK.
last_name: Ghose
- first_name: GraceA.
full_name: Lewis, GraceA.
last_name: Lewis
- first_name: Sami
full_name: Bhiri, Sami
last_name: Bhiri
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:38:59Z
date_updated: 2018-03-16T11:38:59Z
file_id: '1368'
file_name: 402-ICSOC2014.pdf
file_size: 377432
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:38:59Z
has_accepted_license: '1'
language:
- iso: eng
page: 543-550
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 12th International Conference on Service Oriented
Computing (ICSOC 2014)
series_title: LNCS
status: public
title: Market-optimized Service Specification and Matching
type: conference
user_id: '477'
year: '2014'
...
---
_id: '409'
abstract:
- lang: eng
text: Service markets provide software components in the formof services. In order
to enable a service discovery that satisfies servicerequesters and providers best,
markets need automatic service matching:approaches for comparing whether a provided
service satisfies a servicerequest. Current markets, e.g., app markets, are limited
to basic keywordbasedsearch although many better suitable matching approaches
aredescribed in literature. However, necessary architectural decisions forthe
integration of matchers have a huge impact on quality propertieslike performance
or security.Architectural decisions wrt. servicematchers have rarely been discussed,yet,
and systematic approaches for their integration into service marketsare missing.
In this paper, we present a systematic integration approachincluding the definition
of requirements and a discussion on architecturaltactics. As a benefit, the decision-making
process of integrating servicematchers is supported and the overall market success
can be improved.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service
Market Architecture. In: Avgeriou P, Zdun U, eds. Proceedings of the 8th European
Conference on Software Architecture (ECSA 2014). LNCS. ; 2014:210-217. doi:10.1007/978-3-319-09970-5_19'
apa: Platenius, M. C., Becker, S., & Schäfer, W. (2014). Integrating Service
Matchers into a Service Market Architecture. In P. Avgeriou & U. Zdun (Eds.),
Proceedings of the 8th European Conference on Software Architecture (ECSA 2014)
(pp. 210–217). https://doi.org/10.1007/978-3-319-09970-5_19
bibtex: '@inproceedings{Platenius_Becker_Schäfer_2014, series={LNCS}, title={Integrating
Service Matchers into a Service Market Architecture}, DOI={10.1007/978-3-319-09970-5_19},
booktitle={Proceedings of the 8th European Conference on Software Architecture
(ECSA 2014)}, author={Platenius, Marie Christin and Becker, Steffen and Schäfer,
Wilhelm}, editor={Avgeriou, Paris and Zdun, UweEditors}, year={2014}, pages={210–217},
collection={LNCS} }'
chicago: Platenius, Marie Christin, Steffen Becker, and Wilhelm Schäfer. “Integrating
Service Matchers into a Service Market Architecture.” In Proceedings of the
8th European Conference on Software Architecture (ECSA 2014), edited by Paris
Avgeriou and Uwe Zdun, 210–17. LNCS, 2014. https://doi.org/10.1007/978-3-319-09970-5_19.
ieee: M. C. Platenius, S. Becker, and W. Schäfer, “Integrating Service Matchers
into a Service Market Architecture,” in Proceedings of the 8th European Conference
on Software Architecture (ECSA 2014), 2014, pp. 210–217.
mla: Platenius, Marie Christin, et al. “Integrating Service Matchers into a Service
Market Architecture.” Proceedings of the 8th European Conference on Software
Architecture (ECSA 2014), edited by Paris Avgeriou and Uwe Zdun, 2014, pp.
210–17, doi:10.1007/978-3-319-09970-5_19.
short: 'M.C. Platenius, S. Becker, W. Schäfer, in: P. Avgeriou, U. Zdun (Eds.),
Proceedings of the 8th European Conference on Software Architecture (ECSA 2014),
2014, pp. 210–217.'
date_created: 2017-10-17T12:42:11Z
date_updated: 2022-01-06T07:00:15Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1007/978-3-319-09970-5_19
editor:
- first_name: Paris
full_name: Avgeriou, Paris
last_name: Avgeriou
- first_name: Uwe
full_name: Zdun, Uwe
last_name: Zdun
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:34:58Z
date_updated: 2018-03-16T11:34:58Z
file_id: '1363'
file_name: 409-ecsa14.pdf
file_size: 395884
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:34:58Z
has_accepted_license: '1'
language:
- iso: eng
page: 210-217
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '11'
name: SFB 901 - Subproject B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 8th European Conference on Software Architecture (ECSA
2014)
series_title: LNCS
status: public
title: Integrating Service Matchers into a Service Market Architecture
type: conference
user_id: '477'
year: '2014'
...
---
_id: '417'
abstract:
- lang: eng
text: 'Model transformation is a key concept in modeldrivensoftware engineering.
The definition of model transformationsis usually based on meta-models describing
the abstractsyntax of languages. While meta-models are thereby able to abstractfrom
superfluous details of concrete syntax, they often loosestructural information
inherent in languages, like information onmodel elements always occurring together
in particular shapes.As a consequence, model transformations cannot naturally
re-uselanguage structures, thus leading to unnecessary complexity intheir development
as well as analysis.In this paper, we propose a new approach to model transformationdevelopment
which allows to simplify and improve thequality of the developed transformations
via the exploitation ofthe languages’ structures. The approach is based on context-freegrammars
and transformations defined by pairing productions ofsource and target grammars.
We show that such transformationsexhibit three important characteristics: they
are sound, completeand deterministic.'
author:
- first_name: Galina
full_name: Besova, Galina
last_name: Besova
- first_name: Dominik
full_name: Steenke, Dominik
last_name: Steenke
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In:
Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD).
; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003'
apa: Besova, G., Steenke, D., & Wehrheim, H. (2014). Grammar-based model transformations.
In Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD) (pp. 1601–1610). https://doi.org/10.1016/j.cl.2015.05.003
bibtex: '@inproceedings{Besova_Steenke_Wehrheim_2014, title={Grammar-based model
transformations}, DOI={10.1016/j.cl.2015.05.003},
booktitle={Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD)}, author={Besova, Galina and Steenke, Dominik and Wehrheim, Heike}, year={2014},
pages={1601–1610} }'
chicago: Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model
Transformations.” In Proceedings 3rd Workshop on Model Driven Approaches in
System Development (MDASD), 1601–10, 2014. https://doi.org/10.1016/j.cl.2015.05.003.
ieee: G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,”
in Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD), 2014, pp. 1601–1610.
mla: Besova, Galina, et al. “Grammar-Based Model Transformations.” Proceedings
3rd Workshop on Model Driven Approaches in System Development (MDASD), 2014,
pp. 1601–10, doi:10.1016/j.cl.2015.05.003.
short: 'G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model
Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.'
date_created: 2017-10-17T12:42:13Z
date_updated: 2022-01-06T07:00:28Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.cl.2015.05.003
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-16T11:33:33Z
date_updated: 2018-03-16T11:33:33Z
file_id: '1360'
file_name: 417-main.pdf
file_size: 643382
relation: main_file
success: 1
file_date_updated: 2018-03-16T11:33:33Z
has_accepted_license: '1'
language:
- iso: eng
page: 1601-1610
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings 3rd Workshop on Model Driven Approaches in System Development
(MDASD)
status: public
title: Grammar-based model transformations
type: conference
user_id: '477'
year: '2014'
...
---
_id: '422'
author:
- first_name: Maryam
full_name: Sanati, Maryam
last_name: Sanati
citation:
ama: Sanati M. Formal Semantics of Probabilistic SMT Solving in Verification
of Service Compositions. Universität Paderborn; 2014.
apa: Sanati, M. (2014). Formal Semantics of Probabilistic SMT Solving in Verification
of Service Compositions. Universität Paderborn.
bibtex: '@book{Sanati_2014, title={Formal Semantics of Probabilistic SMT Solving
in Verification of Service Compositions}, publisher={Universität Paderborn}, author={Sanati,
Maryam}, year={2014} }'
chicago: Sanati, Maryam. Formal Semantics of Probabilistic SMT Solving in Verification
of Service Compositions. Universität Paderborn, 2014.
ieee: M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification
of Service Compositions. Universität Paderborn, 2014.
mla: Sanati, Maryam. Formal Semantics of Probabilistic SMT Solving in Verification
of Service Compositions. Universität Paderborn, 2014.
short: M. Sanati, Formal Semantics of Probabilistic SMT Solving in Verification
of Service Compositions, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:14Z
date_updated: 2022-01-06T07:00:38Z
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: Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '423'
author:
- first_name: Suman
full_name: Jojiju, Suman
last_name: Jojiju
citation:
ama: Jojiju S. Finding Optimal Self-Adaption Rules by Design-Space Exploration.
Universität Paderborn; 2014.
apa: Jojiju, S. (2014). Finding Optimal Self-Adaption Rules by Design-Space Exploration.
Universität Paderborn.
bibtex: '@book{Jojiju_2014, title={Finding Optimal Self-Adaption Rules by Design-Space
Exploration}, publisher={Universität Paderborn}, author={Jojiju, Suman}, year={2014}
}'
chicago: Jojiju, Suman. Finding Optimal Self-Adaption Rules by Design-Space Exploration.
Universität Paderborn, 2014.
ieee: S. Jojiju, Finding Optimal Self-Adaption Rules by Design-Space Exploration.
Universität Paderborn, 2014.
mla: Jojiju, Suman. Finding Optimal Self-Adaption Rules by Design-Space Exploration.
Universität Paderborn, 2014.
short: S. Jojiju, Finding Optimal Self-Adaption Rules by Design-Space Exploration,
Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:14Z
date_updated: 2022-01-06T07:00:40Z
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: Finding Optimal Self-Adaption Rules by Design-Space Exploration
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '427'
author:
- first_name: Benjamin
full_name: Bulk, Benjamin
last_name: Bulk
citation:
ama: Bulk B. Evaluating the Influence of Different Abstraction Levels of Software
Design on Performance Prediction. Universität Paderborn; 2014.
apa: Bulk, B. (2014). Evaluating the Influence of Different Abstraction Levels
of Software Design on Performance prediction. Universität Paderborn.
bibtex: '@book{Bulk_2014, title={Evaluating the Influence of Different Abstraction
Levels of Software Design on Performance prediction}, publisher={Universität Paderborn},
author={Bulk, Benjamin}, year={2014} }'
chicago: Bulk, Benjamin. Evaluating the Influence of Different Abstraction Levels
of Software Design on Performance Prediction. Universität Paderborn, 2014.
ieee: B. Bulk, Evaluating the Influence of Different Abstraction Levels of Software
Design on Performance prediction. Universität Paderborn, 2014.
mla: Bulk, Benjamin. Evaluating the Influence of Different Abstraction Levels
of Software Design on Performance Prediction. Universität Paderborn, 2014.
short: B. Bulk, Evaluating the Influence of Different Abstraction Levels of Software
Design on Performance Prediction, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:15Z
date_updated: 2022-01-06T07:00:45Z
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: Evaluating the Influence of Different Abstraction Levels of Software Design
on Performance prediction
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '430'
author:
- first_name: Andreas
full_name: Krakau, Andreas
last_name: Krakau
citation:
ama: Krakau A. Entwicklung eines Konzepts zur Kodierung eines objektorientierten
Typsystems in SMT. Universität Paderborn; 2014.
apa: Krakau, A. (2014). Entwicklung eines Konzepts zur Kodierung eines objektorientierten
Typsystems in SMT. Universität Paderborn.
bibtex: '@book{Krakau_2014, title={Entwicklung eines Konzepts zur Kodierung eines
objektorientierten Typsystems in SMT}, publisher={Universität Paderborn}, author={Krakau,
Andreas}, year={2014} }'
chicago: Krakau, Andreas. Entwicklung eines Konzepts zur Kodierung eines objektorientierten
Typsystems in SMT. Universität Paderborn, 2014.
ieee: A. Krakau, Entwicklung eines Konzepts zur Kodierung eines objektorientierten
Typsystems in SMT. Universität Paderborn, 2014.
mla: Krakau, Andreas. Entwicklung eines Konzepts zur Kodierung eines objektorientierten
Typsystems in SMT. Universität Paderborn, 2014.
short: A. Krakau, Entwicklung eines Konzepts zur Kodierung eines objektorientierten
Typsystems in SMT, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:15Z
date_updated: 2022-01-06T07:00:50Z
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: Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems
in SMT
type: bachelorsthesis
user_id: '477'
year: '2014'
...
---
_id: '472'
author:
- first_name: Marco
full_name: Engelbrecht, Marco
last_name: Engelbrecht
citation:
ama: Engelbrecht M. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern.
Universität Paderborn; 2013.
apa: Engelbrecht, M. (2013). Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern.
Universität Paderborn.
bibtex: '@book{Engelbrecht_2013, title={Vergleichsstudie zur Ausdrucksstärke von
SMT-Solvern}, publisher={Universität Paderborn}, author={Engelbrecht, Marco},
year={2013} }'
chicago: Engelbrecht, Marco. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern.
Universität Paderborn, 2013.
ieee: M. Engelbrecht, Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern.
Universität Paderborn, 2013.
mla: Engelbrecht, Marco. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern.
Universität Paderborn, 2013.
short: M. Engelbrecht, Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern, Universität
Paderborn, 2013.
date_created: 2017-10-17T12:42:24Z
date_updated: 2022-01-06T07:01:19Z
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: Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern
type: bachelorsthesis
user_id: '477'
year: '2013'
...
---
_id: '483'
abstract:
- lang: eng
text: Modern software systems adapt themselves to changing environments, to meet
quality-of-service requirements, such as response time limits. The engineering
of the system’s self-adaptation logic does not only require new modeling methods,
but also new analyzes of transient phases. Model-driven software performance engineering
methods already allow design-time analysis of steady states of non-adaptive system
models. In order to validate requirements for transient phases, new modeling and
analysis methods are needed. In this paper, we present SimuLizar, our initial
model-driven approach to model self-adaptive systems and analyze the performance
of their transient phases. Our evaluation of a load balancer toy example shows
the applicability of our modeling approach. Additionally, a comparison of our
performance analysis with a prototypical implementation of our example system
shows that the prediction accuracy is sufficient to identify unsatisfactory self-adaptations.
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Joachim
full_name: Meyer, Joachim
last_name: Meyer
citation:
ama: 'Becker M, Becker S, Meyer J. SimuLizar: Design-Time modeling and Performance
Analysis of Self-Adaptive Systems. In: Proceedings of the Software Engineering
Conference (SE). Lecture Notes in Informatics (LNI). ; 2013:71-84.'
apa: 'Becker, M., Becker, S., & Meyer, J. (2013). SimuLizar: Design-Time modeling
and Performance Analysis of Self-Adaptive Systems. In Proceedings of the Software
Engineering Conference (SE) (pp. 71–84).'
bibtex: '@inproceedings{Becker_Becker_Meyer_2013, series={Lecture Notes in Informatics
(LNI)}, title={SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive
Systems}, booktitle={Proceedings of the Software Engineering Conference (SE)},
author={Becker, Matthias and Becker, Steffen and Meyer, Joachim}, year={2013},
pages={71–84}, collection={Lecture Notes in Informatics (LNI)} }'
chicago: 'Becker, Matthias, Steffen Becker, and Joachim Meyer. “SimuLizar: Design-Time
Modeling and Performance Analysis of Self-Adaptive Systems.” In Proceedings
of the Software Engineering Conference (SE), 71–84. Lecture Notes in Informatics
(LNI), 2013.'
ieee: 'M. Becker, S. Becker, and J. Meyer, “SimuLizar: Design-Time modeling and
Performance Analysis of Self-Adaptive Systems,” in Proceedings of the Software
Engineering Conference (SE), 2013, pp. 71–84.'
mla: 'Becker, Matthias, et al. “SimuLizar: Design-Time Modeling and Performance
Analysis of Self-Adaptive Systems.” Proceedings of the Software Engineering
Conference (SE), 2013, pp. 71–84.'
short: 'M. Becker, S. Becker, J. Meyer, in: Proceedings of the Software Engineering
Conference (SE), 2013, pp. 71–84.'
date_created: 2017-10-17T12:42:26Z
date_updated: 2022-01-06T07:01:25Z
ddc:
- '040'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-15T13:58:42Z
date_updated: 2018-03-15T13:58:42Z
file_id: '1320'
file_name: 483-paper.pdf
file_size: 649508
relation: main_file
success: 1
file_date_updated: 2018-03-15T13:58:42Z
has_accepted_license: '1'
main_file_link:
- url: http://subs.emis.de/LNI/Proceedings/Proceedings213/article35.html
page: 71-84
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 Software Engineering Conference (SE)
series_title: Lecture Notes in Informatics (LNI)
status: public
title: 'SimuLizar: Design-Time modeling and Performance Analysis of Self-Adaptive
Systems'
type: conference
user_id: '15504'
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: '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: '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'
...