Add to ORKGOur focus is on the specification and verification of normative systems that include contrary-to-duty, collective and event-driven imperatives with deadlines. We propose an operational syntax and semantics for the specification of such systems. Using Maude and its model checker, we show how Linear Temporal Logic properties can be verified, and provide some experimental results.</p
The present paper proposes a structural operational semantics and the related semantics for normativ...
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeas...
We extend the specification language of temporal logic, the corresponding verification framework, a...
Our focus is on the specification and verification of normative systems that include contrary-to-dut...
Existing approaches for the verification of normative systems consider limited representations of no...
Existing approaches for the verification of normative systems consider limited representations of no...
A normative system is defined as any set of interacting agents whose behavior can usefully be regard...
This paper presents a programming language that facilitates the implementation of coordination artif...
Abstract. We study Normative Temporal Logic (ntl), a formalism intended for reason-ing about the tem...
We are interested in the formal modelling and analysis of normative documents containing temporal re...
Reasoning about norms and time is of central concern to the regulation or control of the behavior of...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...
We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a...
We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a...
AbstractWe extend the specification language of temporal logic, the corresponding verification frame...
The present paper proposes a structural operational semantics and the related semantics for normativ...
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeas...
We extend the specification language of temporal logic, the corresponding verification framework, a...
Our focus is on the specification and verification of normative systems that include contrary-to-dut...
Existing approaches for the verification of normative systems consider limited representations of no...
Existing approaches for the verification of normative systems consider limited representations of no...
A normative system is defined as any set of interacting agents whose behavior can usefully be regard...
This paper presents a programming language that facilitates the implementation of coordination artif...
Abstract. We study Normative Temporal Logic (ntl), a formalism intended for reason-ing about the tem...
We are interested in the formal modelling and analysis of normative documents containing temporal re...
Reasoning about norms and time is of central concern to the regulation or control of the behavior of...
Model-Driven Engineering enables to assess a system's model properties since the early phases of its...
We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a...
We introduce Normative Temporal Logic (NTL), a logic for reasoning about normative systems. NTL is a...
AbstractWe extend the specification language of temporal logic, the corresponding verification frame...
The present paper proposes a structural operational semantics and the related semantics for normativ...
We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeas...
We extend the specification language of temporal logic, the corresponding verification framework, a...