Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: workflow modeling

Sortuj według:

Ogranicz wyniki do:

A Modelling Approach for Workflow Constrained by Inputs and Outputs

Zheng C., Huang S., Liu X., Yao Y.

Przegląd Elektrotechniczny

2013

R. 89, nr 3b

156--160

Workflow systems have been studied for years, but there is not so much research in workflow testing. The key point for workflow testing is to model a workflow. In this paper, a formalized definition of workflow constrained by inputs and outputs is presented first. Based on the definition and the traditional Petri Net, a kind of I/O_WF_NET model is proposed. In that model, the activities of the workflow are modelled as transitions and the inputs and outputs of an activity are modelled as places. The modelling approach for workflow constrained by inputs and outputs is also presented. And a case study is given to show how to apply this approach and the validity of the proposed modelling method.

W artykule przedstawiono model przepływu pracy (workflow), oparty na schemacie Petri Net. Wstępnie zdefiniowano sam model wraz z ograniczeniami wejść i wyjść. Na tej podstawie prowadzono dalsze prace. Opisano sposób modelowania przepływu informacji oraz elementów wejścia i wyjścia. Przeprowadzono także badanie warunkach rzeczywistych w celu weryfikacji proponowanego modelu.

Interacting Workflow Nets for Workflow Process Re-Engineering

Lomazova I.A.

Fundamenta Informaticae

2010

Vol. 101, nr 1/2

59-70

In this work we consider modeling of workflow systems with Petri nets. To increase flexibility and give tools for workflow models re-engineering we extend the formalism of workflow nets by considering systems of interacting nets. Then we study soundness – the main correctness property of workflow processes – and show, that for a special class of structured workflow system soundness can be proved in compositional way.