Slicing specifikace chování komponent vzhledem k jejich kompozici

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F07%3A00090207" target="_blank" >RIV/67985807:_____/07:00090207 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216208:11320/07:00005160

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Slicing of Component Behavior Specification with Respect to their Composition

Popis výsledku v původním jazyce

Being an important means of reducing development costs, behavior specification of software components facilitates reuse of a component and even reuse of a component?s architecture (assembly). However, since typically only a part of the components? functionality is actually used in the new context, a significant part of the behavior specification may be superfluous. As a result, it may be hard to see (and filter out) the actual interplay among the components in their behavior specification. This paper targets the problem in the scope of behavior protocols. It presents a technique for slicing behavior protocols with respect to a given context (composition), designed to remove the unused behavior from a behavior specification. The technique is based on aformal foundation, generic enough to support slicing with respect to a property expressed as a predicate. To demonstrate viability of the proposed approach, a positive experience with behavior specification slicing applied in real-life ca

Název v anglickém jazyce

Slicing of Component Behavior Specification with Respect to their Composition

Popis výsledku anglicky

Being an important means of reducing development costs, behavior specification of software components facilitates reuse of a component and even reuse of a component?s architecture (assembly). However, since typically only a part of the components? functionality is actually used in the new context, a significant part of the behavior specification may be superfluous. As a result, it may be hard to see (and filter out) the actual interplay among the components in their behavior specification. This paper targets the problem in the scope of behavior protocols. It presents a technique for slicing behavior protocols with respect to a given context (composition), designed to remove the unused behavior from a behavior specification. The technique is based on aformal foundation, generic enough to support slicing with respect to a property expressed as a predicate. To demonstrate viability of the proposed approach, a positive experience with behavior specification slicing applied in real-life ca

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2007

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Component-based Software Engineering

ISBN

978-3-540-73550-2

ISSN

—

e-ISSN

—

Počet stran výsledku

14

Strana od-do

189-202

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Medford

Datum konání akce

9. 7. 2007

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—