Formalization of Workflows and Correctness Issues in the Presence of Concurrency

In this paper, main components of a workflow system that are relevant to the correctness in the presence of concurrency are formalized based on set theory and graph theory. The formalization which constitutes the theoretical basis of the correctness criterion provided can be summarized as follows:-Activities of a workflow are represented through a notation based on set theory to make it possible to formalize the conceptual grouping of activities.-Control-flow is represented as a special graph based on this set definition, and it includes serial composition, parallel composition, conditional branching, and nesting of individual activities and conceptual activities themselves.-Data-flow is represented as a directed acyclic graph in conformance with the control-flow graph.The formalization of correctness of concurrently executing workflow instances is based on this framework by defining two categories of constraints on the workflow environment with which the workflow instances and their activities interact. These categories are:-Basic constraints that specify the correct states of a workflow environment.-Inter-activity constraints that define the semantic dependencies among activities such as an activity requiring the validity of a constraint that is set or verified by a preceding activity.Basic constraints graph and inter-activity constraints graph which are in conformance with the control-flow and data-flow graphs are then defined to represent these constraints. These graphs are used in formalizing the intervals among activities where an inter-activity constraint should be maintained and the intervals where a basic constraint remains invalid.A correctness criterion is defined for an interleaved execution of workflow instances using the constraints graphs. A concurrency control mechanism, namely Constraint Based Concurrency Control technique is developed based on the correctness criterion. The performance analysis shows the superiority of the proposed technique. Other possible approaches to the problem are also presented.

[1]  Alfred Z. Spector,et al.  Synchronizing shared abstract types , 1984, TOCS.

[2]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[3]  Volker Gruhn,et al.  The FUNSOFT Net Approach to Software Process Management , 1994, Int. J. Softw. Eng. Knowl. Eng..

[4]  M. Tamer Özsu,et al.  Using semantic knowledge of transactions to increase concurrency , 1989, TODS.

[5]  Letizia Tanca,et al.  Automatic generation of production rules for integrity maintenance , 1994, TODS.

[6]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[7]  A. Elmagarmid.  Database transaction models for advanced applications , 1992 .

[8]  Ingolf Stahl.  Introduction to simulation with gpss on the pc , 1990 .

[9]  Jim Gray,et al.  The Transaction Concept: Virtues and Limitations (Invited Paper) , 1981, VLDB.

[10]  Ismailcem Budak Arpinar,et al.  Correctness of Workflow in the Presence of Concurrency , 1997, NGITS.

[11]  Nesime Tatbul,et al.  Design and implementation of a distributed workflow enactment service , 1997, Proceedings of CoopIS 97: 2nd IFCIS Conference on Cooperative Information Systems.

[12]  Asuman Dogac,et al.  Workflow Management Systems and Interoperability , 2001, NATO ASI Series.

[13]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[14]  Friedemann Schwenkreis,et al.  A Formal Approach to Synchronize Long-lived Computations , 2002 .

[15]  Amit P. Sheth,et al.  Bounding the effects of compensation under relaxed multi-level serializability , 2004, Distributed and Parallel Databases.

[16]  Amit P. Sheth,et al.  What do Advanced Transaction Models Have to O er for Work ows , 2001 .

[17]  Mark F. Hornick,et al.  Customizing Transaction Models and Mechanisms in a Programmable Environment Supporting Reliable Workflow Automation , 1996, IEEE Trans. Knowl. Data Eng..

[18]  Hector Garcia-Molina,et al.  Using semantic knowledge for transaction processing in a distributed database , 1983, TODS.

[19]  Clarence A. Ellis,et al.  Modeling and Enactment of Workflow Systems , 1993, Application and Theory of Petri Nets.

[20]  Henry F. Korth,et al.  Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model , 1994, TODS.

[21]  Gerhard Weikum,et al.  A Formal Foundation for Distributed Workflow Execution Based on State Charts , 1997, ICDT.

[22]  Gerhard Weikum,et al.  The Mentor project: steps towards enterprise-wide workflow management , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[23]  Amit P. Sheth,et al.  Transactional Workflow Management in Distributed Systems (Invited Paper) , 1994, Symposium on Advances in Databases and Information Systems.

[24]  Amit P. Sheth,et al.  WebWork: METEOR2's Web-Based Workflow Management System , 1998, Journal of Intelligent Information Systems.

[25]  B. R. Badrinath,et al.  Semantics-based concurrency control: Beyond commutativity , 1987, 1987 IEEE Third International Conference on Data Engineering.

[26]  Ambuj K. Singh,et al.  Consistency and orderability: semantics-based correctness criteria for databases , 1993, TODS.

[27]  Henry F. Korth,et al.  Formal model of correctness without serializabilty , 1988, SIGMOD '88.

[28]  D. Hollingsworth.  The workflow Reference Model , 1994 .

