Research Repository

Towards Simple and Effective Formal Methods for Intelligent Environments

Henson, M and Dooley, J and Al Malaise Al Ghamdi, A and Whittington, L (2012) 'Towards Simple and Effective Formal Methods for Intelligent Environments.' In: UNSPECIFIED, (ed.) Proceedings of the Eighth International Conference on Intelligent Environments. Institute of Electrical and Electronics Engineers (IEEE), 251 - 258. ISBN 9781467320931

Full text not available from this repository.


In this paper we motivate and illustrate the use of bigraphs as a formal framework and methodology for the description, design and analysis of intelligent environment systems. Through a series of examples, we provide an overview of bigraphs, their composition, their evolution under reaction rules, and their refinement. We argue that bigraphs offer several advantages: first, they are intuitive and lie close to the topic of investigation, second, they are relatively simple to understand and deploy (in contrast to the systems they may analyse), third, they offer a means to tame complexity through multiple description at different levels of abstraction, fourth, and finally, the system itself can be usefully used without having to engage with its mathematical foundations.

Item Type: Book Section
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science and Health > Computer Science and Electronic Engineering, School of
Depositing User: Jim Jamieson
Date Deposited: 12 Feb 2013 11:15
Last Modified: 17 Aug 2017 18:03

Actions (login required)

View Item View Item