Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering

Mohamed Mabrok, Michael J. Ryan

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

Abstract

In this paper, we introduce Category Theory as a formal foundation for model-based systems engineering. A generalised view of the system based on category theory is presented, where any system can be considered as a category. The objects of the category represent all the elements and components of the system and the arrows represent the relations between these components (objects). The relationship between these objects are the arrows or the morphisms in the category. The Olog is introduced as a formal language to describe a given real-world situation description and requirement writing. A simple example is provided.
Original languageEnglish (US)
Pages (from-to)43-51
Number of pages9
JournalApplied Mathematics & Information Sciences
Volume11
Issue number1
DOIs
StatePublished - Jan 9 2017

Fingerprint

Dive into the research topics of 'Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering'. Together they form a unique fingerprint.

Cite this