Methodology of software development with the use of the model of distributed object-based stochastic hybrid systems
https://doi.org/10.37661/1816-0301-2022-19-1-88-95
Abstract
Software development methodology based on the model of distributed object-based stochastic hybrid systems is proposed. Such mathematical model is planned to be created for the system being designed along with the system specification at all stages of the software development.
The following stages of the development are considered as building of preliminary mathematical model by designing its specification, choosing and specification of system metrics, statistical analysis of the model, approbation of the mathematical model in conditions close to real, analysis by analytical methods and the implementation. The formalism is proposed for describing the system under consideration and an approach to its analysis. At the steps of the methodology, we adjust the model specification and its corresponding mathematical model in accordance with the results of the analysis. This approach allows to develop not only the software, but also a mathematical model with its properties, which implementation is the resulting software.
About the Author
R. Е. Sharykin
Belarusian State University
Belarus
Belarus
Raman Е. Sharykin - Aspirant of the Department of Software Engineering, Faculty of Applied Mathematics and Computer Science, Belarusian State University.
Nezavisimosti av., 4, Minsk, 220030.
References
1. Sammapun U., Sharykin R., DeLap M., Kim M., Zdancewic S. Formalizing Java-MaC. Electronic Notes in Theoretical Computer Science, 2003, vol. 89, iss. 2, рр. 171–190.
2. Bernadsky M., Sharykin R., Alur R. Structured modeling of concurrent stochastic hybrid systems. Lecture Notes in Computer Science, 2004, vol. 3253, рр. 309–324.
3. Bujorianu M. L., Lygeros J. Toward a general theory of stochastic hybrid systems. Lecture Notes in Control and Information Science, 2006, vol. 337, рр. 3–30.
4. Meseguer J. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 1992, vol. 96, iss. 1, рр. 73–155.
5. Martí-Oliet N., Meseguer J. Rewriting logic: roadmap and bibliography. Theoretical Computer Science, 2002, vol. 285, iss. 2, рр. 121–154.
6. Agha G. A., Meseguer J., Sen K. PMaude: Rewrite-based specification language for probabilistic object systems. Electronic Notes in Theoretical Computer Science, 2006, vol. 153, iss. 2, no. 2, рр. 213–239.
7. Kumar N., Sen K., Meseguer J., Agha G. A rewriting based model for probabilistic distributed object systems. Lecture Notes in Computer Science, 2003, vol. 2884, рр. 32–46.
8. Sharykin R. E., Kourbatski A. N. A model of distributed object-based stochastic hybrid systems. Zhurnal Belorusskogo gosudarstvennogo universiteta. Matematika. Informatika [Journal of the Belarusian State University. Mathematics. Informatics], 2019, no. 2, рр. 52–61 (In Russ.).
9. Sharykin R. E., Kourbatski A. N. Verification of distributed object-oriented stochastic hybrid systems. Vestnik Grodnenskogo gosudarstvennogo universiteta imeni Yanki Kupaly. Seriya 2. Matematika. Fizika. Informatika, vychislitel'naya tekhnika i upravlenie [Bulletin of Grodno State University named after Yanka Kupala. Series 2. Mathematics. Physics. Informatics, Computer Technology and Management], 2019, vol. 9, no. 2, рр. 123–133 (In Russ.).
10. Clavel M., Duran F., Eker S., Lincoln P. D. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 2002, vol. 285, iss. 2, рр. 187–243.
11. Clavel M., Duran F., Eker S., Meseguer J. Building equational proving tools by reflection in rewriting logic. CAFE: An Industrial-Strength Algebraic Formal Method. Amsterdam, 2000, рр. 1–31.
12. Sebastio S., Vandin A. MultiVeStA: Statistical model checking for discrete event simulators. Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, Torino, Italy, 10–12 December 2013. Torino, 2013, рр. 310–315.
13. Sen K., Viswanathan M., Agha G. On statistical model checking of stochastic systems. Lecture Notes in Computer Science, 2005, vol. 3576, рр. 266–280.
14. Clavel M., Duran F., Hendrix J., Lucas S., Meseguer J., Olveczky P. The maude formal tool environment. Lecture Notes in Computer Science, 2007, vol. 4624, рр. 173–178.
15. Sharykin R. E., Kourbatski A. N. Application of formal methods in the design of a collaborative virus defense system. Zhurnal Belorusskogo gosudarstvennogo universiteta. Matematika. Informatika [Journal of the Belarusian State University. Mathematics. Informatics], 2020, no. 1, рр. 59–69 (In Russ.).
16. Sharykin R. E. Approbation of the stochastic group virus protection model. Sistemnyi analiz i prikladnaia informatika [System Analysis and Applied Informatics], 2021, no. 4, рр. 62–70 (In Russ.).
17. Sharykin R. E. A method of applying format methods in the design of a single window system. Zhurnal Belorusskogo gosudarstvennogo universiteta. Matematika. Informatika [Journal of the Belarusian State University. Mathematics. Informatics], 2021, no. 1, рр. 79–90 (In Russ.).
18. Sharykin R. E. A methodology to apply formal methods in the design of an enterprise procurement system. Vestnik Grodnenskogo gosudarstvennogo universiteta imeni Yanki Kupaly. Seriya 2. Matematika. Fizika. Informatika, vychislitel'naya tekhnika i upravlenie [Bulletin of Grodno State University named after Yanka Kupala. Series 2. Mathematics. Physics. Informatics, Computer Technology and Management], 2022, vol. 12, no. 1, рр. 134–143 (In Russ.).
Review
For citations:
Sharykin R.Е. Methodology of software development with the use of the model of distributed object-based stochastic hybrid systems. Informatics. 2022;19(1):88-95. (In Russ.) https://doi.org/10.37661/1816-0301-2022-19-1-88-95
Views: 360
Email this article 