AltaRica at a Glance

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 ?