Model Oriented Approach for Industrial Software Development

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.

1. “Model Driven Architecture - MDA”, http://www.omg.org/mda, 2007.

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

3. Beydeda S. , Book M., Gruhn V., “Model Driven Software Development”, Springer-Verlag Berlin Heidelberg, 2005, 464.

4. Binder R.V., Kramer A., Legeard B., “2014 Model-based Testing User Survey: Results”, http://model-based-testing.info/wordpress/wpcontent/uploads/2014 MBT User Survey Results.pdf, 2014.

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

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

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, Allerton Press, Inc., 47:7 (2013), 433–442.