Model checking unbounded artifact-centric systems

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2014, Pages 488-497

  Lomuscio, Alessio ^a   Michaliszyn, Jakub ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; KNOWLEDGE REPRESENTATION;

ARTIFACT-CENTRIC; BINARY RELATION; BUSINESS PROCESS; DATABASE SCHEMAS; INFINITE DOMAINS; MODEL CHECKING PROBLEM; UNARY RELATIONS; VERIFICATION PROBLEMS;

MODEL CHECKING;

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

References (19)

1. Alonso, G.; Casati, F.; Kuno, H. A.; and Machiraju, V. 2004. Web Services -Concepts, Architectures and Applications. Data-Centric Systems and Applications. Springer.
2. Belardinelli, F., and Lomuscio, A. 2013. Decidability of model checking non-uniform artifact-centric quantified interpreted systems. In Proceedings of the 23rd International Joint Conference on Artificail Intelligence (IJCAI'13), 725-731. AAAI Press.
3. Belardinelli, F.; Lomuscio, A.; and Patrizi, F. 2011. Verification of Deployed Artifact Systems via Data Abstraction. In Proceedings of the 9th International Conference on Service-Oriented Computing (ICSOC'11), volume 7200 of Lecture Notes in Computer Science, 142-156. Springer.
4. Belardinelli, F.; Lomuscio, A.; and Patrizi, F. 2012a. An abstraction technique for the verification of artifact-centric systems. In Proceedings of the 13th International Conference Principles of Knowledge Representation and Reasoning (KR12), 319-328. AAAI Press.
5. Belardinelli, F.; Lomuscio, A.; and Patrizi, F. 2012b. Verification of gsm-based artifact-centric systems through finite abstraction. In Proceedings of the 10th International Conference on Service Oriented Computing (ISCOC'12), volume 7636 of Lecture Notes in Computer Science, 17-31. Springer.
6. Bozzelli, L. 2007. Complexity results on branching-time pushdown model checking. Theoretical computer science 379(1):286-297.
7. Clarke, E. M.; Grumberg, O.; and Peled, D. A. 1999. Model Checking. Cambridge, Massachusetts: The MIT Press.
8. Cohn, D., and Hull, R. 2009. Business Artifacts: A Data-Centric Approach to Modeling Business Operations and Processes. IEEE Data Engineering Bulletin 32(3):3-9.
9. Deutsch, A.; Hull, R.; Patrizi, F.; and Vianu, V. 2009. Automatic verification of data-centric business processes. In Proceedings of the 12th International Conference on Database Theory (ICDT'09), volume 361 of ACM International Conference Proceeding Series, 252-267. ACM.
10. Gonzalez, P.; Griesmayer, A.; and Lomuscio, A. 2012. Verifying GSM-based business artifacts. In Proceedings of the 19th International Conference on Web Services (ICWS'12), 25-32. IEEE Press.
11. Grädel, E.; Kolaitis, P. G.; and Vardi, M. Y. 1997. On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic 3(1):53-69.
12. Grädel, E. 1999. On the restraining power of guards. Journal of Symbolic Logic 64(4):1719-1742.
13. Hariri, B. B.; Calvanese, D.; Giacomo, G. D.; Masellis, R. D.; and Felli, P. 2011. Foundations of relational artifacts verification. In Proceedings of the 9th Int. Conference on Business Process Management (BPM'11), volume 6896 of Lecture Notes in Computer Science, 379-395. Springer.
14. Hariri, B. B.; Calvanese, D.; Montali, M.; Giacomo, G. D.; and Deutsch, A. 2013. Verification of relational data-centric dynamic systems with external services. In Proceedings of the 32nd Symposium on Principles of Database Systems (PODS'13), 163-174. ACM.
15. Heath III, F. T.; Boaz, D.; Gupta, M.; Vacul'n, R.; Sun, Y.; Hull, R.; and Limonad, L. 2013. Barcelona: A design and runtime environment for declarative artifact-centric BPM. In Proceedings of the 11th International Conference on Service-Oriented Computing (ICSOC13), volume 8274 of Lecture Notes in Computer Science, 705-709. Springer.
16. Hopcroft, J. E., and Ullman, J. D. 1979. Introduction to Automata Theory, Languages, and Computation. Adison-Wesley Publishing Company.
17. Hull, R.; Damaggio, E.; De Masellis, R.; Fournier, F.; Gupta, M.; Heath, III, F. T.; Hobson, S.; Linehan, M.; Maradugu, S.; Nigam, A.; Sukaviriya, P. N.; and Vaculin, R. 2011. Business Artifacts with Guard-Stage-Milestone Lifecycles: Managing Artifact Interactions with Conditions and Events. In Proceedings of the 5th ACM International Conference on Distributed Event-Based Systems (DEBS'11), 51-62. ACM.
18. Hull, R. 2008. Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges. In Proceedings of the 2008 Confederated International Conferences CoopIS, DOA, GADA, IS, and ODBASE, volume 5332 of Lecture Notes in Computer Science, 1152-1163. Springer.
19. Minsky, M. 1967. Computation: finite and infinite machines. Prentice-Hall.