Compositional semantics of a real-time prototyping language
MetadataShow full item record
formal semantics of a prototyping language for hard real-time systems, PSDL, is given. PSDL provides a data flow notation augmented by application-orientation timing and control constraints to describe a system as a hierarchy of networks of processing units communicating via data streams. The semantics of PSDL is defined in terms of algebraic high-level Petri nets. This formalism combines algebraic specifications of abstract data types with process and concurrency concepts of Petri nets. Its data abstraction facilities are used to define the meaning of PSDL data types, while high-level Petri nets serve to model the casual and timing behavior of a system. The net model exposes potential concurrency of computation and makes all synchronization needs implied by timing and control constraints explicit and precise. Time is treated as state of clocks, and clocks are modeled as ordinary system components. The net semantics provides the basis for applying analysis techniques and semantic tools available for high-level Petri nets.
Showing items related by title, author, creator and subject.
A case study in applying semantic web technologies to the XML-based tactical assessment markup language (TAML) Childers, Candace; Brutzman, Don; Blais, Curtis; Young, Paul (2006);The ability to analyze data quickly and transform it into actionable information is vital for information superiority. However, the amount of available data is increasing and the time to make decisions is decreasing. ...
Özgen, Mustafa (Monterey, California. Naval Postgraduate School, 1996-09);In an attempt to bring the ML-style type inference to the C programming language, Smith and Volpano developed a type system for a dialect of C, called PolyC SmV96a SmV95b. PolyC extends C with ML-style polymorphism and a ...
Applying semantic web concepts to support Net-Centric Warfare using the Tactical Assessment Markup Language (TAML) Childers, Candace M. (Monterey, California. Naval Postgraduate School, 2006-06);The ability to analyze data quickly and transform it into important information is vital for information superiority. However, the amount of available data is increasing and the time to make decisions is decreasing. There ...