Service refinement

Ji Feng He

doi:10.1007/s11432-008-0061-x

Service refinement

Ji Feng He^*

^*此作品的通讯作者

软件工程学院

科研成果: 期刊稿件 › 文章 › 同行评审

11 引用（Scopus）

摘要

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.

源语言	英语
页（从-至）	661-682
页数	22
期刊	Science in China, Series F: Information Sciences
卷	51
期	6
DOI	https://doi.org/10.1007/s11432-008-0061-x
出版状态	已出版 - 6月 2008

访问文件

10.1007/s11432-008-0061-x

其它文件与链接

链接到 Scopus 的出版物

引用此

@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

摘要

访问文件

其它文件与链接

指纹

引用此