Service net algebra based on logic Petri nets

Hu, Qiang; Du, Yuyue; Yu, Shengquan

doi:10.1016/j.ins.2013.10.014

Cited by 30 publications

(26 citation statements)

References 35 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A cluster service net is defined as a 5-tuple = (LPN, , , , Γ, ), where (1) LPN is the process model of while LPN is a logic Petri net with a single initial place and terminal place [29];…”

Section: Formal Definition and Service Quality Of Cluster Servicementioning

confidence: 99%

A Clustering Method for Isomorphic Evolution of Web Services

Zhen

2017

Scientific Programming

Self Cite

View full text Add to dashboard Cite

Since the basic binding unit of current service request and response schema is an atomic Web service, it needs to costly find a substitute service or reconstruct the service process in the original service space once a fine granular evolution requirement occurs. To reduce the complexity of fine granular service evolution, an isomorphic evolution mechanism based on service clusters is proposed. Searching space can be reduced and responding flexibility will also be improved by adopting service cluster as the unit of service response. Simple evolution and merging evolution were put forward to handle the evolution of atomic Web services. Meanwhile, a formal model and the quality computing method for service processes built by service clusters were presented based on the logic Petri nets. Two types of evolution patterns including dot isomorphic evolution and chain isomorphic evolution were proposed to evolve service processes. The algorithms for different isomorphic evolution patterns of atomic service and service processes were designed in the paper. Simulation experiments were conducted on 10000 Web services with different process patterns. Compared with the traditional service request and response schema, the efficiencies of service discovery and isomorphic evolution are improved greatly in our proposed method.

show abstract

Section: Formal Definition and Service Quality Of Cluster Servicementioning

confidence: 99%

A Clustering Method for Isomorphic Evolution of Web Services

Zhen

2017

Scientific Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…Hu et al 9 propose service net algebra (SNA) based on logic Petri net model. They emphasize the reuse of a service process instead of reuse of a composite Web service.…”

Section: Related Workmentioning

confidence: 99%

“…In order to satisfy such requirements, we propose a Web service algebra that can model and verify Web services in a much more efficient manner. Though researchers have proposed several algebras focused on Web services 8,9,10 , these do not give emphasis on recursive nature of service composition and also do not explore on the verification aspect of composition. Therefore, we emphasize that a Web services algebra should have its own basic computational model on recursive composition where interaction must be one of the basic activities (primitive notions) of the model.…”

Section: Introductionmentioning

confidence: 99%

Algebraic Modeling and Verification of Web Service Composition

Gopal¹,

Gangadharan²,

Padmanabhan³

2015

Procedia Computer Science

View full text Add to dashboard Cite

In order to provide a rigorous and sound foundation for formal reasoning about Web services, algebraic modeling is one of the important techniques used as is witnessed from the Web service literature. However, the algebraic modeling approach for Web services (Web service algebra) is still in its infancy. To further facilitate the algebraic modeling of Web services, in this paper, we propose a composition algebra based on the notion of recursive composition. The proposed algebra is fully capable to verify the presence of behavioral equivalences and deadlock conditions in a Web service composition scenario. The main motivation for proposing Web service composition algebra is to capture the recursive nature of composition which cannot be done using traditional approaches like model checking and Petri net.

show abstract

“…When using Petri Net to model system especially concurrent systems, Transition used to express event, action, conversion, etc., Place represents such as condition, resource, status, Token shows the number of resources and connecting arc qualitatively denotes the link between Place and Transition (consumption or production) [27]. As shown in Figure 2, some related definitions are derivative.…”

Section: Petri Netmentioning

confidence: 99%