UML Language Research Articles

FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE

The visual modeling language UML embodies object-oriented design principles.It provides a standard way to visualize the design of a system. It exploits a richset of well-defined graphical notations for creating abstract models. However,the power of UML is lessened through partially specified formal semantics. Indeed, UML notations are semi-formal and do not lead to fully formalized andexecutable semantics. Fortunately, UML diagrams are prone to early formalization. Formal methods are a valuable tool that can help overcome the UMLconstructs’ shortage of firm semantics. It is a powerful way to ascribe precise semantics to the graphical notations used in UML diagrams and models.Our work aims to support the semantics of the UML Interaction Overview Diagram. It introduces an approach to leveraging the strengths of the MaudeRewriting Logic language as a formal specification language. The proposal relies on a model-driven engineering approach. It aims to automate the UMLInteraction Overview Diagram’s mapping to a Maude language specification.The Maude language and its linked tools, including the Maude Model Checker,are used to analyze and verify the resulting Maude specification. Finally, anapplication example shows the feasibility and benefits of the proposed approach.

Explanation, semantics, and ontology

The terms ‘semantics’ and ‘ontology’ are increasingly appearing together with ‘explanation’, not only in the scientific literature, but also in everyday social interactions, in particular, within organizations. Ontologies have been shown to play a key role in supporting the semantic interoperability of data and knowledge representation structures used by information systems. With the proliferation of applications of Artificial Intelligence (AI) in different settings and the increasing need to guarantee their explainability (but also their interoperability) in critical contexts, the term ‘explanation’ has also become part of the scientific and technical jargon of modern information systems engineering. However, all of these terms are also significantly overloaded. In this paper, we address several interpretations of these notions, with an emphasis on their strong connection. Specifically, we discuss a notion of explanation termed ontological unpacking, which aims at explaining symbolic domain descriptions (e.g., conceptual models, knowledge graphs, logical specifications) by revealing their ontological commitment in terms of their so-called truthmakers, i.e., the entities in one’s ontology that are responsible for the truth of a description. To illustrate this methodology, we employ an ontological theory of relations to explain a symbolic model encoded in the de facto standard modeling language UML. We also discuss the essential role played by ontology-driven conceptual models (resulting from this form of explanation processes) in supporting semantic interoperability tasks. Furthermore, we revisit a proposal for quality criteria for explanations from philosophy of science to assess our approach. Finally, we discuss the relation between ontological unpacking and other forms of explanation in philosophy and science, as well as in the subarea of Artificial Intelligence known as Explainable AI (XAI).

Goal-Oriented Metropolis Ecosystem Development

Enterprise architecture (EA) modelling is understood as a system of architecture defined in ISO42010 and EA is intended to ensure a holistic view of business organization. This study analyses the goal-oriented approach to EA development. Justification of selection of this topic results from studies on EA modelling methods. Enterprise architects mainly focus on process modelling as well as on the application of UML language. There is still an open question of what the goals of EA modelling are. This paper presents an application of ArchiMate language and i* notation for goal-oriented EA modelling. The paper methodology covers a literature survey as well as a case study presenting ArchiMate and i* models for goal-oriented EA development by example of metropolis system architecture modelling. In this paper, a metropolis is defined as a consortium of cooperative communities and it is considered as a business organization for which the system architecture is modelled. The paper aims to develop the metropolis architecture model consisting of system components, i.e. business issues, data, software and hardware. The metropolis architecture models are provided to support development of a metropolis strategy. The main findings include the identification of business goals and EA goals, goal mapping, and specification of the key performance indicators (KPIs) to control the achievement of the goals.

ГРАФИЧЕСКОЕ МОДЕЛИРОВАНИЕ ЭКОНОМИЧЕСКИХ БИЗНЕС-ПРОЦЕССОВ СИСТЕМЫ УПРАВЛЕНИЯ ПРЕДПРИНИМАТЕЛЬСКОЙ СТРУКТУРОЙ

The article highlights and substantiates the role of graphical modeling of economic business processes in the management system of an entrepreneurial structure. Four types of business process modeling are analyzed and schematically presented: Petri nets, the method of structured analysis and design, the unified modeling language UML, the BPMN 2.0 business process model and evaluation, which allow you to abstractly and in detail identify economic innovations or improve existing business processes. The scientific novelty and practical significance of the work lies in the justification that the BPMN 2.0 business process model and assessment, for graphical modeling of economic business processes of the business structure management system, seems to be the best choice.

