Mostrar el registro sencillo del ítem

dc.contributor.authorSalaün, Gwen
dc.date.accessioned2017-06-01T07:54:04Z
dc.date.available2017-06-01T07:54:04Z
dc.date.created2017
dc.date.issued2017-06-01
dc.identifier.urihttp://hdl.handle.net/10630/13788
dc.description.abstractA business process is a collection of structured activities producing a particular product or software. BPMN is a workflow-based graphical notation for specifying business processes. Formally analyzing such processes is a crucial challenge in order to avoid erroneous executions of the corresponding software. In this paper, we focus on timed business processes where execution time can be associated to several BPMN constructs. We propose an encoding of timed business processes into the Maude language, which allows one to automatically verify several properties of interest on processes such as the maximum/minimum/average execution time or the timed degree of parallelism that provides a valuable guide for the problem of resource allocation. The analysis is achieved using the rewriting-based tools available in Maude, which also provides other techniques (e.g., reachability analysis and model checking) for verifying BPMN specifications. We applied our approach on a large set of BPMN processes for evaluation purposes.es_ES
dc.description.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.es_ES
dc.language.isoenges_ES
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.subjectLogística empresariales_ES
dc.subjectAplicaciones informáticases_ES
dc.titleChecking Business Process Evolutiones_ES
dc.typeinfo:eu-repo/semantics/conferenceObjectes_ES
dc.relation.eventplaceETSI Informática, Universidad de Málagaes_ES
dc.relation.eventdate9/6/2017es_ES
dc.rights.ccby-nc-nd


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem