Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events

DEBS'11 - Proceedings of the 5th ACM International Conference on Distributed Event-Based Systems

Volumn , Issue , 2011, Pages 51-62

  Hull, Richard ^a   Damaggio, Elio ^b   De Masellis, Riccardo ^c   Fournier, Fabiana ^d   Gupta, Manmohan ^e   Heath III, Fenno Terry ^a   Hobson, Stacy ^a   Linehan, Mark ^a   Maradugu, Sridhar ^f   Nigam, Anil ^a   Sukaviriya, Piwadee Noi ^a   Vaculín, Roman ^a  

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

^b UNIVERSITY OF CALIFORNIA   (United States)

^c SAPIENZA UNIVERSITY OF ROME   (Italy)

^d IBM HAIFA RESEARCH LAB   (Israel)

^e IBM INDIA RESEARCH LAB   (India)

^f Finsoft Consultants Inc   (United States)

Author keywords

business artifact; business entity with lifecycle; business operations management; business process management; case management; data centric workflow; declarative workflow; event condition action systems

Indexed keywords

BUSINESS OPERATIONS MANAGEMENT; BUSINESS PROCESS MANAGEMENT; CASE MANAGEMENT; DATA CENTRIC; DECLARATIVE WORKFLOW; EVENT-CONDITION-ACTION SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES; ENTERPRISE RESOURCE MANAGEMENT; FINITE AUTOMATA; INFORMATION THEORY; LIFE CYCLE; SOFTWARE ARCHITECTURE;

SEMANTICS;

EID: 80051952792     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2002259.2002270     Document Type: Conference Paper

References (23)

1. K.R. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89-148. Morgan Kaufmann, Los Altos, CA, 1988.
2. Artifact-centric service interoperation (ACSI) web site, 2011. http:/acsi-project.eu/.
3. K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu, and J. Su. Towards formal analysis of artifact-centric business process models. In Proc. Int. Conf. on Business Process Management (BPM), pages 288-304, 2007.
4. D. Cohn, P. Dhoolia, F.F. (Terry) Heath III, F. Pinel, and J. Vergo. Siena: From powerpoint to web app in 5 minutes. In Intl. Conf. on Services Oriented Computing (ICSOC), 2008.
5. D. Cohn and R. Hull. Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull., 32:3-9, 2009.
6. E. Damaggio, A. Deutsch, and V. Vianu. Artifact systems with data dependencies and arithmetic constraints. In Proc. Intl. Conf. on Database Theory (ICDT), 2011.
7. E. Damaggio, R. Hull, and R. Vaculín. On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. In Intl. Conf. Business Process Mgmt. (BPM), 2011. to appear.
8. H. de Man. Case management: Cordys approach, February 2009. http://www.bptrends.com/deliver-file.cfm?fileType=publication&fileName= 02-09-ART-BPTrends%20-%20Case%20Management-DeMan%20-final.doc.pdf.
9. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic verification of data-centric business processes. In Proc. Intl. Conf. on Database Theory (ICDT), 2009.
10. A. Van Gelder. Negation as failure using tight derivations for general logic programs. In IEEE Symp. on Logic Programming, pages 127-139, 1986.
11. T. Hildebrandt and R. R. Mukkamala. Distributed dynamic condition response structures. In Pre-proceedings of Intl. Workshop on Programming Language Approaches to Concurrency and Communication Centric Software (PLACES 10), 2010.
12. R. Hull et al. Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In Proc. of 7th Intl. Workshop on Web Services and Formal Methods (WS-FM 2010), Revised Selected Papers, Lecture Notes in Computer Science. Springer, 2010.
13. R. Hull et al. A formal introduction to business artifacts with guard-stage-milestone lifecycles, Version 0.8, May, 2011.
14. Draft IBM Research internal report, available at http://researcher. watson.ibm.com/researcher/view-page.php?id=1710.
15. John. W. Lloyd. Foundations of Logic Programming, 2nd Edition. Springer, 1987.
16. B. Marinoiu, S. Abiteboul, P. Bourhis, and A. Galland. AXART - Enabling collaborative work with AXML artifacts. Proc. VLDB Endowment, 3(2):1553-1556, Sept. 2010.
17. D. R. McCarthy and U. Dayal. The architecture of an active data base management system. In Proc. ACM SIGMOD Intl. Conf. on Mgmnt of Data (SIGMOD), pages 215-224. ACM Press, 1989.
18. P. Nandi et al. Data4BPM, Part 1: Introducing Business Entities and the Business Entity Definition Language (BEDL), April 2010. http://www.ibm.com/ developerworks/websphere/library/techarticles/1004-nandi/1004-nandi.html.
19. A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428-445, 2003.
20. W. M. P. van der Aalst, P. Barthelmess, C.A. Ellis, and J. Wainer. Proclets: A framework for lightweight interacting workflow processes. Int. J. Coop. Inf. Syst., 10(4):443-481, 2001.
21. Wil M. P. van der Aalst and Maja Pesic. Decserflow: Towards a truly declarative service flow language. In The Role of Business Processes in Service Oriented Architectures, 2006.
22. W.M.P. van der Aalst, M. Weske, and D. Grünbauer. Case handling: a new paradigm for business process support. Data Knowl. Eng., 53(2):129-162, 2005.
23. W.-D. Zhu et al. Advanced Case Management with IBM Case Manager. Published by IBM. Available at http://www.redbooks.ibm.com/redpieces/abstracts/ sg247929.html?Open.