On legal contracts, imperative and declarative smart contracts, and blockchain systems

G Governatori, F Idelberger, Z Milosevic… - Artificial Intelligence and …, 2018 - Springer
This paper provides an analysis of how concepts pertinent to legal contracts can influence
certain aspects of their digital implementation through smart contracts, as inspired by recent …

From legal contracts to formal specifications: A systematic literature review

M Soavi, N Zeni, J Mylopoulos, L Mich - SN Computer Science, 2022 - Springer
The opportunity to automate and monitor the execution of legal contracts is gaining
increasing interest in Business and Academia, thanks to the advent of smart contracts …

Modeling control objectives for business process compliance

S Sadiq, G Governatori, K Namiri - … September 24-28, 2007. Proceedings 5, 2007 - Springer
Business process design is primarily driven by process improvement objectives. However,
the role of control objectives stemming from regulations and standards is becoming …

Managing regulatory compliance in business processes

S Sadiq, G Governatori - Handbook on business process management 2 …, 2014 - Springer
The ever-increasing obligations of regulatory compliance are presenting a new breed of
challenges for organizations across several industry sectors. Aligning control objectives that …

Generalizability and applicability of model-based business process compliance-checking approaches—a state-of-the-art analysis and research roadmap

J Becker, P Delfmann, M Eggert, S Schwittay - Business Research, 2012 - Springer
With a steady increase of regulatory requirements for business processes, automation
support of compliance management is a field garnering increasing attention in Information …

Specification and analysis of legal contracts with Symboleo

A Parvizimosaed, S Sharifi, D Amyot, L Logrippo… - Software and Systems …, 2022 - Springer
Legal contracts specify the terms and conditions—in essence, requirements—that apply to
business transactions. This paper proposes a formal specification language for legal …

Compliance aware business process design

R Lu, S Sadiq, G Governatori - … 24, 2007, Revised Selected Papers 5, 2008 - Springer
Historically, business process design has been driven by business objectives, specifically
process improvement. However this cannot come at the price of control objectives which …

Conceptual model for online auditing

W Van der Aalst, K Van Hee, JM Van der Werf… - Decision Support …, 2011 - Elsevier
The independent verification of the right applications of business rules in an information
system is a task for auditors. The increasing complexity of information systems, and the high …

Service contract modeling in enterprise architecture: An ontology-based approach

C Griffo, JPA Almeida, G Guizzardi, JC Nardi - Information Systems, 2021 - Elsevier
Abstract Service contracts bind parties legally, regulating their behavior in the scope of a
(business) service relationship. Given that there are legal consequences attached to service …

Conceptual modeling of legal relations

C Griffo, JPA Almeida, G Guizzardi - … Conference, ER 2018, **'an, China …, 2018 - Springer
Legal relations abound in conceptual modeling. Despite that, the representation of these
relations in the area has not yet received sufficient theoretical support. We address this by …