A. Olaru, A. M. Florea, and A. , El Fallah-Seghrouchni, A context-aware multi-agent system as a middleware for ambient intelligence, pp.429-443, 2013.

A. Fallah-seghrouchni, A. M. Florea, and A. Olaru, Multi-Agent Systems: A Paradigm to Design Ambient Intelligent Applications, IDC, pp.3-9, 2010.
DOI : 10.1007/978-3-642-15211-5_1
URL : https://hal.archives-ouvertes.fr/hal-00661860

A. Fallah-seghrouchni and A. Suna, CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents, PROMAS, pp.90-110, 2003.
DOI : 10.1007/978-3-540-25936-7_5

M. E. Bratman, D. J. Israel, and M. E. Pollack, Plans and resource-bounded practical reasoning, Computational Intelligence, vol.2, issue.3, pp.349-355, 1988.
DOI : 10.1016/0004-3702(84)90053-5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.3487

J. Doyle, RATIONALITY AND ITS ROLES IN REASONING, Computational Intelligence, vol.18, issue.11, pp.376-416, 1992.
DOI : 10.1177/0272989X8900900407

A. S. Rao and M. P. Georgeff, Modeling rational agents within a bdi-architecture, KR, pp.473-484, 1991.

Y. Shoham, Agent-oriented programming, Artificial Intelligence, vol.60, issue.1, pp.51-92, 1993.
DOI : 10.1016/0004-3702(93)90034-9

A. S. Rao and M. P. Georgeff, An abstract architecture for rational agents, KR, pp.439-449, 1992.

A. Chaouche, A. Fallah-seghrouchni, J. Ilié, and D. Saidouni, Towards a MAS approach to model Ambient Systems, 8th NII-LIP6 WorkShops on Multi-Agent and Distributed Systems, 2013.

J. Odell, H. Parunak, and B. Bauer, Extending UML for agents, Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National Conference on Artificial Intelligence, 2000.

G. Schreiber, B. J. Wielinga, H. Akkermans, W. V. De-velde, and A. Anjewierden, CML: The commonKADS conceptual modelling language, EKAW, pp.1-25, 1994.
DOI : 10.1007/3-540-58487-0_1

T. M. Maarouk, D. Sadouni, and M. Khergag, Towards a Calculus for Distributed, Real-Time and Mobile Systems, Journal of Software, vol.7, issue.3, pp.564-574, 2012.
DOI : 10.4304/jsw.7.3.564-574

A. Fallah-seghrouchni, S. Haddad, and H. Mazouzi, Protocol Engineering for Multi-agent Interaction, Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering, MAAMAW '99, pp.89-101, 1999.
DOI : 10.1007/3-540-48437-X_8

S. Kouah, D. E. Sadouni, and J. M. Ilie, Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems, Journal of Software, vol.8, issue.3, pp.587-602, 2013.
DOI : 10.4304/jsw.8.3.587-602

D. Dahmani, J. Ilié, and M. Ioualalen, Reachabilty Analysis For Recursive Petri Nets With Shared Places, in: International Workshop on Abstractions for Petri nets Analysis and Other Models of Concurrency (APNOC'2009), in conjunction with the 30th Int. Conf. on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets, pp.13-65, 2009.

P. R. Cohen and H. J. Levesque, Intention is choice with commitment, Artificial Intelligence, vol.42, issue.2-3, pp.213-261, 1990.
DOI : 10.1016/0004-3702(90)90055-5

A. S. Rao and M. P. Georgeff, Decision procedures for BDI logics, Journal of Logic and Computation, vol.8, issue.3, pp.293-342, 1998.
DOI : 10.1093/logcom/8.3.293

A. S. Rao and M. Georgeff, BDI agents: from theory to practice, First International Conference on Multi-Agent Systems (ICMAS-95), pp.312-319, 1995.

M. P. Georgeff, B. Pell, M. E. Pollack, M. Tambe, and M. Wooldridge, The Belief-Desire-Intention Model of Agency, ATAL, pp.1-10, 1998.
DOI : 10.1007/3-540-49057-4_1

M. Inverno, D. Kinny, M. Luck, and M. Wooldridge, A formal specification of dMARS, ATAL, pp.155-176, 1997.
DOI : 10.1007/BFb0026757

M. E. Pollack, The uses of plans, Artificial Intelligence, vol.57, issue.1, pp.43-68, 1992.
DOI : 10.1016/0004-3702(92)90104-6

M. E. Pollack and J. F. Horty, Ther's more to life than making plans: Plan management in dynamic, multi-agent environments, AI Magazine, vol.20, pp.71-84, 1999.

M. Dastani and L. W. Van-der-torre, An Extension of BDICTL with Functional Dependencies and Components, LPAR, pp.115-129, 2002.
DOI : 10.1007/3-540-36078-6_8

A. S. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language, Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, 1996.
DOI : 10.1007/BFb0031845

K. V. Hindriks, F. S. De-boer, W. Van-der-hoek, and J. C. Meyer, Agent programming in 3apl, Autonomous Agents and Multi-Agent Systems, vol.2, issue.4, pp.357-401, 1999.
DOI : 10.1023/A:1010084620690

E. Brinksma, LOTOS -A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, 1988.

J. Sudeikat, L. Braubach, A. Pokahr, W. Lamersdorf, and W. Renz, Validation of BDI Agents, Proceedings of the 4th international conference on Programming multi-agent systems, ProMAS'06, pp.185-200, 2007.
DOI : 10.1007/978-3-540-71956-4_11