A model-based approach to service creation


Quartel, Dick A.C. and Sinderen, Marten J. van and Ferreira Pires, Luis (1999) A model-based approach to service creation. In: 7th IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS, 20-22 Dec. 1999, Cape town, South Africa (pp. pp. 102-110).

open access
Abstract: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 modelling language is used to express and enable analysis of the resulting designs, in particular the behaviour aspects. Methods are needed to verify the correctness of each design step. A technique called behaviour refinement is introduced to assess the conformance relation between an abstract behaviour and a more concrete (detailed) behaviour. This technique is based on the application of abstraction rules to determine the abstraction of the concrete behaviour such that the obtained abstraction can be compared to the original abstract behaviour. The application of this refinement technique throughout the creation process enforces the correctness of the created service
Item Type:Conference or Workshop Item
Copyright:© 1999 IEEE
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/19035
Official URL:https://doi.org/10.1109/FTDCS.1999.818791
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 119557