Service creation: a model-based approach

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

    10 Citations (Scopus)
    82 Downloads (Pure)


    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
    Number of pages9
    ISBN (Print)0-7695-0468-x
    Publication statusPublished - 1999
    Event7th IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS 1999 - Cape town, South Africa, Cape Town, South Africa
    Duration: 20 Dec 199922 Dec 1999
    Conference number: 7

    Publication series



    Conference7th IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS 1999
    Abbreviated titleFTDCS 1999
    Country/TerritorySouth Africa
    CityCape Town
    Other20-22 Dec. 1999


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

    Cite this