Detail publikace

Using MSC and SDL Languages for Description of Network Communication

TRCHALÍK, R. OČENÁŠEK, P. ŠVÉDA, M.

Originální název

Using MSC and SDL Languages for Description of Network Communication

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

This paper describes basic principles of MSC and SDL languages which are formalism for description of interactions among components in some system. Informal specification of systems contributes to view these systems as a black box. Behavior of each system is seems as a whole. On the other side, formal specification and description tend to reflect internal structures of the system. MSC and SDL give different views of the same system. This paper compares characteristics of MSC and SDL languages. The reactive system often consists of non-terminal and nondeterministic processes, so we can use High Level MSC, which is composed from single MSCs to specify the system. .

Klíčová slova

MSC, SDL, specification

Autoři

TRCHALÍK, R.; OČENÁŠEK, P.; ŠVÉDA, M.

Rok RIV

2008

Vydáno

10. 9. 2008

Nakladatel

Brno University of Technology

Místo

Brno

ISBN

978-80-214-3717-3

Kniha

EDS '08 IMAPS CS International Conference Proceedings

Strany od

1

Strany do

5

Strany počet

5

BibTex

@inproceedings{BUT30493,
  author="Roman {Trchalík} and Pavel {Očenášek} and Miroslav {Švéda}",
  title="Using MSC and SDL Languages for Description of Network Communication",
  booktitle="EDS '08 IMAPS CS International Conference Proceedings",
  year="2008",
  pages="1--5",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="978-80-214-3717-3"
}