Název:
Slicing behavior specification of components
Překlad názvu:
Slicing specifikace chování komponent
Autoři:
Šerý, O. ; Plášil, František Typ dokumentu: Výzkumné zprávy
Rok:
2007
Jazyk:
eng
Edice: Technical Report, svazek: 2007/1
Abstrakt: [eng][cze] 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 [13]. 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 a formal 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-liSpecifikace chování umožňuje reuse nejen komponent, ale také komponentové architektury. V takovém případě je ovšem velmi obtížné určit, jaké je skutečné chování komponenty, neboť toto silně závisí na kontextu. V tomto článku popisujeme metodu slicingu behavior protokolů, která umožňuje automaticky určit chování komponenty v daném prostředí.
Klíčová slova:
behavior protocols; formal verification; slicing Číslo projektu: CEZ:AV0Z10300504 (CEP), GA201/06/0770 (CEP) Poskytovatel projektu: GA ČR
Instituce: Ústav informatiky AV ČR
(web)
Informace o dostupnosti dokumentu:
Dokument je dostupný v příslušném ústavu Akademie věd ČR. Původní záznam: http://hdl.handle.net/11104/0151535