Liu, Leo YuHsiang ; Shyamasundar, R. K. (1994) RT-CDL: A distributed real-time design language and its operational semantics Computer Languages, 20 (1). pp. 1-23. ISSN 0096-0551
Full text not available from this repository.
Official URL: http://www.sciencedirect.com/science/article/pii/0...
Related URL: http://dx.doi.org/10.1016/0096-0551(94)90011-6
Abstract
RT-CDL, real-time common design language, has been designed to support a compositional methodology for the development of reliable real-time reactive systems. The primary goal of the RT-CDL project is to provide a tool to bridge the gap between specification and realization of programs. The language is based on the event-action model and overcomes several limitations of existing real-time languages. In this paper, we discuss the formal operational semantics of RT-CDL as well as its interesting language features. The semantics employs Plotkin's labeled transition systems using the maximal parallelism model of Salwicki and Muldner. Our investigation reveals that the language features provided by RT-CDL are indeed suitable for a spectrum of real-time applications. We illustrate the features through an example of a dialling controller.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Elsevier Science. |
| Keywords: | Action Set; Compositionality Principle; Labeled Transition Systems; Maximal Parallelism Model Non-buffered; Broadcast; Operational Semantics; Reactive Systems; Responsiveness; Timing Constraints |
| ID Code: | 56564 |
| Deposited On: | 24 Aug 2011 10:58 |
| Last Modified: | 24 Aug 2011 10:58 |
Repository Staff Only: item control page
