This HTML5 document contains 50 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n17http://localhost/temp/predkladatel/
n10http://linked.opendata.cz/resource/domain/vavai/projekt/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n5http://linked.opendata.cz/ontology/domain/vavai/
n6http://linked.opendata.cz/resource/domain/vavai/zamer/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/kodPristupu/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F07%3A00019613%21RIV10-GA0-14330___/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n20http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F07%3A00019613%21RIV10-GA0-14330___
rdf:type
n5:Vysledek skos:Concept
rdfs:seeAlso
http://www.fi.muni.cz/reports/2007/abstract/FIMU-RS-2007-02.shtml
dcterms: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.
dcterms:title
Formalisms and Tools for Design and Specification of Network Protocols Formalisms and Tools for Design and Specification of Network Protocols
skos:prefLabel
Formalisms and Tools for Design and Specification of Network Protocols Formalisms and Tools for Design and Specification of Network Protocols
skos:notation
RIV/00216224:14330/07:00019613!RIV10-GA0-14330___
n3:aktivita
n13:P n13:Z
n3:aktivity
P(1ET408050503), P(1M0545), P(GD102/05/H050), Z(MSM0021622419)
n3:dodaniDat
n20:2010
n3:domaciTvurceVysledku
n9:9147209 n9:8986371 n9:9405046 n9:6279333 n9:9544585
n3:druhVysledku
n19:A
n3:duvernostUdaju
n7:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
422358
n3:idVysledku
RIV/00216224:14330/07:00019613
n3:jazykVysledku
n15:eng
n3:klicovaSlova
Network protocol description; Message Sequence Charts; realizability; race conditions; formal verification
n3:klicoveSlovo
n4:Message%20Sequence%20Charts n4:formal%20verification n4:race%20conditions n4:realizability n4:Network%20protocol%20description
n3:kodPristupu
n11:V
n3:kontrolniKodProRIV
[AB3DD052108A]
n3:mistoVydani
Brno
n3:objednatelVyzkumneZpravy
FI MU
n3:obor
n8:IN
n3:pocetDomacichTvurcuVysledku
5
n3:pocetTvurcuVysledku
5
n3:projekt
n10:1M0545 n10:GD102%2F05%2FH050 n10:1ET408050503
n3:rokUplatneniVysledku
n20:2007
n3:tvurceVysledku
Babica, Jindřich Řehák, Vojtěch Slovák, Petr Troubil, Pavel Zavadil, Martin
n3:verzeVyzkumneZpravy
FIMU-RS-2007-02
n3:zamer
n6:MSM0021622419
n17:organizacniJednotka
14330