Exploring Legal Business Process Paths

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.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-01282056
Contributor : Hal Ifip <>
Submitted on : Thursday, March 3, 2016 - 11:23:27 AM
Last modification on : Monday, May 9, 2016 - 6:08:03 PM
Long-term archiving on : Saturday, June 4, 2016 - 10:52:22 AM

File

978-3-662-45501-2_1_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Sepideh Ghanavati, Silvia Ingolfo, Alberto Siena. Exploring Legal Business Process Paths. 7th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2014, Manchester, United Kingdom. pp.1-10, ⟨10.1007/978-3-662-45501-2_1⟩. ⟨hal-01282056⟩

Share

Metrics

Record views

497

Files downloads

134