Geodesic
Model oriented approach for industrial software development
Modelirovanie i analiz informacionnyh sistem, Tome 22 (2015) no. 6, pp. 750-762.

Voir la notice de l'article provenant de la source Math-Net.Ru

The article considers the specifics of a model oriented approach to software development based on the usage of Model Driven Architecture (MDA), Model Driven Software Development (MDSD) and Model Driven Development (MDD) technologies. Benefits of this approach usage in the software development industry are described. The main emphasis is put on the system design, automated code generation for large systems, verification, proof of system properties and reduction of bug density. Drawbacks of the approach are also considered. The approach proposed in the article is specific for industrial software systems development. These systems are characterized by different levels of abstraction, which is used on modeling and code development phases. The approach allows to detail the model to the level of the system code, at the same time store the verified model semantics and provide the checking of the whole detailed model. Steps of translating abstract data structures (including transactions, signals and their parameters) into data structures used in detailed system implementation are presented. Also the grammar of a language for specifying rules of abstract model data structures transformation into real system detailed data structures is described. The results of applying the proposed method in the industrial technology are shown. The article is published in the authors' wording.
Keywords: model oriented approach; multilevel software models; model specification by control flow and data flow; model verification; substitutions saving the correctness of proved properties. 
@article{MAIS_2015_22_6_a1,
     author = {P. D. Drobintsev and V. P. Kotlyarov and N. V. Voinov and I. V. Nikiforov},
     title = {Model oriented approach  for industrial software development},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {750--762},
     publisher = {mathdoc},
     volume = {22},
     number = {6},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2015_22_6_a1/}
}
TY  - JOUR
AU  - P. D. Drobintsev
AU  - V. P. Kotlyarov
AU  - N. V. Voinov
AU  - I. V. Nikiforov
TI  - Model oriented approach  for industrial software development
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2015
SP  - 750
EP  - 762
VL  - 22
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2015_22_6_a1/
LA  - en
ID  - MAIS_2015_22_6_a1
ER  - 
%0 Journal Article
%A P. D. Drobintsev
%A V. P. Kotlyarov
%A N. V. Voinov
%A I. V. Nikiforov
%T Model oriented approach  for industrial software development
%J Modelirovanie i analiz informacionnyh sistem
%D 2015
%P 750-762
%V 22
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2015_22_6_a1/
%G en
%F MAIS_2015_22_6_a1
P. D. Drobintsev; V. P. Kotlyarov; N. V. Voinov; I. V. Nikiforov. Model oriented approach  for industrial software development. Modelirovanie i analiz informacionnyh sistem, Tome 22 (2015) no. 6, pp. 750-762. http://geodesic.mathdoc.fr/item/MAIS_2015_22_6_a1/

[1] Model Driven Architecture — MDA, , 2007 http://www.omg.org/mda

[2] Pastor O. et al., “Model-Driven Development”, Informatik Spektrum, 31:5 (2008), 394–407 | DOI

[3] Beydeda S., Book M., Gruhn V., Model Driven Software Development, Springer-Verlag, Berlin–Heidelberg, 2005, 464 pp. | Zbl

[4] Binder R. V., Kramer A., Legeard B., 2014 Model-based Testing User Survey: Results, , 2014 http://model-based-testing.info/wordpress/wp-content/uploads/2014_MBT_User_Survey_Results.pdf

[5] Fenton N. E., Ohlsson N., “Quantitative analysis of faults and failures in a complex software system”, IEEE Transactions on Software Engineering, 2000, no. 8

[6] Buhr R. J. A., Casselman R. S., Use Case Maps for Object-Oriented Systems, Prentice Hall, 1995, 302 pp.

[7] Anureev I. et al., “Tools for supporting integrated technology of analysis and verification of specifications for telecommunication applications”, SPIIRAN works, 1 (2013), 28

[8] Letichevsky A. A. et al., “Insertion modeling in distributed system design”, Problems of programming, 2008, 13–39

[9] Kolchin A. et al., “Approach to creating concretized test scenarios within test automation technology for industrial software projects”, Automatic Control and Computer Sciences, 47:7 (2013), 433–442 | DOI