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 main publications
Semantic-Based Development of Service-Oriented Systems @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}, }
|