Tema

Disciplina
Categoria
Specialitatea
Anul

STUDIEREA LIMBAJULUI DE SPECIFICARE SDL 2000

Soft n TLC
Laborator Nr. 2
TLC
2007

1.Scopul lucrrii:studierea sistemelor SDL 2000,analiza funciilor i obinerea

listingului programei SDL/PR din reprezentarea grafic SDL/GR conform variantei
91.
2.Partea teoretic:
SDL-2000 include prelucrarea excepiilor(exception handling),model revizuit
de date(a new data model),i condiii compuse(composite states).SDL este un limbaj
de destinaie general att pentru sisteme de comunicaii ct i pentru sisteme
integrate. Limbajele SDL descriu procese statice i dinamice, procesele la rndul su
formeaz blocuri care sunt interconectate prin canalele care conin aa numitele
semnale.
SDL suport modul grafic(SDL/GR) la fel de bine ca i cel textual (SDL/PR) ceea l
face potrivit att pentru specificarea ct i pentru implementarea sistemelor. Suport
modelarea obiectelor. Caracteristica este creterea implementrii obiectelor i
revizuirea modelului de date. Din 1999 SDL este utilizat ntr-o gam vast de
domenii:ncepnd cu medicina i terminnd cu Agenia Spaial European.

Figura 2.1 Utilizarea SDL i MSC

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

inginerilor i a limbajului utilizat de ei se schimb de la o faz la alta. Cnd

specificm principala preocupare este s lum ideile de la cerinele sursei i a
modelului ca specificare,astfel are loc dialogul despre idei. La proiectare limbajul
este utilizat pentru formalizare,mprire i structurare,astfel divizat n pri mai mici
care se implementeaz mai uoar. Ideea cheie a SDL este utilizarea lui pentru
specificare,proiectare i implementare ceea ce exclude necesitatea de ale trece dintrun limbaj n altul excluznd astfel erorile care pot aprea n conversie. Alt avantaj
este c el aproape scutete de plata pentru elaborarea programelor care astzi este
semnificativ. Majoritatea utilizatorilor utilizeaz modul grafic deoarece sunt
disponibile diverse instrumente grafice bune i n acest mod este mai uor de lucrat i
de neles. Dar modul textual se folosete pentru schimb de date ntre diferite
organizaii,pagini internet etc. SDL-2000 nu definete grosimea liniei,tipul
textului,mrimea literelor dar legturile dintre blocuri pentru a forma o sitem.MSC2000 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 Diferena dintre modul grafic i textual

Diagramele descriu compoziia structural a prilor, sau comportamentul lor ca o
stare a mainii sau control al fluxului dintre stri, n exemplul de mai sus, diagramele
4

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 mprit n cteva pagini, deseori
numerotate 1(3), 2(3) etc. n titlul paginii, dar identificatorul paginii nainte de
paranteze poate fi orice nume literal SDL Exist cte 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

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;
6

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;
7

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 numrtorului
Set T(10);//setarea timpului timer-ului cu 10 milisecunde
nextstate 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;
8

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;
9

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;
10

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
performane 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.
Bibliografie
Conspect
http://en.wikipedia.org/wiki/Specification_and_Description_Language
http://www.sdl-forum.org/sdl88tutorial/index.html
http://www.cinderella.dk/
http://www.sdl-forum.org/sdl2000present/tsld001.htm

11