A Strategy to Formalize Specification and Its Application to an Advanced Railway System

This paper proposes a novel strategy for formally analyzing functional requirements specification (FRS) and applies it to the Automatic Train Protection and Block (ATPB) system, which is proposed to reconstruct conventional rail lines in Japan. Based on the FRS in natural language, firstly, dynamic state transitions are extracted to express the operational mechanisms and determine the system parameters. A complete model of the ATPB system is then established using Unified Modeling Language (UML) to express the system structure graphically and explicitly. After achieving a common understanding, a VDM++ model is established formally to redescribe the original FRS of the ATPB system which is written in natural language (i.e. Japanese). Following that, in order to ensure internal consistency of the specification, proof obligations of the VDM++ model are discharged. Furthermore, a comprehensive testing is implemented to ensure that the FRS meets actual requirements. Finally, the system is simulated strictly in accordance with the formal specification. Without any runtime errors, collisions or derailments, the results of the simulation demonstrate the high quality and safety of the specification.

Download Full-text

An Extended Rule of the SysML Requirement Diagram Transformation into OWL Ontologies

International Journal of Intelligent Engineering and Systems ◽

10.22266/ijies2021.0228.47 ◽

2021 ◽

Vol 14 (1) ◽

pp. 506-515

Author(s):

Ahmad Ashari ◽

◽

Anny Sari ◽

Helna Wardhana ◽

◽

...

Keyword(s):

Response Time ◽

System Modeling ◽

Unified Modeling Language ◽

Modeling Language ◽

Functional Requirements ◽

Unified Modeling ◽

Object Property ◽

Transformation Rules ◽

Owl Ontology ◽

Time Required

The System Modeling Language (SysML) used the Requirement Diagram to model non-functional requirements, such as response time, size, or system functionality, which cannot be accommodated in the Unified Modeling Language (UML). SysML Requirement Diagram, in its implementation, integrates with several diagrams describing the requirements, which are referred to as additional elements. The absence of transformation rules for these additional elements to become OWL ontology causes difficulties in reading, understanding, and tracking the requirements. In this research, an extended rule of the Requirement Diagram transformation is proposed to solve the problems. First, some transformation rules are defined to make requirements easier to trace and realize the ontology generation's automatic transformation. Second, the time required during transformation processing to prepare and generate the OWL file shows the proposed model's performance. The ontology components produced from this research, such as class, subclass, object property, and data property, can be viewed in Protégé.

Download Full-text

Towards UML representation for BPMN and DMN models

MATEC Web of Conferences ◽

10.1051/matecconf/201925202007 ◽

2019 ◽

Vol 252 ◽

pp. 02007 ◽

Cited By ~ 1

Author(s):

Anna Suchenia ◽

Paweł Łopata ◽

Piotr Wiśniewski ◽

Bernadetta Stachura-Terlecka

Keyword(s):

Process Model ◽

Business Models ◽

Unified Modeling Language ◽

Consistency Checking ◽

Functional Requirements ◽

Unified Modeling ◽

Management Group ◽

Design Alternatives ◽

Software Engineers ◽

Uml Models

Unified Modeling Language (UML) is a standardised Object Management Group (OMG) notation among software engineers. There have been many attempts to design alternatives to UML. Recently, new notations such as Business Process Model and Notation (BPMN) and Decision Model and Notation (DMN) have been proposed for modelling processes and decisions. These dedicated notations provide a simpler way of capturing functional requirements in a designer-friendly fashion. Moreover, some concepts as rules cannot be directly modelled in UML. Our research considers a method of translating business models such as BPMN and DMN into a set of consistent UML models, which can be later used by business analysts and developers to understand and implement the system. As a single notation design, it allows the user to take advantage of software supporting UML modelling and consistency checking, in addition using such translation can provide additional insights into OMG business models. Furthermore, the design provided in a single notation can be easier to follow and develop. This approach supports also visualisation of rules. It is important to mention that the proposed solution does not extend any custom UML artifacts and can be used with standard UML tools.

Download Full-text

A Generic QoS Model for Web

International Journal of Information Technology and Web Engineering ◽

10.4018/jitwe.2011070102 ◽

2011 ◽

Vol 6 (3) ◽

pp. 15-38 ◽

Cited By ~ 2

Author(s):

Wan Nurhayati Wan Ab. Rahman ◽

Farid Meziane

Keyword(s):

Web Services ◽

Web Service ◽

Unified Modeling Language ◽

Successful Implementation ◽

Functional Requirements ◽

Service Description ◽

Description Language ◽

Unified Modeling ◽

Implementation Stage

The development, registration, discovery, and invocation of quality Web services are vital for the successful implementation of applications using Web services. Considerable research focuses on quality for Web services. Unfortunately, current research on Quality of Service (QoS) for Web services is concentrated on service users and the implementation stage. This research highlights the importance of incorporating QoS at the design and development stages; the authors propose the introduction of QoS at the same time as functional requirements. However, Web Service Description Language (WSDL) describes the functional elements of a Web service, and QoS is significant for this description. Therefore, the authors propose an extension to the WSDL through a generic QoS metamodel, incorporating QoS specifications into the functionalities. This paper begins by defining the required QoS specifications for the development of quality Web services and explores the potential of the Unified Modeling Language as a technique and notation to specify QoS. To properly integrate QoS in the design, the authors propose extensions to the existing UML QoS profile. The paper concludes with the evaluation of the proposed framework and summarises its advantages.

