IMI-BAS
 

BulDML at Institute of Mathematics and Informatics >
ITHEA >
International Journal ITA >
2003 >
Volume 10 Number 4 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10525/972

Title: Automatic Translation of MSC Diagrams into Petri Nets
Authors: Kryvyy, Sergiy
Matvyeyeva, Lyudmila
Lopatina, Mariya
Keywords: MSC Diagram
MSC Language
Condition
Automatic Translation
Petri Net
Issue Date: 2003
Publisher: Institute of Information Theories and Applications FOI ITHEA
Abstract: Development-engineers use in their work languages intended for software or hardware systems design, and test engineers utilize languages effective in verification, analysis of the systems properties and testing. Automatic interfaces between languages of these kinds are necessary in order to avoid ambiguous understanding of specification of models of the systems and inconsistencies in the initial requirements for the systems development. Algorithm of automatic translation of MSC (Message Sequence Chart) diagrams compliant with MSC’2000 standard into Petri Nets is suggested in this paper. Each input MSC diagram is translated into Petri Net (PN), obtained PNs are sequentially composed in order to synthesize a whole system in one final combined PN. The principle of such composition is defined through the basic element of MSC language — conditions. While translating reference table is developed for maintenance of consistent coordination between the input system’s descriptions in MSC language and in PN format. This table is necessary to present the results of analysis and verification on PN in suitable for the development-engineer format of MSC diagrams. The proof of algorithm correctness is based on the use of process algebra ACP. The most significant feature of the given algorithm is the way of handling of conditions. The direction for future work is the development of integral, partially or completely automated technological process, which will allow designing system, testing and verifying its various properties in the one frame.
URI: http://hdl.handle.net/10525/972
ISSN: 1313-0463
Appears in Collections:Volume 10 Number 4

Files in This Item:

File Description SizeFormat
ijita10-4-p10.pdf131.6 kBAdobe PDFView/Open

 



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2009  The DSpace Foundation - Feedback