Advertisement

On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles

  • Elio Damaggio
  • Richard Hull
  • Roman Vaculín
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6896)

Abstract

Business artifacts (BAs, or 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) meta-model for artifact lifecycles is declarative in nature, and allows concurrent execution of long-running (possibly human-executed) activities. Modularity is incorporated through the use of hierarchical clustering of activities. The GSM operational semantics is based on a variant of Event-Condition-Action (ECA) rules, which are used to control the start and termination of individual and composite activities. This paper introduces, in an abstract setting, three different and provably equivalent formulations of the GSM operational semantics. The semantics is specified in terms of how a single external event is incorporated into the current “snapshot” (i.e. full description) of a running execution of an artifact model. The “incremental” formulation corresponds to the sequential application of the ECA-like rules in response to the event; the “fixpoint” formulation characterizes the mathematical properties of pairs of snapshots corresponding to the full impact of incorporating the event; and the “closed-form” formulation captures the fixpoint one in terms of first-order logic. The paper introduces a formally specified well-formedness condition on GSM models that guarantees the equivalence of the three formulations while permitting all of the commonly arising patterns for using GSM constructs to model business operations.

Keywords

Business Process Incoming Event Operational Semantic Business Process Model Business Entity 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Abiteboul, S., Benjelloun, O., Milo, T.: The Active XML project: An overview. Very Large Databases Journal 17(5), 1019–1040 (2008)CrossRefGoogle Scholar
  2. 2.
    Abiteboul, S., Bourhis, P., Galland, A., Marinoiu, B.: The AXML Artifact Model. In: Proc. 16th Intl. Symp. on Temporal Representation and Reasoning, TIME (2009)Google Scholar
  3. 3.
    Abiteboul, S., Segoufin, L., Vianu, V.: Static analysis of active XML systems. In: Proc. Intl. Symp. on Principles of Database Systems, PODS (2008)Google Scholar
  4. 4.
    Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288–304. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Cohn, D., et al.: Siena: From powerpoint to web app in 5 minutes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 722–723. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Engineering Bulletin 32, 3–9 (2009)Google Scholar
  7. 7.
    Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic constraints. In: Proc. Intl. Conf. on Database Theory, ICDT (2011)Google Scholar
  8. 8.
    Damaggio, E., Hull, R., Vaculín, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles (full version), available upon request (2011)Google Scholar
  9. 9.
  10. 10.
    Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. Intl. Conf. on Database Theory, ICDT (2009)Google Scholar
  11. 11.
    Gerede, C.E., Bhattacharya, K., Su, J.: Static analysis of business artifact-centric operational models. In: IEEE International Conference on Service-Oriented Computing and Applications (2007)Google Scholar
  12. 12.
    Gerede, C.E., Su, J.: Specification and verification of artifact behaviors in business process models. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 181–192. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  13. 13.
    Hildebrandt, T., Mukkamala, R.R.: Distributed dynamic condition response structures. In: Programming Language Approaches to Concurrency and Communication Centric Software, PLACES (2010)Google Scholar
  14. 14.
    Hull, R., Damaggio, E., De Masellis, R., Fournier, F., Gupta, M., Heath III, F., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculín, R.: Business entities with guard-stage-milestone lifecycles: Managing entity interactions with conditions and events. In: Distributed Event-Based Systems, DEBS 2011 (2011)Google Scholar
  15. 15.
    Hull, R., et al.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1–24. Springer, Heidelberg (2011)Google Scholar
  16. 16.
    Hull, R., et al.: A formal introduction to business entities with guard-stage-milestone lifecycles, Version 0.7, Draft IBM Research internal report (March 14, 2011), http://researcher.watson.ibm.com/researcher/view_page.php?id=1710
  17. 17.
    Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)CrossRefzbMATHGoogle Scholar
  18. 18.
    Marinoiu, B., Abiteboul, S., Bourhis, P., Galland, A.: AXART – Enabling collaborative work with AXML artifacts. In: Proc. VLDB Endowment (2010)Google Scholar
  19. 19.
    McCarthy, D.R., Dayal, U.: McCarthy and Umeshwar Dayal. The architecture of an active data base management system. In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, May 31 - June 2, pp. 215–224. ACM Press, New York (1989)CrossRefGoogle Scholar
  20. 20.
    Nandi, P., 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
  21. 21.
    Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428–445 (2003)CrossRefGoogle Scholar
  22. 22.
    Strosnider, J.K., Nandi, P., Kumarn, S., Ghosh, S., Arsanjani, A.: Model-driven synthesis of SOA solutions. IBM Systems Journal 47(3), 415–432 (2008)CrossRefGoogle Scholar
  23. 23.
    Vaculín, R., Hull, R., Heath, T., Cochran, C., Nigam, A., Sukavirirya, P.: Declarative business artifact centric modeling of decision and knowledge intensive business processes. In: Enterprise Distributed Object Computing Conference, EDOC (2011)Google Scholar
  24. 24.
    van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: A framework for lightweight interacting workflow processes. Int. J. Coop. Inf. Syst. 10(4), 443–481 (2001)CrossRefGoogle Scholar
  25. 25.
    van der Aalst, W.M.P., Pesic, M.: Decserflow: Towards a truly declarative service flow language. In: The Role of Business Processes in Service Oriented Architectures (2006)Google Scholar
  26. 26.
    van der Aalst, W.M.P., Weske, M.: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2), 129–162 (2005)CrossRefGoogle Scholar
  27. 27.
    Zhu, W.-D., et al: Advanced Case Management with IBM Case Manager. Published by IBM, http://www.redbooks.ibm.com/redpieces/abstracts/sg247929.html?Open

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Elio Damaggio
    • 1
  • Richard Hull
    • 2
  • Roman Vaculín
    • 2
  1. 1.University of CaliforniaSan DiegoUSA
  2. 2.IBM T.J. Watson Research CenterUSA

Personalised recommendations