Volumen 14 (2013): Heft 1 (June 2013)

The paper draws attention to the problem of code generation under advanced software development. In their previous publications the authors already discussed several issues associated with the inconsistency between the generated software components and those expected in respect with the rules for object-oriented programming. The current research is an effort to systematize the information about code generation methods and techniques applied in the task of code generation and to try to answer the question of what is the reason for code generation failing to work correctly.

In this paper an ability to apply the two-hemisphere model-driven approach for creation of the UML class diagram is discussed and the way to avoid the limitations of the approach is offered. The result of the proposed improvement of the twohemisphere model-driven approach is the increased number of elements of the UML class diagram available for automatic generation and several statements for semi-automatic transformation of business process diagram and the concept diagram into software components. As a result, the authors can ascertain that it is possible to apply the improved twohemisphere model-driven approach in practice in the real software development, and not only for academic purpose.

Modeling of the object interaction is one of the core tasks during system analysis and design, because it gives developer an ability to define responsibilities of class objects and to sketch general architecture of software components. In this task an ability of automatic generation of the UML sequence diagram becomes one of the most important activities. The twohemisphere model contains enough information to define operations to perform by classes and therefore is investigated in this paper in the context of the UML sequence diagram generation.

The paper focuses on an open question about ensuring conformity among a domain of system knowledge, an analysis domain, a software design domain, and code. Principles of Model Driven Engineering are used in the research, namely, formal specifications of domains and support of conformity among these specifications with the help of traceability mechanism. Topological Functioning Model (TFM) has a mathematical mechanism for supporting traceability, and, thus, conformity. The main results demonstrate that the TFM holds the central place in a chain of trace links between specifications, and analysis of these links enables verification of domain conformity. The results are theoretical and require additional practical experiments.

we present an integrated approach for robot localization that allows to integrate for the artificial landmark localization data with odometric sensors and signal transfer function data to provide means for different practical application scenarios. The sensor data fusion deals with asynchronous sensor data using inverse Laplace transform. We demonstrate a simulation software system that ensures smooth integration of the odometry-based and signal transfer - based localization into one approach.

In this paper we propose architecture for a multirobot management system, ways of identifying the implementation challenges and analyzing how to address these challenges by using out-of-the-box features provided by .NET framework. We make a departure from using agent or robot specific development tools in order to take a fresh look at one of the industry leading general purpose development platforms that is .NET framework to analyze its applicability to multi-robot system development. For verification of the proposed ideas in practice, a multi-robot system is implemented using physical iRobot Roomba robots as the robot platform.

An important prerequisite for creation of autonomous robot is the ability to create the map of the environment. Robots need to be able to construct a map of the environment and to use it for navigation. In this paper a multirobot mapping approach is proposed, where artificial landmarks (glyphs) are used for robot localisation and only simple sensors - bumper sensors - are available for obstacle detection. The proposed mapping system creates the map of the environment and allows changing the map rapidly in case of inaccurate robot position measurements or sensor errors. The system has a central server and robots use wireless network to communicate with the server. The mapping implementation takes into account the fact that the network has limited bandwidth and only limited amount of data can be sent.

Kinematic model is the basic aspect in robot design and motion planning. Kinematic models are idealized, however there exist certain specific aspects of particular robot or environment, so that during navigation, the robot can significantly deviate from the planned trajectory. To increase the accuracy of motions, kinematic model can be improved and to achieve that the artificial intelligence methods can be used. In case of fixed base robots different approaches are used to train kinematics, at the same time, for the mobile base robots it proves to be a more complicated task. The reason is that a mobile robot can move unbound with respect to environment thus it is difficult to control the platform without deviation from the target position, which leads to inaccuracy in the position estimate. This paper presents the method meant for improvement of the accuracy of motion of differential drive platform. Genetic programming is used to obtain the wheel velocity function, from which the coefficient, which describes different factor influence on motion, is obtained. As a result, the kinematic model of a particular platform for a particular task is obtained. This method is effective because the developed kinematic model is more specific than the general one.

The main purpose of this paper is to present an algorithm of OWL (Web Ontology Language) ontology transformation to concept map for subsequent generation of rules and also to evaluate the efficiency of this algorithm. These generated rules are necessary to supplement and even to develop SWES (Semantic Web Expert System) knowledge base. This paper is a continuation of the earlier research of OWL ontology transformation to rules.

Improvement of IT technologies, expansion of internet and popularization of web technologies have enabled technology enhanced learning introduction in adaption of general matters and acquaintance of specialized problems. It is necessary to integrate in ITS (Intelligent Tutoring System) analysis mechanisms and reactions to simulate or overcome natural tutoring environment achievements. In the development of learning systems it is necessary to take into account both individual needs and requirements, as well as the resources of information technologies. Feedback should be aligned, as much as possible, to the learner’s individuality, special needs, self-evaluation, self-explanation, self-regulation, etc.