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

Bibliographic Details
Authors: Calvanese, Diego, Montali, Marco, Estañol Lamarca, Montserrat|||0000-0001-7204-932X, Teniente López, Ernest|||0000-0001-8890-9638
Format: report
Publication Date:2014
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:English
OAI Identifier:oai:upcommons.upc.edu:2117/24224
Online Access:https://hdl.handle.net/2117/24224
Access Level:Open access
Keyword:Information storage and retrieval systems
Informació -- Sistemes d'emmagatzematge i recuperació
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
Description
Summary: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

Similar Items