Lab2 Soft Fbun

13
Tema STUDIEREA LIMBAJULUI DE SPECIFICARE SDL 2000 Disciplina Soft în TLC Categoria Laborator Nr. 2 Specialita tea TLC Anul 2007

Transcript of Lab2 Soft Fbun

Page 1: Lab2 Soft Fbun

Tema STUDIEREA LIMBAJULUI DE SPECIFICARE SDL 2000Disciplina Soft în TLCCategoria Laborator Nr. 2Specialitatea TLCAnul 2007

Page 2: Lab2 Soft Fbun

1.Scopul lucrării:studierea sistemelor SDL 2000,analiza funcţiilor şi obţinerea

listingului programei SDL/PR din reprezentarea grafică SDL/GR conform variantei

91.

2.Partea teoretică:

SDL-2000 include prelucrarea excepţiilor(exception handling),model revizuit

de date(a new data model),şi condiţii compuse(composite states).SDL este un limbaj

de destinaţie generală atât pentru sisteme de comunicaţii cât şi pentru sisteme

integrate. Limbajele SDL descriu procese statice şi dinamice, procesele la rîndul său

formează blocuri care sunt interconectate prin canalele care conţin aşa numitele

semnale.

SDL suportă modul grafic(SDL/GR) la fel de bine ca şi cel textual (SDL/PR) ceea îl

face potrivit atât pentru specificarea cât şi pentru implementarea sistemelor. Suportă

modelarea obiectelor. Caracteristica este creşterea implementării obiectelor şi

revizuirea modelului de date. Din 1999 SDL este utilizat într-o gamă vastă de

domenii:începând cu medicina şi terminând cu Agenţia Spaţială Europeană.

Figura 2.1 Utilizarea SDL şi MSC

Ingineria sistemului constă din 3 faze:specificare,proiectare şi implementare. Rolul

2

Page 3: Lab2 Soft Fbun

inginerilor şi a limbajului utilizat de ei se schimbă de la o fază la alta. Când

specificăm principala preocupare este să luăm ideile de la cerinţele sursei şi a

modelului ca specificare,astfel are loc dialogul despre idei. La proiectare limbajul

este utilizat pentru formalizare,împărţire şi structurare,astfel divizat în părţi mai mici

care se implementează mai uşoară. Ideea cheie a SDL este utilizarea lui pentru

specificare,proiectare şi implementare ceea ce exclude necesitatea de ale trece dintr-

un limbaj în altul excluzând astfel erorile care pot apărea în conversie. Alt avantaj

este că el aproape scuteşte de plata pentru elaborarea programelor care astăzi este

semnificativă. Majoritatea utilizatorilor utilizează modul grafic deoarece sunt

disponibile diverse instrumente grafice bune şi în acest mod este mai uşor de lucrat şi

de înţeles. Dar modul textual se foloseşte pentru schimb de date între diferite

organizaţii,pagini internet etc. SDL-2000 nu defineşte grosimea liniei,tipul

textului,mărimea literelor dar legăturile dintre blocuri pentru a forma o sitemă.MSC-

2000 de asemenea suportă modul grafic şi textual.

Dispozitivele şi sistemele care utilizează GSM,INAP,TETRA,IMT-2000 şi probabil

IETF pot fi modelate în SDL.

Figura 2.2 Diferenţa dintre modul grafic şi textual

Diagramele descriu compoziţia structurală a părţilor, sau comportamentul lor ca o

stare a maşinii sau control al fluxului dintre stări, în exemplul de mai sus, diagramele

3

Page 4: Lab2 Soft Fbun

sistemului şi blocurilor sunt structurale şi diagrama procesului este o diagramă a

comportamentului.

Figura 2.3 Reprezentarea grafică

Un sistem de specificare SDL/GR sau document MSC este constituit dintr-un

set de desene. Fiecare diagramă are un fel şi o identitate, şi poate, de asemenea, avea

parametri în titlu. Fiecare diagramă SDL poate fi împărţită în câteva pagini, deseori

