---
_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'
...