R.Bruni, H.Foster, A.L. Lafuente, U.Montanari and E.Tuosto, A Formal Support to Business and Architectural Design for Service-Oriented Systems to appear in Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M.Wirsing and M.Haltz (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (2010).
Abstract
|
Preview
|
|
A Service-Oriented Computing (SoC) architecture consists of a number of collaborating services to achieve one or more goals. Traditionally, the focus of developing services (as software components) has been on the static binding of these services within a single context and constrained in an individual manner. However, service architectures should be dynamic, where service binding and context changes with environmental changes. The task of designing and analysing such architectures becomes very complex. In this chapter we discuss a specification profile and analysis framework for service modes. A service mode provides an encapsulation of both specification and adaptation in different service scenarios. The approach is implemented as a tool suite and integrated into the Eclipse IDE.
|
Links
Further details will be added for related links and this publication.
|
Tools
-
|
|
|