Conjunctive Artifact-Centric Services

  • Piero Cangialosi
  • Giuseppe De Giacomo
  • Riccardo De Masellis
  • Riccardo Rosati
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6470)


Artifact-centric services are stateful service descriptions centered around “business artifacts”, which contain both a data schema holding all the data of interest for the service, and a lifecycle schema, which specifies the process that the service enacts. In this paper, the data schemas are full-fledged relational databases, and the lifecycle schemas are specified as sets of condition-action rules, where conditions are evaluated against the current snapshot of the artifact, and where actions are suitable updates to database. The main characteristic of this work is that conditions and actions are based on conjunctive queries. In particular, we exploit recent results in data exchange to specify through tuple-generating-dependencies (tgds) the effects of actions. Using such basis we develop sound and complete verification procedures, which, in spite of the fact that the number of states of an artifact-centric service can be infinite, reduce to the finite case through a suitable use of homomorphism induced by the conjunctive queries.


Model Check Transition System Conjunctive Query Serv Code Skolem Function 
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.


  1. 1.
    Abiteboul, S., Bourhis, P., Galland, A., Marinoiu, B.: The axml artifact model. In: TIME, pp. 11–17 (2009)Google Scholar
  2. 2.
    Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)zbMATHGoogle Scholar
  3. 3.
    Abiteboul, S., Vianu, V., Fordham, B.S., Yesha, Y.: Relational transducers for electronic commerce. J. Comput. Syst. Sci. 61(2), 236–269 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic Composition of Transition-based Semantic Web Services with Messaging. In: Proc. of VLDB 2005 (2005)Google Scholar
  5. 5.
    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
  6. 6.
    Bhattacharya, K., Guttman, R., Lyman, K., Heath III, F.F., Kumaran, S., Nandi, P., Wu, F.Y., Athma, P., Freiberg, C., Johannsen, L., Staudt, A.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal 44(1), 145–162 (2005)CrossRefGoogle Scholar
  7. 7.
    Bradfield, J., Stirling, C.: Modal mu-calculi. In: Handbook of Modal Logic, vol. 3, pp. 721–756. Elsevier, Amsterdam (2007)CrossRefGoogle Scholar
  8. 8.
    Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: STOC, pp. 77–90 (1977)Google Scholar
  9. 9.
    Clark, K.L.: Negation as failure. In: Logic and Data Bases, pp. 293–322 (1977)Google Scholar
  10. 10.
    Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. The MIT Press, Cambridge (1999)Google Scholar
  11. 11.
    Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32(3), 3–9 (2009)Google Scholar
  12. 12.
    Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic Verification of Data-Centric Business Processes. In: Proc. of ICDT (2009)Google Scholar
  13. 13.
    Emerson, E.A.: Model checking and the mu-calculus. In: Descriptive Complexity and Finite Models, pp. 185–214 (1996)Google Scholar
  14. 14.
    Emerson, E.A.: Model checking and the mu-calculus. In: Descriptive Complexity and Finite Models, pp. 185–214 (1996)Google Scholar
  15. 15.
    Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theor. Comput. Sci. 336(1), 89–124 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based business processes. In: ICDT, pp. 225–238 (2009)Google Scholar
  17. 17.
    Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008. LNCS, vol. 5331, pp. 1152–1163. Springer, Heidelberg (2008)Google Scholar
  18. 18.
    Lenzerini, M.: Data Integration: A Theoretical Perspective. In: Proc. of PODS 2002, pp. 233–246 (2002)Google Scholar
  19. 19.
    Luckham, D.C., Park, D.M.R., Paterson, M.: On formalised computer programs. J. Comput. Syst. Sci. 4(3), 220–249 (1970)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Milner, R.: An algebraic definition of simulation between programs. In: Proc. of IJCAI, pp. 481–489 (1971)Google Scholar
  21. 21.
    Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Syst. J. 42(3), 428–445 (2003)CrossRefGoogle Scholar
  22. 22.
    Park, D.: Finiteness is mu-ineffable. Theor. Comput. Sci. 3(2), 173–181 (1976)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (September 2001)zbMATHGoogle Scholar
  24. 24.
    Sohrabi, S., Prokoshyna, N., McIlraith, S.A.: Web service composition via generic procedures and customizing user preferences. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 597–611. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  25. 25.
    Spielmann, M.: Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci. 66(1), 40–65 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific J. of Mathematics 5(2), 285–309 (1955)MathSciNetCrossRefzbMATHGoogle Scholar
  27. 27.
    van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: A framework for lightweight interacting workflow processes. Int. J. Cooperative Inf. Syst. 10(4), 443–481 (2001)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Piero Cangialosi
    • 1
  • Giuseppe De Giacomo
    • 1
  • Riccardo De Masellis
    • 1
  • Riccardo Rosati
    • 1
  1. 1.Dipartimento di Informatica e Sistemistica “Antonio Ruberti”SAPIENZA – Università di RomaRomeItaly

Personalised recommendations