DSpace Repository

Моделирование спецификаций распределенных систем на языке dynamic-real сетями петри высокого уровня

Show simple item record

dc.contributor.author Непомнящий, Валерий Александрович ru_RU
dc.contributor.author Попова, Наталья Сергеевна ru_RU
dc.contributor.author Чурина, Татьяна Геннадьевна ru_RU
dc.creator Институт систем инфо матики им. А. П. Е шова СО РАН ru_RU
dc.creator A. P. Ershov Institute of Informatics Systems SB RAS en_EN
dc.creator Новосирби ский государ ственный универ ситет ru_RU
dc.creator Novosibirsk State University en_EN
dc.date.accessioned 2013-03-02T12:53:44Z
dc.date.available 2013-03-02T12:53:44Z
dc.date.issued 2013-03-02
dc.identifier.issn 1818-7900
dc.identifier.uri https://lib.nsu.ru/xmlui/handle/nsu/302
dc.description.abstract Рассматриваются спецификации распределенных систем на языке Dynamic-REAL (dREAL) с динамическим по-рождением и уничтожением экземпляров процессов. В качестве сетевой модели выбраны модифицированные рас-крашенные сети Петри – иерархические временные типизированные сети (ИВТ-сети), в которых используются приоритеты, специальные места, представляющие очереди фишек, и концепция интервального времени. Предложен метод трансляции языка dREAL в ИВТ-сети. На основе этого метода реализован транслятор из языка dREAL в эту сетевую модель. ru_RU
dc.description.abstract We consider distributed systems specified on the language Dynamic-REAL (dREAL) that includes dynamic constructs for generating and removing process instances. Modified coloured Petri nets called hierarchical timed typed nets (HTT-nets) are used as a net model for dREAL- specifications. The nets use priorities, the interval time concept and special places representing queues of tokens. A method for translation from the language dREAL into HTT-nets is described. Based on the method, a translator from the language dREAL into the net model has been implemented. en_EN
dc.language.iso ru
dc.publisher Новосибирский государственный университет ru_RU
dc.subject распределенные системы ru_RU
dc.subject язык Dynamic-REAL ru_RU
dc.subject раскрашенные сети Петри ru_RU
dc.subject иерархические временные типизированные сети ru_RU
dc.subject метод трансляции ru_RU
dc.subject translation method en_EN
dc.subject hierarchical timed typed nets en_EN
dc.subject coloured Petri nets en_EN
dc.subject language Dynamic-REAL en_EN
dc.subject distributed systems en_EN
dc.title Моделирование спецификаций распределенных систем на языке dynamic-real сетями петри высокого уровня ru_RU
dc.title.alternative Modeling dynamic-real specified distributed systems by high level petri nets en
dc.type Article
dc.description.reference 1. Карабегов А. В., Тер-Микаэлян Т. М. Введение в язык SDL. М.: Радио и связь, 1993. 2. Grammes R., Gotzhein R. SDL Profiles – Formal Semantics and Tool Support // Proc. FASE 2007. Lect. Notes in Comp. Sci. 2007. Vol. 4422. P. 200–214. 3. Непомнящий В. А., Шилов Н. В., Бодин Е. В. REAL: Язык для спецификации и верифи кации систем реального времени // Системная информатика. Новосибирск, 2000. Вып. 7. С. 174–223. 4. Nepomniaschy V. A., Shilov N. V., Bodin E. V., Kozura V.E. Basic-REAL: integrated approach for design, specification and verification of distributed systems // Proc. IFM 2002. Lect. Notes in Comp. Sci. 2002. Vol. 2335. P. 69–88. 5. Непомнящий В. А., Бодин Е. В, Веретнов С. О. Язык спецификаций распределенных систем Dynamic-REAL. Новосибирск, 2007. (Препр. / ИСИ СО РАН; № 147). URL http://www.iis.nsk.su/preprints/pdf/147.pdf. 6. Непомнящий В. А., Бодин Е. В., Веретнов С. О. Моделирование и верификация распре деленных систем, представленных на языке SDL, с помощью языка Dynamic-REAL. Новоси бирск, 2010. (Препр. / ИСИ СО РАН; № 156). URL: http://www.iis.nsk.su/preprints/pdf/156.pdf. 7. Jensen K. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer-Verlag, 1997. Vol. 1–3. 8. Kristensen L. M., Christensen S., Jensen K. The Practitioner's Guide to Coloured Petri Nets // Intern. J. on Software Tools for Technology Transfer. 1998. Vol. 2. Nо. 2. P. 98–132. 9. Jensen K., Christensen S., Wells L. Coloured Petri Nets and CPN Tools for Modeling and Validation of Concurrent Systems // Intern. J. on Software Tools for Technology Transfer. 2007. Vol. 9. P. 213–254. 10. Fisher J., Dimitrov E. Verification of SDL'92 Specifications Using Extended Petri Nets // Proc. IFIP 15th Intern. Symp. on Protocol Specification, Testing and Verification. Warsaw, Poland, 1995. P. 455–458. 11. Fleischhack H., Grahlmann B. A Compositional Petri Net Semantics for SDL // Lecture Notes in Computer Sci. 1998. Vol. 1420. P. 144–164. 12. Aalto A., Husberg N., Varpaaniemi K. Automatic Formal Model Generation and Analysis of SDL // Proc. SDL 2003. Lecture Notes in Computer Sci. 2003. Vol. 2708. P. 285–299. 13. Непомнящий В. А., Аргиров В. С., Белоглазов Д. М., Быстров А. В., Четвертаков Е. А., Чурина Т. Г. Моделирование и верификация коммуникационных протоколов, представлен ных на языке SDL с помощью сетей Петри высокого уровня // Программирование. 2008. № 6. С. 35–49. 14. Holzmann G. J. The SPIN Model Checker. Primer and Reference Manual. Addison-Wesley, 2004. ru_RU
dc.subject.udc 004.7
dc.relation.ispartofvolume 8
dc.relation.ispartofnumber 4
dc.relation.ispartofpages 25-34


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account