Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Comparing workflow specification languages: a matter of views
Abiteboul S., Bourhis P., Vianu V. ACM Transactions on Database Systems37 (2):1-59,2012.Type:Article
Date Reviewed: Jan 15 2013

How do you compare different workflow specification languages such as the business process execution language (BPEL) or business process modeling notation (BPMN), given their utterly different notations and dissimilar execution semantics? This theoretical paper offers one possible and very early step toward showing how such a comparison might work.

The authors model workflow and workflow execution as a potentially infinite tree of possible runs of the workflow system. The nodes of the tree represent states of the system and the edges represent events. In this representation, two different workflows are isomorphic if a variant of bisimulation (well known in process algebras) holds. This notion of equivalence, however, is far too strong to compare real languages such as BPEL or BPMN. The authors introduce “views” to relax this condition. Views map the full workflow tree to a new and (usually) smaller model of states and events intuitively representing observable information. Equivalence of the original workflow systems is then defined as bisimulation equivalence of the views only.

The paper uses three artificial workflow specification languages, extensions of the (earlier) basic active Extensible Markup Language (XML) model of one of the authors (Abiteboul), to model automata, languages with guards, and languages representing linear temporal logic. Their comparison yields exact results concerning which language is “stronger” (that is, more expressive), but these results are not highly interesting. They also show that some languages may not be compared at all in certain types of views.

Using many examples and figures, the authors have produced an extensive, highly theoretical treatise, including proofs of lemmas and theorems of their method that are easily accessible to an active researcher fluent in the concepts of theoretical workflow, language modeling, or process algebras.

Reviewer:  Christoph F. Strnadl Review #: CR140833 (1304-0326)
Bookmark and Share
  Reviewer Selected
Featured Reviewer
 
 
Relational Databases (H.2.4 ... )
 
 
Workflow Management (H.4.1 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Relational Databases": Date
A sound and sometimes complete query evaluation algorithm for relational databases with null values
Reiter R. Journal of the ACM 33(2): 349-370, 1986. Type: Article
Nov 1 1986
Sort sets in the relational model
Ginsburg S., Hull R. Journal of the ACM 33(3): 465-488, 1986. Type: Article
Nov 1 1986
Foundation for object/relational databases
Date C., Darwen H., Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1998. Type: Book (9780201309782)
Nov 1 1998
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy