Template

Bx Examples Repository

Title: your title here

Version: 0.x for unreviewed examples.

Type:

For example, Precise, Industrial, Sketch. Use common sense concerning whether to use one or more: for example, Precise and Sketch should be mutually exclusive, but conceivably either might be combined with Industrial.

Overview

A thumbnail description of the example, not more than two or three sentences; might include a brief summary of the example and/or a brief reason for its inclusion in the repository (“demonstrates [some interesting point]” for example).

Models

Descriptions of the models, possibly with (formal) expressions of their meta-models. (We use the term “model”, and “meta-model” inclusively: any appropriately precise description of the information sources being transformed is acceptable.)

Consistency

Description of the consistency relationship between models. This should at least be in natural language, but may be augmented by formal expression in some language cognate with that of the meta-models.

Consistency Restoration

Explain in which of the typically many possible ways inconsistencies are to be repaired. May be divided into separate descriptions of forward and backward restoration.

Properties [optional section]

What additional properties are expected to hold of, or be exemplified by, the transformation? These will link to a separate glossary of definitions of terms such as ‘hippocraticness’.

Variants [optional section]

A difficult issue that we have found arises in writing examples is how to handle the choice points. Typically in making an example, even a small one, precise, one realises that there are several points where more than one choice is reasonable. These multiply to give a potentially unmanageable set of examples. Our proposal is that one “base” example should be given in the main body of the text, and variation points described here.

Discussion

Origin, utility, interest, representativeness, related examples in the literature, …

References [optional section]

Bibliographic data for the paper or papers from which the example is taken, or where it is discussed, if applicable.

Author(s)

Contributing author(s) of the example to the repository.

Reviewer(s)

We intend that examples remain provisional (version 0.x) until reviewed (and approved, if necessary after modification) by other members of the wiki. In the interest of traceability and credit, such reviewers are identified here.

Comments

This is where any member of the wiki can comment.

Artefacts [optional section]

Formal descriptions, perhaps downloadable code, example inputs and outputs, virtual machine instances, diagrams…

Unless otherwise stated, the content of this page is licensed under GNU Free Documentation License.