Informatics and Applications
2018, Volume 12, Issue 1, pp 95104
CATEGORY THEORY AS A MATHEMATICAL PRAGMATICS OF MODELBASED SYSTEMS ENGINEERING
Abstract
Mathematical device built upon the category theory is developed which was previously proposed to formally describe and rigorously explore procedures of employing models in engineering that constitute the pragmatics of modelbased systems engineering. 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. Categorytheoretical methods for solving direct and inverse pragmatic problems of assembling systems are proposed and explored. The key role of the diagram monad is revealed. Special attention is paid to the problem of recovering the configuration of a given system, taking into account technological limitations of the assembling means and procedures. A number of key systems engineering concepts are matched with relevant constructions of the category theory
[+] References (20)
 Gianni, D., A. D'Ambrogio, and A. Tolk, eds. 2014. Modeling and simulationbased systems engineering handbook. London: CRC Press. 513 p.
 Selic, B. 2003. The pragmatics of modeldriven development. IEEE Software 20(5):1925.
 Levenchuk, A.I. 2015. Sistemnoinzhenernoe myshlenie [Systems engineering thinking]. Moscow: TechInvestLab. 305 p.
 Kovalyov, S. P 2017. Metody teorii kategoriy v model'no orientirovannoy sistemnoy inzhenerii [Methods of category theory in modelbased systems engineering]. Informatika i ee Primeneniya  Inform. Appl. 11(3):4250.
 IEC 813461: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. Applied general systems research: Recent
development and trends. Ed. G. J. Klir. NATO conference ser. Boston, MA: Springer U.S. 5:257270.
 Diskin, Z., S. Kokaly, and T. Maibaum. 2013. Mapping aware megamodeling: Design patterns and laws. Software language engineering: 6th Conference (International) Proceedings. Eds. M. Erwig, R. F. Paige, and E. Van Wyk. Lecture notes in computer science ser. Springer. 8225:322343.
 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.
 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:3346.
 Neema, S., J. Sztipanovits, G. Karsai, and K. Butts. 2003. Constraintbased designspace exploration and model synthesis. 3rd Conference (International) on Embedded Software Proceedings. Eds. R. Alur and I. Lee. Lecture notes in computer science ser. Springer. 2855:290305.
 Vanherpen, K., J. Denil, P. De Meulenaere, and
H. Vangheluwe. 2014. Designspace exploration in MDE: An initial pattern catalogue. 1st Workshop (International) on Combining Modelling with Search and ExampleBased Approaches Proceedings. Eds. R. Paige, M. Kessentini, P. Langer, and M. Wimmer. CEUR Workshop Proceedings ser. Valencia, Spain. 1340:4251.
 GOST 14.20583. 2009. Tekhnologichnost' konstruktsii izdeliy. Terminy i opredeleniya [Technological efficiency of products design. Terms and definitions]. Moscow: Standardinform Publs. 22 p.
 Altshuller, G. 1984. Creativity as an exact science: The theory of the solution of inventive problems. Amsterdam: Gordon and Breach Science Publs. 324 p.
 Guitart, R., and L. van den Bril. 1977. Decompositions et laxcompletions. Cah. Topologie Geometrie Differentielle Categoriques 18(4):333407.
 Adamek, J., H. Herrlich, and G.E. Strecker. 1990. Abstract and concrete categories. New York, NY: John Wiley. 507 p.
 Mac Lane, S. 1978. Categories for the working mathematician. New York, NY: Springer. 317 p.
 Andryushkevich, S. K., S. S. Zhuravlev, E. P. Zolotukhin,
S. P. Kovalyov, V. V. Okol'nishnikov, and S. V. Rudometov. 2010. Razrabotka sistemy monitoringa s ispol'zovaniem imitatsionnogo modelirovaniya [Development of a monitoring system using simulation]. Problemy informatiki [Problems of Informatics] 4:6575.
 Baez, J., and M. Stay. 2011. Physics, topology, logic and computation: A Rosetta stone. New structures for physics. Ed. B. Coecke. Lecture notes in physics ser. Springer. 813:95172.
 Kovalev, S. P. 2013. Systems analysis of life cycle of large scale informationcontrol systems. Automat. Rem. Contr. 74(9):15101524.
 Gross, J., A. Chlipala, and D. I. Spivak. 2014. Experience implementing a performant categorytheory library in Coq. 5th Conference (International) on Interactive Theorem Proving Proceedings. Eds. G. Klein and R. Gamboa. Lecture notes in computer science ser. Springer. 8558:275291.
[+] About this article
Title
CATEGORY THEORY AS A MATHEMATICAL PRAGMATICS OF MODELBASED SYSTEMS ENGINEERING
Journal
Informatics and Applications
2018, Volume 12, Issue 1, pp 95104
Cover Date
20180330
DOI
10.14357/19922264180112
Print ISSN
19922264
Publisher
Institute of Informatics Problems, Russian Academy of Sciences
Additional Links
Key words
modelbased systems engineering; pragmatics; megamodel; category theory; configuration recovery problem; diagram monad
Authors
S. Kovalyov
Author Affiliations
Institute of Control Sciences, Russian Academy of Sciences, 65 Profsoyuznaya Str., Moscow 117997, Russian Federation
