Login / Signup
Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes.
Saoussen Cheikhrouhou
Slim Kallel
Nawal Guermouche
Mohamed Jmaiel
Published in:
IEEE SCC (2014)
Keyphrases
</>
formal specification
temporal constraints
business processes
model checking
workflow systems
concurrent systems
business process
formal methods
temporal reasoning
model checker
business rules
protocol specification
temporal logic
formal verification
temporal information
workflow processes
specification language
web services
workflow management systems
reverse engineering
business process management
workflow management
process model
constraint satisfaction problems
asynchronous circuits
service oriented architecture
object oriented
data model
database systems
knowledge base