Abstract Syntax Notation One

Format utilisé par Up ! Abstract Syntax Notation One

Il s'agit d'un pseudo langage de description et de contenu permettant de créer des flux au format texte qui sont indépendants de la plate-forme.

Ces flux peuvent se compiler en un format binaire beaucoup plus compact selon des normes suivantes :

• Basic Encoding Rules (BER).
• Canonical Encoding Rules (CER).
• Distinguished Encoding Rules (DER).
• Packed Encoding Rules (PER).
• XML Encoding Rules (XER).

Ces flux peuvent aussi se développer en un format texte beaucoup plus lisible selon la norme Generic String Encoding Rules (GSER).

Format Abstract Syntax Notation One

• Séparateurs.
  Les séparateurs sont les caractères espace , retour chariot \t, saut de ligne \n et tabulation \t.
  
• Commentaires.
  Soit :
  • Un commentaire mono-ligne commence par deux caractères soustraction - et se termine soit par deux caractères soustraction - ou la fin de la ligne.
    Par exemple :
    

    -- Ceci est un commentaire.
-- Ceci est un commentaire -- TRUE -- Ceci est un second commentaire.

  • Un commentaire multi-ligne est encadré par les caractères /* et */.
    Par exemple :
    

    /* Ceci est un commentaire.
Ceci est un second commentaire. */

• Binaire.
  Un binaire est défini soit par :
  • Une suite de 0 et 1 entre caractères apostrophe ' suivi du suffixe B.
    
  • Une suite de 0 à 9 ou A à F entre caractères apostrophe ' suivi du suffixe H.
    
  Il peut y avoir des séparateurs au sein de la valeur.
  Par exemple :
  

  '01010111'B
'01 01 01 11'B
'0A0A0ABC'H
'0A 0A 0A BC'H

• Booleen.
  Un booleen est FALSE ou TRUE.
  
• Caractere.
  Une chaîne de caractères est une suite de caractères entre guillemets ". Il peut y avoir des sauts de ligne au sein de la valeur.
  Par exemple :
  

  Ceci est ma chaine."
Ceci est ma chaine avec un caractere "" guillemet."

• Date.
  Une date est une chaîne de caractères au format :
  • AAAAMMJJHHMMSS suivi du fuseau horaire en format généralisé.
    
  • AAMMJJHHMM ou AAMMJJHHMMSS suivi du fuseau horaire en format UTC.
    
  Par exemple :
  

  20080130214230+0100"
20080130214230Z"
080130214230+0100"
080130214230Z"
  

• Entier.
  Un entier est représenté par une suite de chiffres 0 à 9 précédent éventuellement de soustraction -. Il ne peut y avoir de séparateur au sein de la valeur.
  Par exemple :
  

  123456
-123456

• Identifiant.
  Un identifiant commence par une lettre et il est suivi éventuellement de lettres, de chiffres ou du caractère soustraction -. Il ne peut y avoir de séparateur au sein de l'identifiant.
  Par convention :
  • Un identifiant de contenu - variable - commence par une minuscule.
  • Un identifiant de description de contenu - classe, un module, propriété, type - commence par une majuscule.
  Par exemple :
  

  maVariable
ma-variable
MonType
Mon-type

• Réel.
  Un réel est représenté par trois valeurs entières :
  • Une mantisse conservée dans la propriété mantissa.
  • Une base dans la propriété base.
  • Un exposant dans la propriété exponent.
  Ainsi : Reel=Mantisse*Base^Exposant.
  Par exemple 2.5 se note :
  

  {mantissa 25, base 10, exponent -1}

• Mots-clé.
  Les mots-clé du langage sont écrits en majucule.
  
• Extension.
  Une définition peut être étendue dans un version supérieure dès lors que la marque d'extension ... est utilisée et avant l'éventuelle seconde marque d'extension.
  Les différences apportées par les extensions peuvent être isolées entre double caractères crochet ouvrant [ et crochet fermant ].
  Quand le lecteur de flux Asn - le décodeur - ne reconnaît pas une exception, il doit la signaler à l'application par l'envoi de l'exception introduite par le caractère point d'exclamation !.
  Ainsi, si les valeurs A, B, C existe dans une première version et C, D dans une seconde et E dans une troisième, nous avons :
  

  ENUMERATED {A(1), B(2), C(3), ..., D(4), E(5), F(6)}
