About: Component Substitutability via Equivalencies of Component-Interaction Automata

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

About: Component Substitutability via Equivalencies of Component-Interaction Automata 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	We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any system where its implementation satisfies the specification given by the environment), in view of an underlying formalism called Component-interaction automata. Our aim is to offer a formal characterization of preconditions that lead to reconfiguration correctness (proper component substitution and safe independent implementation). Such preconditions then guarantee that the updated system remains equivalent to the former one and hence there is no need to verify it again. The contribution of the paper is twofold. First, we formally define three relations that allows us to compare behaviours of two components with respect to reconfiguration correctness. Namely, the equivalence relation, specification--implementation relation, and substitutability relation. We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any system where its implementation satisfies the specification given by the environment), in view of an underlying formalism called Component-interaction automata. Our aim is to offer a formal characterization of preconditions that lead to reconfiguration correctness (proper component substitution and safe independent implementation). Such preconditions then guarantee that the updated system remains equivalent to the former one and hence there is no need to verify it again. The contribution of the paper is twofold. First, we formally define three relations that allows us to compare behaviours of two components with respect to reconfiguration correctness. Namely, the equivalence relation, specification--implementation relation, and substitutability relation. (en)
Title	Component Substitutability via Equivalencies of Component-Interaction Automata Component Substitutability via Equivalencies of Component-Interaction Automata (en)
skos:prefLabel	Component Substitutability via Equivalencies of Component-Interaction Automata Component Substitutability via Equivalencies of Component-Interaction Automata (en)
skos:notation	RIV/00216224:14330/07:00019439!RIV10-GA0-14330___
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1ET400300504), P(1ET408050503), P(GA201/06/1338), Z(MSM0021622419)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Černá, Ivana Moravcová Vařeková, Pavlína Bühnová, Barbora
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	414538
http://linked.open...ai/riv/idVysledku	RIV/00216224:14330/07:00019439
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	component-based systems; reconfiguration correctness; component substitutability; independent implementability (en)
http://linked.open.../riv/klicoveSlovo	component-based systems component substitutability independent implementability reconfiguration correctness
http://linked.open...odStatuVydavatele	MO - Zvláštní administrativní oblast Čínské lidové republiky Macao
http://linked.open...ontrolniKodProRIV	[5FF56195189A]
http://linked.open...i/riv/nazevZdroje	Electronic Notes in Theoretical Computer Science
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Automated software verification Techniques for automatic verification and validation of software and hardware systems Realistic application of formal methods in component systems
http://linked.open...UplatneniVysledku	2007
http://linked.open...v/svazekPeriodika	182
http://linked.open...iv/tvurceVysledku	Černá, Ivana Bühnová, Barbora Moravcová Vařeková, Pavlína
http://linked.open...n/vavai/riv/zamer	Highly Parallel and Distributed Computing Systems
issn	1571-0661
number of pages	17 (xsd:int)
http://localhost/t...ganizacniJednotka	14330
is http://linked.open...avai/riv/vysledek of	Component Substitutability via Equivalencies of Component-Interaction Automata Component Substitutability via Equivalencies of Component-Interaction Automata Component Substitutability via Equivalencies of Component-Interaction Automata

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, 41 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software