System and method for deriving a process-based specification | AMiner