원문정보
초록
영어
The benefits of formal specification methodologies in software development have been identified and well researched. Their use in mainstream software development, however, continues to face a stiff resistance. A prominent reason for this resistance is the fact that there are generally not enough supporting tools to facilitate the development of software from formal specifications. This paper reports on the development of supporting tools for developing software from formal specifications in Real-Time Process Algebra (RTPA). An RTPA to Java Code Generator (RJCG) tool is developed, which combines the functionalities of the syntax checker, lexical analyzer, type checker, semantic analyzer and code generator in facilitating the development of Java code from a formal specification in RTPA. The paper demonstrates that the same concrete grammar rules combined with semantic actions can facilitate the development of a tool with multiple functionalities.
목차
1. Introduction
2. The RTPA Methodology and Notation System
3. Automatic Code Generation from RTPA Specifications
3.1. The RTPA Grammar
3.2. Strategies for Java Code Generation from RTPA Specifications
3.3. Type Mapping between RTPA and Java
3.4. Translation of RTPA Meta-Processes
3.5. Translation of RTPA Process Relations
4. Implementation of the RTPA to Java Code Generator (RJCG)
4.1. Architecture and Configuration of RTPA to Java Code Generator (RJCG)
4.2. The Real-Time Support Class for Java Code Generation
4.3 Tool Integration
5. A Case Study – The Real-Time Device Controller (RTDC)
5.1. The Hardware Interface for RTDC
5.2. Experimental Results
6. Conclusions
References