A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Verifying web services composition based on hierarchical colored petri nets
2005
Proceedings of the first international workshop on Interoperability of heterogeneous information systems - IHIS '05
Preserved Fulltext
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
2016
Journal of Computing and Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Journal of Grid and Distributed Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal of Hybrid Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Journal of u- and e- Service, Science and Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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
2004
Proceedings. IEEE International Conference on Web Services, 2004.
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2016
Internet of Things and Cloud Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
AN OPTIMAL COMPOSITION PLAN SELECTION USING MULTI OBJECTIVE PARTICLE SWARM OPTIMIZATION
2019
INTERNATIONAL JOURNAL OF COMPUTER ENGINEERING & TECHNOLOGY
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2001
Proceedings of the 2001 ACM Symposium on Document engineering - DocEng '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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
2001
Proceedings of the 2001 ACM Symposium on Document engineering - DocEng '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
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]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2011
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Communications in Computer and Information Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2002
Proceedings of the eleventh international conference on World Wide Web - WWW '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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