Tutorial on message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Synthesis of Behavioral Models from Scenarios
IEEE Transactions on Software Engineering
A Machine Learning Approach to Workflow Management
ECML '00 Proceedings of the 11th European Conference on Machine Learning
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
UML for real
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Realizability and verification of MSC graphs
Theoretical Computer Science - Automata, languages and programming
Tool Support for Model-Based Engineering of Web Service Compositions
ICWS '05 Proceedings of the IEEE International Conference on Web Services
A comparative survey of scenario-based to state-based model synthesis approaches
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
YAWL: yet another workflow language
Information Systems
Requirements Validation: Execution of UML Models with CPN Tools
International Journal on Software Tools for Technology Transfer (STTT)
A generic import framework for process event logs
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
Message Sequence Charts (MSCs) are often used by software analysts when discussing the behavior of a system with different stakeholders. Often such discussions lead to more complete behavioral models in the form of, e.g., Event-driven Process Chains (EPCs), Unified Modeling Language (UML), activity diagrams, Business Process Modeling Notation (BPMN) models, Petri nets, etc. Process mining on the other hand, deals with the problem of constructing complete behavioral models by analyzing event logs of information systems. In contrast to existing process mining techniques, where logs are assumed to only contain implicit information, the approach presented in this paper combines the explicit knowledge captured in individual MSCs and the techniques and tools available in the process mining domain. This combination allows us to discover high-quality process models. To constructively add to the existing work on process mining, our approach has been implemented in the process mining framework ProM (www.processmining.org).