Category-theoretic approach to software systems design

S. P. Kovalyov

Fundamentalʹnaâ i prikladnaâ matematika, Tome 19 (2014) no. 3, pp. 111-170.

Résumé

Category theory is applied to the problem of representing heterogeneous software engineering technologies in a unified form suitable for their integration and coordination within the common software systems engineering cycle. Special attention is paid to modern technologies such as model-driven engineering and aspect-oriented programming. Universal category-theoretic semantic models of these technologies are constructed. A novel method of separation of concerns by explicating the aspectual structure of formal models of programs is proposed. We construct and analyze formal technologies (architecture schools) for designing technologies that comprise a mathematical basis for model-driven engineering.

Bibliographie

[1] Vasilev S. N., “Formalizatsiya znanii i upravlenie na osnove pozitivno-obrazovannykh yazykov”, Inform. tekhnol. i vychisl. sist., 2008, no. 1, 3–17

[2] Informatsionnaya tekhnologiya. Otsenka programmnoi produktsii. Kharakteristiki kachestva i rukovodstva po ikh primeneniyu, GOST R ISO 9126-93, Gosstandart Rossii, M., 1994

[3] Kovalëv S. P., “Formalnyi podkhod k aspektno-orientirovannomu modelirovaniyu stsenariev”, Sib. zhurn. industr. mat., 13:3 (2010), 30–42 | MR | Zbl

[4] Kovalëv S. P., “Diagrammnoe opisanie kompleksirovaniya programmnykh sistem”, Vestn. Novosibirsk. gos. un-ta. Ser. Matematika, mekhanika, informatika, 12:3 (2012), 103–126 | Zbl

[5] Kovalëv S. P., “Povyshenie effektivnosti protsessov proektirovaniya bolshikh informatsionno-upravlyayuschikh sistem”, Tr. XII Vserossiisk. sovesch. po problemam upravleniya VSPU-2014, IPU RAN, M., 2014, 9291–9300

[6] Maklein S., Kategorii dlya rabotayuschego matematika, Fizmatlit, M., 2004

[7] Sommervill I., Inzheneriya programmnogo obespecheniya, Vilyams, M., 2002

[8] Adámek J., Herrlich H., Strecker G., Abstract and Concrete Categories, Wiley and Sons, New York, 1990 | MR | Zbl

[9] Aizenbud-Reshef N., Nolan B., Rubin J., Shaham-Gafni Y., “Model traceability”, IBM Systems J., 45:3 (2006), 515–526 | DOI

[10] Allen R. J., Garlan D., “A formal basis for architectural connection”, ACM Trans. Software Engineering Methodology, 6:3 (1997), 213–249 | DOI

[11] Brichau J., Chitchyan R., Rashid A., D'Hondt T., “Aspect-oriented software development: an introduction”, Wiley Encyclopedia of Computer Science and Engineering, v. 1, Wiley and Sons, New York, 2008, 188–198

[12] Brunette C., Talpin J.-P., Gamatié A., Gautier T., “A metamodel for the design of polychronous systems”, J. Logic Algebraic Programming, 78:4 (2009), 233–259 | DOI | Zbl

[13] Carboni A., Janelidze G., Kelly G. M., Paré R., “On localization and stabilization for factorization systems”, Appl. Categorical Structures, 5 (1997), 1–58 | DOI | MR | Zbl

[14] Diskin Z., Maibaum T. S. E., “Category theory and model-driven engineering: from formal semantics to design patterns and beyond”, Proc. 7th Workshop ACCAT'2012, Electronic Proc. Theor. Comput. Sci., 93, 2012, 1–21 | DOI

[15] Douence R., Fradet P., Südholt M., “Trace-based aspects”, Aspect-Oriented Software Development, Addison-Wesley, Reading, 2004, 201–218

[16] Eclipse Modeling Project, , The Eclipse Foundation, 2014 http://www.eclipse.org/modeling/

[17] Egyed A., Grünbacher P., Heindl M., Biffl S., “Value-based requirements traceability: lessons learned”, Design Requirements Engineering: A Ten-Year Perspective, Design Requirements Workshop (Cleveland, OH, USA, June 3–6, 2007), Revised and Invited Papers, Lect. Notes Business Inform. Processing, 14, Springer, Berlin, 2009, 240–257 | DOI

[18] Fiadeiro J. L., Lopes A., Wermelinger M., “A mathematical semantics for architectural connectors”, Generic Programming, Lect. Notes Comput. Sci., 2793, Springer, Berlin, 2003, 190–234

[19] Goguen J., “Categorical foundations for general systems theory”, Advances in Cybernetics and Systems Research, Transcripta Books, London, 1973, 121–130

