Preservation of integrity constraints by workflow
Authors: 
Xi Liu, Jianwen Su, 
Jian YangAuthors Info & Claims
Xi Liu, Jianwen Su, Jian YangAuthors Info & ClaimsAbstract
Integrity constraints on data are typically defined when workflow and business process models are developed. Keeping data consistent is vital for workflow execution. Traditionally, enforcing data integrity constraints is left for the underlying database system, while workflow system focuses primarily on performing tasks. This paper presents a new mechanism that turns a workflow into an equivalent one that will preserve integrity constraints. For a given workflow schema (or model) and a given set of data integrity constraints, an algorithm developed in this paper injects additional conditions into the workflow schema that restricts possible execution paths. The modified workflow will guarantee data consistency (i.e., satisfaction of the integrity constraints) whenever the workflow updates the database(s). In addition, we show that our injection mechanism is "conservative complete", i.e., the conditions inserted are weakest possible. By making workflow execution self-behaving, enforcing integrity constraints over multi-databases is avoided, and constraints specific to a workflow can also be enforced effectively. Mechanisms such as this enhance independence of workflow executions from the environment--a much desired property.
References
[1]
Abiteboul, S., Hull, R.: Data functions, datalog and negation. In: Proc. ACM SIGMOD Int. Conf. on Management of Data (1988).
[2]
Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995).
[3]
Abiteboul, S., Vianu, V.: A transaction-based approach to relational database specification. Journal of the ACM 36(4), 758-789 (1989).
[4]
Benedikt, M., Griffin, T., Libkin, L.: Verifiable properties of database transactions. In: Proc. ACM Symposium on Principles of Database Systems (PODS), pp. 117-127 (1996).
[5]
Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifactcentric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288-304. Springer, Heidelberg (2007).
[6]
Bhattacharya, K., Hull, R., Su, J.: A data-centric design methodology for business processes. In: Handbook of Research on Business Process Modeling. Information Science Publishing (2008).
[7]
Ceri, S., Widom, J.: Deriving production rules for constraint maintainance. In: Proc. Int. Conf. on Very Large Data Bases (VLDB), pp. 566-577 (1990).
[8]
Chawathe, S., Garcia-Molina, H.,Widom, J.: A toolkit for constraint management in heterogeneous information systems. In: Proc. Int. Conf. on Data Engineering (1996).
[9]
Damaggio, E., Hull, R., Vaculín, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 396-412. Springer, Heidelberg (2011).
[10]
Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18(8), 453-457 (1975).
[11]
Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based business processes. In: Proc. Int. Conf. on Database Theory, ICDT (2009).
[12]
Glushko, R.J., McGrath, T.: Document Engineering: Analyzing and Designing Documents for Business Informatics and Web Services. The MIT Press (2008).
[13]
Grefen, P., Widom, J.: Protocols for integrity constraint checking in federated databases. Distrib. Parallel Databases 5, 327-355 (1997).
[14]
Gupta, A., Sagiv, Y., Ullman, J.D., Widom, J.: Constraint checking with partial information. In: Proc. ACM Symp. on Principles of Database Systems (PODS), pp. 45-55 (1994).
[15]
Gupta, A., Widom, J.: Local verification of global integrity constraints in distributed databases. In: Proc. ACM SIGMOD Int. Conf. on Management of Data, pp. 49-58 (1993).
[16]
Hollingsworth, D.: The workflow reference model: 10 years on. In: Workflow Handbook. Workflow Management Coalition, pp. 295-312 (2004).
[17]
Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F(T.), Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles (Invited talk). In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1-24. Springer, Heidelberg (2011).
[18]
Hull, R., Damaggio, E., Masellis, R.D., Fournier, F., Gupta, M., Heath III, F., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculín, R.: Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events. In: Proc. ACM Int. Conf. on Distributed Event-Based Systems, DEBS (2011).
[19]
Huyn, N.: Maintaining global integrity constraints in distributed databases. Constraints 2, 377-399 (1997).
[20]
Klug, A.: Calculating constraints on relational expression. ACM Trans. Database Syst. 5, 260-290 (1980).
[21]
Künzle, V., Weber, B., Reichert, M.: Object-aware business processes: Fundamental requirements and their support in existing approaches. Int. Journal of Information System Modeling and Design (IJISMD) 2(2), 19-46 (2011).
[22]
Liu, G., Liu, X., Qin, H., Su, J., Yan, Z., Zhang, L.: Automated realization of business workflow specification. In: Dan, A., Gittler, F., Toumani, F. (eds.) ICSOC/Service Wave 2009. LNCS, vol. 6275, pp. 96-108. Springer, Heidelberg (2010).
[23]
Liu, X., Su, J., Yang, J.: Preservation of Integrity Constraints by Workflow: Online Appendix, http://seg.nju.edu.cn/~liux/pub/CoopIS11_appendix.pdf
[24]
Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428-445 (2003).
[25]
Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice-Hall (1992).
[26]
Su, J.: Dependency preservation in semantic databases. Acta Inf. 31, 27-54 (1994).
Recommendations
Resource constraints analysis of workflow specifications
Special issue: Applications of statistics in software engineeringA workflow specification is a formal description of business processes in the real world. Its correctness is critical to the workflow execution and hence the realisation of business objectives. In addition to structural and temporal constraints, ...
Maintenance of implication integrity constraints under updates to constraints
Semantic integrity constraints are used for enforcing the integrity of the database as well as for improving the efficiency of the database utilization. Although semantic integrity constraints are usually much more static as compared to the data itself, ...
Enforcing cardinality constraints in the ER model with integrity methods
Advanced topics in database research vol. 1Entity-Relationship (ER) schemas include cardinality constraints that restrict the dependencies among entities within a relationship type. The cardinality constraints have direct impact on application transactions, since insertions or deletions of ...
Comments
Information & Contributors
Information
Published In
October 2011
430 pages
ISBN:9783642251085
Sponsors
- Collibra: Collibra
- OMG: Object Management Group
- CUOT: Curtin University of Technology
- Vrije Universiteit Brussel: Vrije Universiteit Brussel
- Politechnical U of Madrid: Politechnical University of Madrid
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 17 October 2011
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 20 Jan 2025