Conjunctive artifact-centric services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6470 LNCS, Issue , 2010, Pages 318-333

  Cangialosi, Piero ^a   De Giacomo, Giuseppe ^a   De Masellis, Riccardo ^a   Rosati, Riccardo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFACT-CENTRIC; CONDITION-ACTION RULES; CONJUNCTIVE QUERIES; DATA EXCHANGE; MAIN CHARACTERISTICS; NUMBER OF STATE; RELATIONAL DATABASE; SCHEMAS; STATEFUL SERVICES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 78650782182     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-17358-5_22     Document Type: Conference Paper

References (27)

1. Abiteboul, S., Bourhis, P., Galland, A., Marinoiu, B.: The axml artifact model. In: TIME, pp. 11-17 (2009)
2. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)
3. Abiteboul, S., Vianu, V., Fordham, B.S., Yesha, Y.: Relational transducers for electronic commerce. J. Comput. Syst. Sci. 61(2), 236-269 (2000)
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)
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)
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)
7. Bradfield, J., Stirling, C.: Modal mu-calculi. In: Handbook of Modal Logic, vol. 3, pp. 721-756. Elsevier, Amsterdam (2007)
8. Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: STOC, pp. 77-90 (1977)
9. Clark, K.L.: Negation as failure. In: Logic and Data Bases, pp. 293-322 (1977)
10. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. The MIT Press, Cambridge (1999)
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)
12. Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic Verification of Data-Centric Business Processes. In: Proc. of ICDT (2009)
13. Emerson, E.A.: Model checking and the mu-calculus. In: Descriptive Complexity and Finite Models, pp. 185-214 (1996)
14. Emerson, E.A.: Model checking and the mu-calculus. In: Descriptive Complexity and Finite Models, pp. 185-214 (1996)
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)
16. Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based business processes. In: ICDT, pp. 225-238 (2009)
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)
18. Lenzerini, M.: Data Integration: A Theoretical Perspective. In: Proc. of PODS 2002, pp. 233-246 (2002)
19. Luckham, D.C., Park, D.M.R., Paterson, M.: On formalised computer programs. J. Comput. Syst. Sci. 4(3), 220-249 (1970)
20. Milner, R.: An algebraic definition of simulation between programs. In: Proc. of IJCAI, pp. 481-489 (1971)
21. Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Syst. J. 42(3), 428-445 (2003)
22. Park, D.: Finiteness is mu-ineffable. Theor. Comput. Sci. 3(2), 173-181 (1976)
23. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (September 2001)
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)
25. Spielmann, M.: Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci. 66(1), 40-65 (2003)
26. Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific J. of Mathematics 5(2), 285-309 (1955)
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)