&mgr;C/OS: the real-time kernel
&mgr;C/OS: the real-time kernel
The RAISE specification language
The RAISE specification language
ANTLR: a predicated-LL(k) parser generator
Software—Practice & Experience
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Java Native Interface: Programmer's Guide and Reference
Java Native Interface: Programmer's Guide and Reference
Elements of the Theory of Computation
Elements of the Theory of Computation
Modern Compiler Design
The Real-Time Process Algebra (RTPA)
Annals of Software Engineering
The Real-Time Specification for Java
Computer
A real-time process algebra with open intervals and maximal progress
Nordic Journal of Computing
Specification of the RTPA Grammar and Its Recognition
ICCI '04 Proceedings of the Third IEEE International Conference on Cognitive Informatics
Paradigms of Denotational Mathematics for Cognitive Informatics and Cognitive Computing
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
Software Engineering Foundations: A Software Science Perspective
Software Engineering Foundations: A Software Science Perspective
On contemporary denotational mathematics for computational intelligence
Transactions on computational science II
On mathematical laws of software
Transactions on computational science II
On the informatics laws and deductive semantics of software
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
The Formal Design Model of an Automatic Teller Machine ATM
International Journal of Software Science and Computational Intelligence
International Journal of Software Science and Computational Intelligence
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Set of Abstract Data Types ADTs
International Journal of Software Science and Computational Intelligence
The Formal Design Model of a File Management System FMS
International Journal of Software Science and Computational Intelligence
The Formal Design Model of Doubly-Linked-Circular Lists DLC-Lists
International Journal of Software Science and Computational Intelligence
The Formal Design Models of a Universal Array UA and its Implementation
International Journal of Software Science and Computational Intelligence
The Formal Design Models of Tree Architectures and Behaviors
International Journal of Software Science and Computational Intelligence
Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA
International Journal of Software Science and Computational Intelligence
Hi-index | 0.00 |
Real-Time Process Algebra RTPA is a denotational mathematics for the algebraic modeling and manipulations of software system architectures and behaviors by the Unified Data Models UDMs and Unified Process Models UPMs. On the basis of the RTPA specification and refinement methodologies, automatic software code generation is enabled toward improving software development productivity. This paper examines designing and developing the RTPA-based software code generator RTPA-CG that transfers system models in RTPA architectures and behaviors into C++ or Java. A two-phrase strategy has been employed in the design of the code generator. The first phrase analyzes the lexical, syntactical, and type specifications of a software system modeled in RTPA, which results in a set of abstract syntax trees ASTs. The second phrase translates the ASTs into C++ or Java based on predesigned mapping strategies and code generation rules. The toolkit of RTPA code generator encompasses an RTPA lexer, parser, type-checker, and a code builder. Experimental results show that system models in RTPA can be rigorously processed and corresponding C++/Java code can be automatically generated using the toolkit. The code generated is executable and effective under the support of an RTPA run-time library.