Control-Flow Modeling with Declare: Behavioral Properties, Computational Complexity, and Tools
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Knowledge and Data Engineering"
DOI: 10.1109/tkde.2019.2897309
Abstract: Declarative approaches to control-flow modeling use logic-based languages to formalize a number of constraints that valid traces must satisfy. The most noticeable example is the Declare framework based on linear temporal logic. Despite the interest… read more here.
Keywords: behavioral properties; declare; control flow; flow modeling ... See more keywords