About: TBP: Code-Oriented Component Behavior Specification

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

About: TBP: Code-Oriented Component Behavior Specification 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	Assuring components compatibility plays a crucial part in developing a reliable component system. Especially, when the components come from different vendors worldwide. In order to do so, an appropriate formalism for behavior specification of components is necessary. We propose a formalism of threaded behavior protocols, which-unlike most other formalisms-allows for both analysis on the formal level (correctness and substitutability checking) and reasoning about conformance of a specification and the actual implementation. Moreover, the formalism is designed to be simple enough and to directly support constructs known from implementation languages (e.g., method calls, threads, synchronized blocks), so that it is easy to use by a nonprofessional. Assuring components compatibility plays a crucial part in developing a reliable component system. Especially, when the components come from different vendors worldwide. In order to do so, an appropriate formalism for behavior specification of components is necessary. We propose a formalism of threaded behavior protocols, which-unlike most other formalisms-allows for both analysis on the formal level (correctness and substitutability checking) and reasoning about conformance of a specification and the actual implementation. Moreover, the formalism is designed to be simple enough and to directly support constructs known from implementation languages (e.g., method calls, threads, synchronized blocks), so that it is easy to use by a nonprofessional. (en)
Title	TBP: Code-Oriented Component Behavior Specification TBP: Code-Oriented Component Behavior Specification (en)
skos:prefLabel	TBP: Code-Oriented Component Behavior Specification TBP: Code-Oriented Component Behavior Specification (en)
skos:notation	RIV/67985807:_____/09:00334276!RIV10-AV0-67985807
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(7E08004), P(GA201/08/0266), Z(AV0Z10300504), Z(MSM0021620838)
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Kofroň, 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	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	345415
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/09:00334276
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	software components; behavior specification; model-checking (en)
http://linked.open.../riv/klicoveSlovo	software components model-checking behavior specification
http://linked.open...ontrolniKodProRIV	[3F700DC7F54A]
http://linked.open...v/mistoKonaniAkce	Kassandra
http://linked.open...i/riv/mistoVydani	Los Alamitos
http://linked.open...i/riv/nazevZdroje	Proceedings of 32th IEEE/NASA Software Engineering Workshop
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Quality Impact Prediction for Evolving Service-Oriented Software Methods and models for consistency verification of advanced component-based applications
http://linked.open...UplatneniVysledku	2009
http://linked.open...iv/tvurceVysledku	Kofroň, Jan Šerý, O. Poch, T.
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2008-10-15 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace Moderní metody, struktury a systémy informatiky
number of pages	9 (xsd:int)
http://purl.org/ne...btex#hasPublisher	IEEE Computer Society
https://schema.org/isbn	978-0-7695-3617-0
is http://linked.open...avai/riv/vysledek of	TBP: Code-Oriented Component Behavior Specification TBP: Code-Oriented Component Behavior Specification TBP: Code-Oriented Component Behavior Specification TBP: Code-Oriented Component Behavior Specification

Faceted Search & Find service v1.16.116 as of Feb 22 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3239 as of Feb 22 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 82 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software