numerotate 1(3), 2(3) etc. în titlul paginii, dar identificatorul paginii înainte de

paranteze poate fi orice nume literal SDL Există câte o diagramă pentru fiecare

procedură sau proces dintr-un proces, fiecare procedură sau proces într-un bloc, fiecare

bloc din sistem.

Figura 2.4 Structura SDL 2000

4

Page 5: Lab2 Soft Fbun

3.Partea practică:START SYSTEM;System_definition::SYSTEM A; Block_definition_set::B1,B2,B3,B4,B5,B6,B7,B8,B9,B10,B11,B12,B13,B14,B15, B16,B17,B18,B19,B20,B21,B22,B23,B24,B25,B26,B27,B28,B29;Channel_definition_set::C0,C1,C2,C3,C4,C5,C6,C7,C8,C9,C10,C11,C12,C13,C14 ,C15,C16,C17,C18,C19,C20,C21,C22,C23,C24,C25,C26, C27,C28,C29,C30,C31,C32,C34,C35,C36,C67;Signal _definition_set::S0,S1,S2,S3,S4,S5,S6,S7,S8,S9,S10,S11,S12,S13,S14,S15, S16,S17,S18,S19,S20,S21,S22,S23,S24,S25,S26,S27,S28, S29,S30,S31,S32,S34,S35,S36,S37;Data_type_definition::<character string>;Function_type_definition::<procedure>;END_ System_definition:: SYSTEM A;SYSTEM A::<word>Chisinau;

BLOCK B11 interconnection area B2,B9,ENV;CHANNEL C0 FROM INN TO B11 WITH S0;CHANNEL C1 FROM B11 TO B9 WITH S1;END_BLOCK B11;

BLOCK B9;BLOCK B9 interconnection area B4,B6,B7,B11;

CHANNEL C2 FROM B9 TO ENV WITH S2;SPLIT C2 INTO C2.1,C2.2;CHANNEL C2.1 FROM B9 TO B7 WITH S2;CHANNEL C2.2 FROM B9 TO B6 WITH S2;END_BLOCK B9;

BLOCK B6;BLOCK B6 interconnection area B3,B7,B9;CHANNEL C5 FROM B6 TO B3 WITH S5;END_BLOCK B6;

BLOCK B7;BLOCK B7 interconnection area B6,B8,B9;CHANNEL C3 FROM B8 TO B7 WITH S3;END_BLOCK B7;

BLOCK B3;BLOCK B3 interconnection area B4,B5,B6;CHANNEL C7 FROM B3 TO B5 WITH S7;END_BLOCK B3;

5

Page 6: Lab2 Soft Fbun

BLOCK B4;BLOCK B4 interconnection area B3,B5,B9;CHANNEL C8 FROM B4 TO B5 WITH S8;END_BLOCK B4;

BLOCK B5;BLOCK B5 interconnection area B3,B4,B10,B13;CHANNEL C6 FROM B5 TO ENV WITH S6;SPLIT C6 INTO C6.1,C6.2;CHANNEL C6.1 FROM B5 TO B3 WITH S6;CHANNEL C6.2 FROM B5 TO B4 WITH S6;CHANNEL C9 FROM B5 TO ENV WITH S9;CHANNEL C9.1 FROM B5 TO B13 WITH S9;END_BLOCK B5;

System_heading_definition::SYSTEM R;Block_definition_set::B1,B2,B17,B12,B18;Channel_definition_set::C23,C24,C25,C26C27,C28,C29,C30,C31,C32;Signal _definition_set::S23,S24,S25,S26S27,S28,S29,S30,S31,S32;Data_type_definition::<character string>;Function_type_definition::<procedure>;END_ System_heading_definition::SYSTEM R;System B::<word>Cahul;

