scholarly journals Challenges in Developing Sequence Diagrams (UML)

2020 ◽  
Vol 5 (2) ◽  
pp. 221
Author(s):  
Tri Astoto Kurniawan ◽  
Lam-Son Lê ◽  
Bayu Priyambadha
Keyword(s):  
Software Design ◽  
Software Modeling ◽  
Sequence Diagrams ◽  
Postgraduate Students ◽  
Interaction Diagram ◽  
Analysis And Design ◽  
Software Analysis ◽  
Correct Sequence ◽  
Uml 2.0 ◽  
Novice Designers

During the object-oriented software design phase, the designers have to describe the dynamic aspect of the system under development through the most common interaction diagram variant in UML 2.0, i.e. sequence diagrams. Some novice designers, including undergraduate and postgraduate students, suffer from making inappropriate models due to insufficiently detailed guidance required to develop such sequence diagrams. This paper classifies some potential mistakes which are likely performed by such novice designers, and discusses the corresponding corrections. We summarized such mistakes based on our long experiences in teaching software modeling classes as well as software analysis and design classes. There were classified twenty-one potential mistakes with respect to the syntactical and semantical correctness of the developed models. It is concluded that novice designers have to be aware and take into account the identified mistakes in such a way they can produce correct sequence diagrams.

A Method for Modeling and Verifying of UML 2.0 Sequence Diagrams using SPIN

2020 ◽  
Vol 9 (01) ◽  
pp. 20-28
Author(s):  
Luan Chi Le
Keyword(s):  
Software Design ◽  
Sequence Diagrams ◽  
Support Tool ◽  
Uml 2.0 ◽  
Design Correctness ◽  
The Given

Abstract— This paper proposes a method for modeling and verifying UML 2.0 sequence diagrams using SPIN/PROMELA. The key idea of this method is to generate models that specify behaviors of each object in the given UML 2.0 sequence diagrams. In this paper, I/O automata are used as the models to maintain the interaction among objects. This work also proposes a mechanism to translate these models into PROMELA to use SPIN for checking the correctness of the system. By ensuring software design correctness, several properties can be guaranteed such as safety, stability, and the fact that no vulnerability is left. A support tool for this method is presented and tested with some particular systems to show the accuracy and effectiveness of the proposed method. This approach has promising potential to be applied in practice.Tóm tắt— Bài báo này đề xuất một phương pháp để mô hình hóa và kiểm chứng biểu đồ trình tự UML 2.0 sử dụng SPIN/ PROMELA. Ý tưởng chính của phương pháp là xây dựng các mô hình mô tả hành vi của từng đối tượng trong biểu đồ trình tự UML 2.0. Các mô hình này biểu diễn dưới dạng các ôtômát vào/ra nhằm giữ nguyên tính tương tác giữa các đối tượng. Nghiên cứu đưa ra một kỹ thuật hỗ trợ chuyển đổi các mô hình này thành các đặc tả PROMELA để cung cấp cho bộ công cụ SPIN nhằm kiểm chứng tính đúng đắn của các biểu đồ tuần tự. Bằng cách đảm bảo tính chính xác của thiết kế phần mềm, một số thuộc tính có thể được đảm bảo như an toàn, ổn định và thực tế là không còn lỗ hổng nào. Một công cụ hỗ trợ cho phương pháp đề xuất cũng được cài đặt và thực nghiệm với một số hệ thống điển hình nhằm minh chứng cho tính đúng đắn, hiệu quả và dễ sử dụng. Cách tiếp cận này hứa hẹn sẽ được áp dụng trong thực tế.

Characterizing Student Proficiency in Software Modeling in Terms of Functions, Structures, and Behaviors

2021 ◽  
Vol 21 (3) ◽  
pp. 1-25
Author(s):  
Paul J. Thomas ◽  
Devang Patel ◽  
Alejandra J. Magana
Keyword(s):  
Information System ◽  
Systems Thinking ◽  
Unified Modeling Language ◽  
Software Modeling ◽  
Sequence Diagrams ◽  
Analysis And Design ◽  
Software Designers ◽  
Industry Standard ◽  
Student Proficiency ◽  
And Behaviors

Software modeling is an integral practice for software engineers, especially as the complexity of software solutions increases. Unified Modeling Language (UML) is the industry standard for software modeling. however, it is often used incorrectly and misunderstood by novice software designers. This study is centered around understanding patterns of student proficiency of abstraction and systems thinking within a software modeling context. The participants of this study (n = 97) belonged to a systems analysis and design course that is primarily taken by second-year university students. The exam solutions to a case study from the course were evaluated for modeling proficiency. As evidence of proficiency in abstract thinking and systems thinking, we evaluated UML activity diagrams, class diagrams, and sequence diagrams and the alignment between these representations in terms of functions, structures, and behaviors. The results suggest students being proficient in modeling the functional aspects of an information system while facing some difficulty in capturing the structural and behavioral aspects of an information system. Clustering analysis revealed two groups within the sample, with one group displaying a significantly higher abstraction and systems thinking ability. Statistically significant correlations were also found between student proficiency of abstraction and their modeling proficiency in terms of functions, structures, and behaviors.

