5 citations found. Retrieving documents...
Ra'ul Medina-Mora, Terry Winograd, Rodrigo Flores, Fernando Flores. The Action Workflow approach to workflow. Management Technology Proceedings of CSCW, November 1992.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Avoiding useless work in workflow systems (Extended Abstract) - Straub, al. (1996)   (Correct)

....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.


Understanding Behavior of Business Process Models - Straub, L. (1995)   (5 citations)  (Correct)

....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.


Business Process Behavior is (Almost) Free-Choice - Straub, L. (1996)   (Correct)

....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.


Business Process Behavior is (Almost) Free-Choice - Straub, Hurtado (1996)   (Correct)

....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.


Understanding Behavior of Business Process Models - Straub, L. (1996)   (5 citations)  (Correct)

....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