Design Methodology - Problems that we encountered, over the years, with system design methods, provided the original motivation for our project; we documented these problems in Motivation; this original motivation remains a major focus of our work.
Evolution and Learning - Our modelling style sweeps away a number of barriers found in most programming languages and design methodologies; it removes any distinction between programs and data; in addition, it integrates identifiers (used within programs to identify data and other programs) into the world of programs and data; everything becomes a first class citizen in our modelling style. We have yet to fully explore how this freedom can be exploited in the evolution of systems and in the development of learning systems.
Design Methodology - Some of us have been involved in the development and use of process support systems; we would like to explore the relevance of our modelling style in this area; it is clear that more adaptive and intelligent support is needed here, as the current robotic and inflexible systems are failing in many environments.
Expressing Semantics - Our modelling style, from the start, aimed to bridge the gap between existing, inconsistent, design methods. However, we have, since then, shown that the style is also capable of capturing the many different computational capabilities that are present in high level languages and in the lambda calculus. This has made us ponder if there is, lurking within our modelling style, another useful way of formalising the semantics of high level languages. This raises the question of how our modelling style relates to exising approaches to such formalisation.
Support in Hardware - It would be interesting to explore hardware support for our modelling style as well as modelling hardware (e.g. pipe lining) using it.
Biological Systems - Similar insights might be gained by modelling biological (and in particular neural) processes.
Graphical Notations - It would be good to have graphical notations to support our modelling style.