ISSN 1312-2622

YEAR VIII No. 2 / 2010

CONTENTS
Commercial Tools for Model Driven Architecture Software Development
Neurobiology and Decision Making: An Intriguing Rendezvous
A Fixed-Point Approach towards Efficient Models Conversion
Comparative Analysis of Existing Methods and Algorithms for Automatic Assignment of Reviewers to Papers

 

Commercial Tools for Model Driven Architecture Software Development
A. Popandreeva
Key Words:
Software engineering; MDA; modeling; tools.
Abstract:
MDA based software design approach specifies the system functionality with a platform independent model and then translates this model into platform specific model(s) and executable source code. It defines transformations from platform independent models to platform specific models. Different tools automate different phase of MDA software development. Some of them support model validation and model simulation, other code generation R.

Neurobiology and Decision Making: An Intriguing Rendezvous
G. Mengov
Key Words:
Decision making; neurobiological modeling.
Abstract:
We focus on aspects of the neurobiological approach to modeling human decision making. We outline three differential equations, which comprise the heart of the method and give an example how they have been used in a neural network, modeling emotional reactions and reflex conditioning. An economic ­ psychological experiment serves as an example how the approach can perform and what it can contribute to our understanding of decision making processes. We conclude with a discussion about the interesting implications arising from the new approach.

A Fixed-Point Approach towards Efficient Models Conversion
S. Andrei, H. Koh
Key Words:
Pushdown automaton; context-free grammar; conversion; fixed-point approach.
Abstract:
Formal languages have different models of language representations, such as acceptors and generators. This paper refers to pushdown automata as acceptors and to context-free grammars as generators. Some applications are better specified using a model, while other applications work better using another model. Our paper deals with a conversion of an arbitrary pushdown automaton to a context-free grammar based upon a fixed-based approach which results in an equivalent context-free grammar of significantly reduced size. In addition, this conversion turns out to be very conducive if the input pushdown automaton is in a special form, which we introduce as a new class of popping static pushdown automata (PSPDA). We prove that for a PSPDA automaton, our conversion algorithm has a linear time complexity, and the resulting context-free grammar has a linear size of the entire representation of the PSPDA. Moreover, we show that the PSPDA class has the same expressive power as the traditional pushdown automata.

Comparative Analysis of Existing Methods and Algorithms for Automatic Assignment of Reviewers to Papers
Y. Kalmukov, B. Rachev
Key Words:
Describing papers and reviewers’ competences; assigning reviewers to papers; paper reviewing; conference management systems.
Abstract:
The article focuses on the importance of the automatic assignment of reviewers to papers for increasing the assignment accuracy the quality of the scientific event itself. It discusses the main aspects that influence the assignment accuracy, performs a detailed analysis of the methods of describing papers and reviewers’ competences used by the existing conference management systems and suggests some improvements in the way the similarity factors are calculated.

The John Atanasoff Society of Automatics and Informatics

[Home ]   [Current]  [Editorial Board]  [Author Guidelines]   [Archives ]
  [Contact us]