Publication detail

Using MSC and SDL Languages for Description of Network Communication

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

Original Title

Using MSC and SDL Languages for Description of Network Communication

English Title

Using MSC and SDL Languages for Description of Network Communication

Type

conference paper

Language

en

Original Abstract

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

English abstract

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

Keywords

MSC, SDL, specification

RIV year

2008

Released

10.09.2008

Publisher

Brno University of Technology

Location

Brno

ISBN

978-80-214-3717-3

Book

EDS '08 IMAPS CS International Conference Proceedings

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

1

Pages to

5

Pages count

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",
  annote="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. .",
  address="Brno University of Technology",
  booktitle="EDS '08 IMAPS CS International Conference Proceedings",
  chapter="30493",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Brno University of Technology",
  year="2008",
  month="september",
  pages="1--5",
  publisher="Brno University of Technology",
  type="conference paper"
}