Formal Consistency Verification of UML Requirement and Analysis Models

2013 ◽  
pp. 205-235
Author(s):  
Mouez Ali ◽  
Hanene Ben-Abdallah ◽  
Faïez Gargouri
Keyword(s):  
Use Cases ◽  
Theorem Prover ◽  
Use Case ◽  
Functional Requirements ◽  
Sequence Diagrams ◽  
Analysis Model ◽  
Unified Process ◽  
Correspondence Rules ◽  
Analysis Models ◽  
Consistency Verification

To capture and analyze the functional requirements of an information system, UML and the Unified Process (UP) propose the use case and sequence diagrams. However, one of the main difficulties behind the use of UML is how to ensure the consistency of the various diagrams used to model different views of the same system. In this chapter, the authors propose an enriched format for documenting UML2.0 use cases. This format facilitates consistency verification of the functional requirements with respect to the sequence diagrams included in the analysis model. The consistency verification relies on a set of rules to check the correspondence among the elements of the documented use cases and those of the sequence diagrams; the correspondence exploits the implicit semantic relationship between these diagrams as defined in UP. Furthermore, to provide for a rigorous verification, the authors formalize both types of diagrams and their correspondence rules in the formal notation Z. The formal version of the analysis model is then verified through the theorem prover Z/EVES to ensure its consistency.

scholarly journals Design and Analysis of Management Information System Qurban (SIMAQ) at PKPU Human Initiative, East Jakarta

2021 ◽  
Vol 3 (2) ◽  
pp. 79-86
Author(s):  
Oviani Viandari ◽  
Qurrotul Aini
Keyword(s):  
Information System ◽  
Management Information System ◽  
Unified Modeling Language ◽  
Use Cases ◽  
Use Case ◽  
Sequence Diagrams ◽  
Management Information ◽  
Application Development ◽  
Analysis And Design ◽  
Governmental Institutions

The establishment of the Pos Keadilan Peduli Umat (PKPU) Human Initiative as one of the non-governmental institutions. Concentration on humanitarian issues should have a public service standard such as a SIM (Management Information System) the goal is to fulfill role processing needs in channel qurban with modern management where more days the number of donors is getting more increase so that requires management to improve service quality. Therefore the writer analyzed and designed the Qurban Management Information System at PKPU Jakarta East. The method used in Job Training (PKL) is Rapid Application Development (RAD) through the Requirement Planning and Workshop Design stages with modeling Unified Modeling Language (UML) so as to produce analysis and design of Information Systems Qurban Management (SIMAQ), from the results of street vendors the authors analyze and design include: integrate donor data management starting from collection transactions up to reporting on distribution or distribution of qurban animals, the author designs starting from the use case diagram that will explain the sequence of activities performed by actors and systems to achieve the system needed, such as identification of actors, identification of use cases , design of use cases and use case narratives , activity diagrams, sequence diagrams, and class diagrams . Display of the system user interface qurban management information based on the duties and authority of each actor.

scholarly journals A Smart Algorithm for USE-Cases Production Based on Name Entity Recognition

2015 ◽  
Vol 8 (4) ◽  
pp. 51 ◽  
Author(s):  
Rafeeq Al Hashemi ◽  
Moha’med Al-Jaafreh ◽  
Tahseen Al-Ramadin ◽  
Ayman Al Dmour
Keyword(s):  
Unified Modeling Language ◽  
Case Analysis ◽  
Name Entity Recognition ◽  
Use Cases ◽  
Entity Recognition ◽  
Use Case ◽  
Functional Requirements ◽  
Part Of Speech ◽  
Name Entity ◽  
Finite State

Use case analysis is a common technique used to ascertain the functional requirements of a software system. A use case diagram is a kind of Unified Modeling Language (UML) diagram created for use case analysis. Creating effective use cases can be a determining factor in building a system that meets users' needs. However, writing use cases is a difficult and time-consuming process, requiring the user to manually fill out a form or write text in a specific, pre-stipulated format. Many students lack the technical knowhow to do this. Our research offers a software solution that resolves this issue. By combining natural language algorithms, such as Part Of Speech (POS) and Name Entity recognition (NE), with a set of grammatical rules created and implemented as a Finite State Machine (FSM), our system extracts the relevant items from the text and automatically translates the plain or unstructured text into a structured one.  The paper has been tested on standard examples with excellent results.

scholarly journals PERANCANGAN DAN PEMBUATAN APLIKASI CARIKOST DENGAN METODA SIMPLE ADDITIVE WEIGHTING BERBASIS WEB DAN ANDROID

2016 ◽  
Vol 1 (1) ◽  
pp. 73
Author(s):  
Yudho Yudhanto ◽  
Fadlul Ilmi Khairun ◽  
Winita Sulandari
Keyword(s):  
Information System ◽  
Decision Support ◽  
Programming Language ◽  
Class Diagram ◽  
Use Case ◽  
Functional Requirements ◽  
Sequence Diagrams ◽  
Weighting Method ◽  
Boarding House ◽  
Simple Additive Weighting

