Warning: Parameter 1 to Language::getMagic() expected to be a reference, value given in /usr/share/mediawiki/includes/StubObject.php on line 58
Exchangeability of Services in Self-Organizing Systems – GRK-Wiki

Exchangeability of Services in Self-Organizing Systems

Aus GRK-Wiki

Wechseln zu: Navigation, Suche



Problem Statement

The research at METRIK graduate school focuses on developing technologies for decentralized information systems in disaster management. This dissertation aims for developing a formal analysis approach of service models to analyze behavioral exchangeability of services in the context of a distributed system in disaster management.

In general, a distributed system in disaster management involves an interaction among multiple work units such as a fire brigade, a red cross agent and a landscape engineer department. These work units interact locally and asynchronously without centralized control, according to a global process definition that has been developed before disastrous events occur. The behavior of such a system can be modeled as a network of multiple services, in which each service represents the process behavior of a work unit in disaster management.

Nevertheless, behavior of a service component is subject to change due to unpredictable circumstances after the disastrous event occurs. Nevertheless, a service in such a context is subject to changes due to unpredictable circumstances after disastrous event occurs. For instance, a regulation or a rule of engagement must be adjusted to an emerging incident, or, due to unforeseen events, a completely new service must be integrated into the system. Therefore, the behavior of a service must be adaptable to various unknown phenomenon. To respond promptly to changes, it is crucial that such an adaptation of a service behavior must neither disrupt an interaction with other work units nor produce an adverse effect to the entire system.

To accommodate changes, a service is exchanged with an update that has a modified behavior. However, an exchange of a service with an ill-designed update may disrupt the user-defined interaction protocol and introduce an adverse effect, such as a deadlock, to an interaction with other cooperating partners (potentially an environment of an original service). In contrast, an exchange of a service with a well-designed update shall preserve the deadlock-free interacting behaviors with other cooperating partners of an original service.

To assist the rapid and effective administration of well-designed updates of a service, a service designer, e.g. a domain expert, requires a tool that supports the correct-by-design development of a service’s update. The goal of this dissertation is to develop a formal analysis approach that provides supports for a service designer to analyze the behavioral exchangeability of services. Such a tool should allow a service designer to perform analysis of a service’s update systematically at the design time before implementing an update.

Please refer to my Poster for more detailed overview of the topic.

Research Issues

  • identify suitable criteria to exchange one service by another
  • characterize relevant properties of the changing behaviors of services
  • develop systematic method to analyze the changing behaviors of services


Persönliche Werkzeuge