Show simple item record

dc.contributor.authorLamma, E
dc.contributor.authorMello, P
dc.contributor.authorMontali, M
dc.contributor.authorRiguzzi, F
dc.contributor.authorStorari, S
dc.contributor.editorAlonso, G
dc.contributor.editorDadam, P
dc.contributor.editorRosemann, M
dc.date.accessioned2017-09-12T11:13:05Z
dc.date.available2017-09-12T11:13:05Z
dc.date.issued2007
dc.identifier.isbn978-3-540-75182-3
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-540-73599-1_64
dc.identifier.urihttp://www.springerlink.com/content/w15j7rh6mh433233/
dc.identifier.urihttp://hdl.handle.net/10863/2925
dc.description.abstractIn this work we propose an approach for the automatic discovery of logic-based models starting from a set of process execution traces. The approach is based on a modified Inductive Logic Programming algorithm, capable of learning a set of declarative rules. The advantage of using a declarative description is twofold. First, the process is represented in an intuitive and easily readable way; second, a family of proof procedures associated to the chosen language can be used to support the monitoring and management of processes (conformance testing, properties verification and interoperability checking, in particular). The approach consists in first learning integrity constraints expressed as logical formulas and then translating them into a declarative graphical language named DecSerFlow. We demonstrate the viability of the approach by applying it to a real dataset from a health case process and to an artificial dataset from an e-commerce protocol.en_US
dc.language.isoenen_US
dc.publisherSpringeren_US
dc.relation.ispartofseriesLecture Notes in Computer Science;
dc.titleInducing declarative logic-based models from labeled tracesen_US
dc.typeBook chapteren_US
dc.date.updated2016-05-31T08:37:13Z
dc.publication.titleBusiness Process Management: 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007. Proceedings
dc.description.fulltextnoneen_US


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record