Analysis of business processes of a printing enterprise and modeling the management system

Currently, information technology intensively covers all spheres of society and makes significant changes in society. Of course, there are many different views of information technology in the world. However, there are many benefits that information systems can bring to both individuals and businesses. The goal of any company is to get ahead of its competitors and take a leading position in the market. He has many ways. One of them is digitalization, the introduction of information management system in the enterprise using computer technology. The article analyzes management information systems for the printing company. In addition, structural models of business processes of the printing company were demonstrated based on IDEF0 notation. Analyzing business processes, using a unified modeling language UML described the work of business processes printing company in an information management system.

Modeling the Technological Process of the “Cup” Part in UML Language

Modeling the Technological Process of the “Cup” Part in UML Language

THE USE OF GIS TECHNOLOGIES TO DETERMINE TRANSPORT ACCESSIBILITY IN TOURISM

The article examines the possibilities of using GIS technologies in the tourism sphere. The study focused on the conceptual modeling of tourism and the geoinformation support in planning tourist routes. The subject area of tourism as a conceptual model in terms of database modeling and GIS using UML language was characterized and presented. The method of using the GIS to solve the problem of modeling transport accessibility zones to tourist attractions in shaping transport routes has been proposed. The QGIS was used in tandem with a database management system such as PostgreSQL. GRASS GIS environment was used to perform spatial analysis. The object of this research is the transport network in one of the districts of the Ternopil region. We have tested in practice the proposed technological scheme on the example of the Ternopil district with the use of PostgreSQL database management system, QGIS, and GRAS GIS. We have created a tourist isochrone map of this region with some attractive places. The proposed methodology for determining transport accessibility using spatial analysis tools with the creation of isochrone maps and a flexible system of adjustments in the GIS makes it possible to optimize already existing tourism routes and create new ones.

Application of Use Cases and the UML language in the design of Intelligent Transportation Systems

The purpose of this paper is to analyse the applicability of the description of use cases and the UML language that takes them into account in the process of designing Intelligent Transportation Systems (ITS). These systems are built using standardized solutions and devices, but the system itself and the individual organizational solutions used therein are individually tailored to the needs of the employer - the manager of the road network on which the system is implemented. The first stage of the project may include verbal descriptions of the requirements, proposals for solutions, relations between system elements, contents of databases, etc. However, the next stages of the work should involve the use of tools to formalize the record so that it is understandable to the entire project team, the contractors of the system elements, and then form the basis for the development of design and detailed documentation. The tools that can be used in the design process of an ITS solution are, described in the paper use cases that define the interaction of system users ("actors") with the system, and the UML language used in the design of information systems. The paper describes the legal basis for ITS solutions, ways of defining use cases, the UML, including use case diagrams, behavioural diagrams and structural diagrams. Examples of the application of the UML to describe the design of an ITS system are also presented.

PERANCANGAN SISTEM INFORMASI PENGARSIPAN SURAT MASUK DAN SURAT KELUAR PADA BIDANG JEMBATAN DINAS PUBMTR

Abstract : This research was conducted at the Public Works Department on the bridge midwife. This right was back grounded by the existence of a running system and found several shortcomings that occurred, especially in the archiving of the writing structure in the agenda book and the storage of hardcopy files so that this causes difficulties in conducting searches because they have to open one by one in the recording of the agenda book and there can also be loss or damage to the letter stored in hardcopy form. In accordance with the description and existing problems, the author tried to design an archiving information system using the programming languages Xampp, Phpmyadmin, Sublime text and UML (Use case, Activity and Class Diagram) as the database. As for what resulted from this study, the information system for archiving incoming and outgoing letters in the Bridge Sector at the Public Works Office of Bina Marga and Spatial Planning of South Sumatra Province.

Sistem Informasi Inventory Penjualan Barang (Studi Kasus : Toko Aru Raya)