scholarly journals Reconciling Csikszentmihalyi’s Broader Flow Theory: With Meaning and Value in Digital Games

2016 ◽  
Vol 2 (2) ◽  
Author(s):  
John Hamon Salisbury ◽  
Penda Tomlinson
Keyword(s):  
Cultural Values ◽  
Software Design ◽  
Life Experiences ◽  
Digital Games ◽  
Flow Theory ◽  
Apparent Contradiction ◽  
Analysis And Design ◽  
A Value ◽  
Differential Perception ◽  
Mechanistic View

Flow, the concept developed by Mihaly Csikszentmihalyi over the last forty years or so (see Csikszentmihalyi 1975) has been invoked quite often with respect to the way players engage with digital games (e.g. Baron 2012; Cowley et al. 2008; Sweetser and Wyeth 2005; Brathwaite & Schreiber, 2009; Fullerton, Swain, & Hoffman, 2008; Schell, 2008). However, Kubey & Csikszentmihalyi (2002) have argued that ‘video games’ are in fact likely to promote undesirable experiences of a kind Csikszentmihalyi refers to as ‘entropy’ or unstructured and unsatisfying life experiences. This paper explores Csikszentmihalyi’s greater thesis and examines how a broader reading of Flow theory can potentially help us understand Flow like engagements beyond the simple mechanistic view of challenge explicitly introduce personally expressed cultural values into the conditions of Flow. By doing so we can then provide a value centric analysis and design approach, similar to that of Cockton’s (2004; 2012) proposal, to include values in general software design. That is, the very nature of challenges and rewards needs to be considered in order to investigate how overcoming or receiving such challenges would be positively or negatively perceived by individuals, from particular cultures, holding particular values. Thus we hope that we have dealt with the apparent contradiction in using Csikszentmihalyi’s concept in the study of games despite his criticism of such a move, and have provided some indication of how we can deal with unspecified rewards and the differential perception and engagement with potentially equivalent challenges while still supporting the accepted thesis of Flow.

scholarly journals Analysis and Design of Information Systems for Control of Raw Materials in UD. YRS Alumunium Work Using EOQ Method

Tech-E ◽  
2020 ◽  
Vol 4 (1) ◽  
pp. 30
Author(s):  
Assaji Assaji ◽  
Rudy Arijanto
Keyword(s):  
Information Systems ◽  
Raw Materials ◽  
Order Quantity ◽  
Sequence Diagrams ◽  
Inventory Cost ◽  
Safety Stock ◽  
Analysis And Design ◽  
Total Inventory ◽  
Manual Recording ◽  
Class Diagrams

In the current era of globalization, information technology and information systems are developing very fast. YRS Alumunium Work is a furniture company that manufactures cupboards, stove racks, sinks, and especially for storage of household items. The problems currently being faced by businesses, among others; (a) recording still using stationery and books or still using manual recording methods, (b) ineffective stock checking, (c) sudden out of stock, to solve the problem it is proposed to make a system using the web that can be integrated into stock by a calculation method. With UML scenario depiction (activity diagrams, usecase diagrams, class diagrams, sequence diagrams). To check the inventory of goods easily done effectively, know the minimum amount of stock, and must place an order again using the EOQ (Economic Order Quantity) method. By using the eoq method, it takes into account that for bolts to get an economical amount of inventory as much as 522.01 with a safety stock of 21 will place an order again when the stock becomes 50 and the total inventory cost is 110 458.4418.

Design for Detection System of Landslides Based on SCM

2013 ◽  
Vol 331 ◽  
pp. 622-625
Author(s):  
Gao Zheng Li ◽  
Cheng Liu ◽  
Guo Hong Cao ◽  
Nan Yu
Keyword(s):  
Software Design ◽  
Detection System ◽  
Hardware Design ◽  
Dynamic Monitoring ◽  
Main Function ◽  
Analysis And Design ◽  
Remote Monitoring System ◽  
Main Work ◽  
System Module ◽  
And Control

In order to understand all data of landslides as much as possible, such as the time, place, scale and destructive power, a kind of Remote monitoring system of Landslides based on SCM was designed. The main function is for the purpose of dynamic monitoring of landslide timely and effectively. The main work include hardware design, software design and circuit debugging of the system. In the system, hardware design mainly consists of the analysis and design of landslides data acquisition module and data processing and control system module circuit; Software design is to refer to the compilations of various system modular program; Circuit debugging refers to the process of debugging the program running in the system to ensure that the department of the system can work normally.

Analysis and Design of Monitoring System Based on Streaming Media

2011 ◽  
Vol 480-481 ◽  
pp. 1105-1110
Author(s):  
Dan Lin Cai ◽  
Da Xin Zhu
Keyword(s):  
Monitoring System ◽  
Software Design ◽  
Streaming Media ◽  
Security System ◽  
Video Monitoring ◽  
System Software ◽  
Intelligent Building ◽  
Analysis And Design

The video Monitoring System is an important part of intelligent building security system. The structure of the video Monitoring system is analyzed ,the system is proposeed and each sub-system software design are presented in this thesis.the system has obtained more satisfactory effect in practicability, reliability and cost.

Sign in / Sign up

Export Citation Format

Share Document