TY - GEN
T1 - Semantic-Based Development of Service-Oriented Systems
AU - Wirsing, Martin
AU - Clark, Allan
AU - Gilmore, Stephen
AU - Hölzl, Matthias
AU - Knapp, Alexander
AU - Koch, Nora
AU - Schroeder, Andreas
PY - 2006
Y1 - 2006
N2 - 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.
AB - 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.
U2 - 10.1007/11888116_3
DO - 10.1007/11888116_3
M3 - Conference contribution
SN - 978-3-540-46219-4
T3 - Lecture Notes in Computer Science
SP - 24
EP - 45
BT - Formal Techniques for Networked and Distributed Systems - FORTE 2006
A2 - Najm, Elie
A2 - Pradat-Peyre, Jean-François
A2 - Donzeau-Gouge, Véronique Viguié
PB - Springer-Verlag GmbH
ER -