Ruslan Shevchenko

Bio: Ruslan Shevchenko is an academic researcher from National Academy of Sciences of Ukraine. The author has contributed to research in topics: Common Object Request Broker Architecture & Rewriting. The author has an hindex of 3, co-authored 12 publications receiving 53 citations.

A Rewriting Framework for Rule-Based Programming Dynamic Applications

Abstract: In recent years light-weighted formal methods in construction and analysis of complex concurrent software system are of growing interest. In this paper a new rule-action based term rewriting framework, called TermWare, is proposed and its application to software system analysis is described to provide better cost effectiveness of software maintenance under varied requirements and specifications of operation. The main advantage is light-weighted formal model based on not computational semantics but on particular properties of software system to be analyzed. Such approach eliminates the need in full formal analysis of software system and allows extreme flexibility of applications in two major concerns: high adaptability to changeable environment and easy reengineering and component reuse. The language and formal semantics of the system are defined. A new semantic model, called term system with action, is proposed for TermWare. A case study with some representative examples in source code analysis and software development with TermWare framework is presented.

Techniques for Increasing Performance of CORBA Parallel Distributed Applications

Abstract: A time cost model for CORBA distributed applications performance is proposed and new insights on enhancing parallelism and performance optimisation techniques of distributed programs are given. Some results on measuring performance of experiment applications are presented. A new 4-tiered architecture based on our cost model against traditional 3-tiered one for Internet distributed applications is proposed.

Managing Business Logic with Symbolic Computation.

Abstract: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper The approach uses symbolic transformation system based on rewriting techniques and embedded in Java language and provides analysis and engineering distributed applications at source code level The benefit of the system is extreme flexibility of the approach and light-weightedness of formal methods and their separate application to program features that does not need to know full semantic model of application programs The system is implemented and its usage is illustrated with an application example of engineering CORBA middleware application

A time cost model for distributed objects parallel computation

Abstract: A time cost model for parallel computation in CORBA-distributed objects is introduced and a methodology for enhancing performance of distributed applications is proposed. A new four-tiered architecture, against traditional three-tiered one, is derived form constructed cost model for Internet distributed applications.

Software Process and Product Improvement: A Historical Perspective

Abstract: In this paper, a historical overview of significant attempts to get over the software crisis is presented. In particular, we trace the development of lifecycle models and information systems development methodologies during the last four decades. Finally, we explore the role of measurements and outline current and future works leading to process and product improvement.

A Rewriting Framework for Rule-Based Programming Dynamic Applications

Abstract: In recent years light-weighted formal methods in construction and analysis of complex concurrent software system are of growing interest. In this paper a new rule-action based term rewriting framework, called TermWare, is proposed and its application to software system analysis is described to provide better cost effectiveness of software maintenance under varied requirements and specifications of operation. The main advantage is light-weighted formal model based on not computational semantics but on particular properties of software system to be analyzed. Such approach eliminates the need in full formal analysis of software system and allows extreme flexibility of applications in two major concerns: high adaptability to changeable environment and easy reengineering and component reuse. The language and formal semantics of the system are defined. A new semantic model, called term system with action, is proposed for TermWare. A case study with some representative examples in source code analysis and software development with TermWare framework is presented.

Developing and Optimizing Parallel Programs with Algebra-Algorithmic and Term Rewriting Tools

Abstract: An approach to program design and synthesis using algebra-algorithmic specifications and rewriting rules techniques is proposed. An algebra-algorithmic toolkit based on the approach allows building syntactically correct and easy-to-understand algorithm specifications. The term rewriting system supplements the algebra-algorithmic toolkit with facilities for transformation of the sequential and parallel algorithms, enabling performance improvement. We demonstrate the usage of the proposed tools with a simple example of parallelizing sequential program and improving performance of a parallel program, and also discuss possible applications in larger real-world projects.

Automatic software distribution and installation in a multi-tiered computer network

Abstract: A system, method, and computer program product are disclosed for providing automatic software distribution and installation throughout a multi-tiered computer architecture. The multi-tiered architecture includes a global tier, a hub tier below the global tier, and a target tier that is below the hub tier. A distribution request is received within a global computer system that is in the global tier. The distribution request is to distribute a file package to a target computer system that is in the target tier. The global computer system starts a distribution process in the hub computer system. The file package and an installation process are transferred to the hub computer system from the global computer system. The file package and installation process are automatically distributed to the target computer system from the hub computer system utilizing the distribution process. The target computer system then automatically installs the file package utilizing the installation process.

ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer

Abstract: Collaboration workflows for human experts involved in distributed problem solving and acting in dynamic environments require advanced self-configuration mechanisms for optimal selection of service providers. Such dynamic environments, specific for example to problems like environmental management, disaster and crisis management, and high-risk project management, are characterized by continuously changing situations, occurrence of unexpected events, as well as high variability in resources’ availability. We propose a solution for selfconfiguration based on a framework for the development of flexible cooperative multi-issue one-to-many service negotiations. The framework allows two levels of dynamic configuration of negotiations. First, the negotiation protocol can by dynamically selected depending on the profiles of available service providers. Second, negotiation subject as well as the parameters of the negotiation protocol, can be dynamically set depending on the current requirements of the service requester. In this paper we illustrate the features of our framework for dynamic negotiations using an example of service contracting in the field of disaster management. We also provide initial experimental results concerning the effect of the dynamic selection of negotiation protocol onto the quality of the negotiation outcome as well as onto the communication complexity of interactions incurred during negotiations.