Authors:
Kamil Ježek
and
Přemek Brada
Affiliation:
University of West Bohemia, Czech Republic
Keyword(s):
Software components, Extra-functional properties, Compatibility, Inter-component binding, Framework.
Related
Ontology
Subjects/Areas/Topics:
Applications and Software Development
;
Component-Based Software Engineering
;
Cross-Feeding between Data and Software Engineering
;
Enterprise Integration Strategies and Patterns
;
Formal Methods
;
Model-Driven Software Development
;
Requirements Engineering Frameworks and Models
;
Service-Oriented Software Engineering and Management
;
Simulation and Modeling
;
Software Engineering
;
Software Engineering Methods and Techniques
;
Software Quality Management
Abstract:
A lot of current approaches attempt to enrich software systems with extra-functional properties. These attempts become remarkably important with the gradual adoption of component-based programming. Typically, extrafunctional properties need to be taken into account in the phase of component binding and therefore included in the process of verifying component compatibility. Although a lot of research has been done, practical usage of extra-functional properties is still rather scarce. The main problem could be in a slow adaptability of specialized research models to rapidly changing industrial needs. We have designed a solution to this issue in the form of a modular framework which provides a formally sound yet practical means to declare, assign and evaluate extra-functional properties in the context of component-based applications. One of its strengths is applicability to a variety of industrial as well as research component models. This paper describes the models and algorithms of t
he framework and introduces a prototype implementation proving the concept.
(More)