An LTL Semantics of BusinessWorkflows with Recovery.

Luca Ferrucci Marcello M. Bersani Manuel Mazzara

Published in: ICSOFT PT (2014)

Keyphrases

model checking
temporal logic
formal semantics
semantic information
recovery algorithm
logic programming
logical framework
neural network
information systems
partially ordered
owl ontologies
linear temporal logic
bounded model checking
linear time temporal logic