Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Business Process Management: Models, Techniques, and Empirical Studies > Compositional modeling and verification of workflow processes
Business Process Management: Models, Techniques, and Empirical Studies |
Wil; van der Aalst; Jörg Desel; Andreas Oberweis
Springer Berlin Heidelberg
Business Process Management: Models, Techniques, and Empirical Studies
Compositional modeling and verification of workflow processes
Authors

M. Voorhoeve

ARI Id

1664750767953_3066991

Access

Not Available Free

Pages

184-200

DOI

10.1007/3-540-45594-9_12

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-45594-9_12

Table of Contents of Book
Showing 1 to 20 of 26 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-VIII
Techniques for Modelling Workflows and their Support of Reuse
Gerrit K. Janssens; Jan Verelst; Bart Weyn
1-15
Modeling Processes and Workflows by Business Rules
Gerhard Knolmayer; Rainer Endl; Marcel Pfahrer
16-29
Guidelines of Business Process Modeling
Jörg Becker; Michael Rosemann; Christoph von Uthmann
30-49
A Knowledge-Based Approach for Designing Robust Business Processes
Chrysanthos Dellarocas; Mark Klein
50-65
The “Organized Activity” Foundation for Business Processes and Their Management
Anatol W. Holt
66-82
Evaluation of Generic Process Design Patterns: An Experimental Study
Michael Zapf; Armin Heinzl
83-98
Management-Oriented Models of Business Processes
Anastasia Pagnoni Holt
99-109
Validation of Process Models by Construction of Process Nets
Jörg Desel
110-128
Modeling, Simulation and Analysis of Business Processes
Jörg Desel; Thomas Erwin
129-141
Using Formal Analysis Techniques in Business Process Redesign
Kees M. van Hee; Hajo A. Reijers
142-160
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
W. M. P. van der Aalst
161-183
Compositional modeling and verification of workflow processes
M. Voorhoeve
184-200
A Workflow Change is a Workflow
Clarence A. Ellis; Karim Keddara
201-217
Improving Flexibility of workflow Management Systems
Alessandra Agostini; Giorgio De Michelis
218-234
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Ekkart Kindler; Axel Martens; Wolfgang Reisig
235-253
Object Oriented Petri Nets in Business Process Modeling
Daniel Moldt; Rüdiger Valk
254-273
Information Gathering and Process Modeling in a Petri Net Based Approach
Wolfgang Deiters
274-288
Why Modellers Wreck Workflow Innovations
Stef M. M. Joosten
289-300
The Effects of Workflow Systems on Organizations: A Qualitative Study
Peter Kueng
301-316
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 26 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings