Abstract The Unified Foundational Ontology (UFO) was developed over the last two decades
by consistently putting together theories from areas such as formal ontology in philosophy …

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 …

Blockchain-and smart-contract technology enhance the effectiveness and automation of
business processes. The rising interest in the development of decentralized autonomous …

Context: Smart contracts play a vital role in many fields. Despite being called smart, the
development of smart contracts is a tedious task beyond defining a set of contractual rules …

Smart contracts are software systems that monitor, automate, and control the execution of a
process, react to violations, and enforce process terms and conditions. There is tremendous …

Software systems that share potentially sensitive data are subjected to laws, regulations,
policies and/or contracts. The monitoring, control and enforcement processes applied to …

The development of dependable information systems in legal contexts requires a precise
understanding of the subtleties of the underlying legal phenomena. According to a modern …

Legal contracts specify the terms and conditions—in essence, requirements—that apply to
business transactions. This paper proposes a formal specification language for legal …

Smart contracts (SCs) are software systems that monitor and control the execution of legal
contracts to ensure compliance with the contracts' terms and conditions. They often exploit …

Legal contracts specify requirements for business transactions. As any other requirements
specification, contracts may contain errors and violate properties expected by contracting …