Using protocols and domain specific languages to achieve compliance of administrative processes with legislation

Abstract

The paper deals with the problem of achieving formal compliance of administrative process with corresponding legislation. The presented approach is based on an explicit introduction of protocol models specifying general rules and behavior extracted from legislation that regulates a set of administrative processes. Identified protocols are then transformed into a domain specific business modeling language used for specification of choreography and orchestration models of the regulated administrative processes. Compliance of these models with legislation is based on a formal approach which treats protocol model as the definition of a state machine and choreography models as a system which generates events to the state machine. Compliance is achieved if the sequence of events generated by all possible valid execution paths in the choreography is accepted by the defined state machine.