Specifying dynamic software system architectures

Author(s):  
Bran Selić
Author(s):  
Yingxu Wang ◽  
Xinming Tan ◽  
Cyprian F. Ngolah

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.


Author(s):  
Yingxu Wang ◽  
Xinming Tan ◽  
Cyprian F. Ngolah

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.


1998 ◽  
Vol 33 (10) ◽  
pp. 271-283 ◽  
Author(s):  
Robert J. Walker ◽  
Gail C. Murphy ◽  
Bjorn Freeman-Benson ◽  
Darin Wright ◽  
Darin Swanson ◽  
...  

2018 ◽  
Vol 7 (1.7) ◽  
pp. 79
Author(s):  
V Nivethitha ◽  
P M Abhinaya

In Software Development Process, the design of complex systems is an important phase where software architects have to deal with abstract artefacts, procedures and ideas to discover the most suitable underlying architecture. Due to uncontrolled modifications of the design and frequent change of requirements, many of the working systems do not have a proper architecture. Most of the approaches recover the architectural blocks at the end of the development process which are not appropriate to the system considered. In order to structure these systems software components compositions and interactions should be properly adjusted which is a tedious work. Search-based Software Engineering (SBSE) is an emerging area which can support the decision making process of formulating the software architecture from initial analysis models. Thus component-based architectures is articulated as a multiple optimisation problem using evolutionary algorithms. Totally different metrics is applied looking on the design needs and also the specific domain. Thus during this analysis work, an effort has been created to propose a multi objective evolutionary approach for the invention of the underlying software system architectures beside a versatile encoding structure, correct style metrics for the fitness operate to enhance the standard and accuracy of the software system design.


1977 ◽  
Vol 16 (03) ◽  
pp. 144-153 ◽  
Author(s):  
E. Vaccari ◽  
W. Delaney ◽  
A. Chiesa

A software system for the automatic free-text analysis and retrieval of radiological reports is presented. Such software involves: (1) automatic translation of the specific natural language in a formalized metalanguage in order to transform the radiological report in a »normalized report« analyzable by computer; (2) content processing of the normalized report to select desired information. The approach used to accomplish point (1) is described in detail referring to a specific application.


2018 ◽  
pp. 60-64 ◽  
Author(s):  
M. Yu. Chernoskutov ◽  
A. D. Ivliev ◽  
V. V. Meshkov ◽  
A. O. Samoilov ◽  
A. S. Sosnin

Sign in / Sign up

Export Citation Format

Share Document