ASCOLA is a joint team (a so-called INRIA project-team) of the Computer Science Departement of École des Mines de Nantes and INRIA’s research center in Rennes. ASCOLA is also a team of Laboratoire Informatique de Nantes Atlantique (LINA, UMR CNRS 6241).
The research team addresses the general problem of evolving software by developing concepts, languages, implementations and tools for building software architectures based on components and aspects. Its long term goal is the development of new abstractions for the programming of software architectures, their representation in terms of expressive programming languages and their correct and efficient implementation.
We will mainly pursue the following objectives:
- New concepts, language support and tools for distributed applications, in particular, in order to cope with their crosscutting concerns, such as distribution itself, transactional behavior, security.
- A model that seamlessly integrates components and aspects, in particularly by means of a notion of interfaces that allows to decouple concrete components and aspects while supporting the analysis and enforcement of composition properties in such a hybrid setting.
- Investigate the relationship between domain-specific languages (DSLs), aspect languages and composition langages. We intend to harness similarities between these language classes for the development of more general language design/implementation techniques in order to provide new support for the transformational development of correct and efficient implementations from high-level programming abstractions.
- Study of the foundations of AOP and their compositional properties by means of formal semantics for aspects (and components) as well as new corresponding analysis, verification and validation techniques.
We will apply and thus validate our results in the context of (real-world) applications in the domains of enterprise information systems, service-oriented architectures (middleware, business components), cluster and grid programming, as well as pervasive systems.
Full offers here.