This paper proposes a multi-agent system architecture for a service ac- quiring system. The proposed system is integrated in an ambient intelligent system, AmIHomCare, a smart house who supervises elderly people in their homes and also helps people during their daily activities. The service acquiring system is specified and validated using a formal specification method - Event B.
['Irina Mocanu', 'Lorina Negreanu', 'Adina Magda Florea']
A Multi-Agent System for Service Acquiring in Smart Environments