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