About: On Determinism in Modal Transition Systems

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

About: On Determinism in Modal Transition Systems Goto Sponge Distinct 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	Modal transition systems (MTS) is a formalism which extends the classical notion of labelled transition systems by introducing transitions of two types: must transitions that have to be present in any implementation of the MTS and may transitions that are allowed but not required. The MTS framework has proved to be useful as a specification formalism of component-based systems as it supports compositional verification and stepwise refinement. Nevertheless, there are some limitations of the theory, namely that the naturally defined notions of modal refinement and modal composition are incomplete with respect to the semantic view based on the sets of the implementations of a given MTS specification. Recent work indicates that some of these limitations might be overcome by considering deterministic systems, which seem to be more manageable but still interesting for several application areas. In the present article, we provide a comprehensive account of the MTS framework in the deterministic setting. Modal transition systems (MTS) is a formalism which extends the classical notion of labelled transition systems by introducing transitions of two types: must transitions that have to be present in any implementation of the MTS and may transitions that are allowed but not required. The MTS framework has proved to be useful as a specification formalism of component-based systems as it supports compositional verification and stepwise refinement. Nevertheless, there are some limitations of the theory, namely that the naturally defined notions of modal refinement and modal composition are incomplete with respect to the semantic view based on the sets of the implementations of a given MTS specification. Recent work indicates that some of these limitations might be overcome by considering deterministic systems, which seem to be more manageable but still interesting for several application areas. In the present article, we provide a comprehensive account of the MTS framework in the deterministic setting. (en)
Title	On Determinism in Modal Transition Systems On Determinism in Modal Transition Systems (en)
skos:prefLabel	On Determinism in Modal Transition Systems On Determinism in Modal Transition Systems (en)
skos:notation	RIV/00216224:14330/09:00029307!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(1M0545), P(GA201/09/1389), S, Z(MSM0021622419)
http://linked.open...iv/cisloPeriodika	41
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Srba, Jiří Beneš, Nikola Křetínský, Jan
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
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	331368
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/09:00029307
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	compositional verification; modal transition systems; determinism; refinement; consistency (en)
http://linked.open.../riv/klicoveSlovo	refinement consistency modal transition systems compositional verification determinism
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[15A0E7CF90DE]
http://linked.open...i/riv/nazevZdroje	Theoretical Computer Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	4 (xsd:int)
http://linked.open...vavai/riv/projekt	Institute for Theoretical Computer Science Verification and Analysis of Large-Scale Computer Systems
http://linked.open...UplatneniVysledku	2009
http://linked.open...v/svazekPeriodika	410/2009
http://linked.open...iv/tvurceVysledku	Beneš, Nikola Larsen, Kim G. Srba, Jiří Křetínský, Jan
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
issn	0304-3975
number of pages	18 (xsd:int)
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