eCite Digital Repository

An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets


Shi, L and Nixon, Paddy, An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets, FME '96: Industrial Benefit and Advances in Formal Methods, 18-22 March 1996, Oxford, UK, pp. 518-537. ISBN 3-540-60973-3 (1996) [Refereed Conference Paper]

Copyright Statement

Copyright 1996 Springer-Verlag

DOI: doi:10.1007/3-540-60973-3_105


Structured analysis methods for real-time systems (SA/RT) are widely accepted by the industrial world as a mature approach to real-time systems design. These methods use highly expressive graphical specification languages to specify system requirements. Giving semantics to SA/RT specifications via selected formal models has the advantage of not only retaining their user-friendly and problem-oriented characteristics, but also making good use of the existing results of formal models for easier simulation and more powerful analysis. An automatic translation from SA/RT specification models to high-level timed Petri nets has recently been reported in [5]. But this translation suffers from some drawbacks, especially that it is not compositional, and the resulting subnets, in some cases, can be of at least exponential complexity. In this paper, we propose an improved translation, which is compositional and the resulting nets are of much lower complexity, e.g. the number of transitions is linear with respect to the scale of the original model. The efficient translation will benefit the simulation and analysis of specifications, and the compositionality of the translation process will support their incremental or modular development and compositional analysis.

Item Details

Item Type:Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Software engineering
Research Field:Software testing, verification and validation
Objective Division:Information and Communication Services
Objective Group:Information systems, technologies and services
Objective Field:Information systems, technologies and services not elsewhere classified
UTAS Author:Nixon, Paddy (Professor Paddy Nixon)
ID Code:69371
Year Published:1996
Deposited By:Research Division
Deposited On:2011-04-20
Last Modified:2012-11-09

Repository Staff Only: item control page