TL;DRAbstract
The dynamic composition of services as visioned in a Plug-and Play approach requires new design and validation methods. We propose a service design based on the concept of roles. The feature of composite state newly introduced in SDL 2000 is used to model roles and their composition. We introduce a validation approach tightly integrated with the composition of roles. The approach takes advantage of the system structure. In that way, it will be possible to reuse the results of the analysis done before the modification of the system when a new component is introduced. Furthermore, as components may be bound dynamically at run-time, the analysis is defined such that it can be applied on state machine types - not only instances.
Chat with Paper
AI Agents for this Paper
The dynamic composition of services as visioned in a Plug-and Play approach requires new design and validation methods. We propose a service design based on the concept of roles. The feature of composite state newly introduced in SDL 2000 is used to model roles and their composition. We introduce a validation approach tightly integrated with the composition of roles. The approach takes advantage of the system structure. In that way, it will be possible to reuse the results of the analysis done before the modification of the system when a new component is introduced. Furthermore, as components may be bound dynamically at run-time, the analysis is defined such that it can be applied on state machine types - not only instances.
Keywords
Chat
Click to start Chat