The system for handling product data in a store is one that can facilitate efficient operation. It is still not utilized by the majority of stores, which continue to manage their product data manually. Application for the Goods Data Management System at the Aru Raya Store, which will be sent to the stage of system implementation used to manage transactions at the Aru Raya Store. Numerous flaws in the current system have been discovered during the course of the field research procedure. Despite the fact that there is nothing as a whole, but rather leads to specific issues, it is anticipated to have a significant impact on system users. Because it will be quicker, more accurate, and more precise with this information system, the author of the information system designed the supply chain for Baceno Bag Convection. The author of this new system realized an effective system at Aru Raya Store in Lubuk Begalung by creating it utilizing the PHP, UML, and MySQL Database programming languages.

A BIM-based Techno-Economic Framework and Tool for Evaluating and Comparing Building Renovation Strategies

Building renovation presents real challenges for project participants which frequently generate high cost and schedule overruns. The disruption caused to occupants is one of the main challenges for the planning and management of renovation works. To better manage occupant interference and enable the acceleration of renovation works, this study aims to develop a novel framework for the assessment and optimisation of renovation strategies using BIM. The concept of disruption is formalised through a renovation ontology using the UML language. To enable process automation, the renovation ontology is then populated, and knowledge related to renovation tasks, constraints, duration, cost, equipment, and disruption are captured, structured and validated with industry partners. A digital tool and a set of Key Performance Indicators are also developed so as to facilitate the identification, assessment and optimisation of renovation scenarios in terms of cost, project duration and disruptive potential. Using a step-by-step process, detailed descriptions of the methodologies and workflows of the proposed framework are finally provided and demonstrated on a live case study located in Greece. The findings show no spatial correlation exist for the disruption concept and also confirm the disruptive nature of building floor renovation which can lead to a low rate of retrofitting them. Furthermore, the findings question the general applicability of the Whiteman et al.’s heuristic suggesting to prioritise the planning and execution of the most disruptive renovation activities as early as possible in the renovation process, and of the preference of Fawcett for a one-off renovation strategy recommending to conduct renovation works in one go as quickly as possible. Ultimately, the TEA framework will be further demonstrated and tested by end-users on three additional European case studies within the RINNO project which will particularly help validating the added value and benefits of the TEA framework from a user perspective.

Study of CIM Modeling for a PV Grid-Connected System

To conduct the research on voltage stability online-monitoring simulation system in the photovoltaic (PV) power gird-connected system, a classic 3-bus power system containing a PV power station with a flexible setting capacity (including distributed PV, relatively large-scale and large-scale PV, and super large-scale PV base, etc.) is taken as the test example. According to the IEC 61970 Standard Part 301 (Common Information Model, CIM), CIM modeling method for the PV grid-connected 3-bus system is studied by using the Rational Rose software and the unified modeling language UML, and the PV grid-connected system’s network connection model, each load model, measurement model and topological model are established; meanwhile, the PV power is treated as a load model to simplify the modeling process. On the basis of the established CIM model of the PV grid-connected system, the method of mapping the common information model to the relational database is studied and an applied mapping diagram is set up. Then the database technology is used to deposit the established CIM model into the created database for the use of Energy Manage System (EMS) and each utility software such as the voltage stability online-monitoring software in the PV grid-connected system. Then, the database is technically connected to the voltage stability online-monitoring software of the PV grid-connected system, and the communication between the station terminal and the monitoring terminal can be realized.

Using a case model at a stand software designing for training skills in working with modern switching arrangement

The article is devoted to the design of an information system for testing skills in working with modern switching arrangement on a laboratory bench based on the general-purpose visual modeling language UML. Precedents at the interaction of the system with the user (for example, a student) are described. A precedent diagram for the Panasonic NCP500 IP-PBX stand is carried out. Two scenarios for study by students the elements of an automatic telephone exchange is developed. The creation of interaction diagrams, illustrating the connection of objects in the process of fulfilling system requirements is considered. The structure of the developed software, reflecting its functionality, is formed. Keywords software means, information system, precedent, scenario, system operation, application, automatic telephone exchange, laboratory stand

FEATURES OF THE IMPLEMENTATION OF THE SPEAKER IDENTIFICATION SOFTWARE SYSTEM

