1
Préface
1.1 Motivation
1.2 Objectifs principaux
1.3 Références
1.4 Bibliographie
2
Aperçu général de la sémantique
2.1 Grammaire
2.2 Conditions de validité structurelle
2.3 Règles de transformation
2.4 Sémantique dynamique
3
Automates abstraits à états finis (ASM)
3.1 Automate ASM à agent unique
3.1.1 Vocabulaire
3.1.2
Etats
3.1.3 Noms dérivés
3.1.4 Etats initiaux
3.1.5 Transitions d'état et passes
3.1.6 Règles de transition
3.1.7 Abréviations
3.1.8
Programmes d'automate ASM à agent unique
3.2 Automate ASM à agents multiples
3.2.1 Vocabulaire
3.2.2 Agents et passes
3.2.3 Programmes d'automate ASM à agents
multiples
3.3 Le monde extérieur
3.4 Comportement en temps réel
3.5 Exemple: le système RMS
3.6 Noms prédéfinis