Service-Oriented Design: The jABC Approach

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.

[1]  Tiziana Margaria,et al.  An Environment for the Creation of Intelligent Network Services , 1995 .

[2]  Tiziana Margaria,et al.  Library-Based Design and Consistency Checking of System-Level Industrial Test Cases , 2001, FASE.

[3]  Tiziana Margaria.  Web services-based tool-integration in the ETI platform , 2004, Software & Systems Modeling.

[4]  Tiziana Margaria,et al.  Components, Features, and Agents in the ABC , 2003, Objects, Agents, and Features.

[5]  Tiziana Margaria,et al.  The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.

[6]  Tiziana Margaria,et al.  Incremental Formalization: A Key to Industrial Success , 1996, Softw. Concepts Tools.

[7]  Tiziana Margaria,et al.  MaTRICS: a management tool for the remote intelligent configuration of (pervasive) systems , 2005, ICPS '05. Proceedings. International Conference on Pervasive Services, 2005..

[8]  Tiziana Margaria,et al.  Remote integration and coordination of verification tools in jETI , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[9]  Tiziana Margaria,et al.  Service-Oriented Design: The Roots , 2005, ICSOC.