About: Using MSC and SDL Languages for Description of Network Communication

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Using MSC and SDL Languages for Description of Network Communication Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	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. . 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. . (en)
Title	Using MSC and SDL Languages for Description of Network Communication Using MSC and SDL Languages for Description of Network Communication (en)
skos:prefLabel	Using MSC and SDL Languages for Description of Network Communication Using MSC and SDL Languages for Description of Network Communication (en)
skos:notation	RIV/00216305:26230/08:PU76753!RIV12-GA0-26230___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GA102/08/1429), P(GD102/05/H050), Z(MSM0021630503), Z(MSM0021630528)
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Trchalík, Roman Švéda, Miroslav Očenášek, Pavel
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	401862
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/08:PU76753
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	MSC, SDL, specification (en)
http://linked.open.../riv/klicoveSlovo	specification SDL MSC
http://linked.open...ontrolniKodProRIV	[C70C53798421]
http://linked.open...v/mistoKonaniAkce	Brno
http://linked.open...i/riv/mistoVydani	Brno
http://linked.open...i/riv/nazevZdroje	EDS '08 IMAPS CS International Conference Proceedings
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Safety and security of networked embedded system applications Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems
http://linked.open...UplatneniVysledku	2008
http://linked.open...iv/tvurceVysledku	Očenášek, Pavel Trchalík, Roman Švéda, Miroslav
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2008-09-10 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Nové trendy v mikroelektronických systémech a nanotechnologiích (MIKROSYN) Výzkum informačních technologií z hlediska bezpečnosti
number of pages	5 (xsd:int)
http://purl.org/ne...btex#hasPublisher	Vysoké učení technické v Brně
https://schema.org/isbn	978-80-214-3717-3
http://localhost/t...ganizacniJednotka	26230
is http://linked.open...avai/riv/vysledek of	Using MSC and SDL Languages for Description of Network Communication Using MSC and SDL Languages for Description of Network Communication

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software