1,698 Hits in 8.2 sec

A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services

Xitong Li, Yushun Fan, Quan Z. Sheng, Zakaria Maamar, Hongwei Zhu
2011 IEEE transactions on systems, man and cybernetics. Part A. Systems and humans  
Although many existing approaches utilize PNs to analyze behavioral compatibility, few of them explore further appropriate definitions of behavioral similarity and provide a user-friendly tool with automatic  ...  Thus, it is important to develop effective approaches that permit one to analyze the similarity of Web services.  ...  ACKNOWLEDGMENT The authors would like to thank Prof. M. Zhou at the New Jersey Institute of Technology, Newark, for his valuable suggestions in improving the quality of this paper.  ... 
doi:10.1109/tsmca.2010.2093884 fatcat:hv2h5ne7qjalnenko3x4iqobzu

Checking Compatibility of Web Services Behaviorally [chapter]

Kais Klai, Hanen Ochi
2013 Lecture Notes in Computer Science  
We propose to abstract the concrete behavior of a web service using a SOG and show how composition of web services as well as the compatibility check can be achieved through the composition of their abstractions  ...  This approach allows to respect the privacy of the services since SOGs are based on collaborative activities only and hide the internal structure and behavior of the corresponding service.  ...  Thus, many researchers have been interested in formal modeling and analyzing methods to better formalize the behavior of web services such as Petri net model and its variants.  ... 
doi:10.1007/978-3-642-40213-5_17 fatcat:5w66bxhwuzag5j6xwjvymsxbem

Challenges of Testing Business Process Models in Intra- and Inter-Organizational Context

Stefan Mijatov, Tanja Mayerhofer
2014 Modellierung  
In this paper we provide an overview of existing approaches to validate business process models in both intra-and inter-organizational context and discuss arising challenges.  ...  In order to address the issue of complexity and changeability of business processes, as well as of the information technology used to implement these processes, business process models are used.  ...  [MMGF06] present a similar approach for analyzing and verifying the compatibility of BPEL processes.  ... 
dblp:conf/modellierung/MijatovM14 fatcat:km6cyy7zbrgjvbryx5ehsbf7ma

Analyzing Web Service Based Business Processes [chapter]

Axel Martens
2005 Lecture Notes in Computer Science  
Due to the existing Petri net semantics for BPEL4WS -a language that is in the very act of becoming the industrial standard for Web service based business processes -the results are directly applicable  ...  The presented method is based on Petri nets, because this formalism is widely used for modeling and analyzing business processes.  ...  The mapping of a BPEL process model into an analyzable Petri net is explained in [13] . 2.1 Modeling with Petri Nets Figure 1 shows Petri net models of three Web service: A route planning service,  ... 
doi:10.1007/978-3-540-31984-9_3 fatcat:oaygjky275gdxohqr3c35fpd5y

A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language

Wei Tan, Yushun Fan, MengChu Zhou, MengChu Zhou
2009 IEEE Transactions on Automation Science and Engineering  
We first transform a BPEL description into a service workflow net, which is a kind of colored Petri net (CPN).  ...  This work presents a novel and fundamental framework to analyze and compose web services. It is based on CPNs and a newly proposed concept called Communicating Reachability Graph.  ...  To provide a rigorous approach to analyze the compatibility and check whether there exists any mediator, we first transform BPEL services into service workflow nets which is a kind of CPNs.  ... 
doi:10.1109/tase.2008.916747 fatcat:2peztvhsg5cxrh6ubhlkdoiaji

The Behavior Trustworthiness Analysis Methods of Composite Web Services Based on Process Mining

Xiangwei Liu, Xianwen Fang, Mimi Wang, Zhixiang Yin
2013 Applied Mathematics & Information Sciences  
But the proposed judging algorithm of behavior relativity was feasible only in the case that T-invariant of Petri net model exists, and the behavior conformance was also difficult to handle.  ...  In the paper, firstly, in order to analyze the behavior relativity between the Web services, an algorithm for determining the behavior weak soundness of the composite service was presented based on the  ...  Acknowledgement We would like to thank the support of the National Natural  ... 
doi:10.12785/amis/070538 fatcat:kkd4tjs3kncb7dhosqko62f4he

The Analytical Method of Web Services Composition Based on Action Patterns

Xiangwei Liu, Wenjun Hao, Xianwen Fang
2014 International Journal of Multimedia and Ubiquitous Engineering  
In this paper, we model a component by an open Petri net, and investigate action patterns as a means to descript and analysis of behavior constraint under the condition that subnets composition are satisfied  ...  In existing research, functions to meet and behavior predictability are two major aspects of Web services composition, but there are some limitations to treatment of behavioral constraints.  ...  Acknowledgments We would like to thank the support of the National Natural Science  ... 
doi:10.14257/ijmue.2014.9.6.03 fatcat:svcf5zrzmbahtgiuzoyoeq5ebu

Current solutions for Web service composition

