Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction-Reference-Cited by-同舟云学术

Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction

Published:2012 Issue: Volume: Page:17-31
ISSN:0302-9743
Container-title:Service-Oriented Computing
language:
Short-container-title:

Author:

Belardinelli Francesco,Lomuscio Alessio,Patrizi Fabio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-34321-6_2

Reference17 articles.

1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)

2. Belardinelli, F., Lomuscio, A., Patrizi, F.: A computationally-grounded semantics for artifact-centric systems and abstraction results. In: Proc. of IJCAI (2011)

3. Lecture Notes in Computer Science;F. Belardinelli,2011

4. Belardinelli, F., Lomuscio, A., Patrizi, F.: An abstraction technique for the verification of artifact-centric systems. In: Proc. of KR (2012)

5. Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: View-based query answering in description logics: Semantics and complexity. J. Comput. Syst. Sci. 78(1), 26–46 (2012)

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Framework for Checking Compliance of Data-Driven Case Management;Journal on Data Semantics;2021-02-19

2. Language-independent look-ahead for checking multi-perspective declarative process models;Software and Systems Modeling;2021-01-09

3. Coordinating large distributed relational process structures;Software and Systems Modeling;2020-11-09

4. Verification of Hierarchical Artifact Systems;ACM Transactions on Database Systems;2019-06-19

5. VIEW;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08