П. Д. Дробинцев, И. В. Никифоров, В. П. Котляро

Цена: 50 руб.

В статье описан подход к уточнению семантики UCM конструкций, реализованный в трансляторе языка UCM в язык базовых протоколов. Описаны следующие конструкции: многопоточные модели, временные задержки и прерывания. Основная проблема данных конструкций заключается в том, что текущая версия от 10/2012 стандарта UCM ITU-T Z.151 позволяет создавать семантически некорректные модели. Предложенные расширения и ограничения позволяют решить данную проблему для различного типа индустриальных проектов.
Ключевые слова: UCM, таймер, задержка, синхронизация, поток 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.