Section: Overall Objectives
The team focuses its activities on distributed (Grid) computing and more specifically on the development of secure and reliable systems using distributed asynchronous objects (active objects - OA of OASIS). From this central point of focus, other research fields are considered in the project:
Semantics (first S of OASIS): formal specification of active objects with the definition of ASP (Asynchronous Sequential Processes) and the study of conditions under which this calculus becomes deterministic.
Internet (I of OASIS): Grid computing with distributed and hierarchical components.
Security (last S of OASIS): analysis and verification of programs written in such asynchronous models.
With these objectives, our approach is:
theoretical: we study and define models and object-oriented languages (semantic definitions, equivalences, analysis);
applicative: we start from concrete and current problems, for which we propose technical solutions;
pragmatic: we validate the models and solutions with full-scale experiments.
Internet clearly changed the meaning of notions like mobility and security. We believe that we have the skills to be significantly fruitful in this major application domain; more specifically, we aim at producing interesting results for embedded applications for mobile users, Grid computing, peer-to-peer intranet, electronic trade and collaborative applications.