Verifiable UML Artifact-Centric Business Process Models

Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente

Open source

DOI
10.1145/2661829.2662050
Published
2014-11-03
Container
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management
Publisher
ACM
Open access
unknown

Credibility signals

uncertain Score 64/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.1145/2661829.2662050,
  title = {Verifiable UML Artifact-Centric Business Process Models},
  author = {Diego Calvanese and Marco Montali and Montserrat Estañol and Ernest Teniente},
  year = {2014},
  journal = {Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management},
  doi = {10.1145/2661829.2662050},
  url = {https://doi.org/10.1145/2661829.2662050}
}

RIS

TY  - JOUR
TI  - Verifiable UML Artifact-Centric Business Process Models
AU  - Diego Calvanese
AU  - Marco Montali
AU  - Montserrat Estañol
AU  - Ernest Teniente
PY  - 2014
JO  - Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management
DO  - 10.1145/2661829.2662050
UR  - https://doi.org/10.1145/2661829.2662050
ER  - 

APA

Calvanese, D., Montali, M., Estañol, M., & Teniente, E. (2014). Verifiable UML Artifact-Centric Business Process Models. Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management. https://doi.org/10.1145/2661829.2662050

Source records