Метод синтезу моделей станів об’єктів програмного забезпечення автоматизованої системи обробки цифрових зображень

This article proposes a method for the synthesis of the behavior of software objects models (SOM) for the developed object-oriented software systems for automated digital image processing in order to avoid systemic and algorithmic errors in the design phase of a software system, as well as to reduce the time of its development. The process of constructing the SOM proceeding from its finite-state representation is viewed from the standpoint of abstract synthesis of an automata’s finite state. Thus, the specialties of the synthesis of finite automaton SOM, the construction of the map defining a plurality of channels management class of objects, the order to bring it to an automata, the construction of the canonical set of events and their regular expressions to display defining a plurality of channels management of software objects class for object oriented software system are considered and justified. Переважна більшість даних, які обробляються сучасними інфокомунікаційними системами, є графічними. Істотна частка з них – цифрові зображення, які характеризуються великими обсягами. Таким чином, виникає потреба їх представлення у компактному вигляді, що забезпечить зменшення навантаження на канали зв’язку, підвищення оперативності доставки та скорочення обсягів пам’яті, необхідної для зберігання даних. Вирішенням цієї проблеми є розроблення з використанням об’єктно- орієнтованої технології автоматизованої системи обробки цифрових зображень (АСОЗ), на етапі проектування якої постає актуальна задача побудови моделей поведінки екземплярів класів об’єктно- орієнтованого програмного забезпечення (ООПЗ) задля уникнення системних та алгоритмічних помилок, а також скорочення часу розроблення. Тож, мета роботи полягає в розробленні метода синтезу моделей станів програмних об’єктів об’єктно-орієнтованого програмного забезпечення АСОЗ. Процес побудови моделі станів програмних об’єктів (МСО) ООПЗ, виходячи з її скінченно- автоматного представлення, розглянуто з погляду абстрактного синтезу скінченного автомата. У роботі викладені й обґрунтовані особливості синтезу скінченно-автоматної МСО ООПЗ, побудова відображення, яке визначає множину каналів керування класу об’єктів, та порядок приведення його до автоматного виду, а також побудова канонічної множини подій і їх регулярних виразів для відображення, яке визначає множину каналів керування класу програмних об’єктів. На основі отриманих результатів дослідження запропоновано метод синтезу моделей станів програмних об’єктів ООПЗ. Запропонований метод забезпечує формалізацію процесу визначення станів та їх взаємозв’язків у життєвому циклі екземпляра класу ООПЗ, а також дозволяє зменшити трудомісткість процесу розробки динамічної компоненти комплексної моделі ООПЗ під час її проектування на логічному рівні

A goal-oriented requirements modelling language for enterprise architecture

Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is needed to specify, document, communicate and reason about goals and requirements. Current modelling techniques for enterprise architecture focus on the products, services, processes and applications of an enterprise. In addition, techniques may be provided to describe structured requirements lists and use cases. Little support is available however for modelling the underlying motivation of enterprise architectures in terms of stakeholder concerns and the high-level goals that address these concerns. This paper describes a language that supports the modelling of this motivation. The definition of the language is based on existing work on high-level goal and requirements modelling and is aligned with an existing standard for enterprise modelling: the ArchiMate language. Furthermore, the paper illustrates how enterprise architecture can benefit from analysis techniques in the requirements domain

Water and environmental issues

Water is a precious and finite part of the environment which is vital for socioeconomic development, sustainability of the environment and survival. Malaysia is fortunate that it is located in a humid tropical area rich in rainfall and water resources. The rapid economic growth of Malaysia in the past decades is also mainly attributed to its ability to exploit abundant natural resources including water. The exploitation of water resources is an important catalyst of economic growth but continuous exploitation without proper management and conservation may cause the depletion of water supplies, rendering water resources unsustainable. In recent years, water problems have escalated in Malaysia due to climate change, urbanization and population explosion. Therefore, effective water conservation, efficient waste water and sewage management integrated with recent technologies are important for fostering the tandem development of economic growth and the sustainability of environmental resources

Independent verification of specification models for large software systems at the early phases of development lifecycle

One of the major challenges facing the software industry, in general and IV&V (Independent Verification and Validation) analysts in particular, is to find ways for analyzing dynamic behavior of requirement specifications of large software systems early in the development lifecycle. Such analysis can significantly improve the performance and reliability of the developed systems. This dissertation addresses the problem of developing an IV&V framework for extracting semantics of dynamic behavior from requirement specifications based on: (1) SART (Structured Analysis with Realtime) models, and (2) UML (Unified Modeling Language) models.;For SART, the framework presented here shows a direct mapping from SART specification models to CPN (Colored Petrinets) models. The semantics of the SART hierarchy at the individual levels are preserved in the mapping. This makes it easy for the analyst to perform the analysis and trace back to the corresponding SART model. CPN was selected because it supports rigorous dynamic analysis. A large scale case study based on a component of NASA EOS system was performed for a proof of the concept.;For UML specifications, an approach based on metamodels is presented. A special type of metamodel, called dynamic metamodel (DMM), is introduced. This approach holds several advantages over the direct mapping of UML to CPN. The mapping rules for generating DMM are not CPN specific, hence they would not change if a language other than CPN is used. Also it makes it more flexible to develop DMM because other types of models can be added to the existing UML models. A simple example of a pacemaker is used to illustrate the concepts of DMM

Extracting Functionally Equivalent Object-Oriented Designs from Legacy Imperative Code

This research defines a methodology for automatically extracting functionally equivalent object-oriented designs from legacy imperative programs. The Parameter-Based Object Identification (PBOI) methodology is based on fundamental ideas that relate programs written in imperative languages such as C or COBOL to objects and classes written in object-oriented languages such as Ada 95 or C ++. Transformations have been developed that formalize the PBOI methodology and a formal proof is provided showing the extracted object-oriented design is functionally equivalent to the legacy imperative system. To focus the task of re-engineering, generic models of imperative programming languages and object-oriented programming languages have been developed. The formal transformations convert imperative subprograms represented in the Generic Imperative Model (GIM) into classes and objects represented in the Generic Object-Oriented Design Model (GOM). A taxonomy of imperative subprograms has also been developed which classifies all imperative subprograms into one of six categories. A proof-of-concept prototype has been developed and a 3000-line FORTRAN-77 system has been converted to an object-oriented design as a feasibility demonstration

Goal-oriented requirements modeling as a means to address stakeholder-related issues in EA

In this paper we explore goal-oriented requirements engineering (GORE) as a means to address stakeholder-related issues in the enterprise architecting process. We elaborate on a recent literature analysis on enterprise architecting issues. We refine this literature analysis results by identifying problem areas that we consider solvable by increasing the focus on the stakeholders in EA. We develop a conceptual model, which we use to provide reasoning about means to foster stakeholder orientation and thereby to address stakeholder-related issues. We argue that a stronger focus on the stakeholders‟ benefits EA and that this increased stakeholder orientation can be reached by leveraging intentional modeling used in software engineering

Some observations on the application of software metrics to UML models

In this position paper we discuss some of the existing work on applying metrics to UML models, present some of our own work in this area, and specify some topics for future research that we regard as important