C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Control-Flow Modeling with Declare: Behavioral Properties, Computational Complexity, and Tools.
Valeria Fionda
Antonella Guzzo
Published in:
IEEE Trans. Knowl. Data Eng. (2020)
Keyphrases
</>
control flow
data flow
computational complexity
modeling language
process model
reactive systems
case study
software testing
special case
machine learning
np complete
object oriented
workflow management systems
cooperative
multi agent
database systems
information systems