---
_id: '245'
abstract:
- lang: eng
text: In cloud computing, software architects develop systems for virtually unlimited
resources that cloud providers account on a pay-per-use basis. Elasticity management
systems provision these resources autonomously to deal with changing workload.
Such changing workloads call for new objective metrics allowing architects to
quantify quality properties like scalability, elasticity, and efficiency, e.g.,
for requirements/SLO engineering and software design analysis. In literature,
initial metrics for these properties have been proposed. However, current metrics
lack a systematic derivation and assume knowledge of implementation details like
resource handling. Therefore, these metrics are inapplicable where such knowledge
is unavailable.To cope with these lacks, this short paper derives metrics for
scalability, elasticity, and efficiency properties of cloud computing systems
using the goal question metric (GQM) method. Our derivation uses a running example
that outlines characteristics of cloud computing systems. Eventually, this example
allows us to set up a systematic GQM plan and to derive an initial set of six
new metrics. We particularly show that our GQM plan allows to classify existing
metrics.
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Sebastian
full_name: Lehrig, Sebastian
last_name: Lehrig
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Becker M, Lehrig S, Becker S. Systematically Deriving Quality Metrics for
Cloud Computing Systems. In: Proceedings of the 6th ACM/SPEC International
Conference on Performance Engineering. ICPE ’15. New York, NY, USA; 2015:169--174.
doi:10.1145/2668930.2688043'
apa: Becker, M., Lehrig, S., & Becker, S. (2015). Systematically Deriving Quality
Metrics for Cloud Computing Systems. In Proceedings of the 6th ACM/SPEC International
Conference on Performance Engineering (pp. 169--174). New York, NY, USA. https://doi.org/10.1145/2668930.2688043
bibtex: '@inproceedings{Becker_Lehrig_Becker_2015, place={New York, NY, USA}, series={ICPE
’15}, title={Systematically Deriving Quality Metrics for Cloud Computing Systems},
DOI={10.1145/2668930.2688043},
booktitle={Proceedings of the 6th ACM/SPEC International Conference on Performance
Engineering}, author={Becker, Matthias and Lehrig, Sebastian and Becker, Steffen},
year={2015}, pages={169--174}, collection={ICPE ’15} }'
chicago: Becker, Matthias, Sebastian Lehrig, and Steffen Becker. “Systematically
Deriving Quality Metrics for Cloud Computing Systems.” In Proceedings of the
6th ACM/SPEC International Conference on Performance Engineering, 169--174.
ICPE ’15. New York, NY, USA, 2015. https://doi.org/10.1145/2668930.2688043.
ieee: M. Becker, S. Lehrig, and S. Becker, “Systematically Deriving Quality Metrics
for Cloud Computing Systems,” in Proceedings of the 6th ACM/SPEC International
Conference on Performance Engineering, 2015, pp. 169--174.
mla: Becker, Matthias, et al. “Systematically Deriving Quality Metrics for Cloud
Computing Systems.” Proceedings of the 6th ACM/SPEC International Conference
on Performance Engineering, 2015, pp. 169--174, doi:10.1145/2668930.2688043.
short: 'M. Becker, S. Lehrig, S. Becker, in: Proceedings of the 6th ACM/SPEC International
Conference on Performance Engineering, New York, NY, USA, 2015, pp. 169--174.'
date_created: 2017-10-17T12:41:39Z
date_updated: 2022-01-06T06:56:26Z
ddc:
- '040'
doi: 10.1145/2668930.2688043
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:47:47Z
date_updated: 2018-03-21T09:47:47Z
file_id: '1493'
file_name: 245-paper_02.pdf
file_size: 462675
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:47:47Z
has_accepted_license: '1'
language:
- iso: eng
page: 169--174
place: New York, NY, USA
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 6th ACM/SPEC International Conference on Performance
Engineering
series_title: ICPE '15
status: public
title: Systematically Deriving Quality Metrics for Cloud Computing Systems
type: conference
user_id: '477'
year: '2015'
...
---
_id: '246'
author:
- first_name: Galina
full_name: Besova, Galina
last_name: Besova
citation:
ama: Besova G. Systematic Development and Re-Use of Model Tranformations.
Universität Paderborn; 2015.
apa: Besova, G. (2015). Systematic Development and Re-Use of Model Tranformations.
Universität Paderborn.
bibtex: '@book{Besova_2015, title={Systematic Development and Re-Use of Model Tranformations},
publisher={Universität Paderborn}, author={Besova, Galina}, year={2015} }'
chicago: Besova, Galina. Systematic Development and Re-Use of Model Tranformations.
Universität Paderborn, 2015.
ieee: G. Besova, Systematic Development and Re-Use of Model Tranformations.
Universität Paderborn, 2015.
mla: Besova, Galina. Systematic Development and Re-Use of Model Tranformations.
Universität Paderborn, 2015.
short: G. Besova, Systematic Development and Re-Use of Model Tranformations, Universität
Paderborn, 2015.
date_created: 2017-10-17T12:41:40Z
date_updated: 2022-01-06T06:56:30Z
ddc:
- '040'
department:
- _id: '77'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:47:14Z
date_updated: 2018-03-21T09:47:14Z
file_id: '1492'
file_name: 246-Dissertation_-_Besova.pdf
file_size: 10091866
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:47:14Z
has_accepted_license: '1'
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
related_material:
link:
- relation: confirmation
url: http://digital.ub.uni-paderborn.de/hsx/content/titleinfo/1705899
status: public
supervisor:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
title: Systematic Development and Re-Use of Model Tranformations
type: dissertation
user_id: '477'
year: '2015'
...
---
_id: '260'
abstract:
- lang: eng
text: During the last decade, researchers have proposed a number of model transformations
enabling performance predictions. These transformations map performance-annotated
software architecture models into stochastic models solved by analytical means
or by simulation. However, so far, a detailed quantitative evaluation of the accuracy
and efficiency of different transformations is missing, making it hard to select
an adequate transformation for a given context. This paper provides an in-depth
comparison and quantitative evaluation of representative model transformations
to, e.g., Queueing Petri Nets and Layered Queueing Networks. The semantic gaps
between typical source model abstractions and the different analysis techniques
are revealed. The accuracy and efficiency of each transformation are evaluated
by considering four case studies representing systems of different size and complexity.
The presented results and insights gained from the evaluation help software architects
and performance engineers to select the appropriate transformation for a given
context, thus significantly improving the usability of model transformations for
performance prediction.
author:
- first_name: Fabian
full_name: Brosig, Fabian
last_name: Brosig
- first_name: Philipp
full_name: Meier, Philipp
last_name: Meier
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
- first_name: Anne
full_name: Koziolek, Anne
last_name: Koziolek
- first_name: Heiko
full_name: Koziolek, Heiko
last_name: Koziolek
- first_name: Samuel
full_name: Kounev, Samuel
last_name: Kounev
citation:
ama: Brosig F, Meier P, Becker S, Koziolek A, Koziolek H, Kounev S. Quantitative
Evaluation of Model-Driven Performance Analysis and Simulation of Component-based
Architectures. Transactions on Software Engineering. 2015;(2):157--175.
doi:10.1109/TSE.2014.2362755
apa: Brosig, F., Meier, P., Becker, S., Koziolek, A., Koziolek, H., & Kounev,
S. (2015). Quantitative Evaluation of Model-Driven Performance Analysis and Simulation
of Component-based Architectures. Transactions on Software Engineering,
(2), 157--175. https://doi.org/10.1109/TSE.2014.2362755
bibtex: '@article{Brosig_Meier_Becker_Koziolek_Koziolek_Kounev_2015, title={Quantitative
Evaluation of Model-Driven Performance Analysis and Simulation of Component-based
Architectures}, DOI={10.1109/TSE.2014.2362755},
number={2}, journal={Transactions on Software Engineering}, publisher={IEEE},
author={Brosig, Fabian and Meier, Philipp and Becker, Steffen and Koziolek, Anne
and Koziolek, Heiko and Kounev, Samuel}, year={2015}, pages={157--175} }'
chicago: 'Brosig, Fabian, Philipp Meier, Steffen Becker, Anne Koziolek, Heiko Koziolek,
and Samuel Kounev. “Quantitative Evaluation of Model-Driven Performance Analysis
and Simulation of Component-Based Architectures.” Transactions on Software
Engineering, no. 2 (2015): 157--175. https://doi.org/10.1109/TSE.2014.2362755.'
ieee: F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, and S. Kounev, “Quantitative
Evaluation of Model-Driven Performance Analysis and Simulation of Component-based
Architectures,” Transactions on Software Engineering, no. 2, pp. 157--175,
2015.
mla: Brosig, Fabian, et al. “Quantitative Evaluation of Model-Driven Performance
Analysis and Simulation of Component-Based Architectures.” Transactions on
Software Engineering, no. 2, IEEE, 2015, pp. 157--175, doi:10.1109/TSE.2014.2362755.
short: F. Brosig, P. Meier, S. Becker, A. Koziolek, H. Koziolek, S. Kounev, Transactions
on Software Engineering (2015) 157--175.
date_created: 2017-10-17T12:41:42Z
date_updated: 2022-01-06T06:57:15Z
ddc:
- '040'
doi: 10.1109/TSE.2014.2362755
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:38:42Z
date_updated: 2018-03-21T09:38:42Z
file_id: '1484'
file_name: 260-TSE_Journal-1.pdf
file_size: 1973471
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:38:42Z
has_accepted_license: '1'
issue: '2'
page: 157--175
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Transactions on Software Engineering
publisher: IEEE
status: public
title: Quantitative Evaluation of Model-Driven Performance Analysis and Simulation
of Component-based Architectures
type: journal_article
user_id: '477'
year: '2015'
...
---
_id: '262'
abstract:
- lang: eng
text: Programs from Proofs" is a generic method which generates new programs out
of correctness proofs of given programs. The technique ensures that the new and
given program are behaviorally equivalent and that the new program is easily verifiable,
thus serving as an alternative to proof-carrying code concepts. So far, this generic
method has one instantiation that verifies type-state properties of programs.
In this paper, we present a whole range of new instantiations, all based on data
ow analyses. More precisely, we show how an imprecise but fast data ow analysis
can be enhanced with a predicate analysis as to yield a precise but expensive
analysis. Out of the safety proofs of this analysis, we generate new programs,
again behaviorally equivalent to the given ones, which are easily verifiable"
in the sense that now the data ow analysis alone can yield precise results. An
experimental evaluation practically supports our claim of easy verification.
author:
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Jakobs M-C, Wehrheim H. Programs from Proofs of Predicated Dataflow Analyses.
In: Proceedings of the 30th Annual ACM Symposium on Applied Computing.
SAC ’15. ; 2015:1729-1736. doi:10.1145/2695664.2695690'
apa: Jakobs, M.-C., & Wehrheim, H. (2015). Programs from Proofs of Predicated
Dataflow Analyses. In Proceedings of the 30th Annual ACM Symposium on Applied
Computing (pp. 1729–1736). https://doi.org/10.1145/2695664.2695690
bibtex: '@inproceedings{Jakobs_Wehrheim_2015, series={SAC ’15}, title={Programs
from Proofs of Predicated Dataflow Analyses}, DOI={10.1145/2695664.2695690},
booktitle={Proceedings of the 30th Annual ACM Symposium on Applied Computing},
author={Jakobs, Marie-Christine and Wehrheim, Heike}, year={2015}, pages={1729–1736},
collection={SAC ’15} }'
chicago: Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated
Dataflow Analyses.” In Proceedings of the 30th Annual ACM Symposium on Applied
Computing, 1729–36. SAC ’15, 2015. https://doi.org/10.1145/2695664.2695690.
ieee: M.-C. Jakobs and H. Wehrheim, “Programs from Proofs of Predicated Dataflow
Analyses,” in Proceedings of the 30th Annual ACM Symposium on Applied Computing,
2015, pp. 1729–1736.
mla: Jakobs, Marie-Christine, and Heike Wehrheim. “Programs from Proofs of Predicated
Dataflow Analyses.” Proceedings of the 30th Annual ACM Symposium on Applied
Computing, 2015, pp. 1729–36, doi:10.1145/2695664.2695690.
short: 'M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 30th Annual ACM Symposium
on Applied Computing, 2015, pp. 1729–1736.'
date_created: 2017-10-17T12:41:43Z
date_updated: 2022-01-06T06:57:18Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1145/2695664.2695690
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:35:34Z
date_updated: 2018-03-21T09:35:34Z
file_id: '1483'
file_name: 262-mainSACfinal.pdf
file_size: 554583
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:35:34Z
has_accepted_license: '1'
language:
- iso: eng
page: 1729-1736
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the 30th Annual ACM Symposium on Applied Computing
series_title: SAC '15
status: public
title: Programs from Proofs of Predicated Dataflow Analyses
type: conference
user_id: '477'
year: '2015'
...
---
_id: '269'
abstract:
- lang: eng
text: Proof-carrying hardware is an approach that has recently been proposed for
the efficient verification of reconfigurable modules. We present an application
of proof-carrying hardware to guarantee the correct functionality of dynamically
reconfigured image processing modules. Our prototype comprises a reconfigurable-system-on-chip
with an embedded virtual FPGA fabric. This setup allows us to leverage open source
FPGA synthesis and backend tools to produce FPGA configuration bitstreams with
an open format and, thus, to demonstrate and experimentally evaluate proof-carrying
hardware at the bitstream level.
author:
- first_name: Tobias
full_name: Wiersema, Tobias
id: '3118'
last_name: Wiersema
- first_name: Sen
full_name: Wu, Sen
last_name: Wu
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Wiersema T, Wu S, Platzner M. On-The-Fly Verification of Reconfigurable Image
Processing Modules based on a Proof-Carrying Hardware Approach. In: Proceedings
of the International Symposium in Reconfigurable Computing (ARC). LNCS. ;
2015:365--372. doi:10.1007/978-3-319-16214-0_32'
apa: Wiersema, T., Wu, S., & Platzner, M. (2015). On-The-Fly Verification of
Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach.
In Proceedings of the International Symposium in Reconfigurable Computing (ARC)
(pp. 365--372). https://doi.org/10.1007/978-3-319-16214-0_32
bibtex: '@inproceedings{Wiersema_Wu_Platzner_2015, series={LNCS}, title={On-The-Fly
Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying
Hardware Approach}, DOI={10.1007/978-3-319-16214-0_32},
booktitle={Proceedings of the International Symposium in Reconfigurable Computing
(ARC)}, author={Wiersema, Tobias and Wu, Sen and Platzner, Marco}, year={2015},
pages={365--372}, collection={LNCS} }'
chicago: Wiersema, Tobias, Sen Wu, and Marco Platzner. “On-The-Fly Verification
of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware
Approach.” In Proceedings of the International Symposium in Reconfigurable
Computing (ARC), 365--372. LNCS, 2015. https://doi.org/10.1007/978-3-319-16214-0_32.
ieee: T. Wiersema, S. Wu, and M. Platzner, “On-The-Fly Verification of Reconfigurable
Image Processing Modules based on a Proof-Carrying Hardware Approach,” in Proceedings
of the International Symposium in Reconfigurable Computing (ARC), 2015, pp.
365--372.
mla: Wiersema, Tobias, et al. “On-The-Fly Verification of Reconfigurable Image Processing
Modules Based on a Proof-Carrying Hardware Approach.” Proceedings of the International
Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372, doi:10.1007/978-3-319-16214-0_32.
short: 'T. Wiersema, S. Wu, M. Platzner, in: Proceedings of the International Symposium
in Reconfigurable Computing (ARC), 2015, pp. 365--372.'
date_created: 2017-10-17T12:41:44Z
date_updated: 2022-01-06T06:57:30Z
ddc:
- '040'
department:
- _id: '78'
doi: 10.1007/978-3-319-16214-0_32
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:32:42Z
date_updated: 2018-03-21T09:32:42Z
file_id: '1477'
file_name: 269-paper_53.pdf
file_size: 344309
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:32:42Z
has_accepted_license: '1'
language:
- iso: eng
page: 365--372
project:
- _id: '1'
name: SFB 901
- _id: '12'
name: SFB 901 - Subprojekt B4
- _id: '3'
name: SFB 901 - Project Area B
publication: Proceedings of the International Symposium in Reconfigurable Computing
(ARC)
series_title: LNCS
status: public
title: On-The-Fly Verification of Reconfigurable Image Processing Modules based on
a Proof-Carrying Hardware Approach
type: conference
user_id: '477'
year: '2015'
...
---
_id: '323'
abstract:
- lang: eng
text: On-the-fly composition of service-based software solutions is still a challenging
task. Even more challenges emerge when facing automatic service composition in
markets of composed services for end users. In this paper, we focus on the functional
discrepancy between “what a user wants” specified in terms of a request and “what
a user gets” when executing a composed service. To meet the challenge of functional
discrepancy, we propose the combination of existing symbolic composition approaches
with machine learning techniques. We developed a learning recommendation system
that expands the capabilities of existing composition algorithms to facilitate
adaptivity and consequently reduces functional discrepancy. As a representative
of symbolic techniques, an Artificial Intelligence planning based approach produces
solutions that are correct with respect to formal specifications. Our learning
recommendation system supports the symbolic approach in decision-making. Reinforcement
Learning techniques enable the recommendation system to adjust its recommendation
strategy over time based on user ratings. We implemented the proposed functionality
in terms of a prototypical composition framework. Preliminary results from experiments
conducted in the image processing domain illustrate the benefit of combining both
complementary techniques.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
citation:
ama: Jungmann A, Mohr F. An approach towards adaptive service composition in markets
of composed services. Journal of Internet Services and Applications. 2015;(1):1-18.
doi:10.1186/s13174-015-0022-8
apa: Jungmann, A., & Mohr, F. (2015). An approach towards adaptive service composition
in markets of composed services. Journal of Internet Services and Applications,
(1), 1–18. https://doi.org/10.1186/s13174-015-0022-8
bibtex: '@article{Jungmann_Mohr_2015, title={An approach towards adaptive service
composition in markets of composed services}, DOI={10.1186/s13174-015-0022-8},
number={1}, journal={Journal of Internet Services and Applications}, publisher={Springer},
author={Jungmann, Alexander and Mohr, Felix}, year={2015}, pages={1–18} }'
chicago: 'Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service
Composition in Markets of Composed Services.” Journal of Internet Services
and Applications, no. 1 (2015): 1–18. https://doi.org/10.1186/s13174-015-0022-8.'
ieee: A. Jungmann and F. Mohr, “An approach towards adaptive service composition
in markets of composed services,” Journal of Internet Services and Applications,
no. 1, pp. 1–18, 2015.
mla: Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service
Composition in Markets of Composed Services.” Journal of Internet Services
and Applications, no. 1, Springer, 2015, pp. 1–18, doi:10.1186/s13174-015-0022-8.
short: A. Jungmann, F. Mohr, Journal of Internet Services and Applications (2015)
1–18.
date_created: 2017-10-17T12:41:55Z
date_updated: 2022-01-06T06:59:06Z
ddc:
- '040'
department:
- _id: '355'
doi: 10.1186/s13174-015-0022-8
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:39:17Z
date_updated: 2018-03-20T07:39:17Z
file_id: '1429'
file_name: 323-An_approach_towards_adaptive_service_composition_in_markets_of_composed_services.pdf
file_size: 2842281
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:39:17Z
has_accepted_license: '1'
issue: '1'
language:
- iso: eng
page: 1-18
project:
- _id: '1'
name: SFB 901
- _id: '10'
name: SFB 901 - Subprojekt B2
- _id: '3'
name: SFB 901 - Project Area B
publication: Journal of Internet Services and Applications
publisher: Springer
status: public
title: An approach towards adaptive service composition in markets of composed services
type: journal_article
user_id: '477'
year: '2015'
...
---
_id: '324'
abstract:
- lang: eng
text: Services are self-contained software components that can beused platform independent
and that aim at maximizing software reuse. Abasic concern in service oriented
architectures is to measure the reusabilityof services. One of the most important
qualities is the functionalreusability, which indicates how relevant the task
is that a service solves.Current metrics for functional reusability of software,
however, have verylittle explanatory power and do not accomplish this goal.This
paper presents a new approach to estimate the functional reusabilityof services
based on their relevance. To this end, it denes the degreeto which a service enables
the execution of other services as its contri-bution. Based on the contribution,
relevance of services is dened as anestimation for their functional reusability.
Explanatory power is obtainedby normalizing relevance values with a reference
service. The applicationof the metric to a service test set conrms its supposed
capabilities.
author:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
citation:
ama: 'Mohr F. A Metric for Functional Reusability of Services. In: Proceedings
of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2015:298--313.
doi:10.1007/978-3-319-14130-5_21'
apa: Mohr, F. (2015). A Metric for Functional Reusability of Services. In Proceedings
of the 14th International Conference on Software Reuse (ICSR) (pp. 298--313).
https://doi.org/10.1007/978-3-319-14130-5_21
bibtex: '@inproceedings{Mohr_2015, series={LNCS}, title={A Metric for Functional
Reusability of Services}, DOI={10.1007/978-3-319-14130-5_21},
booktitle={Proceedings of the 14th International Conference on Software Reuse
(ICSR)}, author={Mohr, Felix}, year={2015}, pages={298--313}, collection={LNCS}
}'
chicago: Mohr, Felix. “A Metric for Functional Reusability of Services.” In Proceedings
of the 14th International Conference on Software Reuse (ICSR), 298--313. LNCS,
2015. https://doi.org/10.1007/978-3-319-14130-5_21.
ieee: F. Mohr, “A Metric for Functional Reusability of Services,” in Proceedings
of the 14th International Conference on Software Reuse (ICSR), 2015, pp. 298--313.
mla: Mohr, Felix. “A Metric for Functional Reusability of Services.” Proceedings
of the 14th International Conference on Software Reuse (ICSR), 2015, pp. 298--313,
doi:10.1007/978-3-319-14130-5_21.
short: 'F. Mohr, in: Proceedings of the 14th International Conference on Software
Reuse (ICSR), 2015, pp. 298--313.'
date_created: 2017-10-17T12:41:55Z
date_updated: 2022-01-06T06:59:07Z
ddc:
- '040'
department:
- _id: '355'
doi: 10.1007/978-3-319-14130-5_21
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:38:44Z
date_updated: 2018-03-20T07:38:44Z
file_id: '1428'
file_name: 324-ICSR-Mohr-15.pdf
file_size: 569475
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:38:44Z
has_accepted_license: '1'
language:
- iso: eng
page: 298--313
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 14th International Conference on Software Reuse (ICSR)
series_title: LNCS
status: public
title: A Metric for Functional Reusability of Services
type: conference
user_id: '477'
year: '2015'
...
---
_id: '3343'
abstract:
- lang: eng
text: In this paper we consider an extended variant of query learning where the
hidden concept is embedded in some Boolean circuit. This additional processing
layer modifies query arguments and answers by fixed transformation functions which
are known to the learner. For this scenario, we provide a characterization of
the solution space and an ordering on it. We give a compact representation of
the minimal and maximal solutions as quantified Boolean formulas and we adapt
the original algorithms for exact learning of specific classes of propositional
formulas.
author:
- first_name: Uwe
full_name: Bubeck, Uwe
last_name: Bubeck
- first_name: Hans
full_name: Kleine Büning, Hans
last_name: Kleine Büning
citation:
ama: Bubeck U, Kleine Büning H. Learning Boolean Specifications. Artificial Intelligence.
2015:246-257. doi:10.1016/j.artint.2015.09.003
apa: Bubeck, U., & Kleine Büning, H. (2015). Learning Boolean Specifications.
Artificial Intelligence, 246–257. https://doi.org/10.1016/j.artint.2015.09.003
bibtex: '@article{Bubeck_Kleine Büning_2015, title={Learning Boolean Specifications},
DOI={10.1016/j.artint.2015.09.003},
journal={Artificial Intelligence}, publisher={Elsevier}, author={Bubeck, Uwe and
Kleine Büning, Hans}, year={2015}, pages={246–257} }'
chicago: Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.”
Artificial Intelligence, 2015, 246–57. https://doi.org/10.1016/j.artint.2015.09.003.
ieee: U. Bubeck and H. Kleine Büning, “Learning Boolean Specifications,” Artificial
Intelligence, pp. 246–257, 2015.
mla: Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.” Artificial
Intelligence, Elsevier, 2015, pp. 246–57, doi:10.1016/j.artint.2015.09.003.
short: U. Bubeck, H. Kleine Büning, Artificial Intelligence (2015) 246–257.
date_created: 2018-06-25T10:43:19Z
date_updated: 2022-01-06T06:59:10Z
ddc:
- '000'
department:
- _id: '34'
doi: 10.1016/j.artint.2015.09.003
keyword:
- Query learning
- Propositional logic
language:
- iso: eng
page: 246 - 257
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
publication: Artificial Intelligence
publication_identifier:
issn:
- 0004-3702
publisher: Elsevier
status: public
title: Learning Boolean Specifications
type: journal_article
user_id: '315'
year: '2015'
...
---
_id: '290'
abstract:
- lang: eng
text: 'Model transformation is a key concept in model-driven software engineering.
The definition of model transformations is usually based on meta-models describing
the abstract syntax of languages. While meta-models are thereby able to abstract
from uperfluous details of concrete syntax, they often loose structural information
inherent in languages, like information on model elements always occurring together
in particular shapes. As a consequence, model transformations cannot naturally
re-use language structures, thus leading to unnecessary complexity in their development
as well as in quality assurance.In this paper, we propose a new approach to model
transformation development which allows to simplify the developed transformations
and improve their quality via the exploitation of the languages׳ structures. The
approach is based on context-free graph grammars and transformations defined by
pairing productions of source and target grammars. We show that such transformations
have important properties: they terminate and are sound, complete, and deterministic.'
author:
- first_name: Galina
full_name: Besova, Galina
last_name: Besova
- first_name: Dominik
full_name: Steenken, Dominik
last_name: Steenken
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Besova G, Steenken D, Wehrheim H. Grammar-based model transformations: Definition,
execution, and quality properties. Computer Languages, Systems & Structures.
2015:116-138. doi:10.1016/j.cl.2015.05.003'
apa: 'Besova, G., Steenken, D., & Wehrheim, H. (2015). Grammar-based model transformations:
Definition, execution, and quality properties. Computer Languages, Systems
& Structures, 116–138. https://doi.org/10.1016/j.cl.2015.05.003'
bibtex: '@article{Besova_Steenken_Wehrheim_2015, title={Grammar-based model transformations:
Definition, execution, and quality properties}, DOI={10.1016/j.cl.2015.05.003},
journal={Computer Languages, Systems & Structures}, publisher={Elsevier},
author={Besova, Galina and Steenken, Dominik and Wehrheim, Heike}, year={2015},
pages={116–138} }'
chicago: 'Besova, Galina, Dominik Steenken, and Heike Wehrheim. “Grammar-Based Model
Transformations: Definition, Execution, and Quality Properties.” Computer Languages,
Systems & Structures, 2015, 116–38. https://doi.org/10.1016/j.cl.2015.05.003.'
ieee: 'G. Besova, D. Steenken, and H. Wehrheim, “Grammar-based model transformations:
Definition, execution, and quality properties,” Computer Languages, Systems
& Structures, pp. 116–138, 2015.'
mla: 'Besova, Galina, et al. “Grammar-Based Model Transformations: Definition, Execution,
and Quality Properties.” Computer Languages, Systems & Structures,
Elsevier, 2015, pp. 116–38, doi:10.1016/j.cl.2015.05.003.'
short: G. Besova, D. Steenken, H. Wehrheim, Computer Languages, Systems & Structures
(2015) 116–138.
date_created: 2017-10-17T12:41:48Z
date_updated: 2022-01-06T06:58:43Z
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-21T09:22:03Z
date_updated: 2018-03-21T09:22:03Z
file_id: '1464'
file_name: 290-BSW15-main.pdf
file_size: 1329478
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:22:03Z
has_accepted_license: '1'
language:
- iso: eng
page: 116-138
project:
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subprojekt B3
- _id: '3'
name: SFB 901 - Project Area B
publication: Computer Languages, Systems & Structures
publisher: Elsevier
status: public
title: 'Grammar-based model transformations: Definition, execution, and quality properties'
type: journal_article
user_id: '477'
year: '2015'
...
---
_id: '291'
author:
- first_name: Paul
full_name: Börding, Paul
last_name: Börding
citation:
ama: Börding P. Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen.
Universität Paderborn; 2015.
apa: Börding, P. (2015). Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen.
Universität Paderborn.
bibtex: '@book{Börding_2015, title={Fuzzy Matching von Vor- und Nachbedingungen
in Servicespezikationen}, publisher={Universität Paderborn}, author={Börding,
Paul}, year={2015} }'
chicago: Börding, Paul. Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen.
Universität Paderborn, 2015.
ieee: P. Börding, Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen.
Universität Paderborn, 2015.
mla: Börding, Paul. Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen.
Universität Paderborn, 2015.
short: P. Börding, Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen,
Universität Paderborn, 2015.
date_created: 2017-10-17T12:41:48Z
date_updated: 2022-01-06T06:58:46Z
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: Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen
type: bachelorsthesis
user_id: '477'
year: '2015'
...
---
_id: '293'
abstract:
- lang: eng
text: Opinion mining from physician rating websites depends on the quality of the
extracted information. Sometimes reviews are user-error prone and the assigned
stars or grades contradict the associated content. We therefore aim at detecting
random individual error within reviews. Such errors comprise the disagreement
in polarity of review texts and the respective ratings. The challenges that thereby
arise are (1) the content and sentiment analysis of the review texts and (2) the
removal of the random individual errors contained therein. To solve these tasks,
we assign polarities to automatically recognized opinion phrases in reviews and
then check for divergence in rating and text polarity. The novelty of our approach
is that we improve user-generated data quality by excluding error-prone reviews
on German physician websites from average ratings.
author:
- first_name: Michaela
full_name: Geierhos, Michaela
id: '42496'
last_name: Geierhos
orcid: 0000-0002-8180-5606
- first_name: Frederik Simon
full_name: Bäumer, Frederik Simon
id: '38837'
last_name: Bäumer
- first_name: Sabine
full_name: Schulze, Sabine
last_name: Schulze
- first_name: Valentina
full_name: Stuß, Valentina
last_name: Stuß
citation:
ama: 'Geierhos M, Bäumer FS, Schulze S, Stuß V. Filtering Reviews by Random Individual
Error. In: Ali M, Kwon YS, Lee C-H, Kim J, Kim Y, eds. Proceedings of the 28th
International Conference on Industrial, Engineering and Other Applications of
Applied Intelligent Systems (IEA/AIE 2015). Vol 9101. Lecture Notes in Artificial
Intelligence. Cham, Switzerland: Springer; 2015:305-315. doi:10.1007/978-3-319-19066-2_30'
apa: 'Geierhos, M., Bäumer, F. S., Schulze, S., & Stuß, V. (2015). Filtering
Reviews by Random Individual Error. In M. Ali, Y. S. Kwon, C.-H. Lee, J. Kim,
& Y. Kim (Eds.), Proceedings of the 28th International Conference on Industrial,
Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015)
(Vol. 9101, pp. 305–315). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-19066-2_30'
bibtex: '@inbook{Geierhos_Bäumer_Schulze_Stuß_2015, place={Cham, Switzerland}, series={Lecture
Notes in Artificial Intelligence}, title={Filtering Reviews by Random Individual
Error}, volume={9101}, DOI={10.1007/978-3-319-19066-2_30},
booktitle={Proceedings of the 28th International Conference on Industrial, Engineering
and Other Applications of Applied Intelligent Systems (IEA/AIE 2015)}, publisher={Springer},
author={Geierhos, Michaela and Bäumer, Frederik Simon and Schulze, Sabine and
Stuß, Valentina}, editor={Ali, Moonis and Kwon, Young Sig and Lee, Chang-Hwan
and Kim, Juntae and Kim, Yongdai Editors}, year={2015}, pages={305–315}, collection={Lecture
Notes in Artificial Intelligence} }'
chicago: 'Geierhos, Michaela, Frederik Simon Bäumer, Sabine Schulze, and Valentina
Stuß. “Filtering Reviews by Random Individual Error.” In Proceedings of the
28th International Conference on Industrial, Engineering and Other Applications
of Applied Intelligent Systems (IEA/AIE 2015), edited by Moonis Ali, Young
Sig Kwon, Chang-Hwan Lee, Juntae Kim, and Yongdai Kim, 9101:305–15. Lecture
Notes in Artificial Intelligence. Cham, Switzerland: Springer, 2015. https://doi.org/10.1007/978-3-319-19066-2_30.'
ieee: 'M. Geierhos, F. S. Bäumer, S. Schulze, and V. Stuß, “Filtering Reviews by
Random Individual Error,” in Proceedings of the 28th International Conference
on Industrial, Engineering and Other Applications of Applied Intelligent Systems
(IEA/AIE 2015), vol. 9101, M. Ali, Y. S. Kwon, C.-H. Lee, J. Kim, and Y. Kim,
Eds. Cham, Switzerland: Springer, 2015, pp. 305–315.'
mla: Geierhos, Michaela, et al. “Filtering Reviews by Random Individual Error.”
Proceedings of the 28th International Conference on Industrial, Engineering
and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), edited
by Moonis Ali et al., vol. 9101, Springer, 2015, pp. 305–15, doi:10.1007/978-3-319-19066-2_30.
short: 'M. Geierhos, F.S. Bäumer, S. Schulze, V. Stuß, in: M. Ali, Y.S. Kwon, C.-H.
Lee, J. Kim, Y. Kim (Eds.), Proceedings of the 28th International Conference on
Industrial, Engineering and Other Applications of Applied Intelligent Systems
(IEA/AIE 2015), Springer, Cham, Switzerland, 2015, pp. 305–315.'
conference:
end_date: 2015-06-12
location: Seoul, South Korea
name: 28th International Conference on Industrial, Engineering and Other Applications
of Applied Intelligent Systems (IEA/AIE 2015)
start_date: 2015-06-10
date_created: 2017-10-17T12:41:49Z
date_updated: 2022-01-06T06:58:47Z
ddc:
- '040'
department:
- _id: '36'
- _id: '1'
- _id: '579'
doi: 10.1007/978-3-319-19066-2_30
editor:
- first_name: 'Moonis '
full_name: 'Ali, Moonis '
last_name: Ali
- first_name: Young Sig
full_name: Kwon, Young Sig
last_name: Kwon
- first_name: Chang-Hwan
full_name: Lee, Chang-Hwan
last_name: Lee
- first_name: 'Juntae '
full_name: 'Kim, Juntae '
last_name: Kim
- first_name: 'Yongdai '
full_name: 'Kim, Yongdai '
last_name: Kim
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:21:30Z
date_updated: 2018-03-21T09:21:30Z
file_id: '1463'
file_name: 293-IEA_AIE2015.pdf
file_size: 292847
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:21:30Z
has_accepted_license: '1'
intvolume: ' 9101'
language:
- iso: eng
page: 305-315
place: Cham, Switzerland
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: Proceedings of the 28th International Conference on Industrial, Engineering
and Other Applications of Applied Intelligent Systems (IEA/AIE 2015)
publication_identifier:
eisbn:
- 978-3-319-19066-2
isbn:
- 978-3-319-19065-5
publication_status: published
publisher: Springer
quality_controlled: '1'
series_title: Lecture Notes in Artificial Intelligence
status: public
title: Filtering Reviews by Random Individual Error
type: book_chapter
user_id: '42496'
volume: 9101
year: '2015'
...
---
_id: '300'
author:
- first_name: Conrad
full_name: Neumann, Conrad
last_name: Neumann
citation:
ama: Neumann C. Ein Framework für Fuzzy Service Matching basierend auf Fuzzy
Sets. Universität Paderborn; 2015.
apa: Neumann, C. (2015). Ein Framework für Fuzzy Service Matching basierend auf
Fuzzy Sets. Universität Paderborn.
bibtex: '@book{Neumann_2015, title={Ein Framework für Fuzzy Service Matching basierend
auf Fuzzy Sets}, publisher={Universität Paderborn}, author={Neumann, Conrad},
year={2015} }'
chicago: Neumann, Conrad. Ein Framework für Fuzzy Service Matching basierend
auf Fuzzy Sets. Universität Paderborn, 2015.
ieee: C. Neumann, Ein Framework für Fuzzy Service Matching basierend auf Fuzzy
Sets. Universität Paderborn, 2015.
mla: Neumann, Conrad. Ein Framework für Fuzzy Service Matching basierend auf
Fuzzy Sets. Universität Paderborn, 2015.
short: C. Neumann, Ein Framework für Fuzzy Service Matching basierend auf Fuzzy
Sets, Universität Paderborn, 2015.
date_created: 2017-10-17T12:41:50Z
date_updated: 2022-01-06T06:58:50Z
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: Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets
type: bachelorsthesis
user_id: '477'
year: '2015'
...
---
_id: '310'
author:
- first_name: Melanie
full_name: Bruns, Melanie
last_name: Bruns
citation:
ama: Bruns M. Design of an Evaluation Strategy for Fuzzy Service Matching.
Universität Paderborn; 2015.
apa: Bruns, M. (2015). Design of an Evaluation Strategy for Fuzzy Service Matching.
Universität Paderborn.
bibtex: '@book{Bruns_2015, title={Design of an Evaluation Strategy for Fuzzy Service
Matching}, publisher={Universität Paderborn}, author={Bruns, Melanie}, year={2015}
}'
chicago: Bruns, Melanie. Design of an Evaluation Strategy for Fuzzy Service Matching.
Universität Paderborn, 2015.
ieee: M. Bruns, Design of an Evaluation Strategy for Fuzzy Service Matching.
Universität Paderborn, 2015.
mla: Bruns, Melanie. Design of an Evaluation Strategy for Fuzzy Service Matching.
Universität Paderborn, 2015.
short: M. Bruns, Design of an Evaluation Strategy for Fuzzy Service Matching, Universität
Paderborn, 2015.
date_created: 2017-10-17T12:41:52Z
date_updated: 2022-01-06T06:58:55Z
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: Design of an Evaluation Strategy for Fuzzy Service Matching
type: bachelorsthesis
user_id: '477'
year: '2015'
...
---
_id: '313'
abstract:
- lang: eng
text: 'Nowadays, many service providers offer software components in the form of
Software as a Service. Requesters that want to discover those services in order
to use or to integrate them, need to find out which service satisfies their requirements
best. For this purpose, service matching approaches determine how well the specifications
of provided services satisfy their requirements (including structural, behavioral,
and non-functional requirements). In this paper, we describe the tool-suite MatchBox
that allows the integration of existing service matchers and their combination
as part of flexibly configurable matching processes. Taking requirements and service
specifications as an input, MatchBox is able to execute such matching processes
and deliver rich matching results. In contrast to related tools, MatchBox allows
users to take into account many different kinds of requirements, while it also
provides the flexibility to control the matching process in many different ways. '
author:
- first_name: Paul
full_name: Börding, Paul
last_name: Börding
- first_name: Melanie
full_name: Bruns, Melanie
last_name: Bruns
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
citation:
ama: 'Börding P, Bruns M, Platenius MC. Comprehensive Service Matching with MatchBox.
In: 10th Joint Meeting of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15).
; 2015:974--977. doi:10.1145/2786805.2803181'
apa: Börding, P., Bruns, M., & Platenius, M. C. (2015). Comprehensive Service
Matching with MatchBox. In 10th Joint Meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(ESEC/FSE’15) (pp. 974--977). https://doi.org/10.1145/2786805.2803181
bibtex: '@inproceedings{Börding_Bruns_Platenius_2015, title={Comprehensive Service
Matching with MatchBox}, DOI={10.1145/2786805.2803181},
booktitle={10th Joint Meeting of the European Software Engineering Conference
and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15)},
author={Börding, Paul and Bruns, Melanie and Platenius, Marie Christin}, year={2015},
pages={974--977} }'
chicago: Börding, Paul, Melanie Bruns, and Marie Christin Platenius. “Comprehensive
Service Matching with MatchBox.” In 10th Joint Meeting of the European Software
Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software
Engineering (ESEC/FSE’15), 974--977, 2015. https://doi.org/10.1145/2786805.2803181.
ieee: P. Börding, M. Bruns, and M. C. Platenius, “Comprehensive Service Matching
with MatchBox,” in 10th Joint Meeting of the European Software Engineering
Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
(ESEC/FSE’15), 2015, pp. 974--977.
mla: Börding, Paul, et al. “Comprehensive Service Matching with MatchBox.” 10th
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT
Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015,
pp. 974--977, doi:10.1145/2786805.2803181.
short: 'P. Börding, M. Bruns, M.C. Platenius, in: 10th Joint Meeting of the European
Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977.'
date_created: 2017-10-17T12:41:53Z
date_updated: 2022-01-06T06:58:58Z
ddc:
- '040'
department:
- _id: '76'
doi: 10.1145/2786805.2803181
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:44:26Z
date_updated: 2018-03-20T07:44:26Z
file_id: '1438'
file_name: 313-p974-boerding.pdf
file_size: 875687
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:44:26Z
has_accepted_license: '1'
language:
- iso: eng
page: 974--977
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publication: 10th Joint Meeting of the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'15)
status: public
title: Comprehensive Service Matching with MatchBox
type: conference
user_id: '477'
year: '2015'
...
---
_id: '315'
abstract:
- lang: eng
text: In this paper, we introduce an approach for combining embedded systems with
Service-oriented Computing techniques based on a concrete application scenario
from the robotics domain. Our proposed Service-oriented Architecture allows for
incorporating computational expensive functionality as services into a distributed
computing environment. Furthermore, our framework facilitates a seamless integration
of embedded systems such as robots as service providers into the computing environment.
The entire communication is based on so-called recipes, which can be interpreted
as autonomous messages that contain all necessary information for executing compositions
of services.
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Jan
full_name: Jatzkowski, Jan
last_name: Jatzkowski
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing
with Embedded Systems - A Robotics Case Study. In: Proceedings of the 5th IFIP
International Embedded Systems Symposium. ; 2015.'
apa: Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2015). Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study. In Proceedings of
the 5th IFIP International Embedded Systems Symposium.
bibtex: '@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings
of the 5th IFIP International Embedded Systems Symposium}, author={Jungmann, Alexander
and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }'
chicago: Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Combining
Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” In
Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.
ieee: A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented
Computing with Embedded Systems - A Robotics Case Study,” in Proceedings of
the 5th IFIP International Embedded Systems Symposium, 2015.
mla: Jungmann, Alexander, et al. “Combining Service-Oriented Computing with Embedded
Systems - A Robotics Case Study.” Proceedings of the 5th IFIP International
Embedded Systems Symposium, 2015.
short: 'A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP
International Embedded Systems Symposium, 2015.'
date_created: 2017-10-17T12:41:53Z
date_updated: 2022-01-06T06:58:58Z
ddc:
- '040'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:43:26Z
date_updated: 2018-03-20T07:43:26Z
file_id: '1436'
file_name: 315-JungmannJatzkowskiKleinjohann.pdf
file_size: 1482481
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:43:26Z
has_accepted_license: '1'
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 5th IFIP International Embedded Systems Symposium
status: public
title: Combining Service-oriented Computing with Embedded Systems - A Robotics Case
Study
type: conference
user_id: '15504'
year: '2015'
...
---
_id: '3162'
author:
- first_name: Steffen
full_name: Ziegert, Steffen
last_name: Ziegert
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Ziegert S, Wehrheim H. Temporal plans for software architecture reconfiguration.
Computer Science - R & D. 2015;(3-4):303--320. doi:10.1007/s00450-014-0259-7
apa: Ziegert, S., & Wehrheim, H. (2015). Temporal plans for software architecture
reconfiguration. Computer Science - R & D, (3–4), 303--320. https://doi.org/10.1007/s00450-014-0259-7
bibtex: '@article{Ziegert_Wehrheim_2015, title={Temporal plans for software architecture
reconfiguration}, DOI={10.1007/s00450-014-0259-7},
number={3–4}, journal={Computer Science - R & D}, author={Ziegert, Steffen
and Wehrheim, Heike}, year={2015}, pages={303--320} }'
chicago: 'Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture
Reconfiguration.” Computer Science - R & D, no. 3–4 (2015): 303--320.
https://doi.org/10.1007/s00450-014-0259-7.'
ieee: S. Ziegert and H. Wehrheim, “Temporal plans for software architecture reconfiguration,”
Computer Science - R & D, no. 3–4, pp. 303--320, 2015.
mla: Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture
Reconfiguration.” Computer Science - R & D, no. 3–4, 2015, pp. 303--320,
doi:10.1007/s00450-014-0259-7.
short: S. Ziegert, H. Wehrheim, Computer Science - R & D (2015) 303--320.
date_created: 2018-06-13T07:47:56Z
date_updated: 2022-01-06T06:59:01Z
ddc:
- '000'
department:
- _id: '77'
doi: 10.1007/s00450-014-0259-7
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:52:13Z
date_updated: 2018-11-02T15:52:13Z
file_id: '5315'
file_name: TemporalPlansForSoftwareArchit.pdf
file_size: 2136451
relation: main_file
success: 1
file_date_updated: 2018-11-02T15:52:13Z
has_accepted_license: '1'
issue: 3-4
language:
- iso: eng
page: 303--320
project:
- _id: '3'
name: SFB 901 - Project Area B
- _id: '1'
name: SFB 901
- _id: '11'
name: SFB 901 - Subproject B3
publication: Computer Science - R & D
status: public
title: Temporal plans for software architecture reconfiguration
type: journal_article
user_id: '477'
year: '2015'
...
---
_id: '318'
author:
- first_name: Zille
full_name: Huma, Zille
last_name: Huma
citation:
ama: Huma Z. Automatic Service Discovery and Composition for Heterogeneous Service
Partners. Universität Paderborn; 2015.
apa: Huma, Z. (2015). Automatic Service Discovery and Composition for heterogeneous
service partners. Universität Paderborn.
bibtex: '@book{Huma_2015, title={Automatic Service Discovery and Composition for
heterogeneous service partners}, publisher={Universität Paderborn}, author={Huma,
Zille}, year={2015} }'
chicago: Huma, Zille. Automatic Service Discovery and Composition for Heterogeneous
Service Partners. Universität Paderborn, 2015.
ieee: Z. Huma, Automatic Service Discovery and Composition for heterogeneous
service partners. Universität Paderborn, 2015.
mla: Huma, Zille. Automatic Service Discovery and Composition for Heterogeneous
Service Partners. Universität Paderborn, 2015.
short: Z. Huma, Automatic Service Discovery and Composition for Heterogeneous Service
Partners, Universität Paderborn, 2015.
date_created: 2017-10-17T12:41:54Z
date_updated: 2022-01-06T06:59:03Z
ddc:
- '040'
department:
- _id: '66'
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:42:30Z
date_updated: 2018-03-20T07:42:30Z
file_id: '1435'
file_name: 318-Dissertation_-_Huma.pdf
file_size: 8011875
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:42:30Z
has_accepted_license: '1'
project:
- _id: '1'
name: SFB 901
- _id: '9'
name: SFB 901 - Subprojekt B1
- _id: '3'
name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
title: Automatic Service Discovery and Composition for heterogeneous service partners
type: dissertation
user_id: '477'
year: '2015'
...
---
_id: '319'
abstract:
- lang: eng
text: Services are self-contained and platform independent software components that
aim at maximizing software reuse. The automated composition of services to a target
software artifact has been tackled with many AI techniques, but existing approaches
make unreasonably strong assumptions such as a predefined data flow, are limited
to tiny problem sizes, ignore non-functional properties, or assume offline service
repositories. This paper presents an algorithm that automatically composes services
without making such assumptions. We employ a backward search algorithm that starts
from an empty composition and prepends service calls to already discovered candidates
until a solution is found. Available services are determined during the search
process. We implemented our algorithm, performed an experimental evaluation, and
compared it to other approaches.
author:
- first_name: Felix
full_name: Mohr, Felix
last_name: Mohr
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Hans
full_name: Kleine Büning, Hans
last_name: Kleine Büning
citation:
ama: 'Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition.
In: Proceedings of the 12th IEEE International Conference on Services Computing
(SCC). ; 2015:57--64. doi:10.1109/SCC.2015.18'
apa: Mohr, F., Jungmann, A., & Kleine Büning, H. (2015). Automated Online Service
Composition. In Proceedings of the 12th IEEE International Conference on Services
Computing (SCC) (pp. 57--64). https://doi.org/10.1109/SCC.2015.18
bibtex: '@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online
Service Composition}, DOI={10.1109/SCC.2015.18},
booktitle={Proceedings of the 12th IEEE International Conference on Services Computing
(SCC)}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans},
year={2015}, pages={57--64} }'
chicago: Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online
Service Composition.” In Proceedings of the 12th IEEE International Conference
on Services Computing (SCC), 57--64, 2015. https://doi.org/10.1109/SCC.2015.18.
ieee: F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,”
in Proceedings of the 12th IEEE International Conference on Services Computing
(SCC), 2015, pp. 57--64.
mla: Mohr, Felix, et al. “Automated Online Service Composition.” Proceedings
of the 12th IEEE International Conference on Services Computing (SCC), 2015,
pp. 57--64, doi:10.1109/SCC.2015.18.
short: 'F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE
International Conference on Services Computing (SCC), 2015, pp. 57--64.'
date_created: 2017-10-17T12:41:54Z
date_updated: 2022-01-06T06:59:04Z
ddc:
- '040'
department:
- _id: '355'
doi: 10.1109/SCC.2015.18
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-20T07:42:03Z
date_updated: 2018-03-20T07:42:03Z
file_id: '1434'
file_name: 319-07207336.pdf
file_size: 345742
relation: main_file
success: 1
file_date_updated: 2018-03-20T07:42:03Z
has_accepted_license: '1'
language:
- iso: eng
page: 57--64
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 12th IEEE International Conference on Services Computing
(SCC)
status: public
title: Automated Online Service Composition
type: conference
user_id: '477'
year: '2015'
...
---
_id: '272'
abstract:
- lang: eng
text: 'Automated service composition aims at automatically generating software solutions
based on services to provide more complex functionality. In this paper, we give
an initial overview about why adaptivity becomes increasingly important when aiming
for automated composition of service functionality in dynamic and freely accessible
environments such as service markets. We systematically derive dependencies among
crucial processes such as service composition and service execution in a holistic
view. Furthermore, we briefly discuss the influences and effects of changes in
the environment according to the derived dependencies, and derive possible future
research directions. '
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
citation:
ama: 'Jungmann A. On Adaptivity for Automated Composition of Service Functionality.
In: Proceedings of the IEEE 11th World Congress on Services (SERVICES).
; 2015:329--332. doi:10.1109/SERVICES.2015.57'
apa: Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality.
In Proceedings of the IEEE 11th World Congress on Services (SERVICES) (pp.
329--332). https://doi.org/10.1109/SERVICES.2015.57
bibtex: '@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition
of Service Functionality}, DOI={10.1109/SERVICES.2015.57},
booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES)},
author={Jungmann, Alexander}, year={2015}, pages={329--332} }'
chicago: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service
Functionality.” In Proceedings of the IEEE 11th World Congress on Services
(SERVICES), 329--332, 2015. https://doi.org/10.1109/SERVICES.2015.57.
ieee: A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,”
in Proceedings of the IEEE 11th World Congress on Services (SERVICES),
2015, pp. 329--332.
mla: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.”
Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015,
pp. 329--332, doi:10.1109/SERVICES.2015.57.
short: 'A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services
(SERVICES), 2015, pp. 329--332.'
date_created: 2017-10-17T12:41:45Z
date_updated: 2022-01-06T06:57:36Z
ddc:
- '040'
doi: 10.1109/SERVICES.2015.57
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:29:05Z
date_updated: 2018-03-21T09:29:05Z
file_id: '1474'
file_name: 272-07196545.pdf
file_size: 163452
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:29:05Z
has_accepted_license: '1'
page: 329--332
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 IEEE 11th World Congress on Services (SERVICES)
status: public
title: On Adaptivity for Automated Composition of Service Functionality
type: conference
user_id: '15504'
year: '2015'
...
---
_id: '279'
abstract:
- lang: eng
text: Service discovery in global software markets is performed by brokers who act
as intermediaries between service consumers and service providers.In order to
discover services, brokers apply service matching for determining whether the
specification of a provided service satisfies the consumer's requirements.Brokers
can already choose between a lot of different service matching approaches considering
different service properties (structural, behavioral, and non-functional properties).Different
matching approaches can be combined into configurable matching processes leading
to a high matching quality (e.g., accurate matching results). However, this combination
and configuration is a manual procedure and has to be repeated for different consumers'
or market requirements regarding matching quality. In this paper, we propose our
framework MatchBox, which supports a broker in reusing existing matching approaches
and combining them in a model-driven way based on a reconfigurable model of the
matching process.Using this reconfigurable model, MatchBox takes care of control
and data flow between matching approaches and executes the modeled processes automatically.As
a case study, we integrated eleven matchers into MatchBox to demonstrate that
it remains flexibility and reduces effort for a broker at the same time.
author:
- first_name: Marie Christin
full_name: Platenius, Marie Christin
last_name: Platenius
- first_name: Svetlana
full_name: Arifulina, Svetlana
last_name: Arifulina
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration
of Service Matching Processes. In: Proceedings of the 18th International ACM
Sigsoft Symposium on Component-Based Software Engineering (CBSE’15). ; 2015:75-84.
doi:10.1145/2737166.2737174'
apa: 'Platenius, M. C., Arifulina, S., & Schäfer, W. (2015). MatchBox: A Framework
for Dynamic Configuration of Service Matching Processes. In Proceedings of
the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering
(CBSE’15) (pp. 75–84). https://doi.org/10.1145/2737166.2737174'
bibtex: '@inproceedings{Platenius_Arifulina_Schäfer_2015, title={MatchBox: A Framework
for Dynamic Configuration of Service Matching Processes}, DOI={10.1145/2737166.2737174},
booktitle={Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based
Software Engineering (CBSE’15)}, author={Platenius, Marie Christin and Arifulina,
Svetlana and Schäfer, Wilhelm}, year={2015}, pages={75–84} }'
chicago: 'Platenius, Marie Christin, Svetlana Arifulina, and Wilhelm Schäfer. “MatchBox:
A Framework for Dynamic Configuration of Service Matching Processes.” In Proceedings
of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering
(CBSE’15), 75–84, 2015. https://doi.org/10.1145/2737166.2737174.'
ieee: 'M. C. Platenius, S. Arifulina, and W. Schäfer, “MatchBox: A Framework for
Dynamic Configuration of Service Matching Processes,” in Proceedings of the
18th International ACM Sigsoft Symposium on Component-Based Software Engineering
(CBSE’15), 2015, pp. 75–84.'
mla: 'Platenius, Marie Christin, et al. “MatchBox: A Framework for Dynamic Configuration
of Service Matching Processes.” Proceedings of the 18th International ACM Sigsoft
Symposium on Component-Based Software Engineering (CBSE’15), 2015, pp. 75–84,
doi:10.1145/2737166.2737174.'
short: 'M.C. Platenius, S. Arifulina, W. Schäfer, in: Proceedings of the 18th International
ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15), 2015,
pp. 75–84.'
date_created: 2017-10-17T12:41:46Z
date_updated: 2022-01-06T06:57:48Z
ddc:
- '040'
department:
- _id: '76'
- _id: '66'
doi: 10.1145/2737166.2737174
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T09:26:40Z
date_updated: 2018-03-21T09:26:40Z
file_id: '1471'
file_name: 279-p75-platenius.pdf
file_size: 2090964
relation: main_file
success: 1
file_date_updated: 2018-03-21T09:26:40Z
has_accepted_license: '1'
language:
- iso: eng
page: 75-84
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '9'
name: SFB 901 - Subproject B1
publication: Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based
Software Engineering (CBSE'15)
status: public
title: 'MatchBox: A Framework for Dynamic Configuration of Service Matching Processes'
type: conference
user_id: '477'
year: '2015'
...