Methods and models for consistency verification of advanced component-based applications
The increasing complexity of component applications would benefit from more comprehensive component models, service composition approaches need to ensure application consistency through run-time changes in component environment and bindings.
Project overview
- Name: Methods and models for consistency verification of advanced component-based applications
- Funded by: Grant Agency of the Czech Republic (GAČR)
- Number: 201/08/0266
- Duration: 2011 - 2013
- Partners:
- Total grant support: CZK 6.2 million (EUR ~0.2 million)
- Staff at UWB: 2 senior researchers, 2 junior researchers, 1-3 PhD students
- Contact: Premek Brada
Project synopsis
The component based programming approach was proven to greatly simplify the development process, especially in the context of enterprise and evolving systems. Despite successes in the field and increasing industrial adoption of component based programming techniques, fundamental issues of many stages of the development process are not well understood and have not been explored yet.
This project focuses on research of these areas – the key challenges to address are mainly related to enhancing the quality of component based applications with respect to user requirements:
- devising a process of automated deriving components’ functional design and extra-functional features from natural language descriptions (e.g. UML use cases),
- maintaining consistency of applications in context of dynamic systems with frequent component updates by combination of static verification methods and component based simulation,
- develop universal methods for easing of coding phases of component software development based on feature-oriented programming (FOP) techniques.
© Copyright 2002 - 2013 KIV/DCSE. All Rights Reserved.
website feedback