To access the full text documents, please follow this link: http://hdl.handle.net/2117/85189
dc.contributor | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.contributor.author | Estañol Lamarca, Montserrat |
dc.contributor.author | Sancho Samsó, María Ribera |
dc.contributor.author | Teniente López, Ernest |
dc.date | 2015 |
dc.identifier.citation | Estañol, M., Sancho, Maria-Ribera, Teniente, E. Verification and validation of UML artifact-centric business process models. A: International Conference on Advanced Information Systems Engineering. "Advanced Information Systems Engineering - 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings". Springer, 2015, p. 434-449. |
dc.identifier.citation | 978-3-319-19068-6 |
dc.identifier.citation | 10.1007/978-3-319-19069-3_27 |
dc.identifier.uri | http://hdl.handle.net/2117/85189 |
dc.language.iso | eng |
dc.publisher | Springer |
dc.relation | http://link.springer.com/chapter/10.1007%2F978-3-319-19069-3_27 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Systems engineering--Computer simulation |
dc.subject | artifact-centric BPM UML verification validation |
dc.subject | Enginyeria de sistemes -- Models matemàtics |
dc.title | Verification and validation of UML artifact-centric business process models |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |