Informatics and Applications
2017, Volume 11, Issue 3, pp 42-50
METHODS OF CATEGORY THEORY IN MODEL-BASED SYSTEMS ENGINEERING
Abstract
A mathematical device based on the category theory is proposed to formally describe and rigorously explore procedures of employing models in engineering that constitute the contents of model-based systems engineering (MBSE). The essence of the device consists in mathematical representation of assembly drawings (megamodels of systems) as diagrams in categories whose objects are models, and morphisms represent actions associated with assembling system models from component models. The soundness of the device is justified on the basis of standards that govern description of the systems’ structure such as IEC 81346. Category-theoretical methods for solving a number of practical problems of assembling systems are proposed and explored. Examples of solving such problems are provided in categories that represent two key application areas for MBSE: geometric modeling of complex shapes and discrete-event simulation of the behavior of industrial systems.
[+] References (16)
- Gianni, D., A. D’Ambrogio, and A. Tolk, eds. 2014. Modeling and simulation-based systems engineering handbook. London: CRC Press. 513 p.
- Kovalyov, S. P., and A.V. Tolok. 2015. Primenenie model’no-orientirovannogo podkhoda v upravlenii zhiznennym tsiklom tekhnicheskikh izdeliy [Applying model-based approach to product lifecycle management]. Informatsionnye tekhnologii v proektirovanii i proizvodstve [Information Technologies in Design and Industry] 2(158):3—9.
- Levenchuk A. I. 2015. Sistemnoinzhenernoe myshlenie [Systems engineering thinking]. Moscow: TechInvestLab. 305 p.
- IEC 81346-1:2009. 2009. Industrial Systems, Installations and Equipment and Industrial Products — Structuring Principles and Reference Designations — Part 1: Basic Rules. Geneva: ISO. 168 p.
- Ginali, S., and J. Goguen. 1978. A categorical approach to general systems. Conference (International) on Applied General Systems Research Proceedings. Ed. G. J. Klir. NATO conference ser. Plenum Press. 5:257—270.
- Mabrok, M. A., and M. J. Ryan. 2017. Category theory as a formal mathematical foundation for model-based systems engineering. Appl. Math. Inform. Sci. 11(1):43—51.
- Kovalyov, S. P. 2016. Category-theoretic approach to software systems design. J. Math. Sci. 214(6):814—853.
- Bezivin, J., F Jouault, P. Rosenthal, and P. Valduriez. 2005. Modeling in the large and modeling in the small. Model Driven Architecture: European MDA Workshops on Foundations and Applications Proceedings. Eds. U. Afimann, M. Aksit, and A. Rensink. Lecture notes in computer science ser. Springer. 3599:33—46.
- Diskin, Z., S. Kokaly, and T. Maibaum. 2013. Mapping-aware megamodeling: Design patterns and laws. 6th Conference (International) on Software Language Engineering Proceedings. Eds. M. Erwig, R. F. Paige, and E. Van Wyk. Lecture notes in computer science ser. Springer. 8225:322—343.
- Requicha, A. G. 1980. Representations for rigid solids: Theory, methods, and systems. ACM Comput. Surv. 12(4):437—464.
- Kadar, B., A. Pfeiffer, and L. Monostori. 2004. Discrete event simulation for supporting production planning and scheduling decisions in digital factories. 37th CIRP Seminar (International) on Manufacturing Systems Proceedings. Budapest. 444—448.
- Giesa, T, D. I. Spivak, andM. J. Buehler. 2012. Category theory based solution for the building block replacement problem in materials design. Adv. Eng. Mater. 14(9):810— 817.
- Kossiakoff, A., W. N. Sweet, S. Seymour, and S. M. Biemer. 2011. Systems engineering principles and practice. 2nd ed. New York, NY: John Wiley. 560 p.
- Mac Lane, S. 1978. Categories for the working mathematician. New York, NY: Springer. 317 p.
- Pratt, V. R. 1986. Modeling concurrency with partial orders. Int. J. Parallel Prog. 15(1):33—71.
- Kovalyov, S. P. 2013. Semantika aspektno-orientirovannogo modelirovaniya dannykh i protsessov [Semantics of aspect-oriented modeling of data and processes]. Informatika i ee Primeneniya — Inform. Appl. 7(3):70—80.
[+] About this article
Title
METHODS OF CATEGORY THEORY IN MODEL-BASED SYSTEMS ENGINEERING
Journal
Informatics and Applications
2017, Volume 11, Issue 3, pp 42-50
Cover Date
2017-09-30
DOI
10.14357/19922264170305
Print ISSN
1992-2264
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
model-based systems engineering; megamodel; category theory; colimit
Authors
S. P. Kovalyov
Author Affiliations
Institute of Control Sciences, Russian Academy of Sciences, 65 Profsoyuznaya Str., Moscow 117997, Russian Federation
|