Home
Members
Publications
Projects/Collab.
Software
Events
Open Positions
Contact
News
 |
 |
 |
News
Q3 2012
Project: European IP project A4Cloud starts
Project: European IP project A4Cloud starts
Q3 2012
Project: CominLabs project SecCloud starts
Project: CominLabs project SecCloud starts
June 12
Article: "Extending Type Theory with Forcing", LICS.12
Article: "Extending Type Theory with Forcing", LICS.12
June 12
Article: "Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing", Coordination.12
Article: "Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing", Coordination.12
28-29 May 12
Invited talk: P. Cointe, Symposium "Concurrent Objects and Beyond"
Invited talk: P. Cointe, Symposium "Concurrent Objects and Beyond"
13 May 12
Software: MSc student Ronan Cherrueau qualifies for final of 'Boost your code' competition
Software: MSc student Ronan Cherrueau qualifies for final of 'Boost your code' competition
12 Apr. 12
Invited talk: M. Ouederni, U. Nantes: "Designing Distributed Systems : When Choreography Realisability is decidable?"
Invited talk: M. Ouederni, U. Nantes: "Designing Distributed Systems : When Choreography Realisability is decidable?"
28 March 12
Article: "A monadic interpretation of execution levels and exceptions for AOP", Modularity: aosd'12
Article: "A monadic interpretation of execution levels and exceptions for AOP", Modularity: aosd'12
March 12
Journal article acc.: "Essential AOP: The A Calculus", ACM TOPLAS
Journal article acc.: "Essential AOP: The A Calculus", ACM TOPLAS
March 12
Journal article acc.: "Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS", CCPE
Journal article acc.: "Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS", CCPE
NEW! Open positions:
2 postdoc/engineer, 3 PhD positions
(updated 17 May 12)
Overview
ASCOLA is a joint team (a so-called INRIA project-team) of the Computer Science Departement of École des Mines 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.