Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
On legal contracts, imperative and declarative smart contracts, and blockchain systems
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 …
certain aspects of their digital implementation through smart contracts, as inspired by recent …
From legal contracts to formal specifications: A systematic literature review
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 …
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 …
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 …
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
With a steady increase of regulatory requirements for business processes, automation
support of compliance management is a field garnering increasing attention in Information …
support of compliance management is a field garnering increasing attention in Information …
Specification and analysis of legal contracts with Symboleo
Legal contracts specify the terms and conditions—in essence, requirements—that apply to
business transactions. This paper proposes a formal specification language for legal …
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 …
process improvement. However this cannot come at the price of control objectives which …
Conceptual model for online auditing
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 …
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
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 …
(business) service relationship. Given that there are legal consequences attached to service …
Conceptual modeling of legal relations
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 …
relations in the area has not yet received sufficient theoretical support. We address this by …