[20] Goguen J., “A categorical manifesto”, Math. Struct. Comput. Sci., 1:1 (1991), 49–67 | DOI | MR | Zbl

[21] Gotel O., Finkelstein A., “An analysis of the requirements traceability problem”, Proc. 1st Int. Conf. on Requirements Engineering, Colorado Springs, 1994, 94–101 | DOI

[22] Graaf B., van Deursen A., “Visualisation of domain-specific modelling languages using UML”, Proc. 14th IEEE Int. Conf. on the Engineering of Computer-Based Systems ECBS'2007, Tucson, 2007, 586–595

[23] Groher I., Völter M., “Aspect-oriented model-driven software product line engineering”, Transactions on Aspect-Oriented Software Development VI, Lect. Notes Comput. Sci., 5560, Springer, Berlin, 2009, 111–152 | DOI

[24] Guitart R., van den Bril L., “Décompositions et lax-complétions”, Cahiers de Topologie et Géométrie Différentielle Catégoriques, 18:4 (1977), 333–407 | MR | Zbl

[25] Hanenberg S., Unland R., “Roles and aspects: similarities, differences, and synergetic potential”, Object-Oriented Information Systems, 8th Int. Conf. OOIS 2002 (Montpellier, France, September 2–5, 2002), Proceedings, Lect. Notes Comput. Sci., 2425, Springer, Berlin, 2002, 507–520 | DOI | Zbl

[26] Jouault F., Vanhooff B., Bruneliere H., Doux G., Berbers Y., Bezivin J., “Inter-DSL coordination support by combining megamodeling and model weaving”, Proc. 2010 ACM Symp. on Appl. Computing, Sierre, 2010, 2011–2018 | DOI

[27] Kannenberg A., Saiedian H., “Why software requirements traceability remains a challenge”, J. Defense Software Engineering, 2009, July/August, 14–19

[28] Kiczales G., Lamping J., Mendhekar A., Maeda C., Lopes C. V., Loingtier J.-M., Irwin J., “Aspect-oriented programming”, ECOOP'97 – Object-Oriented Programming, 11th Europ. Conf. (Jyväskylä, Finland, June 9–13, 1997), Proceedings, v. II, Lect. Notes Comput. Sci., 1241, Springer, Berlin, 1997, 220–242 | DOI

[29] Kolovos D. S., Paige R. F., Polack F. A. C., “The grand challenge of scalability for model driven engineering”, Models in Software Engineering, Workshops and Symposia at MODELS 2008 (Toulouse, France, September 28 – October 3, 2008), Reports and Revised Selected Papers, Lect. Notes Comput. Sci., 5421, Springer, Berlin, 2009, 48–53 | DOI

[30] Kovalyov S. P., “Modeling aspects by category theory”, Proc. 9th Workshop on Foundations of Aspect-Oriented Languages, Rennes, France, 2010, 63–68

[31] Lopes A., Fiadeiro J. L., “Revisiting the categorical approach to systems”, Algebraic Methodology and Software Technology, 9th Int. Conf. AMAST 2002 (Saint-Gilles-les-Bains, Reunion Island, France, September 9–13, 2002), Proceedings, Lect. Notes Comput. Sci., 2422, Springer, Berlin, 2002, 426–440 | DOI | MR | Zbl

[32] Pinto M., Fuentes L., Troya J. M., “DAOP-ADL: an architecture description language for dynamic component and aspect-based development”, Generative Programming and Component Engineering, Second Int. Conf. GPCE 2003 (Erfurt, Germany, September 22–25, 2003), Proceedings, v. 2, Lect. Notes Comput. Sci., 2830, Springer, Berlin, 2003, 118–137 | DOI

[33] Pratt V. R., “Modeling concurrency with partial orders”, Int. J. Parallel Programming, 15:1 (1986), 33–71 | DOI | MR | Zbl

[34] Rutle A., Rossini A., Lamo Y., Wolter U., “A formalisation of the copy-modify-merge approach to version control in MDE”, J. Logic Algebraic Programming, 79:7 (2010), 636–658 | DOI | MR | Zbl

[35] Schmidt D. C., “Model-driven engineering”, IEEE Computer, 39:2 (2006), 25–32 | DOI

[36] Srinivas Y. V., Jüllig R., “SPECWARE: formal support for composing software”, Mathematics of Program Construction'95, Lect. Notes Comput. Sci., 947, Springer, Berlin, 1995, 399–422 | DOI

[37] Steimann F., “The paradoxical success of aspect-oriented programming”, Proc. Int. Conf. OOPSLA'06, Portland, 2006, 481–497