Service creation: a model-based approach

Dick Quartel; Marten J. van Sinderen; Luis Ferreira Pires

doi:10.1109/FTDCS.1999.818791

Service creation: a model-based approach

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

10 Citations (Scopus)

229 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 language	Undefined
Title of host publication	7th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'99)
Place of Publication	Cape town, South Africa
Publisher	IEEE
Pages	102-110
Number of pages	9
ISBN (Print)	0-7695-0468-x
DOIs	https://doi.org/10.1109/FTDCS.1999.818791
Publication status	Published - 1999
Event	7th IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS 1999 - Cape town, South Africa, Cape Town, South Africa Duration: 20 Dec 1999 → 22 Dec 1999 Conference number: 7

Publication series

Name
Publisher	IEEE

Conference

Conference	7th IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS 1999
Abbreviated title	FTDCS 1999
Country/Territory	South Africa
City	Cape Town
Period	20/12/99 → 22/12/99
Other	20-22 Dec. 1999

Keywords

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

Access to Document

10.1109/FTDCS.1999.818791

Cite this

@inproceedings{4f004af8c8a64ada87c28e1bcdfc977f,

title = "Service creation: a model-based approach",

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.",

keywords = "IR-19035, EWI-8760, SCS-Services, METIS-119557",

author = "Dick Quartel and \{van Sinderen\}, \{Marten J.\} and \{Ferreira Pires\}, Luis",

note = "Imported from research group ASNA (ID number 218); 7th IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS 1999 ; Conference date: 20-12-1999 Through 22-12-1999",

year = "1999",

doi = "10.1109/FTDCS.1999.818791",

language = "Undefined",

isbn = "0-7695-0468-x",

publisher = "IEEE",

pages = "102--110",

booktitle = "7th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'99)",

address = "United States",

}

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

TY - GEN

T1 - Service creation: a model-based approach

AU - Quartel, Dick

AU - van Sinderen, Marten J.

AU - Ferreira Pires, Luis

N1 - Conference code: 7

PY - 1999

Y1 - 1999

N2 - 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.

AB - 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.

KW - IR-19035

KW - EWI-8760

KW - SCS-Services

KW - METIS-119557

U2 - 10.1109/FTDCS.1999.818791

DO - 10.1109/FTDCS.1999.818791

M3 - Conference contribution

SN - 0-7695-0468-x

SP - 102

EP - 110

BT - 7th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'99)

PB - IEEE

CY - Cape town, South Africa

T2 - 7th IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS 1999

Y2 - 20 December 1999 through 22 December 1999

ER -