Gordon J. Pace
YOU?
Author Swipe
View article: Formal Semantics and Implementation of Ethereum Smart Contracts for Blockchain-Based Supply Chain Attestation Flows: A Viticulture Case Study
Formal Semantics and Implementation of Ethereum Smart Contracts for Blockchain-Based Supply Chain Attestation Flows: A Viticulture Case Study Open
Blockchain and smart contracts promise to increase transparency and provide guarantees for supply chains, yet existing process modeling languages either impose unnecessary complexity or lack the primitives needed to capture attestation-cen…
View article: Conflict Analysis for Timed Contract Automata
Conflict Analysis for Timed Contract Automata Open
One can find various temporal deontic logics in literature, most focusing on discrete time. The literature on real-time constraints and deontic norms is much sparser. Thus, many analysis techniques which have been developed for deontic log…
View article: Sound Conflict Analysis for Timed Contract Automata
Sound Conflict Analysis for Timed Contract Automata Open
One can find various temporal deontic logics in literature, most focusing on discrete time. The literature on real-time constraints and deontic norms is much sparser. Thus, many analysis techniques which have been developed for deontic log…
View article: Monitor-Oriented Compensation Programming Through Compensating Automata
Monitor-Oriented Compensation Programming Through Compensating Automata Open
Compensations have been used for decades in areas such as flow management systems, long-lived transactions and more recently in the service-oriented architecture. Since compensations enable the logical reversal of past actions, by their na…
View article: Bottling Up Trust: A Review of Blockchain Adoption in Wine Supply Chain Traceability
Bottling Up Trust: A Review of Blockchain Adoption in Wine Supply Chain Traceability Open
Though viticulture, wine production and distribution, involves processes mainly revolving around a single component/ingredient — grapes, it still faces the challenges of supply chain management. Supply chains require significant trust amon…
View article: Active External Calls for Blockchain and Distributed Ledger Technologies: Debunking cited inability of Blockchain and DLT to make external calls
Active External Calls for Blockchain and Distributed Ledger Technologies: Debunking cited inability of Blockchain and DLT to make external calls Open
Blockchain and other distributed ledger technologies have enabled peer-to-peer networks to maintain ledgers with an immutable history and guaranteed computation, all carried out without the need of trusted parties. In practice, few applica…
View article: An Automata-Based Formalism for Normative Documents with Real-Time
An Automata-Based Formalism for Normative Documents with Real-Time Open
Deontic logics have long been the tool of choice for the formal analysis of normative texts. While various such logics have been proposed many deal with time in a qualitative sense, i.e., reason about the ordering but not timing of events,…
View article: Optional monitoring for long-lived transactions
Optional monitoring for long-lived transactions Open
Runtime monitoring comes at a runtime cost. Overheads induced by monitoring and verification code may be necessary, and yet prohibitive in certain circumstances. When verification is local to a single unit of execution in a system, one can…
View article: Regulating artificial intelligence
Regulating artificial intelligence Open
Artificial Intelligence (AI) and the regulation thereof is a topic that is increasingly being discussed and various proposals have been made in literature for defining regulatory bodies and/or related regulation. In this paper, we present …
View article: Towards External Calls for Blockchain and Distributed Ledger Technology
Towards External Calls for Blockchain and Distributed Ledger Technology Open
It is widely accepted that blockchain systems cannot execute calls to external systems or services due to each node having to reach a deterministic state. However, in this paper we show that this belief is preconceived by demonstrating a m…
View article: A Pragmatic Approach to Regulating Artificial Intelligence: A Technology\n Regulator's Perspective
A Pragmatic Approach to Regulating Artificial Intelligence: A Technology\n Regulator's Perspective Open
Artificial Intelligence (AI) and the regulation thereof is a topic that is\nincreasingly being discussed within various fora. Various proposals have been\nmade in literature for defining regulatory bodies and/or related regulation. In\nthi…
View article: A General Theory of Contract Conflicts with Environmental Constraints
A General Theory of Contract Conflicts with Environmental Constraints Open
One advantage of using formal deontic logic to represent and reason about normative texts is that one can analyse such texts in a precise and incontrovertible manner. Conflict analysis is one such analysis technique — assessing whether a n…
View article: Regulating Blockchain, DLT and Smart Contracts: a technology regulator’s perspective
Regulating Blockchain, DLT and Smart Contracts: a technology regulator’s perspective Open
Blockchain, Smart Contracts and other forms of Distributed Ledger Technology provide means to ensure that processes are verifiable, transparent, and tamper-proof. Yet the very same enabling features that bring decentralisation also pose ch…
View article: Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution Open
This volume contains the post-proceedings of the second Workshop on Verification of Objects at RunTime EXecution (VORTEX 2018) that was held in Amsterdam, co-located with the European Conference on Object-Oriented Programming (ECOOP 2018) …
View article: A Survey of Challenges for Runtime Verification from Advanced\n Application Domains (Beyond Software)
A Survey of Challenges for Runtime Verification from Advanced\n Application Domains (Beyond Software) Open
Runtime verification is an area of formal methods that studies the dynamic\nanalysis of execution traces against formal specifications. Typically, the two\nmain activities in runtime verification efforts are the process of creating\nmonito…
View article: Runtime Verification using LARVA
Runtime Verification using LARVA Open
Larva, which has been in use and continuous development for almost a decade, has been extended in several ways and used in a wide range of scenarios, from industrial deployment to educational ones. In this paper we give an overview of Larv…
View article: Runtime Verification using VALOUR
Runtime Verification using VALOUR Open
In this paper we give an overview of Valour, a runtime verification tool which has been developed in the context of a project to act as a backend verification tool for financial transaction software. A Valour script is written by the user …
View article: Entering the age of the blockchain of things
Entering the age of the blockchain of things Open
The Internet has become an integral part of
\nlife for many, providing instant communication,
\nnews, updates from social circles, and a multitude
\nof services from wherever you may be.
\nThe loT takes the Internet to the next level,
\nwh…
View article: On Observing Contracts: Deontic Contracts Meet Smart Contracts
On Observing Contracts: Deontic Contracts Meet Smart Contracts Open
Smart contracts have been proposed as executable implementations enforcing real-life contracts. Unfortunately, the semantic gap between these allows for the smart contract to diverge from its intended deontic behaviour. In this paper we sh…
View article: A timed contract-calculus
A timed contract-calculus Open
Over these past years, formal reasoning about contracts between parties participating in a transaction has been increasingly explored in the literature. There has been a shift of view from that viewing contracts simply as properties to be …