The paper describes an approach to semantics adjustment for UCM real time constructions in the implementation of the translator into the Basic Protocols notation. The following constructions and their adjustment are described: multithreading, delays and interruptions. The main problem of such constructions is that the initial version of UCM standard allows to create semantically incorrect models. Proposed extensions and restrictions of UCM semantics allow to solve these problems for different types of projects.
REFERENCES
1. Booch Gr., Maksimchuk R., Engel M., Young B., Conallen J., Houston K. Object-Oriented Analysis and Design with Applications. Addison-Wesley Professional; 3rd edition, 2007. 720 p.
2. Veselov A. O, Kotlyarov V. P. Test automation in telecommunication area // “Scientifi c
and technical sheets of SpbSTU”. № 4 (103). Spb.: SpbSTU publishing, 2010. pp. 180–185 (in Russian)
3. Recommendation ITU-T Z.151. User requirements notation (URN), 11/2008
4. Letichevsky A. A., Kapitonova Yu. V., Letichevsky A. A. (Jr) and others. Systems specifi cation using basic protocols // Cybernetics and system analysis, 2005, №4. pp.3-21 (in Russian)
5. Buhr R. J. A., Casselman R. S. “Use Case Maps for Object-Oriented Systems.” Prentice Hall, 1995.
6. UCM Navigator — http://jucmnav.softwareengineering.ca/ucm/bin/view/ProjetSEG/
WebHome
7. Gergel V. P. High-performance calculations for multiprocessor multicore systems. Nizhny Novgorod: University o fNizhny Novgorod, 2010. — 544 p. (in Russian)
8. Drobintsev P, Kotlyarov V, Chernorutsky I. Test automation based on user scenarios
coverage. “Scientifi c and technical sheets”, St.Petersburg university. Vol. 4 (152). —2012, pp. 123–126 (in Russian)
9. Nikiforov I. V., Petrov A. V., Yusupov Yu. V. Generating formal model of the system based on requirements specifi ed in USE CASE MAP notation // “Scientifi c and technical sheets of SpbSTU”. №4(103). Spb.: SpbSTU publishing, — 2010. — pp. 191–195 (in Russian)
10. Anureev I., Baranov S., Beloglazov D., Bodin E., Drobintsev P., Kolchin A., Kotlyarov V., Letichevsky A., Letichevsky A. Jr., Nepomniaschy V., Nikiforov I., Potienko S., Pryima L., Tyutin B. Tools for supporting integrated technology of analysis and verifi cation of specifi cations for telecommunication applications // SPIIRAN works- 2013-№1-28P (in Russian)
11. Nikiforov I., Petrov A., Kotlyarov V. Static method of test scenarios adjustment generated from guides // “Scientifi c and technical sheets”, SpbSTU. Vol. 4 (152). — 2012, pp. 114–119 (in Russian)
12. ITU Recommendation Z.120. Message Sequence Charts (MSC), 11/99.
13. ITU-T Recommendation Z.100, CCITT Specifi cation and Description Language (SDL), 03/93.
14. Letichevsky A., Kapitonova J., Letichevsky A. Jr., Volkov V., Baranov S., Kotlyarov V.,
Weigert T. Basic Protocols, Message Sequence Charts, and the Verifi cation of Requirements Specifi cations. Proc of ISSRE04 Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL), 02 Nov 2004: IRISA Rennes France.
15. Promela // http://spinroot.com/spin/Man/Quick.html
16. Turner, K. Using Formal Description Techniques: An introduction to Estelle, LOTOS,
and SDL, New York, John Wiley and Sons, 1993.
17. VDM // http://www.vienna.cc/e/evdm.htm
18. Milne R. The Proof Theory for the RAISE specification language. RAISE Report
REM/12, STC Technology Ltd, 1990.
19. Yusupov Y. V. Integrated methodology of automated creation of C-applications formal behavioural models from the source code. A thesis for the title of the degree of technical sciences candidate. SPb.: SPbSTU, 2009. 176 p.
