A recursive paradigm for aligning observed behavior of large structured process models

Inici | Què és? | Contacte

English | Castellano

Consultar RECERCAT

Per comunitats i
col·leccions Per data Per autors Per títols Per matèries

Consultar col·lecció

Per data Per autors Per títols Per matèries

Estadístiques

Del document Tot RECERCAT

El meu RECERCAT

Entrar Alertes per correu-e

Directori d’altres repositoris

Pàgina inicial del RECERCAT > Universitat Politècnica de Catalunya > Documents de recerca > Visualitza document

Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/99940

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Taymouri, Farbod
dc.contributor.author	Carmona Vargas, Josep
dc.date	2016
dc.identifier.citation	Taymouri, F., Carmona, J. A recursive paradigm for aligning observed behavior of large structured process models. A: International Conference on Business Process Management. "Business Process Management: 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016: proceedings". Rio de Janeiro: Springer, 2016, p. 197-214.
dc.identifier.citation	978-3-319-45348-4
dc.identifier.citation	10.1007/978-3-319-45348-4_12
dc.identifier.uri	http://hdl.handle.net/2117/99940
dc.language.iso	eng
dc.publisher	Springer
dc.relation	http://link.springer.com/chapter/10.1007/978-3-319-45348-4_12
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject	Linear programming
dc.subject	Data mining
dc.subject	Enterprise resource management
dc.subject	Integer programming
dc.subject	Alignment problems
dc.subject	Conformance checking
dc.subject	Inherent complexity
dc.subject	Integer linear programming models
dc.subject	Model state
dc.subject	Process model
dc.subject	State-of-the-art techniques
dc.subject	Structured process models
dc.subject	Programació lineal
dc.subject	Mineria de dades
dc.title	A recursive paradigm for aligning observed behavior of large structured process models
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.abstract	The alignment of observed and modeled behavior is a crucial problem in process mining, since it opens the door for conformance checking and enhancement of process models. The state of the art techniques for the computation of alignments rely on a full exploration of the combination of the model state space and the observed behavior (an event log), which hampers their applicability for large instances. This paper presents a fresh view to the alignment problem: the computation of alignments is casted as the resolution of Integer Linear Programming models, where the user can decide the granularity of the alignment steps. Moreover, a novel recursive strategy is used to split the problem into small pieces, exponentially reducing the complexity of the ILP models to be solved. The contributions of this paper represent a promising alternative to fight the inherent complexity of computing alignments for large instances.
dc.description.abstract	Peer Reviewed

Mostra el registre simple del document

Documents relacionats

Altres documents del mateix autor/a

An evolutionary technique to approximate multiple optimal alignments

Taymouri, Farbod; Carmona Vargas, Josep

Aligning modeled and observed behavior: A compromise between computation complexity and quality

Dongen, Boudewijn F. van; Carmona Vargas, Josep; Chatain, Thomas; Taymouri, Farbod

Process discovery algorithms using numerical abstract domains

Carmona Vargas, Josep; Cortadella, Jordi

A structural encoding technique for the synthesis of asynchronous circuits

Carmona Vargas, Josep; Cortadella, Jordi; Pastor Llorens, Enric

Input/output compatibility of reactive systems

Carmona Vargas, Josep; Cortadella, Jordi

Accessibilitat | Avís legal | Política de Cookies | Documents d'ús intern

Coordinació

Patrocini