Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

A Domain-Specific Languag… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

A Domain-Specific Language for Normative Texts with Timing Constraints

Paper i proceeding
Författare Runa Gulliksson
John J. Camilleri
Publicerad i 23rd International Symposium on Temporal Representation and Reasoning (TIME 2016)
Förlag IEEE
Publiceringsår 2016
Publicerad vid Institutionen för data- och informationsteknik (GU)
Språk en
Länkar ieeexplore.ieee.org/document/777464...
Ämnesord normative texts, electronic contracts, timed automata, UPPAAL, QuickCheck, embedded DSL
Ämneskategorier Datalogi

Sammanfattning

We are interested in the formal modelling and analysis of normative documents containing temporal restrictions. This paper presents a new language for this purpose, based on the deontic modalities of obligation, permission, and prohibition. It allows the specification of normative clauses over actions, which can be conditional on guards and timing constraints defined using absolute or relative discrete time. The language is compositional, where each feature is encoded as a separate operator. This allows for a straightforward operational semantics and a highly modular translation into timed automata. We demonstrate the use of the language by applying it to a case study and showing how this can be used for testing, simulation and verification of normative texts.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?