State-boundedness in data-aware dynamic systems

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2014, Pages 458-467

  Hariri, Babak Bagheri ^a   Calvanese, Diego ^a   Montali, Marco ^a   Deutsch, Alin ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; PETRI NETS;

COMPONENT QUERIES; DATA CENTRIC; DATA COMPONENTS; SYSTEM EVOLUTION; TEMPORAL PROPERTY; TUPLE-GENERATING DEPENDENCIES; UNARY RELATIONS; UNDECIDABILITY;

KNOWLEDGE REPRESENTATION;

EID: 84962109156     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Bagheri Hariri, B.; Calvanese, D.; Montali, M.; De Giacomo, G.; De Masellis, R.; and Felli, P. 2013a. Description logic Knowledge and Action Bases. Journal of Artificial Intelligence Research 46.
2. Bagheri Hariri, B.; Calvanese, D.; Montali, M.; De Giacomo, G.; and Deutsch, A. 2013b. Verification of relational datacentric dynamic systems with external services. In Proc. of the 32th Symp. on Principles of Database Systems (PODS).
3. Belardinelli, F.; Lomuscio, A.; and Patrizi, F. 2012. An abstraction technique for the verification of artifact-centric systems. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR). AAAI Press.
4. Calì, A.; Gottlob, G.; and Kifer, M. 2013. Taming the infinite chase: Query answering under expressive relational constraints. Journal of Artificial Intelligence Research 48:115-174.
5. Calvanese, D.; De Giacomo, G.; Lembo, D.; Lenzerini, M.; and Rosati, R. 2007. Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3):385-429.
6. Calvanese, D.; De Giacomo, G.; and Montali, M. 2013. Foundations of data-aware process analysis: A database theory perspective. In Proc. of the 32th Symp. on Principles of Database Systems (PODS), 1-12. ACM Press.
7. De Giacomo, G.; Lesperance, Y.; and Patrizi, F. 2012. Bounded situation calculus action theories and decidable verification. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR), 467-477.
8. Deutsch, A.; Hull, R.; Patrizi, F.; and Vianu, V. 2009. Automatic verification of data-centric business processes. In Proc. of the 12th Int. Conf. on Database Theory (ICDT), 252-267.
9. Deutsch, A.; Nash, A.; and Remmel, J. B. 2008. The chase revisited. In Proc. of the 27th Symp. on Principles of Database Systems (PODS).
10. Dufourd, C.; Finkel, A.; and Schnoebelen, P. 1998. Reset nets between decidability and undecidability. In Proc. of the 25th Coll. on Automata, Languages and Programming (ICALP), volume 1443, 103-115.
11. Dufourd, C.; Jancar, P.; and Schnoebelen, P. 1999. Boundedness of reset p/t nets. In Proc. of the 26th Coll. on Automata, Languages and Programming (ICALP), volume 1644 of Lecture Notes in Computer Science, 301-310. Springer.
12. Dumas, M. 2011. On the convergence of data and process engineering. In Proc. of ADBIS, volume 6909 of Lecture Notes in Computer Science, 19-26. Springer.
13. Esparza, J., and Nielsen, M. 1994. Decidability issues for petri nets-a survey. Bulletin of the EATCS 52:244-262.
14. Fagin, R.; Kolaitis, P. G.; Miller, R. J.; and Popa, L. 2005. Data exchange: Semantics and query answering. Theoretical Computer Science 336(1):89-124.
15. Hull, R. 2008. Artifact-centric business process models: Brief survey of research results and challenges. In Proc. of the On the Move Confederated Int. Conf. (OTM 2008), volume 5332 of Lecture Notes in Computer Science, 1152-1163. Springer.
16. Mayr, R. 2003. Undecidable problems in unreliable computations. Theoretical Computer Science 297(1-3):337-354.
17. Meier, M.; Schmidt, M.; and Lausen, G. 2009. On chase termination beyond stratification. PVLDB 2(1).
18. Rogers, H. 1967. Theory of recursive functions and effective computability. McGraw-Hill.
19. Solomakhin, D.; Montali, M.; Tessaris, S.; and De Masellis, R. 2013. Verification of artifact-centric systems: Decidability and modeling issues. In Proc. of the 11th Int. Conf. on Service Oriented Computing (ICSOC).
20. Vianu, V. 2009. Automatic verification of database-driven systems: a new frontier. In Proc. of the 12th Int. Conf. on Database Theory (ICDT), 1-13.