Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo
| Autor: | Alireza Parvizimosaed, Daniel Amyot, John Mylopoulos, Luigi Logrippo, Sepehr Sharifi |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Delegation
Point (typography) Syntax (programming languages) Computer science media_common.quotation_subject Substitution (logic) ComputingMilieux_LEGALASPECTSOFCOMPUTING 02 engineering and technology Axiomatic semantics Risk analysis (engineering) 020204 information systems Formal specification 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Quality (business) Software system media_common |
| Zdroj: | Conceptual Modeling ISBN: 9783030625214 ER |
| Popis: | Legal contracts specify obligations and powers among legal subjects, involve assets, and are subject to quality constraints. Smart contracts are software systems that monitor the execution of contracts to ensure compliance. As a starting point for developing software engineering concepts, tools, and techniques for smart contracts, we have proposed Symboleo, a formal specification language for contracts. The complexity of real-life contracts (e.g., in the construction and transportation industries) requires specification languages to support execution-time operations for contracts, such as subcontracting, assignment, delegation, and substitution. This paper formalizes such concepts by proposing for them a syntax and axiomatic semantics within Symboleo. This formalization makes use of primitive operations that support the transfer or sharing of right, responsibility, and performance among contracting and subcontracting parties. A prototype compliance checking tool for Symboleo has also been created to support monitoring compliance for contracts that include subcontracting aspects. A realistic freight contract specified in Symboleo is provided as an illustrative example for our proposal, and is used for a preliminary evaluation with positive results. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|