Sciweavers

Share
FAABS
2004
Springer

Towards Timed Automata and Multi-agent Systems

10 years 11 days ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of temporal constraints) criteria. In this paper, we propose a global approach for the design of adaptive reactive systems, i.e., systems that dynamically adapt their architecture depending on the context. We use the timed automata formalism for the design of the agents’ behavior. This allows evaluating beforehand the properties of the system (regarding logical correctness and timeliness), thanks to model-checking and simulation techniques. This model is enhanced with tools that we developed for the automatic generation of code, allowing to produce very quickly a running multi-agent prototype satisfying the properties of the model. Keywords. agent oriented software engineering, formal models, agent oriented programming
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where FAABS
Authors Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
Comments (0)
books