Novosibirsk State University Journal of Information Technologies
Scientic Journal

ISSN 2410-0420 (Online), ISSN 1818-7900 (Print)

Switch to
Russian

All Issues >> Contents: Volume 08, Issue No 4 (2010)

Modeling dynamic-real specified distributed systems by high level petri nets
Valery Aleksandrovich Nepomnyashchy, Natalya Sergeyevna Popova, Tatyana Gennadyevna Churina

A. P. Ershov Institute of Informatics Systems SB RAS
Novosibirsk State University

UDC code: 004.7

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.

Key Words
translation method, hierarchical timed typed nets, coloured Petri nets, language Dynamic-REAL, distributed systems

How to cite:
Nepomnyashchy V. A., Popova N. S., Churina T. G. Modeling dynamic-real specified distributed systems by high level petri nets // Vestnik NSU Series: Information Technologies. - 2010. - Volume 08, Issue No 4. - P. 25-34. - ISSN 1818-7900. (in Russian).

Full Text in Russian

Available in PDF

References
1. Karabegov A. V., Ter-Mikaelyan T. M. Vvedeniye v yazyk SDL. M.: Radio i svyaz, 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. Nepomnyashchy V. A., Shilov N. V., Bodin E. V. REAL: Yazyk dlya spetcifikatcii i verifi katcii sistem realnogo vremeni // Sistemnaya informatika. Novosibirsk, 2000. Vyp. 7. S. 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. Nepomnyashchy V. A., Bodin E. V, Veretnov S. O. Yazyk spetcifikatcy raspredelennykh sistem Dynamic-REAL. Novosibirsk, 2007. (Prepr. / ISI SO RAN; № 147). URL http://www.iis.nsk.su/preprints/pdf/147.pdf.
6. Nepomnyashchy V. A., Bodin E. V., Veretnov S. O. Modelirovaniye i verifikatciya raspre delennykh sistem, predstavlennykh na yazyke SDL, s pomoshchyu yazyka Dynamic-REAL. Novosi birsk, 2010. (Prepr. / ISI SO RAN; № 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. No. 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. Nepomnyashchy V. A., Argirov V. S., Beloglazov D. M., Bystrov A. V., Chetvertakov E. A., Churina T. G. Modelirovaniye i verifikatciya kommunikatcionnykh protokolov, predstavlen nykh na yazyke SDL s pomoshchyu setei Petri vysokogo urovnya // Programmirovaniye. 2008. № 6. S. 35–49.
14. Holzmann G. J. The SPIN Model Checker. Primer and Reference Manual. Addison-Wesley, 2004.

Publication information
Main title Vestnik NSU Series: Information Technologies, Volume 08, Issue No 4 (2010).
Parallel title: Novosibirsk State University Journal of Information Technologies Volume 08, Issue No 4 (2010).

Key title: Vestnik Novosibirskogo gosudarstvennogo universiteta. Seriâ: Informacionnye tehnologii
Abbreviated key title: Vestn. Novosib. Gos. Univ., Ser.: Inf. Tehnol.
Variant title: Vestnik NGU. Seriâ: Informacionnye tehnologii

Year of Publication: 2010
ISSN: 1818-7900 (Print), ISSN 2410-0420 (Online)
Publisher: Novosibirsk State University Press
DSpace handle


|Home Page| |All Issues| |Information for Authors| |Journal Boards| |Ethical principles| |Editorial Policy| |Contact Information| |Old Site in Russian|

inftech@vestnik.nsu.ru
© 2006-2017, Novosibirsk State University.