About: Formalisms and Tools for Design and Specification of Network Protocols

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

About: Formalisms and Tools for Design and Specification of Network Protocols 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
rdfs:seeAlso	http://www.fi.muni.cz/reports/2007/abstract/FIMU-RS-2007-02.shtml
Description	Message Sequence Charts (MSC) are a useful formalism for formalization of network protocols early in their design phase. In this paper, we introduce the basics of MSC language and describe some of the possibilities for automatic location of %22problematic%22 parts in the design. Focus is then given to different modifications of MSC design (FIFO behavior, bounded channels, etc. ) as well as formal checking of more complex design properties (MSC membership, realizability). Next, an introduction of Specification and Description Language (SDL) is presented. Possibilities of automatic synthesis of system design in MSC to an SDL model and it`s correctness verification are mentioned. Message Sequence Charts (MSC) are a useful formalism for formalization of network protocols early in their design phase. In this paper, we introduce the basics of MSC language and describe some of the possibilities for automatic location of %22problematic%22 parts in the design. Focus is then given to different modifications of MSC design (FIFO behavior, bounded channels, etc. ) as well as formal checking of more complex design properties (MSC membership, realizability). Next, an introduction of Specification and Description Language (SDL) is presented. Possibilities of automatic synthesis of system design in MSC to an SDL model and it`s correctness verification are mentioned. (en)
Title	Formalisms and Tools for Design and Specification of Network Protocols Formalisms and Tools for Design and Specification of Network Protocols (en)
skos:prefLabel	Formalisms and Tools for Design and Specification of Network Protocols Formalisms and Tools for Design and Specification of Network Protocols (en)
skos:notation	RIV/00216224:14330/07:00019613!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1ET408050503), P(1M0545), P(GD102/05/H050), Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Troubil, Pavel Řehák, Vojtěch Slovák, Petr Babica, Jindřich Zavadil, Martin
http://linked.open.../riv/druhVysledku	A(V) - Audiovizuální tvorba se vzdáleným přístupem
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	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	422358
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/07:00019613
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	Network protocol description; Message Sequence Charts; realizability; race conditions; formal verification (en)
http://linked.open.../riv/klicoveSlovo	realizability Message Sequence Charts formal verification Network protocol description race conditions
http://linked.open...i/riv/kodPristupu	V
http://linked.open...ontrolniKodProRIV	[AB3DD052108A]
http://linked.open...i/riv/mistoVydani	Brno
http://linked.open...telVyzkumneZpravy	FI MU
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	5 (xsd:int)
http://linked.open...cetTvurcuVysledku	5 (xsd:int)
http://linked.open...vavai/riv/projekt	Institute for Theoretical Computer Science Integrated Approach to Education of PhD Students in the Area of Parallel and Distributed Systems Techniques for automatic verification and validation of software and hardware systems
http://linked.open...UplatneniVysledku	2007
http://linked.open...iv/tvurceVysledku	Troubil, Pavel Slovák, Petr Řehák, Vojtěch Babica, Jindřich Zavadil, Martin
http://linked.open...rzeVyzkumneZpravy	FIMU-RS-2007-02
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
http://localhost/t...ganizacniJednotka	14330

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