A CSP-theoretic Framework of Checking Conformance of Business Processes

Simple item page
dc.contributor.authorRoy, S.
dc.contributor.authorBihary, S.
dc.contributor.authorCorso Laos, José Alfonso
dc.date.accessioned2022-05-16T20:30:47Z
dc.date.available2022-05-16T20:30:47Z
dc.date.issued2012
dc.description.abstractIn this paper, we tackle the problem of conformance checking which verifies if the event logs (observed) match/fit the reference (arbitrary) process. We use concepts from Communicating Sequential Processes (CSP), which facilitates automated analysis using PAT toolkit. By this technique one can identify all the logs which cannot be properly replayed on the process. We illustrate our approach with an example. Finally, we introduce some metrics based on conformance checking. They are related to fitness, closeness, and appropriateness of the event logs vis-a-vis reference process models.
dc.fuente.origenIEEE
dc.identifier.doi10.1109/APSEC.2012.110
dc.identifier.eissn1530-1362
dc.identifier.isbn9781467349307
dc.identifier.issn1530-1362
dc.identifier.urihttps://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=6462635
dc.identifier.urihttps://doi.org/10.1109/APSEC.2012.110
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/63982
dc.information.autorucInstituto de historia ; Corso Laos, José Alfonso ; S/I ; 237363
dc.language.isoen
dc.nota.accesoContenido parcial
dc.pagina.final39
dc.pagina.inicio30
dc.publisherIEEE
dc.relation.ispartofAsia-Pacific Software Engineering Conference (19° : 2012 : Hong Kong, China)
dc.rightsacceso restringido
dc.subjectBusiness
dc.subjectUnified modeling language
dc.subjectSynchronization
dc.subjectProcess control
dc.subjectLogic gates
dc.subjectSystem recovery
dc.subjectStandards
dc.titleA CSP-theoretic Framework of Checking Conformance of Business Processeses_ES
dc.typecomunicación de congreso
sipa.codpersvinculados237363
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
A CSP-theoretic Framework of Checking Conformance of Business Processes.pdf
Size:
2.52 KB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Artículos de conferencia