A discipline of mathematical systems modelling (Q2855318)

This monograph describes an approach to model highly connected, massively complex, networked systems. This approach combines the compositionality of formal specification -- using techniques from algebra, computation theory, logic, and probability theory -- with the control of the level of abstraction afforded by the the classical mathematical modelling method.NEWLINENEWLINE The first chapter provides a complete high-level view of the approach to systems modelling that is developed in the monograph. It provides both conceptual and philosophical background and introductions to the technical development. The remaining chapters develop the mathematical and computational aspects of our approach. Each chapter develops a specific mathematical or computational component, clearly integrated into the overall development. Examples, including ones based on industrial and commercial applications, are provided throughout. An implementation of a simulation engine (Core Gnosis) for executing models is available.