Digital Enablers Of Construction Project Governance
- URL: http://arxiv.org/abs/2205.05930v1
- Date: Thu, 12 May 2022 07:44:16 GMT
- Title: Digital Enablers Of Construction Project Governance
- Authors: Paolo Eugenio Demagistris, Sandro Petruzzi, Rodolfo Pampaloni, Milan
\v{S}migi\'c, Alberto De Marco, Waseem Khan and Filippo Maria Ottaviani
- Abstract summary: This study examines the present technological advancements that can lead to fix this problem.
A smart contract-based approach is ideal for managing construction progress payments.
This article offers a way for automating construction payments by formalizing smart contracts execution on a decentralized block-chain-based system.
- Score: 0.0
- License: http://creativecommons.org/licenses/by-sa/4.0/
- Abstract: Construction project governance relies on agreements between the actors along
the construction industry value chain. The mutual obligations arising from
these contracts rely on timely monetary transactions. Despite the advantages of
automation in payment systems and improved access to digital progress data,
several payment applications rely nonetheless on inefficient and time-consuming
procedures and documentation. This study examines the present technological
advancements that can lead to fix this problem. A smart contract-based approach
is ideal for managing construction progress payments that support autonomous
process, it fills the gap between payments and project site progress
evaluations. This article offers a way for automating construction payments by
formalizing smart contracts execution on a decentralized block-chain-based
system.
Related papers
- Smart Transport Infrastructure Maintenance: A Smart-Contract Blockchain Approach [0.0]
Infrastructure maintenance is complex, especially for widely dispersed transport systems like roads and railroads.
Traditionally, these requirements are managed on paper, with each contract step checked manually.
Smart contracts, based on blockchain distributed ledger technology, offer a new approach.
arXiv Detail & Related papers (2024-10-27T13:03:33Z) - A Practical System Architecture for Contract Automation: Design and Uses [0.294944680995069]
We present a refined and extended summary of our work taking key technologies from the blockchain sphere and applying them to the ricardian contract.
Our architecture circumvents the legal issues of blockchains by facilitating an artifact very much alike a traditional contract.
To demonstrate its utility, we also present how it could be used for (1) private data purchasing, (2) treasury management, (3) order-driven manufacturing and (4) automated device on-boarding.
arXiv Detail & Related papers (2024-08-12T12:00:09Z) - Contractual Reinforcement Learning: Pulling Arms with Invisible Hands [68.77645200579181]
We propose a theoretical framework for aligning economic interests of different stakeholders in the online learning problems through contract design.
For the planning problem, we design an efficient dynamic programming algorithm to determine the optimal contracts against the far-sighted agent.
For the learning problem, we introduce a generic design of no-regret learning algorithms to untangle the challenges from robust design of contracts to the balance of exploration and exploitation.
arXiv Detail & Related papers (2024-07-01T16:53:00Z) - Agent-Driven Automatic Software Improvement [55.2480439325792]
This research proposal aims to explore innovative solutions by focusing on the deployment of agents powered by Large Language Models (LLMs)
The iterative nature of agents, which allows for continuous learning and adaptation, can help surpass common challenges in code generation.
We aim to use the iterative feedback in these systems to further fine-tune the LLMs underlying the agents, becoming better aligned to the task of automated software improvement.
arXiv Detail & Related papers (2024-06-24T15:45:22Z) - Defining and executing temporal constraints for evaluating engineering
artifact compliance [56.08728135126139]
Process compliance focuses on ensuring that the actual engineering work is followed as closely as possible to the described engineering processes.
Checking these process constraints is still a daunting task that requires a lot of manual work and delivers feedback to engineers only late in the process.
We present an automated constraint checking approach that can incrementally check temporal constraints across inter-related engineering artifacts upon every artifact change.
arXiv Detail & Related papers (2023-12-20T13:26:31Z) - Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
This article examines a range of projects, in various application areas, that have produced formally verified systems and deployed them for actual use.
It considers the technologies used, the form of verification applied, the results obtained, and the lessons that the software industry should draw regarding its ability to benefit from formal verification techniques and tools.
arXiv Detail & Related papers (2023-01-05T18:18:46Z) - Concepts and Algorithms for Agent-based Decentralized and Integrated
Scheduling of Production and Auxiliary Processes [78.120734120667]
This paper describes an agent-based decentralized and integrated scheduling approach.
Part of the requirements is to develop a linearly scaling communication architecture.
The approach is explained using an example based on industrial requirements.
arXiv Detail & Related papers (2022-05-06T18:44:29Z) - A formal model for ledger management systems based on contracts and
temporal logic [0.0]
In second-generation blockchains such as the ledger is coupled with smart contracts.
The current implementation of smart contracts as arbitrary programming constructs has made them susceptible to dangerous bugs.
We propose here to recompose the split and recover the reliability of databases by formalizing a notion of contract modelled as a finite-state automaton.
arXiv Detail & Related papers (2021-09-30T15:34:28Z) - Construction Payment Automation Using Blockchain-Enabled Smart Contracts
and Reality Capture Technologies [0.8339831319589134]
This paper presents a smart contract-based solution for autonomous administration of construction progress payments.
It bridges the gap between payments (cash flow) and the progress assessments at job sites.
The method was successfully used for processing payments to 7 subcontractors in two commercial construction projects.
arXiv Detail & Related papers (2020-10-28T21:04:47Z) - Agreements between Enterprises digitized by Smart Contracts in the
Domain of Industry 4.0 [0.0]
This paper discusses how the major requirements for building hybrid business models can be tackled by the blockchain.
A machine maintenance use case is used to discuss the readiness of smart contracts for the automation of contracts.
arXiv Detail & Related papers (2020-07-28T13:08:01Z) - Regulation conform DLT-operable payment adapter based on trustless -
justified trust combined generalized state channels [77.34726150561087]
Economy of Things (EoT) will be based on software agents running on peer-to-peer trustless networks.
We give an overview of current solutions that differ in their fundamental values and technological possibilities.
We propose to combine the strengths of the crypto based, decentralized trustless elements with established and well regulated means of payment.
arXiv Detail & Related papers (2020-07-03T10:45:55Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.