The proposed architecture of the identification software system in the form of class and sequence diagrams. The main criteria for assessing the accuracy of speaker identification were studied and possible sources of loss of speaker identification accuracy were identified, which can be used when building a speaker identification system. A software system based on the proposed architecture and previously developed identification algorithms and methods was created.
 The following conclusions can be drawn on the basis of the performed research: approaches to the construction of existing announcer identification systems are considered; the main criteria for assessing the accuracy of announcer identification were investigated and the main sources of loss of accuracy during announcer identification were identified; the structural construction of the announcer identification system is considered, taking into account the identified sources of loss of accuracy during announcer identification; the proposed architecture of the speaker identification system in the UML language in the form of class and sequence diagrams; a software system was built that implements the functions of speech signal identification according to the methods and algorithm proposed in previous works.
 The software system uses a ranking method based on three different criteria. These include: calculation of the proximity of two-dimensional probability density function curves for the frequency of the main tone and the location in the spectrum of three frequency ranges that are extracted from the speech recorded in the speech signal; calculation of the proximity of the probability density function curves for each of these features separately; calculation of the degree of closeness of the absolute maxima of the formant spectra extracted from the speech recorded in the speech signal.

TIME MANAGEMENT WEB -ORIENTED INFORMATION SYSTEM BASED ON THE MERN TECHNOLOGY STACK

The problem of fleeting time and its effective use has deep roots in human history. Many generations have asked the question of what time is, how it can be controlled, and if it cannot be controlled, how to deal with this enormous influence on human life. Time is the most valuable resource that you have to learn to manage. The more we manage to do, the better the quality of our work and life in general. And in the conditions of digital transformation and acceleration of changes, a clear order sometimes helps to maintain focus on goals, not to deviate from the course, and, ultimately, to be in demand in the labor market.
 The main drivers of the time management system are management methods and techniques. Techniques allow different ways to compose a plan for different periods and evaluate priority. The methods, in turn, solve the issue of the implementation of this plan. The implementation tool is no less important, and here information systems have offered themselves very well. The possibility of dynamic planning, scalability, a system of reminders, and a system of rewards - all reflects powerful solutions for the introduction of time management.
 This work offers an overview of the process of developing a convenient information system with time management methods. A study of time management methods was conducted. An information model was developed that combines Pomodoro techniques, ABC analysis based on the Eisenhower principle, and Getting Things Done. This model allows you to classify tasks according to the degree of importance, divide them into different groups and lists, assign time for long-term and short-term tasks, and analyze the degree of completion of each task and the work as a whole.
 Modeling of the information system was carried out using the unified modeling language UML and its diagrams of precedents, deployment, classes, packages, and components, which simplify the creation of the application logic and reflect the structure of the application. The design of the system was also carried out using the creation of a prototype in the online vector service Figma. The information system is implemented as a client-server web-oriented application based on the MERN technology stack. React is used to develop the web application interface, Node.js, and the Express.js framework for the application server, which implements the creation and request of APIs for communicating with the document-oriented database management system MongoDB using the mongoose module.

IT ARCHITECTURE SOLUTIONS FOR INDUSTRY BASED COOPERATIONS INTEGRATION SUPPORT

The current research provides solution for the process of legal cooperation between enterprises of participants according to the technological and delivery principle information support. As a solution, it is proposed to design a single information space based on existing information systems using microservice architecture technologies. This article discusses the main problems of supporting the integration process of intra-industry cooperation, provides a model for the integral assessment of the industry cooperation effectiveness based on the method of Saaty hierarchies and expert assessments, the article describes the contract of interaction within the framework of the integration process. The article also presents an architecture model built using the object-oriented language UML, provides an assessment of the system stability of the architecture model using a mixed graph, and presents the results of an architecture’s practical assessment.

STUDY OF THE INFLUENCE OF THE QUALITY OF ASSIMILATION OF THE PREVIOUS MATERIAL ON THE PREDICTION OF STUDENT GRADES IN A PARTICULAR DISCIPLINE

