The FLUIDE Specification Languages with an Accompanying Method

Abstract

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