Authors: Jianbai Wang, Murat M. Tanik
Addresses: Southern Methodist University, Dallas, Texas 75275, USA. ' Southern Methodist University, Dallas, Texas 75275, USA
Abstract: PPA is a kind of data-flow diagram system enhanced with a process port concept. XYZ/E is a temporal logic based language system. To investigate the capability of these two approaches in describing real time systems, a cruise control system example is described using PPA and the result is transformed to an XYZ/E description.
Keywords: cruise control systems; CCS; data flow diagrams; PPA; temporal logic; XYZ/E; process port; real time systems; information systems design.
International Journal of Computer Applications in Technology, 1993 Vol.6 No.4, pp.235 - 239
Published online: 10 Jun 2014 *Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article