710 Hits in 3.7 sec

Verifying web services composition based on hierarchical colored petri nets

YanPing Yang, QingPing Tan, Yong Xiao
2005 Proceedings of the first international workshop on Interoperability of heterogeneous information systems - IHIS '05  
In this paper, we present to verify Web services composition by using CP-nets.  ...  Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations.  ...  CONCLUSIONS In this paper, we introduce an approach to verify and analyze Web Services composition based on transformation composition specification to CP-nets.  ... 
doi:10.1145/1096967.1096977 dblp:conf/ihis/YangTX05 fatcat:nhxowpqfqnd37n7mfckluhk6hy

Dependency Modeling of a SOA Based System Through Colored Petri Nets

Pawan Kumar, Ratneshwer Gupta
2016 Journal of Computing and Information Technology  
In this paper, we present a Colored Petri Net based dependency analysis of a Service Oriented Architecture (SOA) based system that represents specification of dependency relationships and models the dependencies  ...  Such modeling can help in identification of inconsistency among services, and web services can be verified for safety and reliability.  ...  Our work is based on service algebra and colored Petri net based representations of dependencies between web services. We compare our work with other representations techniques in web services.  ... 
doi:10.20532/cit.2016.1002787 fatcat:7e752bv5evf6pijqwk2ha6fvym

A Survey on Workflow Verifications of Petri Nets based Service Process Management

Xiaoxian Yang, Tao Yu, Huahu Xu
2012 International Journal of Grid and Distributed Computing  
Therefore, it summarizes Petri Nets based workflow verification techniques to guarantee the quality of services composition.  ...  Then, considering the composite service is an effective way to organize third-party business functions seamlessly, the Petri Nets based service workflow employed to formalizing composition behaviors is  ...  Then, Petri Nets is used to formalize these rules to organize composite service. In literature [17] , automatic services composition model is proposed based on colored Petri Nets.  ... 
doi:10.14257/ijgdc.2015.8.6.09 fatcat:4oqtgzjla5azxhnerdv6oz7tq4

Towards Unified Business Process Modeling and Verification for Role-based Resource-oriented Service Composition

Ming Gao, Lei Yang, Chunhua Zhang, Wen Guan, Ailing Li
2016 International Journal of Hybrid Information Technology  
Based on the modeling and verification theories of hierarchical colored petri-net, a resource-oriented collaborative workflow model, its resource control model and the joint modeling and verification method  ...  composition.  ...  In [23] , based on petri net, they considered the transaction attributes, reliability and failure processing mechanisms to constructing reliable service composition.  ... 
doi:10.14257/ijhit.2016.9.3.14 fatcat:kaui7idaozbrvin6h4qnhblthe

Research and Engineering Design in CPN of OWL-S Service

Ziyun Deng, Jing Zhang, Lijun Cai, Lei Chen, Xiaolin Liang
2015 International Journal of u- and e- Service, Science and Technology  
A description language CPSWS (Colored Petri net markup language of Semantic for Web Services) is suggested, which improved the formal definition of CPN (Colored Petri Net) of OWL-S (Ontology Web Language  ...  for Services) service.  ...  PNML PNML is a description language based on XML of Petri Net. The legitimacy of the label and value in PNML is defined by PNTD (Petri Net Type Definition) [29] .  ... 
doi:10.14257/ijunesst.2015.8.8.14 fatcat:yrdkdrxepreuvpgqvcpe6yohuq

Context-Aware Digital Documents Described In a High-Level Petri Net-Based Hypermedia System [chapter]

Jin-Cheon Na, Richard Furuta
2004 Lecture Notes in Computer Science  
Fuzzy knowledge (context) handling is supported by the integration of a fuzzy logic tool with the Petri net, and a flexible information presentation tool has been designed to support Web-based browsing  ...  Major features of the high-level Petri net that are being explored are structured tokens and flexible net description.  ...  Thus, the content of the composite node changes dynamically based on the current net state.  ... 
doi:10.1007/978-3-540-39916-2_2 fatcat:kam6vj75bjedhb25gv32tfyw4e

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.  
As research aiming at facilitating web services integration and verification, WS-Net is an executable architectural description language incorporating the semantics of Colored Petri-net with the style  ...  WS-Net describes each web services component in three layers: interface net declares the services that the component provides to other components; interconnection net specifies the services that the component  ...  In Colored Petri Nets [2, 7] , they are used to help designers understand the specification and to support hierarchical composition of pages, such as transition substitution and place fusion.  ... 
doi:10.1109/icws.2004.1314766 dblp:conf/icws/ZhangCCK04 fatcat:d7vj4t2tvbgozayfpf3igecfeu

Application of WEB Service Composition in Intelligent Distribution

