Service refinement

Ji Feng He

doi:10.1007/s11432-008-0061-x

Service refinement

Ji Feng He^*

^*Corresponding author for this work

Software Engineering Institute

Research output: Contribution to journal › Article › peer-review

11 Scopus citations

Abstract

This paper presents a refinement calculus for service components. We model the behaviour of individual service by a guarded design, which enables one to separate the responsibility of clients from the commitment made by the system, and to identify a component by a set of failures and divergences. Protocols are introduced to coordinate the interactions between a component with the external environment. We adopt the notion of process refinement to formalize the substitutivity of components, and provide a complete proof method based on the notion of simulations.

Original language	English
Pages (from-to)	661-682
Number of pages	22
Journal	Science in China, Series F: Information Sciences
Volume	51
Issue number	6
DOIs	https://doi.org/10.1007/s11432-008-0061-x
State	Published - Jun 2008

Keywords

Component
Refinement
Service

Access to Document

10.1007/s11432-008-0061-x

Cite this

@article{4e740f70a2e64f52bf6a33023102d3eb,

title = "Service refinement",

abstract = "This paper presents a refinement calculus for service components. We model the behaviour of individual service by a guarded design, which enables one to separate the responsibility of clients from the commitment made by the system, and to identify a component by a set of failures and divergences. Protocols are introduced to coordinate the interactions between a component with the external environment. We adopt the notion of process refinement to formalize the substitutivity of components, and provide a complete proof method based on the notion of simulations.",

keywords = "Component, Refinement, Service",

author = "He, \{Ji Feng\}",

year = "2008",

month = jun,

doi = "10.1007/s11432-008-0061-x",

language = "英语",

volume = "51",

pages = "661--682",

journal = "Science in China, Series F: Information Sciences",

issn = "1009-2757",

publisher = "Science China Press ",

number = "6",

}

TY - JOUR

T1 - Service refinement

AU - He, Ji Feng

PY - 2008/6

Y1 - 2008/6

N2 - This paper presents a refinement calculus for service components. We model the behaviour of individual service by a guarded design, which enables one to separate the responsibility of clients from the commitment made by the system, and to identify a component by a set of failures and divergences. Protocols are introduced to coordinate the interactions between a component with the external environment. We adopt the notion of process refinement to formalize the substitutivity of components, and provide a complete proof method based on the notion of simulations.

AB - This paper presents a refinement calculus for service components. We model the behaviour of individual service by a guarded design, which enables one to separate the responsibility of clients from the commitment made by the system, and to identify a component by a set of failures and divergences. Protocols are introduced to coordinate the interactions between a component with the external environment. We adopt the notion of process refinement to formalize the substitutivity of components, and provide a complete proof method based on the notion of simulations.

KW - Component

KW - Refinement

KW - Service

UR - https://www.scopus.com/pages/publications/44149095029

U2 - 10.1007/s11432-008-0061-x

DO - 10.1007/s11432-008-0061-x

M3 - 文章

AN - SCOPUS:44149095029

SN - 1009-2757

VL - 51

SP - 661

EP - 682

JO - Science in China, Series F: Information Sciences

JF - Science in China, Series F: Information Sciences

IS - 6

ER -

Service refinement

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this