BLOCK B2;BLOCK B2 interconnection area B1,B8,B11,B12,B17,B18;SUBBLOCK B2.1,B2.2 is associated with BLOCK B2;CHANNEL C30 FROM B11 TO B2.1 WITH S30;CHANNEL C31 FROM B2.1 TO B2.2 WITH S31;CHANNEL C29 FROM B2.1 TO B12 WITH S29;CHANNEL C32 FROM B2.2 TO ENV WITH S32;SPLIT C32 INTO C32.1,C32.2,C32.3;CHANNEL C32.2 FROM B2.2 TO B16 WITH S32;CHANNEL C32.3 FROM B2.2 TO B8 WITH S32;CHANNEL C23 FROM B20 TO ENV WITH S23;END_SUBBLOCK B2.1,B2.2;CHANNEL C28 FROM B2 TO B18 WITH S28;CHANNEL C27 FROM B2 TO B17 WITH S27;END_BLOCK B2;

BLOCK B1;BLOCK B1 interconnection area B2,B8,B15,B16,B19,B20,B27;SUBBLOCK B1.1,B1.2 is associated with BLOCK B1;CHANNEL C32.1 FROM B2.2 TO B1.1 WITH S32;CHANNEL C23 FROM B20 TO ENV WITH S23;

6

Page 7: Lab2 Soft Fbun

SPLIT C23 INTO C23.1,C23.2,C23.3,C23.4;CHANNEL C23.3 FROM B20 TO B1.1 WITH S23;CHANNEL C23.4 FROM B20 TO B1.2 WITH S23;CHANNEL C25 FROM B1.2 TO B19 WITH S25;CHANNEL C24 FROM B1.2 TO B24 WITH S27;END_SUBBLOCK B1.1,B1.2;END_BLOCK B1;

BLOCK B17;BLOCK B17 interconnection area B2,B19;CHANNEL C26 FROM ENV TO B19 WITH S26;SPLIT C26 INTO C26.1,C26.2;CHANNEL C26.1 FROM B17 TO B19 WITH S26;process P1;state S1; input I1; output O1; task Counter=0;//resetarea numărătorului Set T(10);//setarea timpului timer-ului cu 10 milisecundenextstate S2; input I1::=C27; output O1::=C26.1; C26.1::=10*C27;nextstate S3;endprocess P1;END_BLOCK B17;

BLOCK B18;BLOCK B18 interconnection area B2,B19;CHANNEL C26.2 FROM B18 TO B19 WITH S26;END_BLOCK B18;END _SYSTEM R;

System_heading_definition::SYSTEM D;Block_definition_set::B10,B13,B14,B21,B22,B23,B24,B25;Channel_definition_set::C10,C9,C11,C12,C13,C15,C14,C16,C20,C17,C19,C21, C18,C36,C35;Signal_definition_set::S10,S9,S11,S12,S13,S15,S14,S16,S20,S17,S19,S21,S18, S36,S35;Data_type_definition::<character string>;END_ System_heading_definition::SYSTEM D;System D::<word>Balti;

BLOCK B10;BLOCK B10 interconnection area B5,B8,B15,B16,B20,B26,B27,B28,B29;

7

Page 8: Lab2 Soft Fbun

SUBBLOCK B10.1,B10.2,B10.3,B10.4 is associated with BLOCK B10;CHANNEL C9.1 FROM B5 TO B10.1 WITH S9;CHANNEL C10 FROM B10.2 TO B8 WITH S10;CHANNEL C15 FROM B10.2 TO B10.3 WITH S15;CHANNEL C16 FROM B10.3 TO ENV WITH S16;SPLIT C16 INTO C16.1,C16.2;CHANNEL C16.1 FROM B10.3 TO ENV WITH S16;SPLIT C16.2 INTO C16.2.1,C16.2.2;CHANNEL C16.1 FROM B10.3 TO B10.4 WITH S16;CHANNEL C16.2.1 FROM B10.3 TO B21 WITH S16;CHANNEL C16.2.2 FROM B10.3 TO B23 WITH S16;CHANNEL C12 FROM B14 TO B10.3 WITH S14;CHANNEL C14 FROM B10.4 TO B15 WITH S14;END SUBBLOCK B10.1,B10.2,B10.3, B10.4;END_BLOCK B10;

