Interoperability in the ProM framework

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Abstract

Originally the ProM framework was developed as a platform for process mining, i.e., extracting process models from event logs. However, in recent years the scope of the framework has become broader and now includes process verification, social network analysis, conformance checking, verification based on temporal logic, etc. Moreover, the framework supports a wide variety of process models, e.g., Petri nets, Event-driven Process Chains (EPCs), Heuristics nets, YAWL models, etc. and is plug-able, i.e., people can add plug-ins without changing the framework itself. (Currently, there are more than 70 plug-ins!) This makes the ProM framework an interesting environment for model interoperability. For example, people can take trans-action log from IBM's Websphere, transform it to MXML using ProMimport, discover a process model in terms of a heuristics net, automatically convert the heuristics net to a Petri net for analysis, load an EPC defined using the ARIS toolset, verify the EPC and convert it to a Petri net, determine the fitness of the ARIS model given the transaction log from Websphere, and finally convert both models to a YAWL specification that is exported. Such application scenarios are supported by ProM and demonstrate true model interoperability. In this paper, we present ProM's interoperability capabilities using a running example.
Original languageEnglish
Title of host publicationProceedings of the EMOI-INTEROP Workshop at the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06)
EditorsT. Latour, M. Petit
PublisherNamur University Press
Pages619-630
Publication statusPublished - 2006
Event3rd Open INTEROP Workshop on Enterprise Modelling and Ontologies for Interoperability (EMOI - INTEROP 2006) - Luxembourg, Luxembourg
Duration: 5 Jun 20066 Jun 2006
Conference number: 3

Workshop

Workshop3rd Open INTEROP Workshop on Enterprise Modelling and Ontologies for Interoperability (EMOI - INTEROP 2006)
Abbreviated titleEMOI - INTEROP ’06
CountryLuxembourg
CityLuxembourg
Period5/06/066/06/06
OtherWorkshop held in conjunction with the 18th International Conference on Advanced Information Systems Engineering (CAiSE '06)

Fingerprint Dive into the research topics of 'Interoperability in the ProM framework'. Together they form a unique fingerprint.

  • Cite this

    Verbeek, H. M. W., Dongen, van, B. F., Mendling, J., & Aalst, van der, W. M. P. (2006). Interoperability in the ProM framework. In T. Latour, & M. Petit (Eds.), Proceedings of the EMOI-INTEROP Workshop at the 18th International Conference on Advanced Information Systems Engineering (CAiSE'06) (pp. 619-630). Namur University Press.