Year of certification: 2009
Analyzes Composition of Left again Components and Services
INRIA Sophia Antipolis
ACCORDS is a fundamental research project, aiming at improving software technology quality in the field of large scale service architecture (SOA). With this intention, we propose methods innovating, and ambitious, for the implementation of algorithms allowing the automatic checking (model-checking) behavior of this kind of applications distributed. We will seek to define and establish algorithms allowing to check properties of systems to infinite number of states, in particular combining not-limited channels of communication, integer variables, and parameterized topologies. Our tools will be confronted with large cases studies.