USING DECLARATIVE SPECIFICATIONS IN BUSINESS PROCESS DESIGN · Study