ModelAge will provide intermediary results consisting of partial formal models of agents. These partial models will contain unspecified parts, allowing the later introduction of more specific models.
For instance, most models of concurrency leave the notion of state of an agent completely open; on the contrary, models used in data base theory have a detailed (although overly limitative in our approach) description of the internal state of a data base component. The data base component can itself be considered as beliefs, part of a representation of mental state: this state is an approximate representation of the world, and the basis of decisions of the computer system (or even of a human organisation).
The final result will be a unique formal model suitable to a variety of fields of Information Technology. This model will be described in detail in a book prepared during the last year of the project.