UE Architecture : components and services

Diplômes intégrant cet élément pédagogique :

Descriptif

The software crisis is due to the growing complexity of the software. Indeed, the software applications must follow the user needs and are thus constantly modified. Software developer groups should develop and change software to follow the changes at an increasing pace. In recent years, the software engineering area has provided new programming paradigm and tools to struggle against the software crisis: component-based and service-oriented programming. These approaches mainly propose to decouple the software elements, to reduce the number of elements to manipulated by a developer and to separate the various functional and non-functional concerns of the application. The course objective is to present the new software engineering approaches used by those paradigms, with both theorical and practical concerns.The outline is : - introducing software architecture: viewpoints, patterns and quality attributes - key features of software components and service-oriented architecture - formal notions of component composition, equivalence and refinement - components as labelled transitions systems: simulation, bisimulation, concurrent composition, the BIP component model - basic notions of model checking: Hennessy-Milner logic, elementary model checking - compositional verification: basic strategies and limitations - practical training with OSGi and iPOJO : design, implementation and deployment of a basic component-based application.

Pré-requis

- principles and practice of object-oriented programming - elementary set theory, mathematical induction and predicate logic - basic notions of theory of computation: finite automata, regular languages, partial orders and fixpoints

Compétences visées

- understand basic notions of sotfware architecture, key features of software components and software component models, key principles of service oriented architecture - understand key notions of component composition, component equivalence and refinement - understand basic principles and limits of model checking and compositional verification - working knowledge of component-based and service-oriented technologies

Informations complémentaires

Méthode d'enseignement : En présence
Lieu(x) : Grenoble - Domaine universitaire
Langue(s) : Anglais