[29]  Andreas Reuter,et al.  Transaction Processing: Concepts and Techniques , 1992 .

[30]  Amit P. Sheth,et al.  Managing heterogeneous multi-system tasks to support enterprise-wide operations , 1995, Distributed and Parallel Databases.

[31]  Gustavo Alonso,et al.  Process synchronization in workflow management systems , 1996, Proceedings of SPDP '96: 8th IEEE Symposium on Parallel and Distributed Processing.

[32]  Amit P. Sheth,et al.  An overview of workflow management: From process modeling to workflow automation infrastructure , 1995, Distributed and Parallel Databases.

[33]  Sushil Jajodia,et al.  Applying formal methods to semantic-based decomposition of transactions , 1997, TODS.

[34]  David W. Stemple,et al.  Automatic verification of database transaction safety , 1989, ACM Trans. Database Syst..

[35]  Maurice Herlihy,et al.  Hybrid Concurrency Control for Abstract Data Types , 1991, J. Comput. Syst. Sci..

[36]  David B. Lomet,et al.  Bulletin of the Technical Committee on Data Engineering Special Issue on Data Reduction Techniques Announcements and Notices Letter from the Editor-in-chief 1 Technical Committee Election Changing Editorial Staa Letter from the Special Issue Editor the New Jersey Data Reduction Report , 2022 .

[37]  Gerhard Weikum,et al.  Enterprise-wide workflow management based on state and activity charts , 1998 .

[38]  Nesime Tatbul,et al.  Design and Implementation of a Distributed Workflow Management System: METUFlow , 1998 .

[39]  Hans-Jörg Schek,et al.  Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows , 1993, SGMD.

[40]  Serge Abiteboul,et al.  Transactions and integrity constraints , 1985, PODS '85.

[41]  Nesime Tatbul,et al.  Task Handling in Workflow Management Systems , 1998, IADT.

[42]  Ibrahim Cingil,et al.  A Workkow Speciication Language and Its Scheduler , 1997 .

[43]  Ming-Chien Shan,et al.  Third generation TP monitors: a database challenge , 1993, SIGMOD '93.

[44]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[45]  C. A. R. HOARE,et al.  An axiomatic basis for computer programming , 1969, CACM.

[46]  Michael Benedikt,et al.  Verifiable Properties of Database Transactions , 1998, Inf. Comput..

[47]  Melvin Fitting,et al.  First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.

[48]  Andreas Reuter,et al.  The ConTract Model , 1991, Database Transaction Models for Advanced Applications.

[49]  Arthur J. Bernstein,et al.  Transaction decomposition using transaction semantics , 1996, Distributed and Parallel Databases.

[50]  Catriel Beeri,et al.  A model for concurrency in nested transactions systems , 1989, JACM.

[51]  Amit P. Sheth,et al.  Scheduling workflows by enforcing intertask dependencies , 1996, Distributed Syst. Eng..

[52]  Amit P. Sheth,et al.  Using Tickets to Enforce the Serializability of Multidatabase Transactions , 1994, IEEE Trans. Knowl. Data Eng..

[53]  M. Fitting.  First-order logic and automated theorem proving (2nd ed.) , 1996 .

[54]  Asuman Dogac,et al.  Workflow history management , 1998, SGMD.

[55]  Amit P. Sheth,et al.  Specifying and Enforcing Intertask Dependencies , 1993, VLDB.

[56]  William E. Weihl,et al.  Local atomicity properties: modular concurrency control for abstract data types , 1989, TOPL.

[57]  Jian Tang,et al.  Transaction-oriented work-flow concepts in inter-organizational environments , 1995, CIKM '95.

[58]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[59]  A. Pnueli,et al.  STATEMATE: a working environment for the development of complex reactive systems , 1988, [1988] Proceedings. The Third Israel Conference on Computer Systems and Software Engineering.

[60]  Patrick Valduriez,et al.  Principles of Distributed Database Systems , 1990 .

[61]  Ismailcem Budak Arpinar,et al.  Serializability of Nested Transactions in Multidatabases , 1997, ICDT.

[62]  Theo Härder.  Handling hot spot in DB-sharing systems , 1988, Inf. Syst..

[63]  Abraham Silberschatz,et al.  A Formal Approach to Recovery by Compensating Transactions , 1990, VLDB.

[64]  Gerhard Weikum,et al.  Principles and realization strategies of multilevel transaction management , 1991, TODS.

[65]  Nancy A. Lynch,et al.  Multilevel atomicity—a new correctness criterion for database concurrency control , 1983, TODS.

[66]  Jian Tang,et al.  Handling uncertainties in workflow applications , 1996, CIKM '96.

[67]  Amit P. Sheth,et al.  Specification and Execution of Transactional Workflows , 1995, Modern Database Systems.

[68]  David Harel,et al.  On visual formalisms , 1988, CACM.