ENUMERATED {A(1), B(2), C(3), ..., [[D(4), E(5)]], [[ F(6)]]}
ENUMERATED {A(1), B(2), C(3), ...!UTF8String:Ceci est mon exception", D(4), E(5), F(6)]]}
ENUMERATED {A(1), B(2), ...!UTF8String:Ceci est mon exception", [[D(4), E(5)]], [[ F(6)]], ..., C(3)}

Voici les concepts sémantiques :

• Choix.
  Les choix correspondent à l'instruction Selon en Up ! 5GL.
  
• Classes.
  Les classes sont des formulaires de définitions de types ou de données comprenant une syntaxe ad hoc.
  
• Ensemble.
  Les ensembles correspondent à l'API ICollection en Up ! 5GL.
  
• Etiquette.
  Les étiquettes permettent d'identifier de façon unique une définition à partir de :
  • Une portée - universelle, application, privée ou automatique.
    
  • Un type.
    
  • Un numéro.
    
• Macro-fonction.
  Les macro-fonctions ne sont plus utilisées depuis l'apparition des classes dans la norme ASN.1.
  
• Sequence.
  Les séquences correspondent à l'instruction Type en Up ! 5GL.
  
• Versionnage.
  Les définitions et les valeurs peuvent être extensibles et versionnées. En particulier les choix, les ensembles et séquences.
  
• Types.
  
  • Les types - types de base, séquences, unions, etc. - peuvent contenir une contrainte.
    Elle est définie par une expression simple ou composée avec des opérateurs ensemblistes - union, intersection ou soustraction.
    
  • Les types peuvent être paramétrés.
    Par un autre type ou par une constante.

Format Generic String Encoding Rule

• L'encodage est toujours UTF-8.
  Quelle que soit le type de chaîne de caractères employé.
• Les identifiants des objets peuvent utiliser une notation des langages objets.
  Par exemple :
  {iso.identified-organization.ups.upsasn.employe}
  au lieu de :
  {iso(1) identified-organization(3) ups(1) upsasn(2) employe(1)}
• L'ordre des propriétés des ensembles doit être respecté.
  Les ensembles sont donc exactement identiques aux séquences.
• Les réels peuvent être écrits en notation décimale ou scientifiques.
  Par exemple : 25.1 ou 2.51E1

Syntaxe d'un flux au format Abstract Syntax Notation One

Module :

NomDuModule IdentifiantObjetOption DEFINITIONS ModeEtiquettageOption ModeExtensionOption ::=
BEGIN
ExportationsOption
ImportationsOption
ListeDAffectationsOption
END
;

IdentifiantObjetOption :

| IdentifiantObjet
;

IdentifiantObjet :

{ ValeurOption ListeDeProprietesDeLObjet }
;

ListeDeProprietesDeLObjet :

ProprieteDeLObjet
| ListeDeProprietesDeLObjet ProprieteDeLObjet
;

ProprieteDeLObjet :

Numero
| NomDeLaPropriete SuitePropriete
;

SuitePropriete :

| ( Numero )
;

ModeEtiquettageOption :

| EXPLICIT TAGS
| IMPLICIT TAGS
| AUTOMATIC TAGS
;

| EXTENSIBILITY IMPLIED
;

ExportationsOption :

| EXPORT ListeDeDefinitionsOption ;
;

ListeDeDefinitionsOption :

| ALL
| ListeDeDefinitions
;

ListeDeDefinitions :

Definition
| ListeDeDefinitions , Definition
;

Definition :

NomDeLaDefinition ParametresOption
;

ParametresOption :

| { }
;

ImportationsOption :

| IMPORT ListeDImportationsOption ;
;

ListeDImportationsOption :

| ListeDImportations
;

ListeDImportations :

Importation
| ListeDImportations Importation
;

Importation :

ListeDeDefinitions FROM NomDuModule IdentifiantObjet
;

ListeDAffectationsOption :

| ListeDAffectations
;

ListeDAffectations :

Affectation
| ListeDAffectations Affectation
;

Affectation :

AffectationType
| AffectationClasse
| AffectationValeur
;

AffectationType :

NomDuType ParametresDefinisOption ::= EtiquetteOption NomDUnType ParametresTransmisOption ContrainteOption
;

ParametresDefinisOption :

| { ListeParametres }
;

ListeParametres :

Parametre
| ListeParametres , Parametre
;

Parametre :

NomDUnType : NomDuParametreDuType
;

NomDUnTypeOption :

| NomDUnType
;

NomDUnType :

BIT STRING SuiteTypeBitString
| BOOLEAN
| CHARACTER STRING
| INTEGER
| ENUMERATED { ListeDeValeursEnumeres }
| NULL
| OBJECT IDENTIFIER IdentifiantObjet
| OCTET STRING
| RELATIVE-OID IdentifiantObjet
| TypeChoix
| TypeEnsemble
| TypeEnsembleDe
| TypeSelection
| TypeSequence
| TypeSequenceDe
| SelectionOption NomDUnType
;

SuiteTypeBitString :

| { ListeBitsNommes }
;

ListeDeValeursEnumeres :

ValeurEnumere
| ListeDeValeursEnumeres , ValeurEnumere
;

ValeurEnumere :

NomDeLaValeurEnumere SuiteValeurEnumere
| Extension
| [[ VersionOption ListeDeValeursEnumeres ]]
;

VersionOption :

| Valeur :
;

SuiteValeurEnumere :

| ( Valeur )
;

EtiquetteOption :

| Etiquette
;

Etiquette :

| [ SorteEtiquette Valeur ] EtiquettesImplicites
;

SorteEtiquette :

| APPLICATION
| PRIVATE
| UNIVERSAL
;

EtiquettesImplicites :

| EXPLICIT
| IMPLICIT
;

ListeBitsNommes :

BitNomme
| ListeBitsNommes , BitNomme
;

BitNomme :

NomDuBit ( Valeur )
| Extension
| [[ VersionOption ListeBitsNommes ]]
;

Extension :

... ExceptionOption
;

ExceptionOption :

| Exception
;

Exception :

! Valeur
| ! NomDUnType : Valeur
;

TypeChoix :

CHOICE { ListeDeChoix }
;

ListeDeChoix :

Choix
| ListeDeChoix , ChoixType
;

Choix :

NomDuChoix NomDUnType
| Extension
| [[ VersionOption ListeDeChoix ]]
;

TypeEnsemble :

SET { ListeDElementsDeLEnsemble }
;

ListeDElementsOption : | ListeDElements
;

ListeDElements :

Element
| ListeDElements , Element
;

Element :

NomDeLElement NomDUnType SuiteElement
| NomDeLaValeur ANY DEFINED BY TypeDynamique ContrainteOption
| NomDeLElement @ TypeDynamique ContrainteOption
| COMPONENTS OF NomDUnType
| Extension
| [[ VersionOption ListeDElements ]]
;

SuiteElement :

| OPTIONAL
| DEFAULT Valeur
;

TypeDynamique :

. TypeDynamique
| NomDUnParametreDUnType
| NomDUnParametreDUneClasse
| NomDUnValeur
;

TypeEnsembleDe :

SET ContrainteOption OF NomDUnType
;

TypeSelection :

NomDUnChoix < NomDUnType
;

TypeSequence :

SEQUENCE { ListeDElementsOption }
;

TypeSequenceDe :

SEQUENCE ContrainteOption OF NomDUnType
;

ContrainteOption :

| ( Contrainte ExceptionOption )
| SIZE ( ListeDeValeursContrainte ) ExceptionOption
;

Contrainte :

ListeDeValeursContrainte
| { ListeDeValeursContrainte2 }
| CONTAINING NomDUnType
| CONTAINING NomDUnType ENCODED BY Valeur
| ENCODED BY Valeur
| FROM ( ListeDeValeursContrainte )
| PATTERN Valeur
| SIZE ( ListeDeValeursContrainte )
| WITH COMPONENT ( Contrainte )
| WITH COMPONENTS { ListeDeContraintes }
| ( Contrainte )
| OperateurUnaire Contrainte
| Contrainte OperateurBinaire Contrainte
;

ListeDeValeursContrainte :

ValeurContrainte
| ListeDeValeursContrainte | ValeurContrainte
;

ValeurContrainte :

InclureOption Valeur
| InclureOption BorneInferieure .. BorneSuperieure
;

InclureOption :

| INCLUDES
;

BorneInferieure :

Valeur
| Valeur &
| MIN
;

BorneSuperieure :

Valeur
| & Valeur
| MAX
;

ListeDeValeursContrainte2 :

ValeurContrainte2
| ListeDeValeursContrainte2 , ValeurContrainte2
;

ValeurContrainte2 :

NomDeLaValeur ABSENT
| NomDeLaValeur OPTIONAL
| NomDeLaValeur PRESENT
| NomDeLaValeur ( Valeur )
| Extension
;

ListeDeContraintes :

NomDeLElement Contrainte
| ListeDeContraintes , NomDeLElement Contrainte
;

OperateurUnaire :

ALL EXCEPT
;

OperateurBinaire :

| |
| ^
| EXCEPT
| INTERSECTION
| UNION
;

ParametresTransmisOption :

| { ListeDeValeurs }
;

ListeDeValeurs :

Valeur
| ListeDeValeurs , Valeur
;

NomDuParametreDUnType :

SelectionOption NomDuParametreDUnType
;

AffectationClasse :

NomDeLaClasse ::= CLASS { ListeDeParametresClasse } SyntaxeOption
;

ListeDeParametresClasse :

ParametreClasse
| ListeDeParametresClasse , ParametreClasse
;

ParametreClasse :

& NomDuParametreDeLaClasse NomDUnTypeOption SuiteParametreClasse
| & NomDuParametreDeLaClasse ANY DEFINED BY TypeDynamique SuiteParametreClasse
| & NomDuParametreDeLaClasse @ TypeDynamique SuiteParametreClasse
| & NomDuParametreDeLaClasse @ . TypeDynamique SuiteParametreClasse
;

SuiteParametreClasse :

| DEFAULT Valeur SuiteParametreClasse
| UNIQUE
| OPTIONAL
;

SyntaxeOption :

WITH SYNTAX { ListeDeLexemes }
;

ListeDeLexemes :

Lexeme
| ListeDeLexemes Lexeme
;

Lexeme :

MotCle
| ,
| [ ListeDeLexemes ]
;

NomDUneClasse :

SelectionOption NomDUneClasse
;

NomDuParametreDUneClasse :

SelectionOption NomDuParametreDUneClasse
;

AffectationValeur :

NomDeLaValeur NomDUnType ParametresDefinisOption ::= Valeur
| NomDeLaValeur NomDUneClasse ParametresDefinisOption ::= Valeur

ValeurOption :

| Valeur
;

Valeur :

Binaire
| ChaineDeCaracteres
| Entier
| TRUE
| FALSE
| NULL
| IdentifiantObjet
| { ListeDeValeursEnsemble }
| NomDUnChoix : Valeur
| NomDUnType : Valeur
| NomDUneValeurEnumere
| NomDUnType
| NomDUnParametreDunType
| NomDUneClasse
| NomDUnParametreDUneClasse
| NomDUneValeurEnumere
;

ListeDeValeursEnsemble :

ValeurEnsemble
| ListeDeValeursEnsemble , ValeurEnsemble
;

ListeDeValeursEnsemble :

Valeur
| OperateurUnaire ValeurEnsemble
| ValeurEnsemble OperateurBinaire Valeur
| ( ValeurEnsemble )
;

NomDUneValeurEnumere :

SelectionOption NomDUneValeurEnumere
;

NomDUneValeur :

SelectionOption NomDUneValeur
;

SelectionOption :

SelectionOption2
| @ SelectionOption2
;

SelectionOption2 :

| NomDUnModule . SelectionOption2
| NomDUneClasse . SelectionOption2
;

Référence d'Abstract Syntax Notation One

Opérateurs utilisables dans un module au format Abstract Syntax Notation One

Mots-clés utilisables dans un module au format Abstract Syntax Notation One

Types usuels d'Abstract Syntax Notation One

Exemple d'un flux au format Abstract Syntax Notification One

Dictionnaire

Données

Format Abstraction Syntax Notation One

Format Generic String Encoding Rule