research-article

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

Authors:

Riccardo De Masellis,

Fabiana Fournier,

Manmohan Gupta,

Fenno Terry Heath, III,

Sridhar Maradugu,

Piwadee Noi Sukaviriya,

Roman VaculinAuthors Info & Claims

DEBS '11: Proceedings of the 5th ACM international conference on Distributed event-based system

Pages 51 - 62

https://doi.org/10.1145/2002259.2002270

Published: 11 July 2011 Publication History

Abstract

A promising approach to managing business operations is based on business artifacts, a.k.a. business entities (with lifecycles). These are key conceptual entities that are central to guiding the operations of a business, and whose content changes as they move through those operations. An artifact type includes both an information model that captures all of the business-relevant data about entities of that type, and a lifecycle model, that specifies the possible ways an entity of that type might progress through the business. Two recent papers have introduced and studied the Guard-Stage-Milestone (GSM) meta-model for artifact lifecycles. GSM lifecycles are substantially more declarative than the finite state machine variants studied in most previous work, and support hierarchy and parallelism within a single artifact instance. This paper presents the formal operational semantics of GSM, with an emphasis on how interaction between artifact instances is supported. Such interactions are supported both through testing of conditions against the artifact instances, and through events stemming from changes in artifact instances. Building on a previous result for the single artifact instance case, a key result here shows the equivalence of three different formulations of the GSM semantics for artifact instance interaction. One formulation is based on incremental application of ECA-like rules, one is based on two mathematical properties, and one is based on the use of first-order logic formulas.

References

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[8]

H. de Man. Case management: Cordys approach, February 2009. http://www.bptrends.com/ deliver_file.cfm?fileType=publication&file Name=02-09-ART-BPTrends%20-%20Case%20 Management-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.

Digital Library

[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.

Digital Library

[13]

R. Hull et al. A formal introduction to business artifacts with guard-stage-milestone lifecycles, Version 0.8, May, 2011. Draft IBM Research internal report, available at http://researcher.watson.ibm.com/researcher/view_page.php?id=1710.

[14]

John. W. Lloyd. Foundations of Logic Programming, 2nd Edition. Springer, 1987.

Digital Library

[15]

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.

Digital Library

[16]

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.

Digital Library

[17]

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.

[18]

A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3):428--445, 2003.

Digital Library

[19]

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.

[20]

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.

[21]

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.

Digital Library

[22]

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.

Cited By

Fahrenkrog-Petersen SBala SPufahl LMendling J(2025)Unraveling the Never-Ending Story of Lifecycles and Vitalizing ProcessesEnterprise Design, Operations, and Computing. EDOC 2024 Workshops10.1007/978-3-031-79059-1_5(68-81)Online publication date: 9-Feb-2025
https://doi.org/10.1007/978-3-031-79059-1_5
Goossens ADe Smedt JVanthienen J(2024)Extracting Process-Aware Decision Models from Object-Centric Process DataInformation Sciences10.1016/j.ins.2024.121263(121263)Online publication date: Jul-2024
https://doi.org/10.1016/j.ins.2024.121263
Verbruggen CGoossens ADe Smedt JVanthienen JSnoeck M(2024)iDOCEM: defining a common terminology for object-centric event logging and data-centric process modellingSoftware and Systems Modeling10.1007/s10270-024-01191-zOnline publication date: 9-Jul-2024
https://doi.org/10.1007/s10270-024-01191-z
Show More Cited By

Index Terms

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

Recommendations

Introducing the guard-stage-milestone approach for specifying business entity lifecycles
WS-FM'10: Proceedings of the 7th international conference on Web services and formal methods

