Semantic-Based Development of Service-Oriented Systems

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.
Original languageEnglish
Title of host publicationFormal Techniques for Networked and Distributed Systems - FORTE 2006
Subtitle of host publication26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings
EditorsElie Najm, Jean-François Pradat-Peyre, Véronique Viguié Donzeau-Gouge
PublisherSpringer-Verlag GmbH
Number of pages22
ISBN (Electronic)978-3-540-46220-0
ISBN (Print)978-3-540-46219-4
Publication statusPublished - 2006

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Semantic-Based Development of Service-Oriented Systems'. Together they form a unique fingerprint.

Cite this