The FLUIDE Specification Languages with an Accompanying Method
Research report
Permanent lenke
http://hdl.handle.net/11250/2429411Utgivelsesdato
2016Metadata
Vis full innførselSamlinger
- Publikasjoner fra CRIStin - SINTEF AS [5643]
- SINTEF Digital [2381]
Sammendrag
In this report we provide the syntax, semantics and pragmatics of the FLUIDE Specification Languages. First we provide an introduction to the FLUIDE Specification Languages, including their context, the rationale behind their design, important principles, and definitions of the main constructs in the languages. After the introduction we give detailed definitions of the languages. The detailed description includes their graphical syntax, their abstract syntax expressed in EBNF, as well as a natural language semantics. All these three aspects of the languages are illustrated by examples. Finally, we present the pragmatics of the languages through the parts of the FLUIDE Method giving guidance on how to use the FLUIDE Specification Languages. Opddragsgiver: The EMERGENCY Project supported by the Research Council of Norway p.nr 187799/S10