A promising approach to managing business operations is based on business entities with lifecycles (BEL's) (a.k.a. business artifacts), i.e., key conceptual entities that are central to guiding the operations of a business, and whose content changes as ...
On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles

Business artifacts (or simply, artifacts) are used to model conceptual entities that are central to guiding the operations of a business, and whose content changes as they move through those operations. The recently introduced Guard-Stage-Milestone (GSM)...
Collaborative Enterprise Applications Based on Business and Social Artifacts
WETICE '15: Proceedings of the 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises

This paper discusses how to design and develop collaborative enterprise applications using business and social artifacts. Business artifacts populate the business world (associated with business process management platforms) and allow to facilitate the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DEBS '11: Proceedings of the 5th ACM international conference on Distributed event-based system

July 2011

418 pages

ISBN:9781450304238

DOI:10.1145/2002259

Conference Chair:
David Eyers
University of Otago, NZ
,
General Chair:
Opher Etzion
IBM Research, Israel
,
Program Chairs:
Avigdor Gal
Technion -- Israel Institute of Technology, Israel
,
Stan Zdonik
Brown University, USA
,
Paul Vincent
TIBCO Software LTD, UK

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 July 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

DEBS '11

Sponsor:

DEBS '11: The 5th ACM International Conference on Distributed Event-based system

July 11 - 15, 2011

New York, New York, USA

Acceptance Rates

DEBS '11 Paper Acceptance Rate 23 of 95 submissions, 24%;

Overall Acceptance Rate 145 of 583 submissions, 25%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

139
Total Citations
View Citations
502
Total Downloads

Downloads (Last 12 months)13
Downloads (Last 6 weeks)2

Reflects downloads up to 20 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Fahrenkrog-Petersen SBala SPufahl LMendling J(2025)Unraveling the Never-Ending Story of Lifecycles and Vitalizing ProcessesEnterprise Design, Operations, and Computing. EDOC 2024 Workshops10.1007/978-3-031-79059-1_5(68-81)Online publication date: 9-Feb-2025
https://doi.org/10.1007/978-3-031-79059-1_5
Goossens ADe Smedt JVanthienen J(2024)Extracting Process-Aware Decision Models from Object-Centric Process DataInformation Sciences10.1016/j.ins.2024.121263(121263)Online publication date: Jul-2024
https://doi.org/10.1016/j.ins.2024.121263
Verbruggen CGoossens ADe Smedt JVanthienen JSnoeck M(2024)iDOCEM: defining a common terminology for object-centric event logging and data-centric process modellingSoftware and Systems Modeling10.1007/s10270-024-01191-zOnline publication date: 9-Jul-2024
https://doi.org/10.1007/s10270-024-01191-z
Goossens ADe Smedt JVanthienen J(2024)Object-Centric Event Logs: Characteristics, Comparative Analysis and Road MapBusiness Process Management Forum10.1007/978-3-031-70418-5_3(37-54)Online publication date: 30-Aug-2024
https://doi.org/10.1007/978-3-031-70418-5_3
Assaf MFares CRachini ABadr YBarbar K(2023)A Unified Conceptual Model Based on Business Artifacts for Information Systems2023 24th International Arab Conference on Information Technology (ACIT)10.1109/ACIT58888.2023.10453796(1-9)Online publication date: 6-Dec-2023
https://doi.org/10.1109/ACIT58888.2023.10453796
Jalali A(2023)Evaluating user acceptance of knowledge-intensive business process modeling languagesSoftware and Systems Modeling10.1007/s10270-023-01120-622:6(1803-1826)Online publication date: 2-Aug-2023
https://doi.org/10.1007/s10270-023-01120-6
M’Baba LSellami MAssy NGaaloul WNanne M(2023)Discovering Guard Stage Milestone Models Through Hierarchical ClusteringCooperative Information Systems10.1007/978-3-031-46846-9_13(239-256)Online publication date: 25-Oct-2023
https://doi.org/10.1007/978-3-031-46846-9_13
Goossens AVerbruggen CSnoeck MDe Smedt JVanthienen J(2023)Aligning Object-Centric Event Logs with Data-Centric Conceptual ModelsEnterprise, Business-Process and Information Systems Modeling10.1007/978-3-031-34241-7_4(44-59)Online publication date: 31-May-2023
https://doi.org/10.1007/978-3-031-34241-7_4
Gonzalez-Lopez FBustos GMunoz-Gama JSepúlveda M(2022)Domain Model Based Design of Business Process ArchitecturesApplied Sciences10.3390/app1205256312:5(2563)Online publication date: 1-Mar-2022
https://doi.org/10.3390/app12052563
M'Baba LAssy NSellami MGaaloul WNanne M(2022)Extracting Artifact-Centric Event Logs From Blockchain Applications2022 IEEE International Conference on Services Computing (SCC)10.1109/SCC55611.2022.00048(274-283)Online publication date: Jul-2022
https://doi.org/10.1109/SCC55611.2022.00048
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten