About: Decidable Race Condition and Open Coregions in HMSC

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

About: Decidable Race Condition and Open Coregions in HMSC 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	Message Sequence Charts (MSCs) is a visual formalism for the description of communication behaviour of distributed systems. An MSC specifies relations between communication events with partial orders. A situation when two visually ordered events may occur in any order during an execution of an MSC is called a race and is usually considered as a design error. While there is a quadratic time algorithm detecting races in a finite communication behaviours called Basic Message Sequence Charts (BMSCs), the race detection problem is undecidable for High-level Message Sequence Charts (HMSCs), an MSC formalism describing potentially infinite sets of potentially unbounded behaviours. To improve this negative situation for HMSCs, we introduce two new notions: a new concept of race called trace-race and an extension of the HMSC formalism with open coregions, i.e. coregions that can extend over more than one BMSC. Message Sequence Charts (MSCs) is a visual formalism for the description of communication behaviour of distributed systems. An MSC specifies relations between communication events with partial orders. A situation when two visually ordered events may occur in any order during an execution of an MSC is called a race and is usually considered as a design error. While there is a quadratic time algorithm detecting races in a finite communication behaviours called Basic Message Sequence Charts (BMSCs), the race detection problem is undecidable for High-level Message Sequence Charts (HMSCs), an MSC formalism describing potentially infinite sets of potentially unbounded behaviours. To improve this negative situation for HMSCs, we introduce two new notions: a new concept of race called trace-race and an extension of the HMSC formalism with open coregions, i.e. coregions that can extend over more than one BMSC. (en)
Title	Decidable Race Condition and Open Coregions in HMSC Decidable Race Condition and Open Coregions in HMSC (en)
skos:prefLabel	Decidable Race Condition and Open Coregions in HMSC Decidable Race Condition and Open Coregions in HMSC (en)
skos:notation	RIV/00216224:14330/10:00043646!RIV11-GA0-14330___
http://linked.open...avai/riv/aktivita	P S V Z
http://linked.open...avai/riv/aktivity	P(1M0545), P(GAP202/10/1469), P(GP201/08/P375), P(GP201/08/P459), S, V, Z(MSM0021622419)
http://linked.open...vai/riv/dodaniDat	2011
http://linked.open...aciTvurceVysledku	Řehák, Vojtěch Strejček, Jan
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	Masarykova univerzita / Fakulta informatiky
http://linked.open...dnocenehoVysledku	253035
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/10:00043646
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	HMSC; race condition; trace-race condition; open coregions (en)
http://linked.open.../riv/klicoveSlovo	HMSC open coregions race condition trace-race condition
http://linked.open...ontrolniKodProRIV	[EB470C63FF92]
http://linked.open...v/mistoKonaniAkce	Paphos, Kypr
http://linked.open...i/riv/mistoVydani	Paphos, Kypr
http://linked.open...i/riv/nazevZdroje	Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010)
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Formal methods for analysis and verification of complex systems Formal verification: algorithms, properties of modelling formalisms and temporal logics Institute for Theoretical Computer Science New possibilities in automatic verification of network protocols
http://linked.open...UplatneniVysledku	2010
http://linked.open...iv/tvurceVysledku	Slovák, Petr Řehák, Vojtěch Strejček, Jan Hélouët, Loïc
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2010-01-01 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
issn	1863-2122
number of pages	12 (xsd:int)
http://purl.org/ne...btex#hasPublisher	ECEASST
http://localhost/t...ganizacniJednotka	14330
is http://linked.open...avai/riv/vysledek of	Decidable Race Condition and Open Coregions in HMSC Decidable Race Condition and Open Coregions in HMSC Decidable Race Condition and Open Coregions in HMSC

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