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

Detalles Bibliográficos
Autores: Calvanese, Diego, Montali, Marco, Estañol Lamarca, Montserrat|||0000-0001-7204-932X, Teniente López, Ernest|||0000-0001-8890-9638
Tipo de recurso: informe técnico
Fecha de publicación:2014
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/24224
Acceso en línea:https://hdl.handle.net/2117/24224
Access Level:acceso abierto
Palabra clave:Information storage and retrieval systems
Informació -- Sistemes d'emmagatzematge i recuperació
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
Descripción
Sumario: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

Similares en LA Referencia