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