Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/IE.2012.26 | Intelligent Environments |
Keywords | Field | DocType |
different level,intelligent environments,reaction rule,towards simple,effective formal methods,mathematical foundation,multiple description,tame complexity,intelligent environment system,formal framework,aerodynamics,formal methods,internet,knowledge based systems,formal specification,space exploration,bigraphs,shape | Intelligent environment,Bigraph,Abstraction,Computer science,Simulation,Knowledge-based systems,Formal specification,Human–computer interaction,Multiple description,Formal methods,The Internet | Conference |
ISBN | Citations | PageRank |
978-1-4673-2093-1 | 3 | 0.40 |
References | Authors | |
3 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Henson | 1 | 16 | 2.49 |
James Dooley | 2 | 107 | 10.04 |
Abdullah Al-Malaise Al-Ghamdi | 3 | 16 | 7.90 |
Luke Whittington | 4 | 13 | 2.01 |