The Analyzing Method about Behavior Weak Soundness of Web Services based on Open Petri Net

2011 ◽  
Vol 11 (1) ◽  
pp. 166-170
Author(s):  
Xianwen Fang ◽  
Juan Wang ◽  
Ke Luo
Keyword(s):  
Web Services ◽  
Petri Net

A Petri Net Approach to Mediation-Aided Composition of Web Services

2012 ◽  
Vol 9 (2) ◽  
pp. 429-435 ◽  
Author(s):  
Yanhua Du ◽  
Xitong Li ◽  
PengCheng Xiong
Keyword(s):  
Web Services ◽  
Petri Net

scholarly journals QoS Measurement of Workflow-Based Web Service Compositions Using Colored Petri Net

2014 ◽  
Vol 2014 ◽  
pp. 1-14 ◽  
Author(s):  
Hossein Nematzadeh ◽  
Homayun Motameni ◽  
Radziah Mohamad ◽  
Zahra Nematzadeh
Keyword(s):  
Web Services ◽  
Web Service ◽  
Petri Net ◽  
Process Model ◽  
Service Oriented Architecture ◽  
Colored Petri Net ◽  
Service Oriented ◽  
Business Process Execution ◽  
And Performance

Workflow-based web service compositions (WB-WSCs) is one of the main composition categories in service oriented architecture (SOA). Eflow, polymorphic process model (PPM), and business process execution language (BPEL) are the main techniques of the category of WB-WSCs. Due to maturity of web services, measuring the quality of composite web services being developed by different techniques becomes one of the most important challenges in today’s web environments. Business should try to provide good quality regarding the customers’ requirements to a composed web service. Thus, quality of service (QoS) which refers to nonfunctional parameters is important to be measured since the quality degree of a certain web service composition could be achieved. This paper tried to find a deterministic analytical method for dependability and performance measurement using Colored Petri net (CPN) with explicit routing constructs and application of theory of probability. A computer tool called WSET was also developed for modeling and supporting QoS measurement through simulation.

A Petri Net-Based Specification Model Towards Verifiable Service Computing

2011 ◽  
pp. 285-321 ◽  
Author(s):  
Jia Zhang ◽  
Carl K. Chang ◽  
Seong W. Kim
Keyword(s):  
Web Services ◽  
Web Service ◽  
Petri Net ◽  
Web Applications ◽  
Service Computing ◽  
Business Transactions ◽  
Architectural Model ◽  
New Business ◽  
Service Components ◽  
Engineering Enterprise

The emerging paradigm of Web services opens a new way of engineering enterprise Web applications via rapidly developing and deploying Web applications by composing independently published Web-service components to conduct new business transactions. However, how to formally validate and reason about the properties of an enterprise system composed of Web-service components remains a challenge. This chapter introduces an advanced topic of enterprise service computing: the formal verification and validation of enterprise Web services. The authors introduce a Web-services net (WS-Net), which is an executable architectural description language incorporating the semantics of colored petri nets with the style and understandability of the object-oriented concept and Web-services concept. As an architectural model that formalizes the architectural topology and behaviors of each Web-service component as well as the entire system, WS-Net facilitates the simulation, verification, and automated composition of Web services.

Sign in / Sign up

Export Citation Format

Share Document