Download Full-text

PERANCANGAN APLIKASI DASHBOARD UNTUK MENGHITUNG ANGKA PENGANGGURAN YANG ADA PADA KECAMATAN PURWODADI BERBASIS WEB MOBILE

Jurnal Teknik Informatika Musirawas (JUTIM) ◽

10.32767/jutim.v3i2.368 ◽

2018 ◽

Vol 3 (2) ◽

pp. 122-131

Author(s):

Ahmad Sobri

Keyword(s):

System Development ◽

Unified Modeling Language ◽

Functional System ◽

Black Box ◽

Design System ◽

Modeling Language ◽

Functional Requirements ◽

Mobile Web ◽

Unified Modeling ◽

Black Box Testing

Abstrak Penerapan teknologi komputer dalam setiap aspek dunia perkantoran Indonesia sudah dianggap sebagai suatu kebutuhan. Belum terdapat aplikasi pengolahan data pengangguran pada Kecamatan Purowdadi yangmenggunakan aplikasi ms. word yang menyebabkan data-data tidaktersimpan dengan baik.Belum adanya aplikasi dashboard untuk mengetahui tinggi nya angka pengangguran yang ada di Kecamatan Purwodadi.Dalam mencari data pengangguran masih rendah tingkat ke akuratannya karena menggunakan cara manual.sistem yang sedang berjalan, pemecahan masalah, kebutuhan fungsional sistem, kebutuhan non fungsional sistem, desain input dan desain output. Metode pengembangan sistem yang digunakan adalah metode Waterwall. Perancangan menggunakan Unified Modeling Language (UML). Sedangkan untuk pengujian Black Box System.sistem secara detail, sesuai dengan rancangan dan berdasarkan tools dan bahasan pemrograman yang dipakai. Kata kunci :Web Mobile, Dashboard, Teknologi Abstract The application of computer technology in every aspect of the world of Office Indonesia is already considered a requirement. Yet there is unemployment data processing applications in the Purowdadi subdistrict of using ms word application that causes the data not stored properly. Yet the existence of the application dashboard to find out his high unemployment figures that are in the Sub District of Purwodadi. In seeking data unemployment still low level to akuratannya because it uses the manual way. the system is currently running, problem solving, needs a functional system, the non-functional requirements of the system, design input and output design. System development method that is used is the method of Waterwall. Design using Unified Modeling Language (UML). As for the Black Box testing System. system in detail, in accordance with the draft and based on the tools and programming topics. Keyword: Mobile Web, Dashboard, technology

Download Full-text

Toward Requirements and Design Traceability Using Natural Language Processing

European Journal of Engineering Research and Science ◽

10.24018/ejers.2018.3.7.807 ◽

2018 ◽

Vol 3 (7) ◽

pp. 42 ◽

Cited By ~ 1

Author(s):

Omer Salih Dawood ◽

Abd-El-Kader Sahraoui

Keyword(s):

Natural Language Processing ◽

Natural Language ◽

Language Processing ◽

Unified Modeling Language ◽

Rule Engine ◽

Natural Languages ◽

Unified Modeling ◽

Requirement Document ◽

Different Levels

The paper aimed to address the problem of incompleteness and inconsistency between requirements and design stages, and how to make efficient linking between these stages. Software requirements written in natural languages (NL), Natural Language Processing (NLP) can be used to process requirements. In our research we built a framework that can be used to generate design diagrams from requirements in semi-automatic way, and make traceability between requirements and design phases, and in contrast. Also framework shows how to manage traceability in different levels, and how to apply changes to different artifacts. Many traceability reports can be generated based on developed framework. After Appling this model we obtained good results. Based on our case study the model generate a class diagram depends on central rule engine, and traceability was built and can be managed in visualize manner. We proposed to continue this research as its very critical area by adding more Unified Modeling Language(UML) diagrams, and apply changes directly inside software requirement document.

Download Full-text

A Generic QoS Model for Web Services Design

Network and Communication Technology Innovations for Web and IT Advancement ◽

10.4018/978-1-4666-2157-2.ch004 ◽

2014 ◽

pp. 48-73

Author(s):

Wan Nurhayati Wan Ab. Rahman ◽

Farid Meziane

Keyword(s):

Web Services ◽

Web Service ◽

Unified Modeling Language ◽

Modeling Language ◽

Successful Implementation ◽

Functional Requirements ◽

Service Description ◽

Unified Modeling ◽

Implementation Stage

Download Full-text

Ontology-Based Analysis of Cryptography Standards and Possibilities of Their Harmonization

Theory and Practice of Cryptography Solutions for Secure Information Systems - Advances in Information Security, Privacy, and Ethics ◽

