Verification of Deployed Artifact Systems via Data Abstraction-Reference-Cited by-同舟云学术

Verification of Deployed Artifact Systems via Data Abstraction

Published:2011 Issue: Volume: Page:142-156
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-25535-9_10

Reference15 articles.

1. Lecture Notes in Computer Science;B. Bagheri Hariri,2011

2. Belardinelli, F., Lomuscio, A., Patrizi, F.: A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results. In: Proc. of IJCAI (to appear, 2011)

3. 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)

4. Lecture Notes in Computer Science;K. Bhattacharya,2007

5. Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded Model Checking. Advances in Computers 58, 118–149 (2003)

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

1. Verification of Unary Communicating Datalog Programs;Proceedings of the ACM on Management of Data;2024-05-10

2. Lifted model checking for relational MDPs;Machine Learning;2022-06-23

3. Reasoning on the usage control security policies over data artifact business process models;Computer Science and Information Systems;2021

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

5. Ensuring the semantic correctness of a BAUML artifact-centric BPM;Information and Software Technology;2018-01