MIC: An Agent Formal Environment
Abdelkader Gouaïch, Yves Guiraud, Fabien Michel · 2003
Ubiquitous systems can be considered as good challenges and case studies for the reliable development of open, cooperative and mobile systems in a globally uncontrolled environment. Furthermore, the complexity of these systems could constitute a real barrier to classical engineering approaches and validate the foundations of agent based computing. In this paper, we have abstracted a composable multi-agent system environment in an algebraic structure where mobile, interacting and autonomous entities evolve. We present also, a simple ubiquitous application developed according to the abstract model principles.