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.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allweyer, T.: BPMN 2.0 Introduction to the Standard for Business Process Modeling. Herstellung und Verlag: Books on Demand GmbH, Norderstedt (2010)
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: A synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)
Li, J., Zhu, H., Pu, G.: Conformance Validation between Choreography and Orchestration. In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, Shanghai, China, pp. 473–482. IEEE Computer Society, Los Alamitos (2007)
Administrative Procedure Act, Finland, http://www.finlex.fi/fi/laki/kaannokset/2003/en20030434.pdf (accessed February 2011)
Kopp, O., Wetzstein, B., Mietzner, R., Pottinger, S., Karastoyanova, D., Leymann, F.: A Model-Driven Approach to Implementing Coordination Protocols in BPEL. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008. LNBIP, vol. 17, pp. 188–199. Springer, Heidelberg (2009)
Object Constraint Language (OCL), http://www.omg.org/spec/OCL/ (accessed February 2011)
Karagiannis, D.: A Business Process-Based Modelling Extension for Regulatory Compliance. In: Proceedings of Multikonferenz Wirtschaftsinformatik, MKWI 2008, München. GITO-Verlag, Berlin (2008)
Turki, S., Bjekovic-Obradovic, M.: Compliance in e-Government Service Engineering: State-of-the-Art. In: Morin, J.-H., Ralyté, J., Snene, M. (eds.) IESS 2010. Lecture Notes in Business Information Processing, vol. 53, pp. 270–275. Springer, Heidelberg (2010)
Kharbili, M.E., Stein, S.: Policy-Based Semantic Compliance Checking for Business Process Management. In: MobIS Workshops 2008, pp. 178–192 (2008)
Darimont, R., Lemoine, M.: Goal-oriented Analysis of Regulations, In REMO 2V06: Int. Workshop on Regulations Modelling and their Verification & Validation, Luxemburg (June 2006)
Awad, A., Decker, G., Weske, M.: Efficient compliance checking using bpmn-q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 326–341. Springer, Heidelberg (2008)
Ghanavati, S., Amyot, D., Peyton, L.: Towards a Framework for Tracking Legal Compliance in Healthcare. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 218–232. Springer, Heidelberg (2007)
van Engers, T.M., Gerrits, R., Boekenoogen, M., Glassée, E., Kordelaar, P.: POWER: Using UML/OCL for Modeling Legislation - an application report. application report. In: Proceedings of the 8th International Conference on Artificial Intelligence and Law. ACM, New York (2001)
Strahonja, V.: Modeling Legislation by using UML State Machine Diagrams. In: Proceedings of the Canadian Conference on Electrical and Computer Engineering - IEEE CCECE 2006, pp. 1631–1634 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nešković, S., Paunović, O., Babarogić, S. (2011). Using Protocols and Domain Specific Languages to Achieve Compliance of Administrative Processes with Legislation. In: Andersen, K.N., Francesconi, E., Grönlund, Å., van Engers, T.M. (eds) Electronic Government and the Information Systems Perspective. EGOVIS 2011. Lecture Notes in Computer Science, vol 6866. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22961-9_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-22961-9_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22960-2
Online ISBN: 978-3-642-22961-9
eBook Packages: Computer ScienceComputer Science (R0)