BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS

BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS

Cached

Download Links

by Juliane Dehnert , Wil M. P. van der Aalst

Venue:	INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS
Citations:	42 - 7 self

BibTeX

@MISC{Dehnert_bridgingthe,
    author = {Juliane Dehnert and Wil M. P. van der Aalst},
    title = {BRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

1412	The Temporal Logic of Reactive and Concurrent Systems - Manna, Pnueli - 1992
300	The Application of Petri Nets to Workflow Management - Aalst - 1998
298	Kommunikation mit Automaten - Petri - 1962
266	R.: On the synthesis of a reactive module - Pnueli, Rosner - 1989
148	Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers - Cortadella, Kishinevsky, et al. - 1997
136	On the synthesis of strategies in infinite games - Thomas - 1995
95	der Aalst and A.H.M. ter Hofstede. Yawl: yet another workflow language - van
74	M.: Decidability issues for Petri nets - a survey - Esparza, Nielsen - 1994
71	Modeling and analysis of workflows using Petri nets - Adam, Atluri, et al. - 1998
66	Presheaves as transition systems - Winskel, Nielsen - 1996
63	Don’t go with the flow: Web services composition standards exposed - Aalst - 2003
54	A Formal Foundation For Distributed Workflow Execution Based on State Charts - Wodtke, Weikum - 1997
54	Formalization and verification of event-driven process chains - Aalst - 1999
52	Workflow verification: Finding control-flow errors using Petri-netbased techniques - Aalst - 2000
50	A.: Deriving Petri nets from finite transition systems - Cortadella, Kishinevsky, et al. - 1998
48	P.: Theory of regions - Badouel, Darondeau - 1998
41	Petri nets and step transition systems - Mukund - 1992
39	Relaxed soundness of business processes - Dehnert, Rittgen - 2001
36	On the semantics of EPCs: A vicious circle - Aalst, Desel, et al.
35	Generalized mutual exclusion constraints on nets with uncontrollable transitions - Giua, DiCesare, et al. - 1992
34	Semantics and Verification of UML Activity Diagrams for Workflow Modelling - Eshuis - 2002
32	der Aalst. Diagnosing workflow processes using Woflan - Verbeek, Basten, et al.
32	Feedback control of Petri nets based on place invariants - Yamalidou, Moody, et al. - 1996
31	Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK - Nttgens, Rump
31	Improving flexibility of workflow management systems - Agostini, Michelis - 2000
30	Petri Net Based Certification of Event driven Process Chains - Langner, Schneider, et al. - 1998
27	Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter - Keller, Nüttgens, et al. - 1992
26	Enterprise-wide workflow management based on state and activity charts - Muth, Wodtke, et al. - 1997
23	A Real-Time Execution Semantics for UML Activity Diagrams - Eshuis, Wieringa - 2001
22	A light Workflow Management System using simple - Agostini, Michelis - 2000
22	W.: The synthesis problem of Petri nets - Desel, Reisig - 1996
19	Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten - Formalisierung, Analyse und Ausführung von EPKs, Teubner, Stuttgart et al - Rump - 1999
18	P.: Polynomial algorithms for the synthesis of bounded nets - Badouel, Bernardinello, et al. - 1995
16	A low level analyser - Lola - 2000
13	A Methodology for Workflow Modelling: from Business Process Modelling towards Sound Workflow Specification - Dehnert - 2003
11	On the synchronic structure of transition systems - Bernardinello, Michelis, et al.
10	Distributing finite automata through petri net synthesis - Badouel, Caillaud, et al. - 2002
8	G.: Partial (Set) 2-Structures; Part II: State Spaces of Concurrent Systems - Ehrenfeucht, Rozenberg - 1990
7	Ereignisgesteuerte Prozessketten und Petrinetze zur Modellierung von Workflows. In Visuelle Verhaltensmodellierung verteilter und Software-Systeme, volume 24/00-I of Fachberichte Informatik - Moldt, Rodenhagen - 2000
5	Business Process Engineering, ARIS-Navigator for Reference Models for Industrial Enterprises - Scheer - 1994
3	Requirements Level Semantics for UML Statecharts - Eshuis, Wieringa - 2000
3	Non-controllable choice robustness: Expressing the controllability of workflow processes - Dehnert - 2002
1	Workflow-Management mit UML-Aktivitätsdiagrammen und deren Verifizierung - Wendlandt - 2004
1	X.Xie. Live and Maximally Permissive Controller Synthesis Using the Theory of Regions - Ghaffari, Rezg - 2002
1	Synet : A Tool for the Synthesis of Bounded Petri-Nets, Applications - Caillaud - 1997