Verifiable UML artifact-centric business process models (Extended Version)
This is the extended version of “Verifiable UML Artifact-Centric Business Process Models”, to appear in the Proceedings of CIKM’14, Nov. 3–7, 2014, Shanghai, China. ACM http://dx.doi.org/10.1145/2661829.2662050
| Autores: | , , , |
|---|---|
| Tipo de documento: | relatório científico |
| Data de publicação: | 2014 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositório: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglês |
| OAI Identifier: | oai:upcommons.upc.edu:2117/24224 |
| Acesso em linha: | https://hdl.handle.net/2117/24224 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Information storage and retrieval systems Informació -- Sistemes d'emmagatzematge i recuperació Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
| Resumo: | This is the extended version of “Verifiable UML Artifact-Centric Business Process Models”, to appear in the Proceedings of CIKM’14, Nov. 3–7, 2014, Shanghai, China. ACM http://dx.doi.org/10.1145/2661829.2662050 |
|---|