Abstract de la publi numéro 4285

This work takes place in the field of software engineering for concurrent, distributed and mobile applications. We advocate the use of static analyses in order to validate actor-based software. These analyses are defined using the CAP calculus which allows to describe an application's concurrent architecture. These applications are then developed using the JavAct library whose structure is now derived from CAP. However, distribution and mobility introduce additional complexity in the applications. The purpose of this paper is to present DCAP and DJavAct which extend CAP and JavAct in order to describe the application's distributed and mobile architecture. This work relies on an extensive bibliographical synthesis of existing calculus. In particular, hierarchical managed domains and managed groups are introduced.