Login / Signup
Formal Based Correctness Check for ePASS-IoS 1.1 Process Models with Integrated User Support for Error Correcting.
Stephan Borgert
Max Mühlhäuser
Published in:
S-BPM ONE (Scientific Research) (2014)
Keyphrases
</>
process model
error correcting
end users
process mining
business processes
error correction
business process
petri net
user interface
error detection
event logs
business process models
formal specification
workflow systems
computational complexity
design patterns