Evaluating real-time software specification languages |
| |
Authors: | Dong-Tsan |
| |
Affiliation: | Department of Information Management, Da-Yeh University, Sam-Chiao Road, Chang-Hwa County 515, Taiwan |
| |
Abstract: | In recent years, many notations and methods in real-time software engineering have been proposed. However, thorough experimentation to evaluate these notations and methods has not been carried out. This paper focuses on real-time software engineering specification languages: Unified Modeling Language (UML), Real-Time Object-Oriented Modeling Language (ROOM), Modecharts, statecharts, Mealy and Moore machines, finite state machines, classical logic, Z, ASTRAL, temporal logic, FNLOG, linear logic, Timed Communicating Sequential Processes (TCSP), Temporal Calculus of Communicating Systems (TCCS), ρ1, and Multilevel Specification. The basis for evaluating these software engineering specification languages is by using the Turing machines and Interaction machines. We classify them based on their computational capabilities. |
| |
Keywords: | Real-time software engineering Specification languages Turing machines Interaction machines Unified Modeling Language |
本文献已被 ScienceDirect 等数据库收录! |
|