About: Modes in Component Behavior Specification via EBP and their Application in Product Lines

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

About: Modes in Component Behavior Specification via EBP and their Application in Product Lines 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	The concept of software product lines (SPL) is a modern approach to software development simplifying construction of related variants of a product thus lowering development costs and shortening time-to-market. In SPL, software components play an important role. In this paper, we show how the original idea of component mode can be captured and further developed in behavior specification via the formalism of Extended Behavior Protocols (EBP). Moreover, we demonstrate how the modes in behavior specification can be used for modeling behavior of an entire product line. The main benefits include (i) the existence of a single behavior specification capturing the behavior of all product variants, and (ii) automatic verification of absence of communication errors among the cooperating components taking the variability into account. These benefits are demonstrated on a part of a non-trivial case study. The concept of software product lines (SPL) is a modern approach to software development simplifying construction of related variants of a product thus lowering development costs and shortening time-to-market. In SPL, software components play an important role. In this paper, we show how the original idea of component mode can be captured and further developed in behavior specification via the formalism of Extended Behavior Protocols (EBP). Moreover, we demonstrate how the modes in behavior specification can be used for modeling behavior of an entire product line. The main benefits include (i) the existence of a single behavior specification capturing the behavior of all product variants, and (ii) automatic verification of absence of communication errors among the cooperating components taking the variability into account. These benefits are demonstrated on a part of a non-trivial case study. (en)
Title	Modes in Component Behavior Specification via EBP and their Application in Product Lines Modes in Component Behavior Specification via EBP and their Application in Product Lines (en)
skos:prefLabel	Modes in Component Behavior Specification via EBP and their Application in Product Lines Modes in Component Behavior Specification via EBP and their Application in Product Lines (en)
skos:notation	RIV/67985807:_____/09:00317137!RIV10-AV0-67985807
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(1ET400300504), P(GA201/08/0266), Z(AV0Z10300504), Z(MSM0021620838)
http://linked.open...iv/cisloPeriodika	1
http://linked.open...vai/riv/dodaniDat	2010
http://linked.open...aciTvurceVysledku	Kofroň, Jan Plášil, František
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	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	327094
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/09:00317137
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	behavior specification; component modes; software product lines (en)
http://linked.open.../riv/klicoveSlovo	component modes software product lines behavior specification
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[B18C06478B19]
http://linked.open...i/riv/nazevZdroje	Information and Software Technology
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Methods and models for consistency verification of advanced component-based applications Realistic application of formal methods in component systems
http://linked.open...UplatneniVysledku	2009
http://linked.open...v/svazekPeriodika	51
http://linked.open...iv/tvurceVysledku	Kofroň, Jan Plášil, František Šerý, O.
http://linked.open...ain/vavai/riv/wos	000262077500005
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace Moderní metody, struktury a systémy informatiky
issn	0950-5849
number of pages	11 (xsd:int)

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