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

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.