Informatics and Applications
2016, Volume 10, Issue 1, pp 56-66METAPROGRAMMING TO INCREASE MANUFACTURABILITY OF LARGE-SCALE SOFTWARE-INTENSIVE SYSTEMS
- S. P. Kovalyov
Abstract
An approach to reduce costs of large-scale software-intensive systems design due to applying modern metaprogramming technologies is proposed. Model-driven engineering and aspect-oriented software development are considered to be the most advanced among such technologies. The methods to scale these technologies are presented in order to apply them efficiently under growth of the target system size via closure with regard to basic structural relations. Design of mathematical software for smart electric grids is considered as a case study for practical applications of the approach. Principles of mathematical device for constructing, analysis, and optimization of design technological procedures based on the category theory are described. The process to design the generator of computational software components of large-scale systems applying category-theoretical methods is drawn.[+] References (35)
- Ultra-Large-Scale Systems: The software challenge of the future. 2006. Pittsburgh: Carnegie Mellon Software Engi-neering Institute. 134 p.
- Anvaari, M., D. S. Cruzes, and R. Conradi. 2012. Smart Grid software applications as an ultra-large-scale system: Challenges for evolution. Innovative Smart Grid Technolo-gies (ISGT). IEEE PES. 1-6.
- Schmidt, D. C. 2006. Model-driven engineering. IEEE Computer 39(2):25-32.
- Graaf, B., and A. van Deursen. 2007. Visualisation of domain-specific modelling languages using UML. 14th IEEE Conference (International) on the Engineering of Computer-Based Systems ECBS'2007Proceedings. Tucson. 586-595.
- Benveniste, A., P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. 2003. The synchronous languages 12 years later. Proc. IEEE 91(1):64-83.
- Vasil'ev, S. N. 2008. Formalizatsiya znaniy i upravlenie na osnove pozitivno-obrazovannykhyazykov [Formalization of knowledge and control on the basis of positively-formed languages]. Informatsionnye Tekhnologii i Vychislitel'nye Sistemy [Information Technologies and Computer Systems] 1:3-17.
- Jouault, F, B. Vanhooff, H. Bruneliere, G. Doux, Y. Berbers, and J. Bezivin. 2010. Inter-DSL coordination support by combining megamodeling and model weaving. ACM2010 Symposium Applied Computing Proceedings. Sierre. 2011-2018.
- The Eclipse Foundation. 2014. Eclipse Modeling Project. Available at: http://www.eclipse.org/modeling/ (accessed March 4, 2016).
- Kolovos, D. S., L. M. Rose, N. Matragkas, R. F. Paige, E. Guerra, J. S. Cuadrado, J. De Lara, I. Rath, D. Varro, M. Tisi, and J. Cabot. 2013. A research roadmap towards achieving scalability in model driven engineering. Workshop on Scalability in Model Driven Engineering Proceedings. Budapest, Hungary: ACM. 2:1-2:10.
- Diskin, Z., and T. S. E. Maibaum. 2012. Category theory and model-driven engineering: From formal semantics to design patterns and beyond. 7th Workshop ACCAT'2012 "Electronic Proceedings in Theoretical Computer Science. " 93:1-21.
- Mac Lane, S. 1978. Categories for the working mathemati-cian. Springer. 317 p.
- Goguen, J. 1973. Categorical foundations for general sys-tems theory. Advances in cybernetics and systems research. London: Transcripta Books. 121-130.
- Kovalyov, S. P. 2014. Teoretiko-kategornyy podkhod kmetaprogrammirovaniyu [Category-theoretical approach to metaprogramming]. Moscow: Institute of Control Sciences. 112 p.
- Kovalev, S. P. 2013. Systems analysis of life cycle of large- scale information-control systems. Automation Remote Control 74(9):1510-1524.
- Sannella, D. 1993. A survey of formal software develop-ment methods. Software engineering: A European prospec-tive. IEEE Computer Society Press. 281-297.
- Grid computing: Making the global infrastructure a reality. 2003. New York, NY: Wiley & Sons. 1060 p.
- Kiczales, G., J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. 1997. Aspect- oriented programming. ECOOP'97 - object-oriented programming. Eds. M. Aksit and S. Matsuoka. Lecture notes in computer science ser. Springer. 1241:220-242.
- Colyer, A., A. Clement, G. Harley, and M. Webster. 2004. Eclipse AspectJ: Aspect-oriented programming with AspectJ and the Eclipse AspectJ development tools. Reading: Addison-Wesley. 504 p.
- Steimann, F 2006. The paradoxical success of aspect-oriented programming. Conference (International) OOPSLA'2006 Proceedings. Portland. 481-497.
- 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.
- Kannenberg, A., and H. Saiedian. 2009. Why software requirements traceability remains a challenge. J. Defense Software Engineering. July/August:14-19.
- Grebenjuk, G.G., N.V. Lubkov, and S.M. Nikishov. 2011. Informatsionnye aspekty upravleniya munitsipal'nym hozyaystvom [Informational aspects of municipal infras-tructure management]. Moscow: LENAND. 320 p.
- Manset, D., H. Verjus, R. McClatchey, and F. Oquendo. 2006. A formal architecture- centric model-driven approach for the automatic generation of Grid applications. 8th Conference (International) "EnterpriseInformation Systems: Databases and Information Systems Integration " Pro-ceedings. Paphos, Cyprus. 322-330.
- Uslar, M., T. Schmedes, A. Lucks, T. Luhmann, L. Winkels, and H.-J. Appelrath. 2005. Interaction of EMS related systems by using the CIM standard. 2nd ICSC Symposium (International) on Information Technologies in Environmental Engineering ITEE 2005 Proceedings. Magdeburg. 596-610.
- Voevodin, V. V. 2000. Otobrazhenie problem vychisli- tel'noy matematiki na arkhitekturu vychislitel'nykh sis- tem [Mapping of computational mathematics problems to computational systems architecture]. Vychislitel'nye Metody iProgrammirovanie [Numerical Methods and Programming] 1:37-44.
- Kovalyov, S. P. 2007. Algebraicheskiy podkhod k proek- tirovaniyu raspredelennykh vychislitel'nykh sistem [Alge-braic approach to distributed computation systems design]. Sibirskiy Zh. Industrial'noy Matematiki [Siberian J. Industrial Mathematics] 10(2):70-84.
- Toporkov, V.V. 2004. Modeli raspredelennykh vychisleniy [Models of distributed computing]. Moscow: Fizmatlit. 320 p.
- Kovalyov, S. P. 2014. Povyshenie effektivnosti protsessov proektirovaniya bol'shikh informatsionno-upravlya- yushchikh sistem [Increasing efficiency of large-scale information-control systems design]. Tr. XII Vseross. Soveshchaniya po Problemam Upravleniya VSPU-2014 [XII All-Russian Workshop on Control Problems VSPU- 2014 Proceedings]. Moscow: Institute of Control Sciences. 9291-9300.
- Kovalyov, S. P., S. K. Andrjushkevich, and A. E. Gus'kov. June 26, 2009. Integratsionnaya platforma ucheta i up-ravleniya energoobespecheniem "Energius" [Integration platform for energy accounting and management "En-ergius"]. Certificate of state registration of computer pro-gram No. 2009613359.
- Sommerville, I. 2001. Software engineering. 6th ed. Addi-son Wesley. 720 p.
- Allen, R. J., and D. Garlan. 1997. A formal basis for ar-chitectural connection. ACM Trans. Software Engineering Methodology 6(3):213-249.
- Smith, D. R. 2006. Composition by colimit and formal software development. Algebra, meaning, and computation. Eds. K. Futatsugi, J.-P. Jouannaud, and J. Meseguer. Lec-ture notes in computer science ser. Springer. 4060:317332.
- Aspect-oriented software development. 2004. Reading: Ad-dison Wesley. 800 p.
- Pinto, M., L. Fuentes, and J. M. Troya. 2003. DAOP- ADL: An architecture description language for dynamic component and aspect-based development. Generative programming and component engineering. Eds. F Pfenning and Y. Smaragkaris. - Lecture notes in computer science ser. Springer. 2830:118-137.
- Srinivas, Y. V., and R. Jullig. 1995. SPECWARE: Formal support for composing software. Mathematics of program construstion. Ed. B. Moller. Lecture notes in computer science ser. Springer. 947:399-422.
[+] About this article
Title
METAPROGRAMMING TO INCREASE MANUFACTURABILITY OF LARGE-SCALE SOFTWARE-INTENSIVE SYSTEMSJournal
Informatics and Applications2016, Volume 10, Issue 1, pp 56-66
Cover Date
2016-01-30DOI
10.14357/19922264160105Print ISSN
1992-2264Publisher
Institute of Informatics Problems, Russian Academy of SciencesAdditional Links
Key words
large-scale software-intensive systems; metaprogramming; megamodel; category theory; colimit; model driven engineering; aspect-oriented software development; smart gridAuthors
S. P. Kovalyov
Author Affiliations
Institute of Control Sciences, Russian Academy of Sciences, 65 Profsoyuznaya Str., Moscow 117997, Russian Federation