Giving semantics to SA/RT by means of high-level timed Petri nets

René Elmstrøm, Raino Lintulampi, Mauro Pezzé

Research output: Contribution to journalArticleScientificpeer-review

28 Citations (Scopus)

Abstract

In the IPTES project a dual language approach is proposed for overcoming both the problems derived from the use of a user-friendly, high-level, but not-formally-defined language and from a lower-level, formal, but difficult-to-use language. The approach uses a user-friendly, high-level language as user interface and a lower-level, formal language asmachine language. In this way the users can both access the IPTES environment through a nice interface and can profit from non-ambiguity-checks and proofs algorithms based on the formal kernel machine language. The correspondence between the two languages is built-in in the IPTES environment that provides a transparent mapping mechanism that relates the users specifications expressed by means of the high-level interface-language with the formal definitions expressed in the formal machine language.

This paper presents the mapping mechanism that relates the current IPTES user interface (SA/RT (Ward and Mellor 1985)) with the IPTES machine language (high-level timed Petri nets (Ghezzi, Mandrioli, Morasca and Pezzé 1991)). As a side effect, it also presents the formal semantics of SA/RT defined by means of high-level timed Petri nets.

Original languageEnglish
Pages (from-to)249 - 271
Number of pages23
JournalReal-Time Systems
Volume5
Issue number2-3
DOIs
Publication statusPublished - 1993
MoE publication typeA1 Journal article-refereed

Fingerprint

Timed Petri Nets
High level languages
Petri nets
User interfaces
Semantics
Formal languages
Profitability
Specifications
User Interface
Language
Kernel Machines
Formal Semantics
Formal Languages
Profit
Correspondence
Specification

Cite this

Elmstrøm, René ; Lintulampi, Raino ; Pezzé, Mauro. / Giving semantics to SA/RT by means of high-level timed Petri nets. In: Real-Time Systems. 1993 ; Vol. 5, No. 2-3. pp. 249 - 271.
@article{db9169aa44af4763b63752c0a3c060f0,
title = "Giving semantics to SA/RT by means of high-level timed Petri nets",
abstract = "In the IPTES project a dual language approach is proposed for overcoming both the problems derived from the use of a user-friendly, high-level, but not-formally-defined language and from a lower-level, formal, but difficult-to-use language. The approach uses a user-friendly, high-level language as user interface and a lower-level, formal language asmachine language. In this way the users can both access the IPTES environment through a nice interface and can profit from non-ambiguity-checks and proofs algorithms based on the formal kernel machine language. The correspondence between the two languages is built-in in the IPTES environment that provides a transparent mapping mechanism that relates the users specifications expressed by means of the high-level interface-language with the formal definitions expressed in the formal machine language.This paper presents the mapping mechanism that relates the current IPTES user interface (SA/RT (Ward and Mellor 1985)) with the IPTES machine language (high-level timed Petri nets (Ghezzi, Mandrioli, Morasca and Pezz{\'e} 1991)). As a side effect, it also presents the formal semantics of SA/RT defined by means of high-level timed Petri nets.",
author = "Ren{\'e} Elmstr{\o}m and Raino Lintulampi and Mauro Pezz{\'e}",
year = "1993",
doi = "10.1007/BF01088591",
language = "English",
volume = "5",
pages = "249 -- 271",
journal = "Real-Time Systems",
issn = "0922-6443",
publisher = "Springer",
number = "2-3",

}

Elmstrøm, R, Lintulampi, R & Pezzé, M 1993, 'Giving semantics to SA/RT by means of high-level timed Petri nets', Real-Time Systems, vol. 5, no. 2-3, pp. 249 - 271. https://doi.org/10.1007/BF01088591

Giving semantics to SA/RT by means of high-level timed Petri nets. / Elmstrøm, René; Lintulampi, Raino; Pezzé, Mauro.

In: Real-Time Systems, Vol. 5, No. 2-3, 1993, p. 249 - 271.

Research output: Contribution to journalArticleScientificpeer-review

TY - JOUR

T1 - Giving semantics to SA/RT by means of high-level timed Petri nets

AU - Elmstrøm, René

AU - Lintulampi, Raino

AU - Pezzé, Mauro

PY - 1993

Y1 - 1993

N2 - In the IPTES project a dual language approach is proposed for overcoming both the problems derived from the use of a user-friendly, high-level, but not-formally-defined language and from a lower-level, formal, but difficult-to-use language. The approach uses a user-friendly, high-level language as user interface and a lower-level, formal language asmachine language. In this way the users can both access the IPTES environment through a nice interface and can profit from non-ambiguity-checks and proofs algorithms based on the formal kernel machine language. The correspondence between the two languages is built-in in the IPTES environment that provides a transparent mapping mechanism that relates the users specifications expressed by means of the high-level interface-language with the formal definitions expressed in the formal machine language.This paper presents the mapping mechanism that relates the current IPTES user interface (SA/RT (Ward and Mellor 1985)) with the IPTES machine language (high-level timed Petri nets (Ghezzi, Mandrioli, Morasca and Pezzé 1991)). As a side effect, it also presents the formal semantics of SA/RT defined by means of high-level timed Petri nets.

AB - In the IPTES project a dual language approach is proposed for overcoming both the problems derived from the use of a user-friendly, high-level, but not-formally-defined language and from a lower-level, formal, but difficult-to-use language. The approach uses a user-friendly, high-level language as user interface and a lower-level, formal language asmachine language. In this way the users can both access the IPTES environment through a nice interface and can profit from non-ambiguity-checks and proofs algorithms based on the formal kernel machine language. The correspondence between the two languages is built-in in the IPTES environment that provides a transparent mapping mechanism that relates the users specifications expressed by means of the high-level interface-language with the formal definitions expressed in the formal machine language.This paper presents the mapping mechanism that relates the current IPTES user interface (SA/RT (Ward and Mellor 1985)) with the IPTES machine language (high-level timed Petri nets (Ghezzi, Mandrioli, Morasca and Pezzé 1991)). As a side effect, it also presents the formal semantics of SA/RT defined by means of high-level timed Petri nets.

U2 - 10.1007/BF01088591

DO - 10.1007/BF01088591

M3 - Article

VL - 5

SP - 249

EP - 271

JO - Real-Time Systems

JF - Real-Time Systems

SN - 0922-6443

IS - 2-3

ER -