| Autor: |
Elmstrøm, René, Lassen, Poul Bøgh, Andersen, Michael |
| Zdroj: |
Real-Time Systems; May 1993, Vol. 5 Issue: 2-3 p197-211, 15p |
| Abstrakt: |
In this article we present the executable specification language IPTES Meta-IV based on the formal specification language VDM-SL. The language has been fitted to work in an SA/RT framework and the article presents how it supports the specification of the data transformation part of SA/RT. Furthermore we present some of the advanced constructs of the language seen as an executable specification language in its own right. Finally we present how an IPTES Meta-IV interpreter is used in combination with a high-level timed Petri net executor to execute SA/RT models. |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
Full text from SpringerLink