| Ra'ul Medina-Mora, Terry Winograd, Rodrigo Flores, Fernando Flores. The Action Workflow approach to workflow. Management Technology Proceedings of CSCW, November 1992. |
....modeling construct called the unbalanced connector that recognizes and cancels useless activities. 2 Useless activities To formally define useless activity we will use Petri nets to express behavioral semantics of process models, as done in many workflow systems (e.g. ICN [2] Action Workflow [3], VPL Rasp [7] BP nets [8] Petri nets are a generalization of transition state diagrams from automata theory, whose global state is defined as the union of local states in the net [4] Having a distributed state, allows the specification of parallelism in addition to choice. In this paper we ....
Ra'ul Medina-Mora, Terry Winograd, Rodrigo Flores, Fernando Flores. The Action Workflow approach to workflow. Management Technology Proceedings of CSCW, November 1992.
....1 A Chilean bank guarantees at most 21 days for the complete process or all fees are waived. Most business process languages and workflow systems model behavior graphically with a notation that resembles both control flow diagram and PERT charts (e.g. ICN [6] Macronets [9] Action Workflow [13], VPL Rasp [19] In these systems behavioral semantics is defined in terms of Petri nets [15] Petri nets are a generalization of transition state diagrams from automata theory, whose global state is defined as the union of local states in the net [16] Having a distributed state, allows the ....
Ra'ul Medina-Mora, Terry Winograd, Rodrigo Flores, Fernando Flores. The Action Workflow approach to workflow. Management Technology Proceedings of CSCW, November 1992.
....connector, thread of control, workflow. 1 Introduction Most business process modeling languages and workflow systems model behavior graphically with a notation that resembles both control flow diagrams and PERT charts (e.g. control information control nets or CICN [3] Action Workflow [5], VPL Rasp [12] BPnets [13] WAM [6] In these systems, behavioral semantics is usually defined in terms of Petri nets [7] most commercial systems do not have a formal semantics, so analysis is possible only by simulation) Language constructs to express behavior Behavioral constructs included ....
Ra'ul Medina-Mora, Terry Winograd, Rodrigo Flores, Fernando Flores. The Action Workflow approach to workflow. Management Technology Proceedings of CSCW, November 1992.
....unbalanced connector, thread of control, workflow. 1 Introduction Most business process modeling languages and workflow systems model behavior graphically with a notation that resembles both control flow diagrams and PERT charts (e.g. control information control nets or CICN [3] Action Workflow [5], VPL Rasp [11] BP nets [12] In these systems, behavioral semantics is usually defined in terms of Petri nets [6] most commercial systems do not have a formal semantics, so analysis is possible only by simulation) Language constructs to express behavior Behavioral constructs included in most ....
Ra'ul Medina-Mora, Terry Winograd, Rodrigo Flores, Fernando Flores. The Action Workflow approach to workflow. Management Technology Proceedings of CSCW, November 1992.
....This work intends to: define a notion of correct behavior in business process models and give a framework to allow behavioral analysis. 2 A Notion of Correct Behavior We use our Copa notation [6] it is easy to map concepts presented here into similar languages like ICN [3] Action Workflow [4], VPL Rasp [8] whose behavioral semantics are defined in terms of Petri nets. Fig. 1a shows a simple but anomalous process model. Connector x splits execution in two parallel activities (a and b) Activity a proceeds to c while b may choose to proceed to either c (causing a deadlock in y) or to ....
Ra'ul Medina-Mora, Terry Winograd, Rodrigo Flores, Fernando Flores. The Action Workflow approach to workflow. Management Technology Proceedings of CSCW, November 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC