High-level design and analysis of business processes the advantages of declarative specifications · Study