41 research outputs found
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking
The adoption of algebraic specification/formal method techniques by the
networks' research community is happening slowly but steadily. We work towards
a software environment that can translate a protocol's specification, from
Abstract Syntax Notation One (ASN.1 - a very popular specification language
with many applications), into the powerful algebraic specification language
CafeOBJ. The resulting code can be used to check, validate and falsify critical
properties of systems, at the pre-coding stage of development. In this paper,
we introduce some key elements of ASN.1 and CafeOBJ and sketch some first steps
towards the implementation of such a tool including a case study.Comment: 8 pages, 12 figure
A logical framework to model software development by multiple agents following a common specification
In this paper, we address program development by multiple different
programmers (or programming teams), each working in different settings
(programming languages or reasoning frameworks), but following a common
specification; in particular, we examine at an abstract level the problem of
translatability between their produced programs. To this end, after
consideration of some philosophical issues regarding program development,
including its similarities and dissimilarities with scientific theorising, we
extend a logical framework built to describe scientific theorising in
relativist settings: our extensions add the ability of reasoning about
programs, the iterative process of their generation, and their specifications.
We are thus able to define a notion of translation between the outputs of
program generators and prove that there is a (trivial) such translation when
two program generators follow the same specification reliably (in a specific
sense of reliability).Comment: 15 pages (including bibliography). To be submitted to Logical Methods
in Computer Scienc
INDCOR White Paper 2: Interactive Narrative Design for Representing Complexity
This white paper was written by the members of the Work Group focusing on
design practices of the COST Action 18230 - Interactive Narrative Design for
Complexity Representation (INDCOR, WG1). It presents an overview of Interactive
Digital Narratives (IDNs) design for complexity representations through IDN
workflows and methodologies, IDN authoring tools and applications. It provides
definitions of the central elements of the IDN alongside its best practices,
designs and methods. Finally, it describes complexity as a feature of IDN, with
related examples. In summary, this white paper serves as an orienting map for
the field of IDN design, understanding where we are in the contemporary
panorama while charting the grounds of their promising futures.Comment: 11 pages, This whitepaper was produced by members of the COST Action
18230 - Interactive Narrative Design for Complexity Representation (INDCOR -
https://indcor.eu