Denotational Semantics of a Real-Time Prototyping Language
Loading...
Authors
Krämer, Bernd
Luqi
Berzins, Valdis
Subjects
Specification
computer aided prototyping
software engineering
hard real-time systems, denotational semantics
computer language
Petri nets
computer aided prototyping
software engineering
hard real-time systems, denotational semantics
computer language
Petri nets
Advisors
Date of Issue
1990-07
Date
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
The denotational semantics of the Prototype System Description Language PSDL is formally described in terms of an algebra-based Petri net model in this paper. PSDL supports specification and design of software prototypes that have to satisfy hard realtime constraints. The language is derived from a dataflow model that is augmented by data abstraction facilities and application-oriented timing and control constraints. In the Petri net model, each net is associated with a many-sorted partial algebra and is labeled with terms and marked with data of that algebra. The algebra serves to interpret the built-in and user-defined data types and functions of a specification, while the net defines a partial order semantics of its dynamic behavior. To capture the semantics of timing constraints in PSDL we constrain transitions by conditions depending on time values of abstract clocks modeling the local time of distributed computational resources.
Type
Technical Report
Description
Series/Report No
Department
Computer Science (CS)
Identifiers
NPS Report Number
NPS 52-90-033
Sponsors
Funder
Format
50 p.
Citation
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.