A Model of Service Behavior Based on Petri Nets with Weights

Author

Peng, Yanbin ; Zheng, ZhiJun ; Xiang, Jian ; Gao, Ji ; Ai, Jieqing ; Lu, Zhenyu ; Jiang, Xueqin

Author_Institution

Sch. of Inf. & Electron. Eng., Zhejiang Univ. of Sci. & Technol., Hangzhou, China

Volume

1

fYear

2009

Firstpage

3

Lastpage

6

Abstract

Service composition technology promises a new solution to an age-old problem: how to implement complex, large scale, cross-enterprise business application. However, we must ensure the compatibility between component services in composite service. Current research works in this field only concern semantics compatibility of service interface, yet ignoring the compatibility of service behavior. Therefore, this paper proposes a model of service behavior based on Petri-nets with weight. Based on the novel model, a method is proposed to verify and compute service behavior compatibility.

Keywords

Petri nets; Web services; business data processing; component service; composite service; cross-enterprise business application; semantics compatibility; service behavior model; service composition technology; service interface; weighted Petri net; Computer science; Customer service; Educational institutions; Engineering management; Large-scale systems; Petri nets; Power system modeling; Software engineering; System recovery; Technology management; Petri nets; compatibility; service behavior;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 2009. WCSE '09. WRI World Congress on

Print_ISBN

978-0-7695-3570-8

Type

conf

DOI

10.1109/WCSE.2009.421

Filename

5319012