Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering
Type
ArticleAuthors
Mabrok, MohamedRyan, Michael J.
Date
2017-01-09Online Publication Date
2017-01-09Print Publication Date
2017-01-01Permanent link to this record
http://hdl.handle.net/10754/622884
Metadata
Show full item recordAbstract
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.Citation
Mabrok MA, Ryan Michael J. (2017) Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering. Applied Mathematics & Information Sciences 11: 43–51. Available: http://dx.doi.org/10.18576/amis/110106.Publisher
Natural Sciences PublishingAdditional Links
http://naturalspublishing.com/Article.asp?ArtcID=12580ae974a485f413a2113503eed53cd6c53
10.18576/amis/110106