Model driven orchestration: design for service compatibility
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Design for service compatibility
Software and Systems Modeling (SoSyM)
Analyzing Compatibility of Services via Resource Conformance
Fundamenta Informaticae - Concurrency, Specification and Programming
| Hi-index | 0.00 |
In this paper we propose an approach to check the compatibility of two services. The models of the services are built in Finite State Machine (FSM) and the behavior of services is described with the process of Communicating Sequential Processes (CSP). An operator named corresponding position concurrency is defined to facilitate the calculation of composability of the paths which are obtained from processes, thus we can determine whether the two services are compatible or not. Simple examples are introduced to illustrate how to use this approach.