Arnaud Dury

Learn More
Multiagent applications will appear more and more in open, heterogeneous, evolving and distributed environments, such as the Internet. In order to run in such environments, agents will need to adapt themselves to new platforms and protocols. We propose a model of agents that are able to run, communicate and move between different multiagent platforms. This(More)
An approach for combined modeling of role-based access control systems (RBAC) together with business workflows is presented. The model allows to model check various security properties. Several techniques to confine the state explosion, which may occur during model checking are presented and experimentally evaluated using the model checker Spin. The(More)
Completely automatic generation of tests from formal executable test models of industrial size still looks like a “holy grail”, in spite of significant progress in model-based testing research and tool development. Realizing this, we follow a more down-to-earth approach by assuming that, even if a test model is available, the test expert(More)
To succeed, agents need to become part of legacy and future systems that are not agent oriented. That means agents must be able to run (and migrate) on servers that are not based on multi-agent platforms. Also, agents will have to be able to communicate using languages and protocols that are not dedicated to them, such as HTML. Last, agents need to be able(More)
We present an approach to the inference of automata models of web-based business applications using only execution traces recording the externally observable behavior of such applications. The proposed approach yields behavioral models representing both the control flow of an application and the data variations corresponding to different types of users. We(More)
In this paper we study the reachability analysis problem for timed systems specified in a hierarchical manner. First we provide a formal model, called hierarchical extended Mealy machine with timer, input and output events, as well with input, output and context variables. Then we present a synchronous semantics of the model. A main feature of this model is(More)