On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles

Information Systems

Volumn 38, Issue 4, 2013, Pages 561-584

  Damaggio, Elio ^a   Hull, Richard ^b   Vaculïn, Roman ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Business artifacts; Business entities with lifecycles; Business process management; Case management; Declarative semantics

Indexed keywords

EID: 84880524612     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2012.09.002     Document Type: Article

References (48)

1. S. Abiteboul, O. Benjelloun, T. Milo, The active XML project: an overview, Very Large Databases Journal 17 (5) (2008) 1019-1040.
2. S. Abiteboul, P. Bourhis, A. Galland, B. Marinoiu, The AXML artifact model, in: Proceedings of the 16th International Symposium on Temporal Representation and Reasoning (TIME), 2009.
3. S. Abiteboul, L. Segoufin, V. Vianu, Static analysis of active XML systems, in: Proceedings of the International Symposium on Principles of Database Systems (PODS), 2008.
4. K.R. Apt, H. Blair, A. Walker, Towards a theory of declarative knowledge, in: J. Minker (Ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, CA, 1988, pp. 89-148.
5. Artifact-centric service interoperation (ACSI) web site, 2011 .
6. K. Bhattacharya, N.S. Caswell, S. Kumaran, A. Nigam, F.Y. Wu, Artifact-centered operational modeling: lessons from customer engagements, IBM Systems Journal 46 (4) (2007) 703-721.
7. K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu, J. Su, Towards formal analysis of artifact-centric business process models, in: Proceedings of the International Conference on Business Process Management (BPM), 2007, pp. 288-304.
8. BizAgi and Cordys and IBM and Oracle and SAP AG and Singularity (OMG Submitters) and Agile Enterprise Design and Stiftelsen SINTEF and TIBCO and Trisotech (Co-Authors). Proposal for: Case Management Modeling and Notation (CMMN) Specification 1.0, February 2012. Document bmi/12-02-09, Object Management Group.
9. T. Chao, et al., Artifact-based transformation of IBM global financing: a case study, in: International Conference on Business Process Management (BPM), 2009.
10. D. Cohn, P. Dhoolia, F.F. (Terry) Heath III, F. Pinel, J. Vergo, Siena: from powerpoint to web app in 5 minutes, in: International Conference on Services Oriented Computing (ICSOC), 2008.
11. D. Cohn, R. Hull, Business artifacts: a data-centric approach to modeling business operations and processes, IEEE Data Engineering Bulletin 32 (2009) 3-9.
12. E. Damaggio, A. Deutsch, V. Vianu, Artifact systems with data dependencies and arithmetic constraints, in: Proceedings of the International Conference on Database Theory (ICDT), 2011.
13. E. Damaggio, R. Hull, R. Vaculín, On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles, in: International Conference on Business Process Management (BPM), 2011.
14. H. de Man, Case management: Cordys approach, February 2009 .
15. A. Deutsch, R. Hull, F. Patrizi, V. Vianu, Automatic verification of data-centric business processes, in: Proceedings of the International Conference on Database Theory (ICDT), 2009.
16. A. Van Gelder, Negation as failure using tight derivations for general logic programs, in: IEEE Symposium on Logic Programming, 1986, pp. 127-139.
17. C.E. Gerede, K. Bhattacharya, J. Su, Static analysis of business artifact-centric operational models, in: IEEE International Conference on Service-Oriented Computing and Applications, 2007.
18. C.E. Gerede, J. Su, Specification and verification of artifact behaviors in business process models, in: Proceedings of 5th International Conference on Service-Oriented Computing (ICSOC), Vienna, Austria, September 2007.
19. Object Management Group, Object Constraint Language: OMG Available Specification, Version 2.0 , May 2006.
20. D. Harel, A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology 5 (4) (1996).
21. T. Hildebrandt, R.R. Mukkamala, Distributed dynamic condition response structures, in: Pre-proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication Centric Software (PLACES 10), 2010.
22. R. Hull, E. Damaggio, F. Fournier, M. Gupta, F. Heath III, S. Hobson, M. Linehan, S. Maradugu, A. Nigam, P. Sukaviriya, R. Vaculín, Introducing the guard-stage-milestone approach for specifying business entity lifecycles, in: Proceedings of the of 7th International Workshop on Web Services and Formal Methods (WS-FM 2010), Revised Selected Papers, Lecture Notes in Computer Science, vol. 6551, Springer-Verlag, 2010.
23. R. Hull, E. Damaggio, R. De Masellis, F. Fournier, M. Gupta, F. Heath III, S. Hobson, M. Linehan, S. Maradugu, A. Nigam, P. Sukaviriya, R. Vaculín, Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events, in: ACM International Conference on Distributed Event-based Systems (DEBS), 2011.
24. R. Hull, E. Damaggio, R. De Masellis, F. Fournier, M. Gupta, F. Heath III, S. Hobson, M. Linehan, S. Maradugu, A. Nigam, P. Sukaviriya, R. Vaculín, A Formal Introduction to Business Artifacts with Guard-Stage-Milestone Lifecycles, Version 0.8, Draft IBM Research Internal Report, available at , May 2011.
25. S. Kumaran, P. Nandi, F.F. (Terry) Heath III, K. Bhaskaran, R. Das, ADoc-oriented programming, in: Symposium on Applications and the Internet (SAINT), 2003, pp. 334-343.
26. Vera Künzle, Manfred Reichert, A modeling paradigm for integrating processes and data at the micro level, in: Terry A. Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper, Rainer Schmidt, Ilia Bider (Eds.), Enterprise, Business-Process and Information Systems Modeling-12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, CAiSE 2011, London, UK, June 20-21, 2011. Proceedings, Lecture Notes in Business Information Processing, vol. 81, Springer, 2011, pp. 201-215.
27. Vera Künzle, Manfred Reichert, PHILharmonicflows: towards a framework for object-aware process management, Journal of Software Maintenance 23 (4) (2011) 205-244.
28. M. Linehan, et al., GSM Expression Language, Version 1.0, January 28, 2011. IBM Research Internal Report, available on request.
29. John W. Lloyd, Foundations of Logic Programming, 2nd ed. Springer, 1987.
30. M. Marin, R. Hull, R. Vaculín, Data centric BPM and the emerging case management standard: a short survey, in: Proc. 1st Intl. Workshop on Adaptive Case Management, in conjunction with 10th Intl. Conf. on Business Process Management, September, 2012.
31. B. Marinoiu, S. Abiteboul, P. Bourhis, A. Galland, AXART-Enabling collaborative work with AXML artifacts, Proceedings of the VLDB Endowment 3 (2) (2010) 1553-1556.
32. D.R. McCarthy, U. Dayal, The architecture of an active data base management system, in: Proceedings of the ACM SIGMOD International Conference on Management of Data (SIGMOD), ACM Press, 1989, pp. 215-224.
33. S.A. McIlraith, T.C. Son, H. Zeng, Semantic web services, IEEE Intelligent Systems 16 (2) (2001) 46-53. (Pubitemid 32496021)
34. Dominic Müller, Manfred Reichert, Joachim Herbst, Data-driven modeling and coordination of large process structures, in: OTM Conferences (1), 2007, pp. 131-149.
35. P. Nandi, et al., Data4BPM, Part 1: Introducing Business Entities and the Business Entity Definition Language (BEDL), April 2010 .
36. A. Nigam, N.S. Caswell, Business artifacts: an approach to operational specification, IBM Systems Journal 42 (3) (2003) 428-445.
37. G. Redding, M. Dumas, A.H.M. ter Hofstede, A. Iordachescu, Modelling flexible processes with business objects, in: Proceedings of the 11th IEEE International Conference on Commerce and Enterprise Computing (CEC), 2009.
38. Guy Redding, Marlon Dumas, Arthur H.M. ter Hofstede, Adrian Iordachescu, Transforming object-oriented models to process-oriented models, in: Arthur H.M. ter Hofstede, Boualem Benatallah, Hye-Young Paik (Eds.), Business Process Management Workshops, Lecture Notes in Computer Science, vol. 4928, Springer, 2007, pp. 132-143. (Pubitemid 351358248)
39. H.A. Reijers, S. Limam, W.M.P. van der Aalst, Product-based workflow design, Journal of Management Information Systems 20 (1) (2003) 229-262.
40. J.K. Strosnider, P. Nandi, S. Kumarn, S. Ghosh, A. Arsanjani, Model-driven synthesis of SOA solutions, IBM Systems Journal 47 (3) (2008) 415-432.
41. Y. Sun, R. Hull, R. Vaculin, Parallel processing for business artifacts with declarative lifecycles, Intl. Conf. on Cooperating Information Systems (CoopIS), Rome, Italy, Sept. 2012.
42. Kieth D. Swenson, Mastering the Unpredictable: How Adaptive Case Management will Revolutionaize the Way that Knowledge Workers Get Things Done, Meghan-Kiffer Press, Tampa, FL, 2010.
43. R. Vaculín, R. Hull, T. Heath, C. Cochran, A. Nigam, P. Sukavirirya, Declarative business artifact centric modeling of decision and knowledge intensive business processes, in: The Fifteenth IEEE International Enterprise Computing Conference (EDOC 2011), IEEE Computer Society, 2011, pp. 151-160.
44. W.M.P. van der Aalst, P. Barthelmess, C.A. Ellis, J. Wainer, Proclets: a framework for lightweight interacting workflow processes, International Journal of Cooperative Information Systems 10 (4) (2001) 443-481. (Pubitemid 33664102)
45. W.M.P. van der Aalst, Maja Pesic, Decserflow: towards a truly declarative service flow language, in: The Role of Business Processes in Service Oriented Architectures, 2006.
46. W.M.P. van der Aalst, M. Weske, D. Grünbauer, Case handling: a new paradigm for business process support, Data & Knowledge Engineering 53 (2) (2005) 129-162. (Pubitemid 40034560)
47. Irene T.P. Vanderfeesten, Hajo A. Reijers, Wil M.P. van der Aalst, Product-based workflow support, Information Systems 36 (2) (2011) 517-535.
48. W.-D. Zhu, et al., Advanced Case Management with IBM Case Manager, Published by IBM. Available at .