Design and Implementation of a Framework for Monitoring Distributed Component Interactions
IDMS '00 Proceedings of the 7th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services
Model-Based Service Creation in the Friends Project
PROMS 2001 Proceedings of the 6th International Conference on Protocols for Multimedia Systems
LfP: A Specification Language for Rapid Prototyping of Concurrent Systems
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
A model-based service creation platform
M3W Proceedings of the 2001 international workshop on Multimedia middleware
Modeling and verifying behavioral aspects
Formal methods for embedded distributed systems
On Architectural Support For Behaviour Refinement In Distributed Systems Design
Journal of Integrated Design & Process Science
Hi-index | 0.00 |
This paper presents a model-based approach to support service creation. In this approach, services are assumed to be created from (available) software components. The creation process may involve multiple design steps in which the requested service is repeatedly decomposed into more detailed functional parts, until these parts can be mapped onto software components. A modeling language is used to express and enable analysis of the resulting designs, in particular the behavior aspects. Methods are needed to verify the correctness of each design step. A technique called behavior refinement is introduced to assess the conformance relation between an abstract behavior and a more concrete (detailed) behavior. This technique is based on the application of abstraction rules to determine the abstraction of the concrete behavior, such that the obtained abstraction can be compared to the original abstract behavior. The application of this refinement technique throughout the creation process enforces the correctness of the created service.