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.

Gifts from the Web: Service Learning

2005 ◽  
Vol 8 (1) ◽  
pp. 16-18
Author(s):  
Howard F. Wilson
Keyword(s):  
Service Learning ◽  
Web Service ◽  
The Web

Different Syntactic Methods and Clustering For Web Service Integration

2015 ◽  
Vol 03 (01) ◽  
pp. 357-362 ◽  
Author(s):  
PRAVEENKUMAR ARJUN PATEL ◽  
PROF. UMESH LAXMAN KULKARNI
Keyword(s):  
Web Service ◽  
Service Integration
Sign in / Sign up

Export Citation Format

Share Document