Process Mining Based on Specification Slicing for Dynamic Reconfiguration.

Su-Jin Baek Jinhyang Kim Young-Jae Song

Published in: ICCSA Workshops (2009)

Keyphrases

process mining
dynamic reconfiguration
process model
application specific
event logs
software systems
business process
business processes
software architecture
formal concept analysis
dynamic behavior
general purpose
quality of service
clinical pathway
formal verification
cooperative
high level
website