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

Handle URI:
http://hdl.handle.net/10754/622884
Title:
Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering
Authors:
Mabrok, Mohamed; Ryan, Michael J.
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.
KAUST Department:
Computer, Electrical and Mathematical Sciences and Engineering (CEMSE) Division
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 Publishing
Journal:
Applied Mathematics & Information Sciences
Issue Date:
9-Jan-2017
DOI:
10.18576/amis/110106
Type:
Article
ISSN:
1935-0090; 2325-0399
Additional Links:
http://naturalspublishing.com/Article.asp?ArtcID=12580
Appears in Collections:
Articles; Computer, Electrical and Mathematical Sciences and Engineering (CEMSE) Division

Full metadata record

DC FieldValue Language
dc.contributor.authorMabrok, Mohameden
dc.contributor.authorRyan, Michael J.en
dc.date.accessioned2017-02-15T08:32:14Z-
dc.date.available2017-02-15T08:32:14Z-
dc.date.issued2017-01-09en
dc.identifier.citationMabrok 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.en
dc.identifier.issn1935-0090en
dc.identifier.issn2325-0399en
dc.identifier.doi10.18576/amis/110106en
dc.identifier.urihttp://hdl.handle.net/10754/622884-
dc.description.abstractIn 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.en
dc.publisherNatural Sciences Publishingen
dc.relation.urlhttp://naturalspublishing.com/Article.asp?ArtcID=12580en
dc.subjectCategory theoryen
dc.subjectModel-based systems engineeringen
dc.titleCategory Theory as a Formal Mathematical Foundation for Model-Based Systems Engineeringen
dc.typeArticleen
dc.contributor.departmentComputer, Electrical and Mathematical Sciences and Engineering (CEMSE) Divisionen
dc.identifier.journalApplied Mathematics & Information Sciencesen
dc.contributor.institutionSchool of Engineering and Information Technology, University of New South Wales, Australian Defence Force Academy, Canberra, ACT, 2600, Australiaen
kaust.authorMabrok, Mohameden
All Items in KAUST are protected by copyright, with all rights reserved, unless otherwise indicated.