A formális nyelvek szerepe a távközlési szoftverek fejlesztésében

Harmatné Medve Anna <medve@almos.vein.hu>

Veszprémi Egyetem Információs Rendszerek Tanszék

Tarnay Katalin Dr. <tarnayk@almos.vein.hu>

Veszprémi Egyetem Információs Rendszerek Tanszék

Előadásomban bemutatom a távközlési szoftverek fejlesztésében hatékonyan alkalmazható formális nyelveket, éspedig az SDL (Specification and Description Language) specifikáló és leíró nyelvet, a rendszerelemek közti üzenetváltást idősor diagramokkal leíró MSC (Message Sequence Chart) nyelvet, ASN.1 (Abstract Syntax Notation One) adatdefiníciós nyelvet, a tesztelés tesztkészleteit specifikáló TTCN (Tree and Tabular Combined Notation) nyelvet, valamint ezen formális nyelvek fő jellemzőit, majd összehasonlítom a formális nyelveken alapuló rendszerfejlesztés menetét a hagyományos rendszerfejlesztés technológiáival. Végül bemutatok egy, a formális nyelveket alklamazó rendszerfejlesztési technológiát és ennek Case eszközét.