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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)

    Abstract

    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.
    LanguageEnglish
    Title of host publicationUnknown Host Publication
    Pages518-537
    Number of pages20
    VolumeLectur
    DOIs
    Publication statusPublished - 1996
    EventFME '96: Industrial Benefit and Advances in Formal Methods - Oxford, UK
    Duration: 1 Jan 1996 → …

    Conference

    ConferenceFME '96: Industrial Benefit and Advances in Formal Methods
    Period1/01/96 → …

    Fingerprint

    Petri nets
    Specifications
    Real time systems
    Specification languages
    Semantics
    Systems analysis

    Keywords

    • n/a

    Cite this

    Shi, L ; Nixon, Patrick. / An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets. Unknown Host Publication. Vol. Lectur 1996. pp. 518-537
    @inproceedings{e8e5eb28290c429cac28f4b8eef798cf,
    title = "An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets",
    abstract = "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.",
    keywords = "n/a",
    author = "L Shi and Patrick Nixon",
    year = "1996",
    doi = "10.1007/3-540-60973-3_105",
    language = "English",
    isbn = "3540609733",
    volume = "Lectur",
    pages = "518--537",
    booktitle = "Unknown Host Publication",

    }

    Shi, L & Nixon, P 1996, An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets. in Unknown Host Publication. vol. Lectur, pp. 518-537, FME '96: Industrial Benefit and Advances in Formal Methods, 1/01/96. https://doi.org/10.1007/3-540-60973-3_105

    An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets. / Shi, L; Nixon, Patrick.

    Unknown Host Publication. Vol. Lectur 1996. p. 518-537.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    TY - GEN

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

    AU - Shi, L

    AU - Nixon, Patrick

    PY - 1996

    Y1 - 1996

    N2 - 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.

    AB - 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.

    KW - n/a

    U2 - 10.1007/3-540-60973-3_105

    DO - 10.1007/3-540-60973-3_105

    M3 - Conference contribution

    SN - 3540609733

    VL - Lectur

    SP - 518

    EP - 537

    BT - Unknown Host Publication

    ER -