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

Authors

Mohamed A. Mabrok, School of Engineering and Information Technology, University of New South Wales, Australian Defence Force Academy, Canberra ACT 2600, Australia.\\ Robotics, Intelligent Systems and Control Lab, Computer, Electrical and Mathematical Science and Engineering, King Abdullah University of Science and Technology (KAUST), Saudi ArabiaFollow
Michael J. Ryan, School of Engineering and Information Technology, University of New South Wales, Australian Defence Force Academy, Canberra ACT 2600, Australia.Follow

Author Country (or Countries)

Saudi Arabia

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.

Digital Object Identifier (DOI)

http://dx.doi.org/10.18576/amis/110106

Recommended Citation

A. Mabrok, Mohamed and J. Ryan, Michael (2017) "Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering," Applied Mathematics & Information Sciences: Vol. 11: Iss. 1, Article 6.
DOI: http://dx.doi.org/10.18576/amis/110106
Available at: https://digitalcommons.aaru.edu.jo/amis/vol11/iss1/6