12,506 Hits in 2.2 sec

Verification of workflow nets [chapter]

W. M. P. Aalst
1997 Lecture Notes in Computer Science  
In this paper we focus on a class of Petri nets suitable for the representation, validation and verification of these procedures.  ...  The explicit representation of business procedures is one of the main issues when introducing a workflow management system.  ...  In this paper we focus on the use of Petri nets ( [20] [21] [22] ) as a tool for the representation, validation and verification of workflow procedures.  ... 
doi:10.1007/3-540-63139-9_48 fatcat:h7znq5kl6vbitbzidzmqkuml3e

The Biconnected Verification of Workflow Nets [chapter]

Artem Polyvyanyy, Matthias Weidlich, Mathias Weske
2010 Lecture Notes in Computer Science  
In particular, we show how soundness verification can be organized using biconnected components of a workflow net.  ...  In this paper, we propose to employ the connectivity property of workflow nets as an angle to their structural analysis.  ...  Based thereon, we point out how the soundness verification can be organized from the derived components of a workflow net.  ... 
doi:10.1007/978-3-642-16934-2_29 fatcat:27gvdpnwfndw7kwdlbd64libce

Connectivity of workflow nets: the foundations of stepwise verification

Artem Polyvyanyy, Matthias Weidlich, Mathias Weske
2011 Acta Informatica  
That is, we analyze workflow nets, a well-established tool for modeling behavior of distributed systems, with respect to the soundness property, a basic correctness property of workflow nets.  ...  The approach is exemplified by means of a concrete behavioral model and verification criterion.  ...  The authors want to thank two anonymous reviewers for their valuable comments that led to the major restructuring of content in the article.  ... 
doi:10.1007/s00236-011-0137-8 fatcat:pvlxddoj7bfl3pcoyv7m47yxgy

Petri net based Grid workflow verification and optimization

Haijun Cao, Hai Jin, Song Wu, Shadi Ibrahim
2011 Journal of Supercomputing  
In addition, we present our Grid workflow analysis approaches on three aspects: workflow reachability verification, workflow deadlock verification, and workflow optimization.  ...  Graphical workflow modeling tools, such as UML and DAG, can facilitate users to express workflow process logic, but lack of abilities to carry out simulation and correctness checking.  ...  Based on Petri net, we proposed service composition oriented Grid workflow net. F ⊆ (P × T ) ∪ (T × P ) is a set of directed arcs (flow relation).  ... 
doi:10.1007/s11227-011-0668-3 fatcat:47nscgy6efdrjhp7xh6hvx2kf4

Qualitative analysis of WorkFlow nets using linear logic: Soundness verification

Ligia Maria Soares Passos, Stephane Julia
2009 2009 IEEE International Conference on Systems, Man and Cybernetics  
This paper presents a method for the qualitative analysis of WorkFlow nets based on the proof trees of linear logic.  ...  To prove the Soundness property, a proof tree of linear logic is built for each different scenario of the WorkFlow net.  ...  QUALITATIVE ANALYSIS: SOUNDNESS VERIFICATION In the context of WorkFlow nets, the main aim of the qualitative analysis is to prove the Soundness correctness criterion.  ... 
doi:10.1109/icsmc.2009.5346601 dblp:conf/smc/PassosJ09 fatcat:utko3q2n5befdg4u7qvb7ylale

Petri net-based semantics for verification and validation of workflow patterns

Ahmed Nait Sidi Moh
2013 International Journal of Services Operations and Informatics  
We propose a high-level class of Petri nets for describing the behaviour of scenarios of web services composition. Developed models support the strong dynamic and temporal aspects of these scenarios.  ...  To address this issue, this paper provides a mapping from activities to Petri net models. Formalisations basing on UML and Petri nets of control-flow patterns for service composition are addressed.  ...  Kovacs et al. (2008) presented an approach for the verification of business workflows.  ... 
doi:10.1504/ijsoi.2013.059355 fatcat:xkpftfcqjfgjjl66m7avept7cm

Modelling and Verification of Interorganizational Workflows with Security Constraints: A Petri Nets-Based Approach [chapter]

Oana Otilia Captarencu
2012 Lecture Notes in Business Information Processing  
This paper proposes a Petri net model which permits the modelling and verification of interorganizational workflows.  ...  A property of soundness, which describes the correct execution of the interorganizational workflow, is defined and proven decidable.  ...  Conclusions and Future Work In this paper we introduced a Petri net model, NIWF-nets, for interorganizational workflows which permits the specification of roles in the component workflows and the mobility  ... 
doi:10.1007/978-3-642-31069-0_39 fatcat:2yegsnoyx5dqvea4y6kjng3pum

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.  ...  In this paper, it reviews workflow verifications of Petri Nets based service process management. First, the workflow and description supporting tools are introduced.  ...  Acknowledgments This paper is supported by Natural Science Foundation of Shanghai under Grant No. 15ZR1415200.  ... 
doi:10.14257/ijgdc.2015.8.6.09 fatcat:4oqtgzjla5azxhnerdv6oz7tq4