<p><em>Boarding house is a residence for rent for certain immigrants who settled diarea within a certain period . There have been many technologies that offer information about the boarding house but is still considered to be less efficient due to search for boarding in accordance with the desired criteria , boarding seekers still have to compare one by one facility as well as the criteria that owned the boarding house . Use of Simple Additive weighting method ( SAW ) on a decision support system is one of the solutions to deal with such matters , where the boarding seekers will find it helpful because it can give recommendations boarding places corresponding to the desired criteria .</em></p><p><em>Research methodology to design and create this application is to use research methods waterfall that is by collecting data, analyzing system (define functional requirements and non functional), do the design (ERD, use case diagrams, use case text, sequence diagrams, and class diagram), and implementation (coding and testing). Marketplace information system is created using the programming language PHP CodeIgniter-based framework 2 and the MySQL database.</em></p><p><em>Applications are focused in finding a boarding recommendation in accordance with the criteria corresponding to the booking to boarding room can be done with this application . With the app is expected to help seekers boarding house to get the best boarding recommendation and can assist in the boarding room reservations and provide benefits to the owner of the boarding house to be able to market his boarding house .</em></p>

scholarly journals PERANCANGAN DAN PEMBUATAN APLIKASI D3 TEKNIK INFORMATIKA UNS BERBASIS WEB DAN ANDROID

2016 ◽  
Vol 1 (1) ◽  
pp. 61
Author(s):  
Yudho Yudhanto ◽  
Dimas Sadewo Jumpa Nova ◽  
Winita Sulandari
Keyword(s):  
Programming Language ◽  
Interface Design ◽  
Information Society ◽  
Use Case ◽  
Functional Requirements ◽  
Sequence Diagrams ◽  
Web Based ◽  
Java Programming ◽  
Activity Diagrams ◽  
Use Case Diagram

<p><em>Field of information technology is one of the major role holder still lives today. With the technology more easily obtain the information society.</em></p><p><em>System and Application D3TIUNS created using waterfall method, D3TIUNS web based applications created using programming language PHP with CodeIgniter Framework. And Android-based applications D3TI created using the Java programming language with Android Studio tool with the programming language php, java and using CodeIgniter Framework.</em></p><p><em>The design used in the making of this application include: table of functional requirements, use case diagram, ERD, activity diagrams, Sequence diagrams and interface design. For application testing using methods blackbox. The results of this thesis is the creation of information system D3 Informatics Engineering UNS web-based and application-based android D3TI</em></p>

Online Exam System to Improve Student Learning Quality in State Vocational School 5 Tangerang City

CCIT Journal ◽  
2020 ◽  
Vol 13 (1) ◽  
pp. 65-74
Author(s):  
Aris Martono ◽  
Arsi Yulianjani ◽  
Dewi Immaniar Desrianti
Keyword(s):  
Student Learning ◽  
System Analysis ◽  
Design Method ◽  
Unified Modeling Language ◽  
Use Case ◽  
Functional Requirements ◽  
Sequence Diagrams ◽  
Examination System ◽  
Literature Study ◽  
Online Examination

The aim of this research is designing an online examination system at SMK Negeri 5 Kota Tangerang. This time, the system used in assessing exam results is done by correcting each question of each student's answers. It is not only increasing the operational costs of schools, but also the risk that leaked exam questions very vulnerable. As well as scheduling the exam must consider the limited number of rooms and require a lot of time. The method of collecting datais used observation, interview and literature study. And the system analysis method is used to determine the number of functional and non functional requirements. The design method uses Unified Modeling Language (UML) with the MySQL database system. This visual paradigm function is to make use-case diagrams, sequence diagrams, and activity diagrams and class diagrams. The use-case diagram of this system consists of use case diagrams of students, teachers, and teachers admin system and PHP programming language, for writing program listings using Dreamweaverand implementing the system. By using online examination system the quality of student learning will be improved, lowering school administration costs and preventing question leakage and exam scheduling to become more flexible.

ANALISIS MODEL KEBUTUHAN PERGERAKAN PENUMPANG DAN BARANG BANDARA RAHADI OESMAN KETAPANG

2012 ◽  
Vol 10 (1) ◽  
Author(s):  
. Elsa Trimukti
Keyword(s):  
Growth Rate ◽  
Trend Analysis ◽  
Polynomial Regression ◽  
Air Transport ◽  
Trip Generation ◽  
Analysis Model ◽  
Exponential Regression ◽  
Share Model ◽  
Strategic Role ◽  
Analysis Models

