Exchangeability of Services in Self-Organizing Systems
From GRK-Wiki
Contents |
People
- Author: Jarungjit Parnjai
- Supervisor: Prof. Dr. Wolfgang Reisig
Problem Statement
The research at METRIK graduate school focuses on developing technologies for decentralized information systems with self-organizing networks. Service-Oriented computing provides support for such systems to create flexible and dynamic application by composing multiple application components into a network of services.
In the context of distributed self-organizing systems, behavior of a service component is subject to change due to unpredictable circumstances. To accommodate a change, either an entire component will be updated and exchanged by a new component or partial functionality of the component will be adapted to a new behavior. In all cases, an ill-designed update in one service component may disrupt the conversation protocol specifying external message exchange with other service components and globally introduce an adverse affect to the entire system. In contrast, a well-designed update of a service preserves current functionality and respects interacting behaviors with any communicating partner.
To this end, the designer of a service, e.g., a domain expert, requires a systematic approach to rapidly and effectively administrate well-designed updates of the service’s behavior. Thus, support of formal methods for modeling and analyzing the changing behaviors of services is required in order to guarantee that the changing behavior is local to one service component and preserve the desirable properties.
Research Issues
- identify characteristics of services in the context of self-organizing distributed systems
- identify appropriate model of services and their behaviors
- identify suitable criteria to exchange one service by another
- characterize relevant properties of the changing behaviors of services
- develop systematic method to analyze and facilitate the changing behaviors of services
Publications
- Parnjai, J., Stahl, C., Wolf, K.: A finite representation of all substitutable services and its applications. In Kopp, O., Lohmann, N., eds.: Proceedings of the 1st Central-European Workshop on Services and their Composition, ZEUS 2009, Stuttgart, Germany, March 2–3, 2009. Volume 438 of CEUR Workshop Proceedings., CEURWS.org (2009) 29–34.
