Analyzing Web Service Choreography Specifications Using Colored Petri Nets

2011 ◽  
pp. 412-426 ◽  
Author(s):  
Enrique Caliz ◽  
Karthikeyan Umapathy ◽  
Arturo J. Sánchez-Ruíz ◽  
Sherif A. Elfayoumy
Keyword(s):  
Petri Nets ◽  
Web Service ◽  
Colored Petri Nets ◽  
Service Choreography

scholarly journals Web Service Automatic Composition Model Based on Colored Petri Nets

2013 ◽  
Vol 05 (01) ◽  
pp. 101-105 ◽  
Author(s):  
Kai Nie ◽  
Houxiang Wang ◽  
Xiaopei Jing ◽  
Zhihao Xie
Keyword(s):  
Petri Nets ◽  
Web Service ◽  
Colored Petri Nets ◽  
Model Based ◽  
Automatic Composition

The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application

2015 ◽  
Vol 11 (4) ◽  
pp. 1-16
Author(s):  
Maya Souilah Benabdelhafid ◽  
Mahmoud Boufaida
Keyword(s):  
Web Service ◽  
Formal Analysis ◽  
Formal Semantics ◽  
Colored Petri Nets ◽  
Design Time ◽  
Compatibility Analysis ◽  
Development Cycle ◽  
Cpn Tools ◽  
Service Choreography ◽  
Run Time

The formal analysis of Web service compatibility is an important task that is not supported by current composition languages, due to their lack of well-defined formal semantics. This paper addresses the raised issues by providing a survey of service composition with focus on formal compatibility analysis and proposing an e-commerce application that integrates formal methods in Web service choreographies. These methods, including Colored Petri Nets (CPNs) and Timed CPNs, are used at design-time for analyzing service compatibility that will be monitored at run-time. This paper forms an important step towards reliable choreographies since by analyzing at design-time problems could be detected early in the development cycle before starting the implementation. It discusses the monitoring of the compatibility evolution at run-time. The effectiveness of our work is validated using CPN Tools.

Attack Composition Model Based on Generalized Stochastic Colored Petri Nets

2014 ◽  
Vol 35 (11) ◽  
pp. 2608-2614
Author(s):  
Xiang Gao ◽  
Yue-fei Zhu ◽  
Sheng-li Liu
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Model Based
Sign in / Sign up

Export Citation Format

Share Document