Service creation: a model-based approach

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
    29 Downloads (Pure)

    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.
    Original languageUndefined
    Title of host publication7th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'99)
    Place of PublicationCape town, South Africa
    PublisherIEEE Computer Society
    Pages102-110
    Number of pages9
    ISBN (Print)0-7695-0468-x
    DOIs
    Publication statusPublished - 1999

    Publication series

    Name
    PublisherIEEE

    Keywords

    • IR-19035
    • EWI-8760
    • SCS-Services
    • METIS-119557

    Cite this

    Quartel, D., van Sinderen, M. J., & Ferreira Pires, L. (1999). Service creation: a model-based approach. In 7th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'99) (pp. 102-110). Cape town, South Africa: IEEE Computer Society. https://doi.org/10.1109/FTDCS.1999.818791