POWER: using UML/OCL for modeling legislation - an application report
Proceedings of the 8th international conference on Artificial intelligence and law
Conformance Validation between Choreography and Orchestration
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Towards a framework for tracking legal compliance in healthcare
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
BPMN 2.0
Choreography and orchestration: a synergic approach for system design
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Modeling administrative procedures to improve information to the public
EGOVIS'12/EDEM'12 Proceedings of the 2012 Joint international conference on Electronic Government and the Information Systems Perspective and Electronic Democracy, and Proceedings of the 2012 Joint international conference on Advancing Democracy, Government and Governance
Hi-index | 0.01 |
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.