Verifiable UML Artifact-Centric Business Process Models.
Diego Calvanese|Marco Montali|Montserrat Estañol|Ernest Teniente
| Anthology ID: | DBLP:conf/cikm/CalvaneseMET14 |
|---|---|
| Volume: | Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, November 3-7, 2014 |
| Year: | 2014 |
| Venue: | International Conference on Information and Knowledge Management (CIKM) |
| Publisher: | ACM |
| Pages: | 1289-1298 |
| URL: | https://doi.org/10.1145/2661829.2662050 |
| DOI: | https://doi.org/10.1145/2661829.2662050 |
| DBLP: | conf/cikm/CalvaneseMET14 |
| BibTeX: |
@inproceedings{calvanese-2014-verifiable,
author = {Diego Calvanese and
Marco Montali and
Montserrat Esta\~{n}ol and
Ernest Teniente},
editor = {Jianzhong Li and
Xiaoyang Sean Wang and
Minos N. Garofalakis and
Ian Soboroff and
Torsten Suel and
Min Wang},
title = {{Verifiable UML Artifact-Centric Business Process Models}},
booktitle = {{Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, CIKM 2014, Shanghai, China, November 3-7, 2014}},
pages = {1289--1298},
publisher = {ACM},
year = {2014},
url = {https://doi.org/10.1145/2661829.2662050},
doi = {https://doi.org/10.1145/2661829.2662050}
}