Modeling in Ampersand
To specify an information system, the following steps are necessary:
- Agreement on the domain language;
- Agreement on rules;
- Validate rules;
- Define interfaces.
What is a model about?
An ampersand model describes the rules, relations and concepts that define a business system. Using this specification, a software system can be built that can hold structured information as a set of facts. Based on the rules, the set of facts can be checked automatically to detect violations of rules.
In an Ampersand model, interfaces can be defined too, enabling the definition of changes to the set of facts.