Ruoling Zhang
2016 Internet of Things and Cloud Computing  
This article with the purpose of designing an intelligent distribution system based on WEB service combination, building a WEB service composition model that can make fast reaction to the market.  ...  The development of modern society can not work without information technology, and how to realize information sharing is one of the problem that must be resolve in the modern supply chain management.  ...  In [7] [8] , the method of WEB service composition is divided into three kinds of semantic WEB service composition which respectively are based on workflow, based on artificial intelligence and based  ... 
doi:10.11648/j.iotcc.20160401.11 fatcat:paeyo5jhxbgzdkk5h3q42pd46i


and security are included in Petri net-based algebra approach.  ...  The most verification problems are easily verified by using Petri Net in planning, verification and execution phase.  ...  theory of Petri nets to verify web services compatibility.  ... 
doi:10.34218/ijcet.10.1.2019.024 fatcat:6os7tkzzobafrdlthkvcrqulwu

Dynamic documents

Jin-Cheon Na, Richard Furuta
2001 Proceedings of the 2001 ACM Symposium on Document engineering - DocEng '01  
features into Trellis, a Petri-net-based hypermedia system.  ...  Since caT is based on a formal model, the behavioral characteristics of developed caT models can be analyzed.  ...  Firstly, caT incorporates a hierarchical Petri net, based on one of the features of the high-level Petri net described by Jensen [13] -the hierarchical net support allows authoring of documents with reduced  ... 
doi:10.1145/502192.502194 fatcat:kgq22dsx3reeldj3s4i42ygarm

Dynamic documents

Jin-Cheon Na, Richard Furuta
2001 Proceedings of the 2001 ACM Symposium on Document engineering - DocEng '01  
features into Trellis, a Petri-net-based hypermedia system.  ...  Since caT is based on a formal model, the behavioral characteristics of developed caT models can be analyzed.  ...  Firstly, caT incorporates a hierarchical Petri net, based on one of the features of the high-level Petri net described by Jensen [13] -the hierarchical net support allows authoring of documents with reduced  ... 
doi:10.1145/502187.502194 dblp:conf/doceng/NaF01 fatcat:uhgp3ri4arcahdgezi3ew44vz4

Web Services Modeling and Composition Approach using Object-Oriented Petri Nets [article]

Sofiane Chemaa, Raida Elmansouri, Allaoua Chaoui
2013 arXiv   pre-print
Therefore, services must be made able to be composed to offer added value services. In this paper, a web services composition approach, modelled by Objects-Oriented Petri nets, is presented.  ...  A java tool that allows automating this approach; based on a definite algebra and a G-nets meta-model, proposed by us, is developed.  ...  In this article, we tackle the problem of web services composition using a formalism based on Petri-nets [7] , called G-nets [8] .  ... 
arXiv:1304.2080v1 fatcat:5xwb2bsqszc2xj56tf7flfoziq

Internetware Structure Description and Research of the Petri Net Method

Zhijian Wang, Yuping Hu, Shaohua Li, Dingguo Wei
2011 Journal of Software  
using Petri nets, the possible architecture model and architecture evolution mechanisms; discuss subnet based Web services composition description technologies; present the idea of developing Internetware  ...  using Petri nets as a whole process unified model.  ...  Structure evolution and component-based refinement are problems to be solved in the first step. Some researchers have begun to apply Petri nets in Web services composition.  ... 
doi:10.4304/jsw.6.9.1779-1786 fatcat:yt3q2vnrm5dm7ehhlof6qspyni

Service Dependencies-Aware Policy Enforcement Framework Based on Hierarchical Colored Petri Net [chapter]

Yosra Ben Mustapha, Hervé Debar
2013 Communications in Computer and Information Science  
Second, we give an overview of Colored Petri Nets (CPN) and Hierarchical CPN (HCPN) and its application on network security.  ...  Third, we specify our Service Dependencies-aware Policy Enforcement Framework which is based on the application of HCPN.  ...  Colored Petri Nets: CPNs and Hierarchical CPNs Colored Petri Nets (CPNs) are an extension of original Petri Nets.  ... 
doi:10.1007/978-3-642-40576-1_31 fatcat:ezq4scr3i5aodc4gwb2tvh2mty

Simulation, verification and automated composition of web services

Srini Narayanan, Sheila A. McIlraith
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
With the semantics in hand, we encode our service descriptions in a Petri Net formalism and provide decision procedures for Web service simulation, verification and composition.  ...  Our objective is to enable markup and automated reasoning technology to describe, simulate, compose, test, and verify compositions of Web services.  ...  ACKNOWLEDGEMENTS We would like to acknowledge our colleagues in the DAML Services Coalition for development of the DAML-S ontology.  ... 
doi:10.1145/511455.511457 fatcat:34ut2ixd7red3gh3l67b7bkytq
« Previous Showing results 1 — 15 out of 710 results