Resolving linkage anomalies in extracted software system models

2004 ◽  
Author(s):  
Jingwei Wu ◽  
R.C. Holt
Keyword(s):  
Software System ◽  
System Models

Design and Implementation of an Autonomic Code Generator Based on RTPA

2012 ◽  
pp. 196-218
Author(s):  
Yingxu Wang ◽  
Xinming Tan ◽  
Cyprian F. Ngolah
Keyword(s):  
Code Generation ◽  
Process Models ◽  
Software System ◽  
Code Generator ◽  
System Architectures ◽  
System Models ◽  
Automatic Software ◽  
Unified Process ◽  
Software Code ◽  
And Behaviors

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.

Design and Implementation of an Autonomic Code Generator Based on RTPA

2010 ◽  
Vol 2 (2) ◽  
pp. 44-65 ◽  
Author(s):  
Yingxu Wang ◽  
Xinming Tan ◽  
Cyprian F. Ngolah
Keyword(s):  
Code Generation ◽  
Process Models ◽  
Software System ◽  
Code Generator ◽  
System Architectures ◽  
System Models ◽  
Automatic Software ◽  
Unified Process ◽  
Software Code ◽  
And Behaviors

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.

DARR: A Free-text Analysis System for the Automatic Documentation of Radiological Reports

1977 ◽  
Vol 16 (03) ◽  
pp. 144-153 ◽  
Author(s):  
E. Vaccari ◽  
W. Delaney ◽  
A. Chiesa
Keyword(s):  
Natural Language ◽  
Text Analysis ◽  
Automatic Documentation ◽  
Free Text ◽  
Software System ◽  
Automatic Translation ◽  
Radiological Report ◽  
Analysis System ◽  
Content Processing

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.

THE ALGORITHMS FOR SOFTWARE SYSTEM OF SCIENTIFIC PUBLICATIONS ANALYSIS

2016 ◽  
Vol 23 (99) ◽  
pp. 53-57
Author(s):  
Evgenij V. Berlizov ◽  
◽  
Viktor Hapiak ◽  
Vira Liubchenko ◽  
◽  
...  
Keyword(s):  
Software System ◽  
Scientific Publications

Analisys of Innovation System Models

2006 ◽  
Vol 2 (3) ◽  
pp. 118-126
Author(s):  
I. S. Kuznecova ◽  
Keyword(s):  
Innovation System ◽  
System Models

THE IDENTIFICATION OF PARAMETERS OF THEORIES USED FOR PROGNOSES OF POST MINING DEFORMATIONS BY MEANS OF PRESENT SOFTWARE / IDENTYFIKACJA WARTOŚCI PARAMETRÓW TEORII PROGNOZOWANIA WPŁYWÓW PRZY WYKORZYSTANIU WSPÓŁCZESNYCH NARZĘDZI INFORMATYCZNYCH

2013 ◽  
Vol 58 (4) ◽  
pp. 1347-1357 ◽  
Author(s):  
Roman Ścigała
Keyword(s):  
Rock Mass ◽  
Land Surface ◽  
Underground Mining ◽  
Transient State ◽  
Computer Programs ◽  
Asymptotic State ◽  
Software System ◽  
Practical Utilization ◽  
Identification Of Parameters ◽  
Graphical Processing

Abstract The characteristic of specialized computer programs has been presented, serving for identification of W. Budryk-S. Knothe theory parameters, used for description of asymptotic state of post-mining deformations, as well as for transient state. The software is the result of several years of authors’ work. It is a part of complete software system designed for forecasting of underground mining influences on the rock mass and land surface and graphical processing of calculations results. Apart from software description, a short example of its practical utilization has been attached.

Editor's Note: Systems and System Models

2015 ◽  
Vol 052 (05) ◽  
Author(s):  
Linda Froschauer
Keyword(s):  
System Models
Sign in / Sign up

Export Citation Format

Share Document