A generic architecture for human-aware ambient computing

Abstract

A reusable agent-based generic model is presented for a specific class of Ambient Intelligence pplications: those cases addressing human wellbeing and functioning from a human-like understanding. The model incorporates ontologies, knowledge and dynamic models from human-directed sciences such as psychology, social science, neuroscience and biomedical sciences. The model has been formally specified, and it is shown how for specific applications it can be instantiated by applicationspecific elements, thus providing an executable specification that can be used for prototyping. Moreover, it is shown how dynamic properties can be formally specified and verified against generated traces.