The goal of this paper is to advance an extensible theory of living systems using an approach to biomathematics and biocomputation that suitably addresses self-organized, self-referential and anticipatory systems with multi-temporal multi-agents. Our first step is to provide foundations for modelling of emergent and evolving dynamic multi-level organic complexes and their sustentative processes...

Purpose The resourcing of policing activity is characterised by a level of complexity, particularly where evaluating alternative policy options is concerned. In this paper, a case study using multimethodological modelling to compare alterative policy choice in a group context is outlined with respect to response-patrol officer deployment within a UK police force. Design/methodology/approach The...

There are many benefits for coordination of multiple suppliers when single supplier cannot satisfy buyer demands.  In addition, buyer needs to purchase multiple items in a real supply chain. So, a model that satisfies these requests has many advantages. We extend the existing approaches in the literature that assume all suppliers need to be put on a common replenishment cycle and each supplier ...

Autonomous software agents provide a promising solution to the needs of decentralised networked systems, able to adapt their behaviour in a complex and dynamically changing environment. Current agent-oriented software engineering methodologies tend to focus on different levels to realise such a self-adapting behaviour, namely the agent individual level and the global system level. The first req...

This paper presents a development process based on modelling, simulation, and code synthesis. The DCharts formalism, a Statecharts variant with extensions, is used to model a small application to demonstrate our approach: a traffic light. The development of this system highlights the use of various formalisms with appropriate supporting tools: AToM3, A Tool for Multi-formalism and Meta-Modellin...

Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many Model-Driven Engineering (MDE) projects, several researchers have identified the need for domain-specific metamodelling (DSMM) languages providing customised meta-modelling primitives aimed at the definition of modelling languages in a speci...

We propose a generalization of neural network sequence models. Instead of predicting one symbol at a time, our multi-scale model makes predictions over multiple, potentially overlapping multi-symbol tokens. A variation of the byte-pair encoding (BPE) compression algorithm is used to learn the dictionary of tokens that the model is trained with. When applied to language modelling, our model has ...

We propose a new framework for design under uncertainty based on stochastic computer simulations and multi-level recursive co-kriging. The proposed methodology simultaneously takes into account multi-fidelity in models, such as direct numerical simulations versus empirical formulae, as well as multi-fidelity in the probability space (e.g. sparse grids versus tensor product multi-element probabi...

This paper gives an insight into heterogeneous multi-processor embedded systems design process and key issues related to achieving time and cost efficient improvements. After giving an overview of existing design methodologies linked to various levels of abstraction at which design process can be viewed, system modelling process is discussed in a more detailed manner. Special accent is put on m...