The paper considers the basic concepts related to the quality of education in general and the assimilation of students of educational material. The problem of predicting a student's grade in any discipline is formulated, having grades in "providing" disciplines. A list of methods that can be applied to solve the problem (multivariate regression analysis method, artificial neural networks method, k nearest neighbors method) is presented, a conclusion is made about the expediency of using the artificial neural networks method. The formulation of the problem of predicting the assimilation of knowledge and programming skills is described. The architecture used was a perceptron with four input neurons, one output neuron, and 10 hidden layer neurons. By conducting a series of numerical experiments, the optimal architecture of the neural network was selected. As an example, the curriculum and the structural and logical scheme of the educational and professional program "Intelligent Decision Making Systems" of the specialty 124 "System Analysis" were used. The created information model of the designed system is described in the visual modeling language UML (diagrams of use cases, classes, cooperation, sequence, states, activities and components). The possibilities of the system for studying the influence of the assimilation of the previous material on the prediction of students' grades in a particular discipline are described, an example of the functioning of this system is given, and an analysis of the results of calculations is carried out. It is indicated that the system allows analysis of the results of calculations for further selection of the best method for forecasting.

Recommendation System for Planning Leisure in Quarantine Conditions

The work is devoted to research on the problem of management and organization of free time during the period of forced stay at home by means of information technologies. The paper describes the problems during quarantine restrictions and how this affects the psycho- emotional health of the person. The need to adapt and modify the usual forms of leisure activity to the new format has been determined. The most famous modern information systems, providing entertainment services are narrow-purpose systems. They generate recommendations related to media services. Methods of providing recommendations have been studied. A tree of goals was built to solve the problem situation. Alternative means of implementation of the information system are considered. Using the method of the hierarchical analysis, the optimal system type of implementation of the proposed solution is chosen – the recommendation system. The algorithm of work of the recommendation system of free time during the period of forced stay at home is described. The mechanism of weight optimization in the weighted hybrid recommendation algorithm was used to provide recommendations. When a user's portrait is created, the method of the personality type indicator is used. Using the UML language tools, a conceptual system model has been designed. For realization of the prototype of a mobile application of the system language programming Java, JavaScript, frame react Native is chosen. To work with the database the MySQL database management system has been selected. An example of using the system as a mobile application is given. The main stages of interaction of the user with the recommended system of free time during the period of forced stay at home are described. The work of the recommendation system is aimed at mitigating the negative consequences on the psycho-emotional state of a person who is in the conditions of forced quarantine. The special feature of the recommendations of the developed prototype is to offer, in addition to passive activities, active actions that take into account the peculiarities of each user. Application of the system is not limited only to quarantine. The services of the system will be appropriate for people with disabilities, in the case of physical injury transfer or liquidation, which led to temporary immobility.

Contribution to the Improvement of the Petroleum Products Delivery Policy by the Implementation of a Computer System Based on the Dijkstra Method

The distribution and marketing of petroleum products are the sources of energy for the various activities of human society and household supply. We spent our time researching the competitive factors to reduce the time of distribution of petroleum products, by setting up a computer system based on Dijkstra’s algorithm our contribution will solve a real problem of delivery with direct targeting of gas stations. We set up a tool to help to map based on the method of operational research starting with the identification of delivery point, mapping and then applying the algorithm. Mainly the graph theory and the optimal path in a network by a short path using the method of Dijkstra for the design we used the UML language, the programming we used the JAVA language with very appreciable results to finish with a conclusion.

Requirement Design for Software Configuration and System Modeling

Software Configuration Management (SCM) aims to control the development of complex software systems. Traditional SCM systems treat text files as central artifacts, so they are mainly developed for source code. Such a system is not suitable for model-based software development with model-centric artifacts. When applying traditional systems to model-based software development, new challenges such as model mapping, differentiation, and merging arise. Many existing methods mainly use UML or domain-specific languages to determine model differences. However, as far as we know, there is no such technology for System Modeling Language (SysML) models. SysML covers the entire development life cycle of various complex systems, covering information, processes, hardware and software. SysML contains nine types of diagrams for system modeling. One of them is the SysML requirement diagram, which is used to capture the functional requirements of the system. We propose a differentiation method for the SysML demand model. We recommend to create a SysML requirement model in the CASE tool first, and then export the SysML model in the form of XMI. Then, we parse the XMI representation through difference calculations. Finally, we summarize the results in annotated form. We implemented our method in a satellite system case study and demonstrated the experimental use of the method.