College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Algorithmics
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
IfColog series in Computational Logic
Journals
Law and Society
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
Studies in Talmudic Logic
Systems
Systems Science
Systems Thinking
Systems Engineering
Software Engineering
Texts in Mathematics
Tributes
Other
Digital Downloads
Information for authors
About us
Search for Books
 



Systems


Back

A Discipline of Mathematical Systems Modelling

Matthew Collinson, Brian Monahan, David Pym

The mathematization of the sciences, of engineering, and of economics has been an outstandingly successful intellectual enterprise, enabling the modern world. As the operations of the world become more and more dependent on highly interconnected, massively complex, networked systems of computational devices, the need to develop a mathematical understanding of their properties and behaviours is increasingly pressing.

Our approach, described in this monograph, is to combine the compositionality of formal specification –– using techniques from algebra, computation theory, logic, and probability theory –– with the control of level of abstraction afforded by the classical mathematical modelling method.

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.

Contents
- Mathematical Systems Modelling
- A Calculus of Resources and Processes
- A Modal Logic of Resources and Processes
- The (Stochastic) Environment
- Adding Location to the Calculus
- Adding Location to the Logic
- Core Gnosis and Its Semantics
- Model Checking the Modal Logic

See inside

6 March 2012

978-1-904987-50-5

Buy from Amazon: UK   US   






© 2005–2017 College Publications / VFH webmaster