{"id":25,"date":"2013-05-16T09:28:37","date_gmt":"2013-05-16T07:28:37","guid":{"rendered":"https:\/\/altarica.labri.fr\/wp\/?page_id=25"},"modified":"2013-08-07T14:00:45","modified_gmt":"2013-08-07T12:00:45","slug":"syntax-and-semantics","status":"publish","type":"page","link":"https:\/\/altarica.labri.fr\/wp\/?page_id=25","title":{"rendered":"AltaRica at a Glance"},"content":{"rendered":"<p>AltaRica is a high-level language designed for the modelling of systems. A model describes a hierarchy of <em>nodes<\/em>; each component can embed several sub-nodes. These latter describe behaviours of components of the system.<\/p>\n<p>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:<\/p>\n<ul>\n<li>The Arnold-Nivat strong synchronization of events (see Synchronization of events);<\/li>\n<li>Boolean constraints on variables shared by automata (see Connecting flows);<\/li>\n<li>A weakest synchronization mechanism of events that is similar to a broadcast mechanism (see Weak synchronizations).<\/li>\n<\/ul>\n<h1>Want to learn more about AltaRica ?<\/h1>\n<ul>\n<li><a title=\"AltaRica: Basics\" href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=333\">Basic syntactical elements of AltaRica<\/a><\/li>\n<li><a title=\"AltaRica : Domains\" href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=355\">Declaration of new domains of values<\/a><\/li>\n<li><a title=\"AltaRica: Constants\" href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=358\">Declaration of constant values<\/a><\/li>\n<li><a title=\"AltaRica : Leaf nodes\" href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=360\">Basic components of models<\/a><\/li>\n<li><a title=\"AltaRica: Introducing Hierarchy\" href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=373\">Introducing hierarchy<\/a><\/li>\n<li><a title=\"AltaRica: Advanded topics\" href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=375\">Advanced topics<\/a><\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>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 &hellip; <a href=\"https:\/\/altarica.labri.fr\/wp\/?page_id=25\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":22,"menu_order":2,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-25","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/25","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=25"}],"version-history":[{"count":47,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/25\/revisions"}],"predecessor-version":[{"id":441,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/25\/revisions\/441"}],"up":[{"embeddable":true,"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=\/wp\/v2\/pages\/22"}],"wp:attachment":[{"href":"https:\/\/altarica.labri.fr\/wp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=25"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}