%0 Conference Proceedings
%T Exploring Legal Business Process Paths
%+ Centre de Recherche Public Henri-Tudor [Luxembourg] (CRP Henri-Tudor)
%+ Università degli Studi di Trento =  University of Trento (UNITN)
%+ Fondazione Bruno Kessler [Trento, Italy] (FBK)
%A Ghanavati, Sepideh
%A Ingolfo, Silvia
%A Siena, Alberto
%< avec comité de lecture
%( Lecture Notes in Business Information Processing
%B 7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM)
%C Manchester, United Kingdom
%Y Ulrich Frank
%Y Pericles Loucopoulos
%Y Óscar Pastor
%Y Ilias Petrounias
%I Springer
%3 The Practice of Enterprise Modeling
%V LNBIP-197
%P 1-10
%8 2014-11-12
%D 2014
%R 10.1007/978-3-662-45501-2_1
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X 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.
%G English
%Z TC 8
%Z WG 8.1
%2 https://inria.hal.science/hal-01282056/document
%2 https://inria.hal.science/hal-01282056/file/978-3-662-45501-2_1_Chapter.pdf
%L hal-01282056
%U https://inria.hal.science/hal-01282056
%~ SHS
%~ IFIP
%~ IFIP-TC
%~ IFIP-LNBIP
%~ IFIP-WG
%~ IFIP-LNBIP-197
%~ IFIP-TC8
%~ IFIP-WG8-1