Abstract
Nowadays, enterprises are very complex systems, often comprised of a large number of business processes run by actors working together to achieve business objectives. Ensuring compliance with applicable laws is mandatory to avoid heavy penalties or even business failure. To this purpose, an increasingly important challenge consists of finding and resolving discrepancies between strategic goals, business processes and laws. In this paper, we envisage a formal approach that uses two modeling languages, User Requirements Notation (URN) and Nòmos, to represent enterprise goals, processes and applicable laws. Automated reasoning techniques allow us to analyze models for compliance checking and detecting conditions of unwanted concurrent executions.
Chapter PDF
References
Ghanavati, S.: Legal-URN framework for legal compliance of business processes, Ph.D. thesis, University of Ottawa, Canada (2013), http://hdl.handle.net/10393/24028
Sepideh Ghanavati, D.A., Rifaut, A.: Legal goal-oriented requirement language (Legal-GRL) for modeling regulations. In: MiSE @ICSE, India(to be appeared, 2014)
ITU-T, Recommendation Z.151 (10/12), User Requirements Notation (URN) - Language definition (2012), http://www.itu.int/rec/T-REC-Z.151/en
Shamsaei, A.: Indicator-based policy compliance of business processes, PhD Thesis, University of Ottawa, Canada (2012)
Ghanavati, S., Amyot, D., Peyton, L.: A systematic review of goal-oriented requirements management frameworks for business process compliance. In: RELAW, pp. 25–34 (2011)
Grabis, J., Kirikova, M., Zdravkovic, J., Stirna, J. (eds.): PoEM 2013. LNBIP, vol. 165. Springer, Heidelberg (2013)
Governatori, G.: Ict support for regulatory compliance of business processes. CoRR, vol. abs/1403.6865 (2014)
Siena, A., Jureta, I., Ingolfo, S., Susi, A., Perini, A., Mylopoulos, J.: Capturing variability of law with Nòmos 2. In: ER 2012 (2012)
Weiss, M., Amyot, D.: Designing and evolving business models with URN. In: MCETECH 2005, pp. 149–162 (2005)
Amyot, D., Mussbacher, G.: User Requirements Notation: The first ten years, the next ten years (invited paper). Journal of Software (JSW) 6(5), 747–768 (2011)
Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.S.K.: Evaluating goal models within the goal-oriented requirement language. Int. J. Intell. Syst. 25, 841–877 (2010)
Minker, J.: Overview of disjunctive logic programming. Ann. Math. Artif. Intell. 12(1-2), 1–24 (1994)
Alviano, M., Faber, W., Leone, N., Perri, S., Pfeifer, G., Terracina, G.: The disjunctive datalog system DLV. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2010. LNCS, vol. 6702, pp. 282–301. Springer, Heidelberg (2011)
Siena, A., Ingolfo, S., Perini, A., Susi, A., Mylopoulos, J.: Automated reasoning for regulatory compliance. In: Ng, W., Storey, V.C., Trujillo, J.C. (eds.) ER 2013. LNCS, vol. 8217, pp. 47–60. Springer, Heidelberg (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 IFIP International Federation for Information Processing
About this paper
Cite this paper
Ghanavati, S., Ingolfo, S., Siena, A. (2014). Exploring Legal Business Process Paths. In: Frank, U., Loucopoulos, P., Pastor, Ó., Petrounias, I. (eds) The Practice of Enterprise Modeling. PoEM 2014. Lecture Notes in Business Information Processing, vol 197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45501-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-662-45501-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-45500-5
Online ISBN: 978-3-662-45501-2
eBook Packages: Computer ScienceComputer Science (R0)