Modern software systems are distributed, concurrent, mobile, and often involve composition of heterogeneous components and stand-alone services. Service coordination and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Coordination languages and formal approaches to modeling and reasoning about self-adaptive behavior help to simplify the development of complex distributed service-based systems, enable functional correctness proofs, and improve the reusability and maintainability of such systems.
展开▼