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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126(2), 183–236 (1994)
Arai, T., Stolzenburg, F.: Multiagent systems specification by UML statecharts aiming at intelligent manufacturing. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) AAMAS 2000 and AAMAS 2002. LNCS, vol. 2636, pp. 11–18. Springer, Heidelberg (2003)
Attoui, A.: Les systmes multi-agents et le temps-rel, Eyrolles (1997)
Belleifemine, F., Caire, G., Poggi, A., Rimassa, G.: JADE - A White Paper (2003), http://sharon.cselt.it/projects/jade/papers/WhitePaperJADEEXP.pdf
Douglass, B.P.: Real-Time UML: Developing Efficient Objects for Embedded Systems. Addison-Wesley-Longman, Reading (1998)
Elmstrm, R., Lintulampi, R., Pezze, M.: Giving Semantics to SA/RT by Means of High-Level Timed Petri Nets. RTS J. 5(2/3), 249–271 (1993)
Groupe AFCET Systmes Logiques. Pour une reprsentation normalise du cahier des charges d’un automatisme logique. In: RAII, Vol. 61 & 62 (1977)
Harel D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8 (1987)
Harel, D., Pnueli, A., Schmidt, J.P., Sherman, R.: On the Formal Semantics of Statecharts. In: LICS 1987, pp. 54–64 (1987)
Hatley, D.J., Pirbhai, I.: Strategies for Real Time System Specification. Dover Press (1987)
Horstmann, S., Cornell, G. (eds.): Core Java 2, vol. 1 & 2. Prentice Hall, Englewood Cliffs (1999)
Hutzler, G., Gortais, B., Joly, P., Orlarey, Y., Zucker, J.-D.: J’ai dans avec machine ou comment repenser les rapports entre l’homme et son environnement. In: JFIADSMA 2002, pp. 147–150. Herms Science (2002)
Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. Springer International Journal of Software Tools for Technology Transfer 1(1-2), 134–152 (1998)
Occello, M., Demazeau, Y., Baeijs, C.: Designing Organized Agents for Cooperation with Real-Time Constraints. In: Drogoul, A., Fukuda, T., Tambe, M. (eds.) CRW 1998, vol. 1456, pp. 25–37. Springer, Heidelberg (1998)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1991)
Soler, J., Julian, V., Rebollo, M., Carrascosa, C., Botti, V.: Towards a Real-Time Multi-Agent System Architecture. In: COAS, AAMAS 2002 (2002)
Ward, P., Mellor, S.: Structured Development for Real-Time Systems. Prentice-Hall, Englewood Cliffs (1985)
Wolfe, V.F., DiPippo, L.C., Cooper, G., Johnston, R., Kortman, P., Thuraisingham, B.: Real-Time CORBA. IEEE TPDS 11(10) (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hutzler, G., Klaudel, H., Wang, D.Y. (2004). Towards Timed Automata and Multi-agent Systems. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds) Formal Approaches to Agent-Based Systems. FAABS 2004. Lecture Notes in Computer Science(), vol 3228. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30960-4_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-30960-4_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24422-6
Online ISBN: 978-3-540-30960-4
eBook Packages: Computer ScienceComputer Science (R0)