Airport of Rahadi Oesman in Kabupaten Ketapang Kalimantan Barat represent the main and important gate for air transport in Kabupaten Ketapang, where this airport own the strategic role in service activities of this transportation even for domestic transportation or regional. Activity in Airport of Rahadi Oesman in a few this the last year has growth so fast growth, so that felt the infrastructure and also available facility in this time have is not adequate again to support the growth rate of air traffic in this airport. In the plan development of facility of air side and also land side of the airport require to be conducted an analysis model of trip generation or attraction of passenger and goods. These models need for the prediction of mount the growth of passenger and goods/cargo and estimate the amount of passenger and aircraft movement in the future pursuant to aircraft characteristic that to be used. The models used for prediction of passenger and goods in this study are Trend Analysis Models consisted of linear regression trend method, exponential regression trend method, and polynomial regression trend method. Besides model of trend analysis, in this study also analyzed Market Share Model. Result from third model then compared to one another to obtain the most appropriate model. Pursuant to analyses result obtained that the best or most appropriate model is Model of Trend Analysis.Model for the attraction passenger is Y = 21,18X2+ 6181X + 5788 by R2= 0,922.Model for the generation passenger is Y = 128,3X2+ 7515X + 4965 by R2= 0,907.Model for the passenger of transit is Y = 795X2+ 561X + 3361 by R2= 1Model for the cargo movement is Y = 2468X2+ 41054X 28341 by R2= 0,918.

scholarly journals Using Actors and Use Cases for Software Size Estimation

Electronics ◽  
2021 ◽  
Vol 10 (5) ◽  
pp. 592
Author(s):  
Radek Silhavy ◽  
Petr Silhavy ◽  
Zdenka Prokopova
Keyword(s):  
Project Planning ◽  
Use Cases ◽  
New Method ◽  
Software Systems ◽  
Software Project ◽  
Use Case ◽  
Size Estimation ◽  
Software Size Estimation ◽  
Use Case Points

Software size estimation represents a complex task, which is based on data analysis or on an algorithmic estimation approach. Software size estimation is a nontrivial task, which is important for software project planning and management. In this paper, a new method called Actors and Use Cases Size Estimation is proposed. The new method is based on the number of actors and use cases only. The method is based on stepwise regression and led to a very significant reduction in errors when estimating the size of software systems compared to Use Case Points-based methods. The proposed method is independent of Use Case Points, which allows the elimination of the effect of the inaccurate determination of Use Case Points components, because such components are not used in the proposed method.

Midsurface Abstraction From 3D Solid Models for Engineering Analysis

1996 ◽  
Author(s):  
Mohsen Rezayat
Keyword(s):  
Feature Recognition ◽  
Analysis Model ◽  
Thin Sections ◽  
New Approach ◽  
Solid Models ◽  
Product And Process ◽  
Plastic Parts ◽  
3D Solid ◽  
User Friendly ◽  
Analysis Models

Abstract An integral part of implementing parallel product and process designs is simulation through numerical analysis. This simulation-driven design requires discretization of the 3D part in an appropriate manner. If the part is thin or has thin sections (e.g., plastic parts), then an analysis model with reduced dimensionality may be more accurate and economical than a standard 3D model. In addition, substantial simplification of some details in the design geometry may be beneficial and desirable in the analysis model. Unfortunately, the majority of CAD systems do not provide the means for abstraction of appropriate analysis models. In this paper we present a new approach, based on midsurface abstraction, which holds significant promise in simplifying simulation-driven design. The method is user-friendly because very little interaction is required to guide the software in its automatic creation of the desired analysis model. It is also robust because it handles typical parts with complex and interacting features. Application of the method for feature recognition and abstraction is also briefly discussed.

scholarly journals Wireless Communication Technologies for Safe Cooperative Cyber Physical Systems

Sensors ◽  
2018 ◽  
Vol 18 (11) ◽  
pp. 4075 ◽  
Author(s):  
Ali Balador ◽  
Anis Kouba ◽  
Dajana Cassioli ◽  
Fotis Foukalas ◽  
Ricardo Severino ◽  
...  
Keyword(s):  
Wireless Communication ◽  
Communication Technologies ◽  
Cyber Physical Systems ◽  
Use Cases ◽  
Functional Requirements ◽  
Physical Systems ◽  
Safety Design ◽  
Standardization Process ◽  
Design Requirements ◽  
Eu Project

Cooperative Cyber-Physical Systems (Co-CPSs) can be enabled using wireless communication technologies, which in principle should address reliability and safety challenges. Safety for Co-CPS enabled by wireless communication technologies is a crucial aspect and requires new dedicated design approaches. In this paper, we provide an overview of five Co-CPS use cases, as introduced in our SafeCOP EU project, and analyze their safety design requirements. Next, we provide a comprehensive analysis of the main existing wireless communication technologies giving details about the protocols developed within particular standardization bodies. We also investigate to what extent they address the non-functional requirements in terms of safety, security and real time, in the different application domains of each use case. Finally, we discuss general recommendations about the use of different wireless communication technologies showing their potentials in the selected real-world use cases. The discussion is provided under consideration in the 5G standardization process within 3GPP, whose current efforts are inline to current gaps in wireless communications protocols for Co-CPSs including many future use cases.

Sign in / Sign up

Export Citation Format

Share Document