Margaria, Tiziana ;
Steffen, Bernhard ;
Reitenspieß, Manfred
Service-Oriented Design: The jABC Approach
Abstract
Reviewing our 10 years of experience in service engineering for
telecommunication systems from the point of view of Service-Oriented
Design then and now, we observe that much is common to the two
communities. We aim in our current research at establishing a link
to the notions used by the service-oriented programming (SO)
community.
We are convinced that combined approaches, that blend the
flexibility of the current SO-scenario with the rigour and semantic standardization culture of the telecommunication community
will dramatically increase the
productivity of the development of a large class of software systems. Incremental formalization and automatic verification
techniques may be again the key to achieving confidence and
reliability for services that interact and interoperate on a large
distributed scale.
BibTeX - Entry
@InProceedings{margaria_et_al:DagSemProc.05462.8,
author = {Margaria, Tiziana and Steffen, Bernhard and Reitenspie{\ss}, Manfred},
title = {{Service-Oriented Design: The jABC Approach}},
booktitle = {Service Oriented Computing (SOC)},
pages = {1--4},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2006},
volume = {5462},
editor = {Francisco Cubera and Bernd J. Kr\"{a}mer and Michael P. Papazoglou},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2006/521},
URN = {urn:nbn:de:0030-drops-5217},
doi = {10.4230/DagSemProc.05462.8},
annote = {Keywords: Service-Oriented Design, Telecommunication Services, Service platforms}
}
|
Keywords: |
|
Service-Oriented Design, Telecommunication Services, Service platforms |
|
Seminar: |
|
05462 - Service Oriented Computing (SOC)
|
|
Issue date: |
|
2006 |
|
Date of publication: |
|
05.05.2006 |
05.05.2006
