Service composition for mobile environments
Mobile Networks and Applications
| Hi-index | 0.00 |
In this paper we explore the use of action systems for distributed service composition. Distributed systems can be composed out of a basic computation and a set of services. Even though this way of designing a system out of components helps in managing the derivation task, formal description techniques are needed due to the complexity of distributed systems. We propose a method where services, or features as they are often called, are specified in isolation by the service provider. The services when available are used by clients in a distributed manner. Reasoning about the services and their interactions with each other and with the basic computation of the clients is carried out within the refinement calculus. To exemplify the proposed methodology we study feature composition and feature interaction in telecommunications software.