Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

57.066 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Ponències/Comunicacions de congressos
  • View Item
  •   DSpace Home
  • E-prints
  • Departaments
  • Departament de Ciències de la Computació
  • Ponències/Comunicacions de congressos
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
caise17.pdf (419,3Kb)
Share:
 
 
10.1007/978-3-319-59536-8_7
 
  View Usage Statistics
Cita com:
hdl:2117/127950

Show full item record
Dongen, Boudewijn F. van
Carmona Vargas, JosepMés informacióMés informacióMés informació
Chatain, Thomas
Taymouri, Farbod
Document typeConference report
Defense date2017
PublisherSpringer
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
Certifying that a process model is aligned with the real process executions is perhaps the most desired feature a process model may have: aligned process models are crucial for organizations, since strategic decisions can be made easier on models instead of on plain data. In spite of its importance, the current algorithmic support for computing alignments is limited: either techniques that explicitly explore the model behavior (which may be worst-case exponential with respect to the model size), or heuristic approaches that cannot guarantee a solution, are the only alternatives. In this paper we propose a solution that sits right in the middle in the complexity spectrum of alignment techniques; it can always guarantee a solution, whose quality depends on the exploration depth used and local decisions taken at each step. We use linear algebraic techniques in combination with an iterative search which focuses on progressing towards a solution. The experiments show a clear reduction in the time required for reaching a solution, without sacrificing significantly the quality of the alignment obtained.
CitationDongen, B. [et al.]. Aligning modeled and observed behavior: A compromise between computation complexity and quality. A: International Conference on Advanced Information Systems Engineering. "Advanced Information Systems Engineering, 29th International Conference, CAiSE 2017: Essen, Germany, June 12-16, 2017: proceedings". Berlín: Springer, 2017, p. 94-109. 
URIhttp://hdl.handle.net/2117/127950
DOI10.1007/978-3-319-59536-8_7
ISBN978-3-319-59536-8
Publisher versionhttps://link.springer.com/chapter/10.1007/978-3-319-59536-8_7
Collections
  • Departament de Ciències de la Computació - Ponències/Comunicacions de congressos [1.191]
  • ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals - Ponències/Comunicacions de congressos [319]
Share:
 
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
caise17.pdf419,3KbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Inici de la pàgina