10.4018/978-1-4666-4030-6.ch001 ◽

2013 ◽

pp. 1-33 ◽

Cited By ~ 2

Author(s):

Alexey Y. Atiskov ◽

Fedor A. Novikov ◽

Ludmila N. Fedorchenko ◽

Vladimir I. Vorobiev ◽

Nickolay A. Moldovyan

Keyword(s):

Formal Methods ◽

Unified Modeling Language ◽

State Machine ◽

Information Resources ◽

Computer Networking ◽

State Transitions ◽

Modeling Language ◽

Iso Standards ◽

Unified Modeling ◽

Model State

Security means for shared computer, networking, and information resources are not balanced, inefficient, and poorly integrative. This chapter gives a brief overview of certain discrepancies and incompletenesses of ISO standards ISO 15408, ISO 18045, ISO 27k, etc., which are not balanced. Formal methods for their harmonization and coordination are described. Then the chapter discusses Hybrid Ontology Technology using Unified Modeling Language, State Transitions Model (state machine diagrams), and a special tool based on Equivalent Transformations of syntax graph-scheme.

Download Full-text

Non-Functional Requirements and UML Stereotypes

Encyclopedia of Information Science and Technology, First Edition ◽

10.4018/978-1-59140-553-5.ch376 ◽

2005 ◽

pp. 2135-2140

Author(s):

Guadalupe Salazar-Zarate ◽

Pere Botella

Keyword(s):

Requirements Engineering ◽

Unified Modeling Language ◽

Modeling Language ◽

Functional Requirements ◽

Research Issues ◽

Unified Modeling ◽

Open Research ◽

The Future ◽

Systems Requirements

In Nuseibeh and Easterbrook (2000), an overview of the field of software and systems requirements engineering is presented. Therein is highlighted some key open-research issues for the future of the Requirements Engineering (RE). Some of the major challenges mentioned there, are related with the necessity of richer models for capturing and analyzing non-functional requirements. This paper draws some possible extensions of Unified Modeling Language (UML) (Booch, G., Jacobson, I. and Rumbaugh, J., 1998) in order to include non-functional requirements.

Download Full-text

Evaluation System for Energy Consumption and Productivity in Manufacturing System Simulation

International Journal of Automation Technology ◽

10.20965/ijat.2012.p0279 ◽

2012 ◽

Vol 6 (3) ◽

pp. 279-288 ◽

Cited By ~ 12

Author(s):

Hironori Hibino ◽

◽

Toru Sakuma ◽

Makoto Yamaguchi

Keyword(s):

Energy Consumption ◽

Evaluation System ◽

Manufacturing Systems ◽

Manufacturing System ◽

System Simulation ◽

Unified Modeling Language ◽

State Transitions ◽

Dynamic Changes ◽

Unified Modeling

Industries need to design and improve their manufacturing systems while considering energy consumption and productivity concurrently. Manufacturing system simulation is often used to evaluate productivity when manufacturing systems are designed or improved. However, it is difficult to use simulation to evaluate energy consumption when designing and improving manufacturing systems. The purpose of our research is to establish a system for the concurrent evaluation of energy consumption and productivity in manufacturing system simulation. In this paper, first, requirements for a simulation to evaluate energy consumption and productivity are analyzed. Second, an evaluation system is proposed in consideration of the requirements. A Unified Modeling Language (UML) model that defines facility state transitions and relationships between the facility state and energy consumption is proposed. A manufacturing system simulation implemented in the proposed UML model is also proposed and developed. The proposed simulation is also implemented in a function to concurrently generate information on production throughput and energy consumption along a time progression. A system that provides a function to visually evaluate dynamic changes in the energy consumption per unit of production throughput along a time progression is also proposed and developed. Finally, a case study for semiconductor manufacturing systems is carried out to confirm the efficiency of our proposed evaluation system.

Download Full-text

Introducing Non-functional Requirements in UML

UML and the Unified Process ◽

10.4018/978-1-93177-744-5.ch007 ◽

2011 ◽

pp. 116-128 ◽

Cited By ~ 1

Author(s):

Guadalupe Salazar-Zarate ◽

Pere Botella ◽

Ajantha Dahanayake

Keyword(s):

Software Quality ◽

Unified Modeling Language ◽

Quality Standard ◽

Software Systems ◽

Modeling Language ◽

Functional Information ◽

Functional Requirements ◽

Research Focus ◽

Unified Modeling ◽

Functional Features

This chapter introduces an approach concerned with the non-functional features of software systems. The specific objectives of the research focus on the possibility of developing mechanisms to capture non-functional information in the development of software systems in a similar manner to its counterpart, the functional information. Particularly, the research described in this chapter focuses on the possible extension of the Unified Modeling Language (UML) (Booch et al., 1998). In order to get an initial specification of some non-functional requirements, the Software Quality Standard ISO/IEC 9126 (International Standard, 1991) is used. The language NoFun (Botella et al., 2001) is the basis used to achieve some organization about the non-functional concepts used in this approach.

Download Full-text