Original title:
Slicing behavior specification of components
Translated title:
Slicing specifikace chování komponent
Authors:
Šerý, O. ; Plášil, František Document type: Research reports
Year:
2007
Language:
eng Series:
Technical Report, volume: 2007/1 Abstract:
[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í.
Keywords:
behavior protocols; formal verification; slicing Project no.: CEZ:AV0Z10300504 (CEP), GA201/06/0770 (CEP) Funding provider: GA ČR
Institution: Institute of Computer Science AS ČR
(web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences. Original record: http://hdl.handle.net/11104/0151535