BLOCK B13;BLOCK B13 interconnection area B5,B10.1,B15;CHANNEL C11 FROM B13 TO B15 WITH S11;END BLOCK B11;

BLOCK B14;BLOCK B14 interconnection area B10.3,B16;CHANNEL C13 FROM B16 TO B14 WITH S13;END_BLOCK B14;

BLOCK B21;BLOCK B21 interconnection area B10.3,B10.4,B22,B23;CHANNEL C17 FROM B21 TO ENV WITH S17;SPLIT C17 INTO C17.1,C17.2;CHANNEL C17.1 FROM B21 TO B22 WITH S17;CHANNEL C17.2 FROM B21 TO B23 WITH S17;END_BLOCK B21;

BLOCK B23;BLOCK B23 interconnection area B10.3,B10.4,B20,B21,B22;CHANNEL C20 FROM B23 TO B20 WITH S20;END_BLOCK B23;

BLOCK B25;BLOCK B25 interconnection area B24,B27;CHANNEL C19 FROM B25 TO B24 WITH S19;CHANNEL C21 FROM B27 TO B25 WITH S21;END_BLOCK B25;

8

Page 9: Lab2 Soft Fbun

BLOCK B22;BLOCK B22 interconnection area B21,B23,B24;CHANNEL C18 FROM B22 TO B24 WITH S18;END_BLOCK B22;

BLOCK B24;BLOCK B24 interconnection area B22,B25,B26,B28,B29;CHANNEL C36 FROM B24 TO B26 WITH S36;CHANNEL C35 FROM B29 TO ENV WITH S35;SPLIT C35 INTO C35.1,C35.2;CHANNEL C35.2 FROM B29 TO B24 WITH S35;END_BLOCK B24;

END_SYSTEM D;

BLOCK B15;BLOCK B15 interconnection area B1,B10,B13,B16,B20,B26;CHANNEL C22 FROM B15 TO B26 WITH S22;END_BLOCK B15;

BLOCK B20;BLOCK B20 interconnection area B1,B15,B16,B23;CHANNEL C23.1 FROM B20 TO B15 WITH S23;CHANNEL C23.2 FROM B20 TO B16 WITH S23;END_BLOCK B20;

BLOCK B19;BLOCK B19 interconnection area B1,B17,B18,B28;CHANNEL C33 FROM B19 TO B28 WITH S33;END_BLOCK B19; BLOCK B29;BLOCK B29 interconnection area B24,B26,B27,B28;CHANNEL C34 FROM B27 TO B29 WITH S34;CHANNEL C35.1 FROM B29 TO B28 WITH S35;END_BLOCK B29;

BLOCK B27;BLOCK B27 interconnection area B1,B25,B26,B28,B29;CHANNEL C38 FROM B27 TO ENV WITH S38;SPLIT C38 INTO C38.1,C38.2;CHANNEL C38.1 FROM B27 TO B26 WITH S38;CHANNEL C38.2 FROM B27 TO B28 WITH S38;END_BLOCK B27;

9

Page 10: Lab2 Soft Fbun

BLOCK B26;BLOCK B26 interconnection area B15,B24,B27,B28,B29;CHANNEL C37 FROM B26 TO ENN WITH S37;END_BLOCK B26;

END_SYSTEM A;STOP SYSTEM;

CONCLUZIE Limbajul SDL2000 are la bază limbajul SDL 92/96.SDL are performanţe care permite utilizarea lui într-un domeniu foarte vast. Orientarea spre obiect permite transformarea formei grafice în formă textuală şi programă executabilă.Deasemenea un avantaj foarte mare este analiza proceselor în timp real.

BibliografieConspect http://en.wikipedia.org/wiki/Specification_and_Description_Languagehttp://www.sdl-forum.org/sdl88tutorial/index.htmlhttp://www.cinderella.dk/http://www.sdl-forum.org/sdl2000present/tsld001.htm

10