ITU-T Z 121 FRENCH-2003 Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC)《规范和描述语言(SDL)数据与消息序列图(MSC)的绑定 Z系列 电信系统的语言和通用软件方面 形式描述技术(FDT)消息序列表(.pdf

《ITU-T Z 121 FRENCH-2003 Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC)《规范和描述语言(SDL)数据与消息序列图(MSC)的绑定 Z系列 电信系统的语言和通用软件方面 形式描述技术(FDT)消息序列表(.pdf》由会员分享，可在线阅读，更多相关《ITU-T Z 121 FRENCH-2003 Specification and Description Language (SDL) data binding to Message Sequence Charts (MSC)《规范和描述语言(SDL)数据与消息序列图(MSC)的绑定 Z系列 电信系统的语言和通用软件方面 形式描述技术(FDT)消息序列表(.pdf（18页珍藏版）》请在麦多课文档分享上搜索。

1、 UNION INTERNATIONALE DES TLCOMMUNICATIONS UIT-T Z.121SECTEUR DE LA NORMALISATION DES TLCOMMUNICATIONS DE LUIT (02/2003) SRIE Z: LANGAGES ET ASPECTS GNRAUX LOGICIELS DES SYSTMES DE TLCOMMUNICATION Techniques de description formelle Diagrammes des squences de messages Rattachement des donnes SDL aux

2、diagrammes MSC Recommandation UIT-T Z.121 RECOMMANDATIONS UIT-T DE LA SRIE Z LANGAGES ET ASPECTS GNRAUX LOGICIELS DES SYSTMES DE TLCOMMUNICATION TECHNIQUES DE DESCRIPTION FORMELLE Langage de description et de spcification (SDL) Z.100Z.109 Application des techniques de description formelle Z.110Z.119

3、 Diagrammes des squences de messages Z.120Z.129 Langage tendu de dfinition dobjets Z.130Z.139 Notation combine arborescente et tabulaire Z.140Z.149 Notation de prescriptions dutilisateur Z.150Z.159 LANGAGES DE PROGRAMMATION CHILL: le langage de haut niveau de lUIT-T Z.200Z.209 LANGAGE HOMME-MACHINE

4、Principes gnraux Z.300Z.309 Syntaxe de base et procdures de dialogue Z.310Z.319 LHM tendu pour terminaux crans de visualisation Z.320Z.329 Spcification de linterface homme-machine Z.330Z.349 Interfaces homme-machine orientes donnes Z.350Z.359 Interfaces homme-machine pour la gestion des rseaux de tl

5、communication Z.360Z.369 QUALIT Qualit des logiciels de tlcommunication Z.400Z.409 Aspects qualit des Recommandations relatives aux protocoles Z.450Z.459 MTHODES Mthodes de validation et dessai Z.500Z.519 INTERGICIELS Environnement de traitement rparti Z.600Z.609 Pour plus de dtails, voir la Liste d

6、es Recommandations de lUIT-T. Rec. UIT-T Z.121 (02/2003) i Recommandation UIT-T Z.121 Rattachement des donnes SDL aux diagrammes MSC Rsum La prsente Recommandation prsente linstanciation en langage SDL (Z.100) des lments syntaxiques et smantiques de linterface de donnes MSC (Z.120) et dfinit les typ

7、es par dfaut ainsi que la syntaxe applicable aux dfinitions autorises des donnes SDL pouvant tre utilises dans un document MSC. Source La Recommandation Z.121 de lUIT-T, labore par la Commission dtudes 17 (2001-2004) de lUIT-T, a t approuve le 13 fvrier 2003 selon la procdure dfinie dans la Rsolutio

8、n 1 de lAMNT. ii Rec. UIT-T Z.121 (02/2003) AVANT-PROPOS LUIT (Union internationale des tlcommunications) est une institution spcialise des Nations Unies dans le domaine des tlcommunications. LUIT-T (Secteur de la normalisation des tlcommunications) est un organe permanent de lUIT. Il est charg de l

9、tude des questions techniques, dexploitation et de tarification, et met ce sujet des Recommandations en vue de la normalisation des tlcommunications lchelle mondiale. LAssemble mondiale de normalisation des tlcommunications (AMNT), qui se runit tous les quatre ans, dtermine les thmes dtude traiter p

10、ar les Commissions dtudes de lUIT-T, lesquelles laborent en retour des Recommandations sur ces thmes. Lapprobation des Recommandations par les Membres de lUIT-T seffectue selon la procdure dfinie dans la Rsolution 1 de lAMNT. Dans certains secteurs des technologies de linformation qui correspondent

11、la sphre de comptence de lUIT-T, les normes ncessaires se prparent en collaboration avec lISO et la CEI. NOTE Dans la prsente Recommandation, lexpression “Administration“ est utilise pour dsigner de faon abrge aussi bien une administration de tlcommunications quune exploitation reconnue. DROITS DE P

12、ROPRIT INTELLECTUELLE LUIT attire lattention sur la possibilit que lapplication ou la mise en uvre de la prsente Recommandation puisse donner lieu lutilisation dun droit de proprit intellectuelle. LUIT ne prend pas position en ce qui concerne lexistence, la validit ou lapplicabilit des droits de pro

13、prit intellectuelle, quils soient revendiqus par un Membre de lUIT ou par une tierce partie trangre la procdure dlaboration des Recommandations. A la date dapprobation de la prsente Recommandation, lUIT navait pas t avise de lexistence dune proprit intellectuelle protge par des brevets acqurir pour

14、mettre en uvre la prsente Recommandation. Toutefois, comme il ne sagit peut-tre pas de renseignements les plus rcents, il est vivement recommand aux responsables de la mise en uvre de consulter la base de donnes des brevets du TSB. UIT 2003 Tous droits rservs. Aucune partie de cette publication ne p

15、eut tre reproduite, par quelque procd que ce soit, sans laccord crit pralable de lUIT. Rec. UIT-T Z.121 (02/2003) iii TABLE DES MATIRES Page 1 Domaine dapplication 1 2 Rfrences normatives 1 3 Interface syntaxique 1 3.1 Dclaration de langage . 1 3.2 Dclaration de parenthse et dchappement 2 3.3 Dclara

16、tion de donnes et utilisation 2 3.4 Type de donnes par dfaut et caractres gnriques. 3 4 Interface smantique. 3 4.1 Dfinitions de la bonne constitution. 3 4.2 Fonctions dinterface de smantique statique . 4 4.2.1 Prdicat Tc1, chanes de dfinition de donnes 4 4.2.2 Prdicat Tc2, chanes de rfrence de type

17、 5 4.2.3 Prdicat Tc3, chanes dexpression. 5 4.2.4 Prdicat Tc4, chanes dexpression type . 6 4.2.5 EqVar, chanes gales variables . 6 4.3 Fonctions dinterface avec smantique dynamique 7 4.3.1 Vars, variables dextraction 7 4.3.2 Replace, remplacement de variable 7 4.3.3 NewVar, nouvelle variable. 8 4.3.

18、4 Eval, valuation dexpressions 8 5 Exemple 9 5.1 Utilisation de linterface SDL par dfaut 9 iv Rec. UIT-T Z.121 (02/2003) Introduction Le rattachement des donnes en langage SDL aux diagrammes MSC est dcrit en deux parties. La premire est la partie syntaxique de linterface qui dfinit les dclarations d

19、e documents MSC pour lesquelles le SDL est le langage de donnes, la deuxime partie dcrivant la smantique de linterface. Cette deuxime partie comporte une dfinition dun certain nombre de fonctions qui sont utilises pour lvaluation syntaxique, smantique statique et smantique dynamique des donnes SDL u

20、tilises en MSC. Rec. UIT-T Z.121 (02/2003) 1 Recommandation UIT-T Z.121 Rattachement des donnes SDL aux diagrammes MSC 1 Domaine dapplication La prsente Recommandation dcrit une instanciation en langage SDL (Z.100) de linterface de donnes pour les diagrammes des squences de messages (Z.120) qui est

21、dfini comme tant le langage par dfaut pour la Rec. UIT-T Z.120. Dans la Rec. UIT-T Z.120 sur les diagrammes MSC est dfinie une interface de donnes ouverte qui permet diffrents utilisateurs du langage dutiliser diffrents langages de donnes dans les diagrammes et documents MSC. La prsente Recommandati

22、on dfinit un rattachement de linterface ouverte un fragment de langage de donnes en SDL, qui doit tre utilis comme langage de donnes par dfaut. Cest-dire, en labsence dune instanciation explicite de linterface de donnes dans un document MSC, on doit supposer que le rattachement dfini par la prsente

23、Recommandation et le langage des chanes de dfinition de donnes autoris doivent sappliquer. Le prsent texte est la premire version de la Rec. UIT-T Z.121, fonde sur la dfinition de linterface de donnes apparue dabord dans lactuelle Rec. UIT-T Z.120, publie en 1999. 2 Rfrences normatives La prsente Re

24、commandation se rfre certaines dispositions des Recommandations UIT-T et textes suivants qui, de ce fait, en sont partie intgrante. Les versions indiques taient en vigueur au moment de la publication de la prsente Recommandation. Toute Recommandation ou tout texte tant sujet rvision, les utilisateur

25、s de la prsente Recommandation sont invits se reporter, si possible, aux versions les plus rcentes des rfrences normatives suivantes. La liste des Recommandations de lUIT-T en vigueur est rgulirement publie. La rfrence un document figurant dans la prsente Recommandation ne donne pas ce document en t

26、ant que telle statut dune Recommandation. Recommandation UIT-T Z.100 (2002), SDL: Langage de description et de spcification. Recommandation UIT-T Z.120 (1999), Diagramme des squences de messages. 3 Interface syntaxique Le document MSC contient une dclaration du nom du langage de donnes utilis, afin

27、que les outils qui prennent en charge plusieurs langages puissent le distinguer. Il dfinit galement des dclarations de squences de parenthses utilises par le langage de donnes de manire ce que les outils puissent correctement identifier les limites dune chane de donnes intgre dans des messages MSC.

28、Dans le prsent paragraphe sont donnes les dclarations par dfaut pour le rattachement des donnes SDL. La dclaration de langage est effectue lintrieur des dfinitions de donnes, et contient galement les dclarations de donnes utiles: types de donnes (avec les mthodes et les oprateurs), les syntypes et l

29、es synonymes. 3.1 Dclaration de langage La dclaration de langage peut tre effectue dans le document MSC et elle identifie le langage de donnes qui est utilis dans tous les diagrammes MSC dans le domaine de visibilit du document MSC englobant. La dclaration de langage suivante est dfinie pour le SDL,

30、 bien qutant le langage par dfaut, son utilisation est optionnelle: langage SDL; 2 Rec. UIT-T Z.121 (02/2003) Si cette dclaration de langage est prsente, les dclarations de parenthses et dchappement sont implicites et nont pas besoin dtre explicitement spcifies dans chaque document MSC, il en est de

31、 mme pour les types par dfaut accompagns de leurs caractres gnriques correspondants. 3.2 Dclaration de parenthse et dchappement Lorsque des donnes SDL sont utilises dans des diagrammes MSC conformment la dclaration de langage ci-dessus, on suppose la prsence des dclarations de parenthse et dchappeme

32、nt suivantes: parenthesis nestable (), , (), ; nonnestable /*/, /#/, ; equalpar /; escape ?; ; Cette dclaration signifie que: les et (/# commentaire #/ et /* note */) en langue locale sont accepts dans les chanes de donnes; les qualificatifs Z.100 (par exemple, ) peuvent tre utiliss pour rsoudre les

33、 conflits de nom; les chanes de caractres Z.100 (hello world!) sont autorises dans des chanes dexpression, en utilisant la forme locale Z.100 dune apostrophe rpte () pour permettre une seule apostrophe dans une chane; ? est utilis comme caractre dchappement gnral pour permettre la prsence de jetons

34、darrt MSC dans les chanes de donnes. Si un jeton MSC qui peut indiquer la fin dune chane de donnes, tel un point-virgule, doit tre utilis ouvertement lintrieur de la chane de donnes, il doit faire lobjet dun chappement avec le caractre ?. Par utilis ouvertement, on entend quil nest pas “dissimul“ en

35、tre des parenthses dclares en SDL. Par exemple, pour un point-virgule, un chappement nest pas ncessaire lorsque ce point-virgule apparat dans une chane SDL car il est dissimul par les caractres dlimiteurs de chane. Le seul jeton SDL qui doit faire lobjet dun chappement dans un contexte du SDL est le

36、 guillemet simple dans une expression chane. Les chanes SDL nexigent pas de traitement particulier lorsquelles sont utilises lintrieur dune chane de donnes MSC. Un interprteur MSC recherche la correspondance de parenthse la plus longue. Ainsi: les deux caractres (. et ( sont des parenthses imbricabl

37、es, de sorte que linterprteur dtectera une imbrication incorrecte de parenthses. 3.3 Dclaration de donnes et utilisation Les dclarations explicites de type rel de donnes en langage de donnes local sont effectues avec la chane ouverte dans un document MSC. Le paragraphe suivant dcrit la syntaxe SDL a

38、utorise lintrieur de cette chane. Etant donn que les SDL en gnral, autorisent des constructions qui peuvent introduire des effets secondaires, lexpression autorise dans un diagramme MSC sera soumise certaines contraintes: en particulier, elles ne devront pas contenir les lments suivants: ; Rec. UIT-

39、T Z.121 (02/2003) 3 ; . Les commentaires SDL ( et ) peuvent tre intgrs dans lune quelconque des chanes terminales MSC. Les fonctions smantiques statiques dfinies au 4 dfinissent les en SDL qui sont autorises dans un diagramme MSC. 3.4 Type de donnes par dfaut et caractres gnriques Lorsque le MSC est

40、 utilis avec des donnes SDL, conformment la dclaration de langage dcrite au 3.1, on suppose la prsence du paquetage SDL “Predefined“, de sorte que les types de donnes prdfinis peuvent tre rfrencs partir de ou de et il peut tre fait rfrence des oprateurs prdfinis lintrieur dune chane . Le MSC exige d

41、es types de donnes Boolens, naturels et temporels (voir 5.11/Z.120). Les types de donnes correspondant dans la Rec. UIT-T Z.100 utiliser par dfaut sont les suivants: value type Boolean; syntype Natural; value type Time. Pour chacun de ces types par dfaut, un caractre gnrique par dfaut est implicitem

42、ent dclar comme suit: wildcards anyB: Boolean; anyN: Natural; anyT: Time. 4 Interface smantique Linterface smantique est dfinie en trois parties: bien forme, dcrivant la grammaire des chanes de donnes SDL autorises utiliser dans le MSC; la smantique statique, identifiant les exigences en matire de c

43、onformit du type de chane de donnes SDL bien constitue; la smantique dynamique qui dfinit comment valuer la bonne constitution et le type des chanes dexpression SDL correctes utilises en MSC. 4.1 Dfinitions de la bonne constitution Linterface de donnes spcifie quatre fonctions, Wf1, , Wf4 qui sont r

44、equises pour dfinir des chanes de donnes dont la syntaxe est valide. Le Tableau 4-1 identifie la grammaire SDL qui correspond des chanes de donnes valides. Par exemple Wf1() est vrai si et seulement si est une chane peut tre produite par la rgle de grammaire SDL applicable . Les chanes contiennent d

45、es commentaires de la faon normale de sorte que les dfinitions sappliquent toutes chanes respectant le filtrage de commentaires tel que dfini par ou . 4 Rec. UIT-T Z.121 (02/2003) Tableau 4-1/Z.121 Mappage des chanes au niveau de linterface de donnes MSC Nom de la fonction de la bonne constitution C

46、hanes terminales MSC Grammaire SDL Wf1 Wf2 * Wf3 Wf4 Dans le cas de chanes de dfinition de donnes Wf2, les chanes valides doivent tre dfinies par une rgle de grammaire auxiliaire en termes de production SDL de , puisquil nexiste pas de production SDL qui correspond la condition impose. La rgle perme

47、t dencadrer toute squence de par une paire daccolades (dfinie par et ). Les accolades vitent dappliquer un chappement sur les caractres points-virgules apparaissant dans les dfinitions de donnes, tant donn quun point-virgule agit comme caractre dlimiteur pour la chane de dfinition de donnes. Ainsi une chane forme un corps de paquetage SDL valide car cest un sous-ensemble des lments autoriss da