AltaRica is a high-level language designed for the modelling of systems. A model describes a hierarchy of nodes; each component can embed several sub-nodes. These latter describe behaviours of components of the system.
The well-defined semantics of AltaRica is based on the Arnold-Nivat model but applied to Constraint Automata. Synchronisation of constraint automata is made up of:
- The Arnold-Nivat strong synchronization of events (see Synchronization of events);
- Boolean constraints on variables shared by automata (see Connecting flows);
- A weakest synchronization mechanism of events that is similar to a broadcast mechanism (see Weak synchronizations).
Want to learn more about AltaRica ?
- Basic syntactical elements of AltaRica
- Declaration of new domains of values
- Declaration of constant values
- Basic components of models
- Introducing hierarchy
- Advanced topics