MIC: An Agent Formal Environment

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. keywords: agent formal deployment environment, agentbased software system, ubiquitous software system.