Constructing Control-Flow Patterns Containing Invisible Task and Non-Free Choice Based on Declarative Model

A declarative-based method for constructing control-flow patterns with invisible tasks and non-free choice relationships in business processes