|
|
SENSORIA Overview Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show all publications
Semantic-Based Development of Service-Oriented Systems
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder.
Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems(FORTE'06), Paris, France. E. Najn et al. (Eds.). pp. 24-45. LNCS 4229. Springer-Verlag. 2006. Abstract: Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. The IST-FET Integrated Project SENSORIA aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. In this paper we present first ideas for the SENSORIA semantic-based development of service-oriented systems. This includes service-oriented extensions to the UML, a mathematical basis formed by a family of process calculi, a language for expressing context-dependent soft constraints and preferences, qualitative and quantitative analysis methods, and model transformations from UML to process calculi. The results are illustrated by a case study in the area of automotive systems.
paper download: Sensoria_Forte.pdfMain: Overview
Partners: LMU, UEDIN
Status: private
Tasks: T1.4
@INPROCEEDINGS{wirsing:forte:2006,
title = {{Semantic-Based Development of Service-Oriented Systems}},
author = {{Martin} {Wirsing} and {Allan} {Clark} and {Stephen} {Gilmore} and {Matthias} {H\"olzl} and {Alexander} {Knapp} and {Nora} {Koch} and {Andreas} {Schroeder}},
booktitle = {Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems(FORTE'06), Paris, France},
editor = {E. Najn et al.},
pages = {24-45},
abstract = {Service-oriented computing is an emerging paradigm where services are understood
as autonomous, platform-independent computational entities that can be
described, published, categorised, discovered, and dynamically assembled for
developing massively distributed, interoperable, evolvable systems and
applications. The IST-FET Integrated Project SENSORIA aims at developing a novel
comprehensive approach to the engineering of service-oriented software systems
where foundational theories, techniques and methods are fully integrated in a
pragmatic software engineering approach. In this paper we present first ideas
for the SENSORIA semantic-based development of service-oriented systems. This
includes service-oriented extensions to the UML, a mathematical basis formed by
a family of process calculi, a language for expressing context-dependent soft
constraints and preferences, qualitative and quantitative analysis methods, and
model transformations from UML to process calculi. The results are illustrated
by a case study in the area of automotive systems.},
publisher = {Springer-Verlag},
series = {LNCS 4229},
year = {2006},
main = {Overview},
partner = {LMU, UEDIN},
status = {private},
task = {T1.4},
}
|
|
|
|
|