This HTML5 document contains 47 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/
n11http://localhost/temp/predkladatel/
n14http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n4http://linked.opendata.cz/resource/domain/vavai/projekt/
n13http://linked.opendata.cz/ontology/domain/vavai/
n19http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n18http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F06%3A00015470%21RIV10-GA0-14330___/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F06%3A00015470%21RIV10-GA0-14330___
rdf:type
skos:Concept n13:Vysledek
dcterms:description
In the paper, we present a new approach to component interaction specification and verification process which combines the advantages of both architecture description languages (ADLs) at the beginning of the process, and a general formal verification-oriented model connected to verification tools at the end. After examining current general formal models with respect to their suitability for description of component-based systems, we propose a new verification-oriented model and discuss its features. The model is designed to preserve all the interaction properties to provide a rich base for further verification, and allows the system behaviour to be configurable according to the architecture description (bindings among components) and other specifics (type of communication used in the synchronization of components). In the paper, we present a new approach to component interaction specification and verification process which combines the advantages of both architecture description languages (ADLs) at the beginning of the process, and a general formal verification-oriented model connected to verification tools at the end. After examining current general formal models with respect to their suitability for description of component-based systems, we propose a new verification-oriented model and discuss its features. The model is designed to preserve all the interaction properties to provide a rich base for further verification, and allows the system behaviour to be configurable according to the architecture description (bindings among components) and other specifics (type of communication used in the synchronization of components).
dcterms:title
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
skos:prefLabel
Component-Interaction Automata as a Verification-Oriented Component-Based System Specification Component-Interaction Automata as a Verification-Oriented Component-Based System Specification
skos:notation
RIV/00216224:14330/06:00015470!RIV10-GA0-14330___
n3:aktivita
n12:P n12:Z
n3:aktivity
P(1ET400300504), P(GD102/05/H050), Z(MSM0021622419)
n3:cisloPeriodika
2
n3:dodaniDat
n8:2010
n3:domaciTvurceVysledku
n14:2361132 n14:5332877 n14:6500773 n14:3664449
n3:druhVysledku
n9:J
n3:duvernostUdaju
n17:S
n3:entitaPredkladatele
n18:predkladatel
n3:idSjednocenehoVysledku
469418
n3:idVysledku
RIV/00216224:14330/06:00015470
n3:jazykVysledku
n5:eng
n3:klicovaSlova
ADLs; Component-Interaction automata; component interaction; verification
n3:klicoveSlovo
n6:verification n6:component%20interaction n6:ADLs n6:Component-Interaction%20automata
n3:kodStatuVydavatele
US - Spojené státy americké
n3:kontrolniKodProRIV
[E2D7DB30276A]
n3:nazevZdroje
ACM SIGSOFT Software Engineering Notes
n3:obor
n10:IN
n3:pocetDomacichTvurcuVysledku
4
n3:pocetTvurcuVysledku
4
n3:projekt
n4:1ET400300504 n4:GD102%2F05%2FH050
n3:rokUplatneniVysledku
n8:2006
n3:svazekPeriodika
31
n3:tvurceVysledku
Brim, Luboš Moravcová Vařeková, Pavlína Černá, Ivana Bühnová, Barbora
n3:zamer
n19:MSM0021622419
s:issn
0163-5948
s:numberOfPages
8
n11:organizacniJednotka
14330