Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models - Klimek, Radosław (Journal of logical and algebraic methods in programming, 2019)
Keywords: Compositionality; Generating logical specification; Logical primitive; Software development; Temporal logic; Workflow pattern; Workflow pattern; Generating logical specification; Software development; Logical primitive; Compositionality; Temporal logic