Exploring the properties of MSC documents by translating them into Petri nets

Authors:
S. L. Kryvyi;O. V. Chugayenko;L. E. Matveeva
Affiliations:
Taras Shevchenko National University of Kyiv, Kyiv, Ukraine;V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine;V. M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine
Venue:
Cybernetics and Systems Analysis
Year:
2009

Citing 6
Cited 0

Extreme programming explained: embrace change

Extreme programming explained: embrace change
Agile software development

Agile software development
Criteria of Satisfiability for Homogeneous Systems of Linear Diophantine Constraints

PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
Automatic Modeling and Analysis of MSC-specified Systems

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Formal methods for analysis of discrete systems using a specification language

Cybernetics and Systems Analysis
Algorithm of Translation of MSC-specified System into Petri Net

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents the final version of the algorithm for translating MSC-2000 documents to event-equivalent Petri nets. The input document may include any elements of the MSC-2000 language, assuming that condition element value is not used and sequential composition of MSC diagrams is regarded as strict. The algorithm is implemented as a full-functional prototype and can be used to verify software systems.