Login / Signup
A Property Specification Language for Workflow Diagnostics.
Ella E. Roubtsova
Published in:
ICEIS (2) (2005)
Keyphrases
</>
specification language
description language
formal specification
workflow models
programming language
symbolic execution
web services
business processes
workflow systems
software environment
requirements specification
petri net
data flow
workflow management systems
workflow management
model checker