Conference paper

TRCHALÍK Roman, OČENÁŠEK Pavel and ŠVÉDA Miroslav. Using MSC and SDL Languages for Description of Network Communication. In: EDS '08 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2008, p. 5. ISBN 978-80-214-3717-3.
Publication language:english
Original title:Using MSC and SDL Languages for Description of Network Communication
Title (cs):Using MSC and SDL Languages for Description of Network Communication
Pages:5
Proceedings:EDS '08 IMAPS CS International Conference Proceedings
Conference:15th Electronic Devices and Systems IMAPS CS International Conference
Place:Brno, CZ
Year:2008
ISBN:978-80-214-3717-3
Publisher:Brno University of Technology
Keywords
MSC, SDL, specification
Annotation
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. .
BibTeX:
@INPROCEEDINGS{
   author = {Roman Trchal{\'{i}}k and Pavel O{\v{c}}en{\'{a}}{\v{s}}ek
	and Miroslav {\v{S}}v{\'{e}}da},
   title = {Using MSC and SDL Languages for Description of Network
	Communication},
   pages = {5},
   booktitle = {EDS '08 IMAPS CS International Conference Proceedings},
   year = {2008},
   location = {Brno, CZ},
   publisher = {Brno University of Technology},
   ISBN = {978-80-214-3717-3},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=8673}
}

Your IPv4 address: 54.81.108.205
Switch to IPv6 connection

DNSSEC [dnssec]