N. Milanovic, M. Malek
2004 IEEE Internet Computing  
Such applications are rapidly deployable and offer developers reuse possibilities and users seamless access to a variety of complex services.  ...  There are many existing approaches to service composition, ranging from abstract methods to those aiming to be industry standards. The authors describe four key issues for Web service composition.  ...  We can model services as Petri nets by assigning transitions to methods and places to states. 10 Each service has an associated Petri net that describes service behavior and has two ports: one input  ... 
doi:10.1109/mic.2004.58 fatcat:e4evym4phbelvevbrbb7eql4qy

Petri Net Based Semantic Web Service Composition

Azizbek Marakhimov, Jaegeol Yim, Jaehun Joo
2014 International Journal of Multimedia and Ubiquitous Engineering  
In order to resolve the heterogeneity between Web services and improve the quality of Web service composition, we propose a new approach based on semantics for Web service composition, which widely deploys  ...  This paper proposes a framework for semantic Web service composition that builds Petri net model of interactions between Web services and builds ontology representing domain knowledge, then combines the  ...  We propose a framework for Petri net based semantic Web service composition, which addresses semantic context of Web services by identifying semantically similar objects and solving their schematic differences  ... 
doi:10.14257/ijmue.2014.9.2.28 fatcat:5qnqcxygafhk7dnvawy6eg3xra

Mop-ECATNets for Formal Modeling Dynamic Web Services

Fateh Latreche, Faiza Belala
2014 International Conference on Advanced Aspects of Software Engineering  
Our aim in this work is to show how Mop-ECATNet, a layered Petri nets based model, makes it possible the formal execution and analysis of dynamic web services at design time.  ...  In order to illustrate its potential, we apply our approach through a detailed case study of a traveler map dynamic service.  ...  Our approach for specifying and analyzing dynamic Web services is quite different, since it uses useful features of many Petri nets models and it's based on a unique semantic framework: real-time rewriting  ... 
dblp:conf/icaase/LatrecheB14 fatcat:2htx7gpcfnb3rhgx4lul4jl7a4

An Agent- and Service-Oriented e-Learning Platform [chapter]

Ivan Madjarov, Omar Boucelma, Abdelkader Betari
2004 Lecture Notes in Computer Science  
The sequencing of Web pages in the proposed system relies on a Petri Net analysis of incoming events such as student responses to exercises.  ...  Course content, developed in XML, is stored in native XML databases and propagated via Web services.  ...  Net quickly becomes enormous and if the entities present similar behaviors, the use of a colored net makes it possible to condense the model.  ... 
doi:10.1007/978-3-540-27859-7_4 fatcat:ojvu5xzyrrhjxcwm4z66aegpu4

Using Colored Petri Nets for Verifying RESTful Service Composition [chapter]

Lara Kallab, Michael Mrissa, Richard Chbeir, Pierre Bourreau
2017 Lecture Notes in Computer Science  
In this paper, we present a formal approach based on Colored Petri Nets (CPNs) to verify RESTful service composition.  ...  Building RESTful service composition has received much interest to satisfy complex user requirements. However, verifying the correctness of a composition remains a tedious task.  ...  The authors acknowledge that the development work is carried out in a complementary manner with SIBEX: a French project funded by the Energy Transition Institute INEF 4.  ... 
doi:10.1007/978-3-319-69462-7_32 fatcat:qc6ekpvh6fgktkce4zwknc4gbu

WS-Net: a Petri-net based specification model for Web services

Jia Zhang, C.K. Chang, Jen-Yao Chung, S.W. Kim
2004 Proceedings. IEEE International Conference on Web Services, 2004.  
The emerging paradigm of web services opens a new way of web application design and development to quickly develop and deploy web applications by integrating independently published web services components  ...  As an architectural model that formalizes the architectural topology and behaviors of each web services component as well as the entire system, WS-Net facilitates the verification and monitoring of web  ...  Thus a wide body of theories available for Petri nets is available for analyzing a system design.  ... 
doi:10.1109/icws.2004.1314766 dblp:conf/icws/ZhangCCK04 fatcat:d7vj4t2tvbgozayfpf3igecfeu

An approach for verifying correctness of web service compositions

C. Saranya Jothi, Ravikumar S, Antony Kumar K, A. Suresh
2018 International Journal of Engineering & Technology  
Safety, liveness and deadlock freedom properties of a composition depend on the behavior of individual services.  ...  Web services are utilized to illuminate some particular assignment. When a single web service cannot solve a given task, several web services are composed.  ...  Analyzing behavioral compatibility using petri net Xitong Li et al. proposed a strategy to confirm the behavioral similarity of web administrations [8] .  ... 
doi:10.14419/ijet.v7i1.7.9378 fatcat:mgjskkcb7fglhexnlzyqnw3dzm

Event Based Approach for Web Services Composition

A. Vani Vathsala, Hrushikesha Mohanty
2014 International journal of computer and communication technology  
As part of our ongoing research work, we have tried to analyze in this paper, the basic design of Event based systems, issues that have to be addressed when event based approach is used for composing and  ...  coordinating web services.  ...  Modeling Event Driven Web Service Using Petri Nets A Web service is viewed as a composition of events and actions. A Petri net can be used to model the behavior of a web service.  ... 
doi:10.47893/ijcct.2014.1220 fatcat:476tndxiqzemla6b75fihi77ui
« Previous Showing results 1 — 15 out of 1,698 results