Verification of Workflow Specifications in UML Using Automated Transformations to WF-nets

Lígia Maria Soares Passos, Tarcísio Abadio de Magalhães Júnior, Marcelo de Almeida Maia, Stéphane Julia
2013 Brazilian Symposium on Information Systems  
This transformation enables the verification of the soundness property for workflows using linear logic proofs in WF-net specifications.  ...  This article proposes the transformation of UML Activity Diagrams that models workflow processes into WF-nets (WorkFlow nets).  ...  Soundness Verification for WF-nets In the context of WF-nets, the main aim of qualitative analysis is to prove Soundness property, once this criterion ensures the correctness of a workflow process mapped  ... 
doi:10.5753/sbsi.2013.5731 dblp:conf/sbsi/PassosJMJ13 fatcat:nlusngwc7febrol4z25abf2cm4

An analytical method for well-formed workflow/Petri net verification of classical soundness

Julio Clempner
2014 International Journal of Applied Mathematics and Computer Science  
Workflow nets are a formal model of business processes. Well-formed business processes correspond to sound workflow nets.  ...  of workflows.  ...  In Section 3, we motivate the introduction of the soundness workflow verification technique, presenting the basic notion of workflow net and stability followed by the definition of soundness.  ... 
doi:10.2478/amcs-2014-0068 fatcat:5i3m2tx3pfanfc5sg7a4tgbfau

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

Natalia Sidorova, Christian Stahl, Nikola Trčka
2011 Information Systems  
In this paper, we present classical workflow nets extended with data operations as a conceptual workflow model. For these nets, we develop a novel technique to verify soundness.  ...  A conceptual workflow model specifies the control flow of a workflow together with abstract data information.  ...  To apply the proposed verification techniques, they must enable the verification of conceptual workflow models of industrial size.  ... 
doi:10.1016/ fatcat:hykbo5g7xbekvkneqnrhzipww4

On quantitative Analysis of Time Open Workflow Nets and Parametric Extension

Zohra Sbaï, Kamel Barkaoui
2015 International Workshop on Verification and Evaluation of Computer and Communication Systems  
In addition to a well constructed model of a workflow system, a prior and rigorous verification phase is important to ensure a correct execution of the system.  ...  Finally, we extend our analysis approach of ToWF-nets to cover concurrent processes leading thus to propose a parametric verification of ToWF-nets.  ...  As mentioned above, oWF-nets nets are mainly the extension of workflow nets (WF-nets) to model workflow processes which interact with other processes via interface places.  ... 
dblp:conf/vecos/SbaiB15 fatcat:xtemorvsgnfh7nu3a3d37nqtmu

Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach

Cong LIU, Qingtian ZENG, Hua DUAN
2014 International Journal of Science and Engineering Applications  
Keywords: workflow data-flow modeling and verification; Petri net, WFIO-net and its firing rule, activity-data incidence matrix Algorithm 1: Detect Data-flow Errors in a WFIO-net.  ...  Control-flow and data-flow modeling and verification are two important challenges for traditional workflow management.  ...  VERIFICATION OF DATA-FLOW BASED ON WFIO-NET In this section, data-flow verification of workflow is performed on the basis of WFIO-net. As proved by Sun et al.  ... 
doi:10.7753/ijsea0304.1009 fatcat:tq7qhwcuhbachfwfvt5i36mv4m

XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows

H.M.W. Verbeek, W.M.P. van der Aalst, Akhil Kumar
2004 Journal of Special Topics in Information Technology and Management  
Unfortunately, the Petri-net based semantics of XRL given in [4] results in Petri nets which do not fit into the class of WorkFlow nets (WF-nets).  ...  The tool uses XSL (Extensible Style Language) Transformations (called XSLT) to translate XRL specifications to a specific class of Petri nets called workflow nets.  ...  Woflan is a tool for verification of Petri-net workflows.  ... 
doi:10.1023/b:item.0000008077.91413.86 fatcat:zk64hupiqzhkrppmorvuterd2a

Detection of Dataflow Anomalies in Business Process An Overview of Modeling Approaches

Najat Chadli, Mohamed Issam Kabbaj, Zohra Bakkoury
2018 Proceedings of the 12th International Conference on Intelligent Systems: Theories and Applications - SITA'18  
Second, formulate the data-flow modeling and verification using a Petri Net based approach.  ...  However, both of data flow and control flow are essential in process modeling. Thus, the verification and data flow modeling have an important in detecting anomalies.  ...  Formulating the Data-Flow Modeling and Verification for Workflow: In this study, a Petri-net [8] [9] based approach is proposed.  ... 
doi:10.1145/3289402.3289537 dblp:conf/sita/ChadliKB18 fatcat:fulvjfvp4nehxinikv6tsv6pni
« Previous Showing results 1 — 15 out of 12,506 results