scholarly journals An Automated Statechart Diagram Assessment using Semantic and Structural Similarities

2021 ◽  
Vol 11 (6) ◽  
pp. 2436
Author(s):  
Reza Fauzan ◽  
Daniel Siahaan ◽  
Siti Rochimah ◽  
Evi Triandini
Keyword(s):  
Statechart Diagram

scholarly journals Management Information System For Garuda Cooperatives, Sragen

2015 ◽  
Vol 4 (1) ◽  
pp. 8
Author(s):  
Fahrizal Surya Panuntun ◽  
Ahmad Subhan Yazid ◽  
Muhammad Mustakim
Keyword(s):  
Information System ◽  
Management Information System ◽  
System Modeling ◽  
Unified Modeling Language ◽  
Management Information ◽  
Unified Modeling ◽  
Business Units ◽  
Statechart Diagram ◽  
Savings And Loan ◽  
Analysis Design

The need for information in life has transformed into basic needs. As an impact, this will cause problems when not handled properly. The Garuda Cooperative is one of the Employee Cooperatives in Sragen with complex managerial data but its management is still manual. To support its business process, a management information system is needed to handle data quickly and accurately. This study aims to develop a management information system for Garuda Cooperatives. The flow of research used is analysis, design, implementation, testing, and conclusion. System modeling uses the Unified Modeling Language (UML) in the form of a use case diagram and statechart diagram. The programming language used is Delphi with PostgreSQL as database management. The information system produced includes processing savings and loan business units, processing membership data and reports. The results of the system testing on 8 respondents showed that the system was running well to meet needs, had an attractive appearance, and was easy to use.

Aspect Mining Based on Object-Oriented Systems’ Dynamic Behavior Models

2010 ◽  
Vol 40-41 ◽  
pp. 873-876
Author(s):  
Hua Chu ◽  
Qing Shan Li ◽  
Shen Ming Hu ◽  
Ping Chen
Keyword(s):  
Reverse Engineering ◽  
Dynamic Behavior ◽  
Object Oriented ◽  
Engineering Process ◽  
Aspect Mining ◽  
Crosscutting Concerns ◽  
Systematic Experiment ◽  
Statechart Diagram ◽  
Object Oriented Systems ◽  
Behavior Models

Aspect mining is a reverse engineering process that aims at finding crosscutting concerns in existing systems. This paper describes an aspect mining approach making use of the results of reverse engineering, statechart diagram, to aid in the understanding of an object-oriented software system’s behaviors. An aspect based on the recovered statechart diagram is defined as a set of states and an event. These states will transit to the same state after they send the event. Finally, systematic experiment is conducted in the paper in order to verify the correctness and validity of this approach.

Automated compression of state machines using UML statechart diagram notation

2002 ◽  
Vol 44 (10) ◽  
pp. 565-578 ◽  
Author(s):  
Tarja Systä ◽  
Kai Koskimies ◽  
Erkki Mäkinen
Keyword(s):  
State Machines ◽  
Statechart Diagram

scholarly journals PEMBANGKITAN DATA UJI BERBASIS DIAGRAM AKTIVITAS DAN DIAGRAM STATECHART

JOUTICA ◽  
2018 ◽  
Vol 3 (1) ◽  
pp. 137
Author(s):  
Arif Rahman Sujatmika ◽  
Yanuangga Gala Hartlambang
Keyword(s):  
Test Data ◽  
Test Case ◽  
Test Cases ◽  
Data Dictionary ◽  
Activity Diagram ◽  
Statechart Diagram ◽  
The Status ◽  
Generate Test Data ◽  
Case Data ◽  
Selection Of

Testing is the stage of software development used to determine whether a software is ready for release or not. In making test cases using reference activity diagrams and statechart diagrams, a help representation was made, ie State-Activity-Diagram (SAD). The generation of test cases using a reference between the statechart diagram and the status diagram is still inadequate because in the case of the test produced there is no test data. The selection of test data for many test cases will be tedious and time consuming. In this paper, it is proposed to generate test data automatically based on existing test cases. Test data created based on class diagrams, and data dictionaries. The test case data consists of inputs and results. First enter information about the functions involved in the test case into the SAD node so that the SAD-S Diagram is obtained. Second, after the process of making the test case is completed, the test data is made by looking at the data dictionary function so that the test data is formed.

Pembuatan Desain Sistem Informasi Berita Acara Pencacahan di Kantor Bea Cukai Soekarno Hatta

Jurnal Teknik ◽  
2021 ◽  
Vol 10 (1) ◽  
Author(s):  
Rohmat Taufiq ◽  
Luky Purdiono ◽  
Tuti Handayani ◽  
Budimantoro Budimantoro
Keyword(s):  
Sequence Diagrams ◽  
Activity Diagram ◽  
The Public ◽  
Analysis And Design ◽  
Dangerous Goods ◽  
Analysis Process ◽  
Running System ◽  
Statechart Diagram ◽  
Directorate General ◽  
The Republic

In this decade, transparency of an organization is needed to show the wider community that the organization can be trusted. Soekarno Hatta Customs and Excise Office is a vertical unit under the Directorate General of Customs and Excise, Ministry of Finance of the Republic of Indonesia. One of its duties and functions is the Community Protector, which is to protect the public from the entry of dangerous goods. The methods used in data search include: interviews with employees and leaders, direct field observations and literature studies. Meanwhile, in the analysis process and system design, it describes the running system, making use cases, statechart diagrams, activity diagrams, sequence diagrams and making the proposed display form. To support the documentation of the Enumeration Minutes which are in line with the current development of information technology, analysis and design of the Minutes of Enumeration are very necessary in carrying out daily activities so that it makes it easier for customs officers to manage the Minutes of Enumeration so that it is more effective and efficient.Keywords: design, transparency, customs, enumeration, information system (Dalam dekade ini, transparansi suatu organisasi sangat diperlukan untuk menunjukan kepada masyarakat luas bahwa organisasi tersebut dapat dipercaya. Kantor Bea dan Cukai Soekarno Hatta merupakan suatu unit vertikal dibawah Direktorat Jenderal Bea dan Cukai, Kementerian Keuangan Republik Indonesia. Salah satu tugas dan fungsinya ialah Community Protector yaitu melindungi masyarakat dari masuknya barang-barang berbahaya. Metode yang digunakan dalam pencarian data meliputi: wawancara dengan pegawai maupun pimpinan, observasi langsung dilapangan serta studi literatur. Sedangkan dalam proses analisis dan desain sistem yang dilakukan menggambarkan sistem yang berjalan, pembuatan use case, statechart diagram, activity diagram, sequence diagram serta pembuatan form tampilan yang diusulkan. Untuk menunjang kegiatan dokumentasi Berita acara Pencacahan yang selaras dengan perkembangan teknologi informasi yang saat ini semakin pesat, analisis dan desain Berita Acara Pencacahan sangat diperlukan dalam melaksanakan kegiatan sehari-hari sehingga mempermudah petugas bea cukai dalam mengelola Berita Acara Pencacahan sehingga semakin efektif dan efesien.Kata kunci: desain, transparansi, bea cukai, pencacahan, sistem informasi)

scholarly journals PERANCANGAN WEBSITE E-COMMERCE EXPRESS ORDER SYSTEM FOR RESELLER DROPSHIPPER MENGGUNAKAN HYPERTEXT PREPROCESSOR

2018 ◽  
Vol 2 (2) ◽  
Author(s):  
Arrum Pramesti ◽  
Dony Novaliendry ◽  
Titi Sriwahyuni
Keyword(s):  
Unified Modeling Language ◽  
Operating Costs ◽  
Order System ◽  
Media Campaign ◽  
Activity Diagram ◽  
Concept System ◽  
Unified Modeling ◽  
Statechart Diagram ◽  
The City

Pramesti branded is an online store selling bags, clothes and cosmetics, where the sales system still manual and not computerized. Pramesti Branded resellers have had many both inside and outside the city of Bengkulu city. To solve the above problem, namely to increase sales, minimize the work and provide the needs of customers primarily acts as a reseller then Pramesti Branded want to use technology in the marketing and sales strategies by designing an e-commerce system for express orders dropshiper resellers. To build an application e-commrce express order system for resellers dropshiper analysis in the design of systems that are used to describe the system model using tools such as UML (Unified Modeling Language) in order to facilitate the transfer of the concept system designed to be a program in the form of a use case diagram, class diagram, activity diagram, deployment diagram, components of the diagram, statechart diagram, sequence diargram and in database design using mySQL database. Based on the case study it can be concluded that the application of e-commrce express order system for resellers dropshiper who made ​​this can be a media campaign that helped increase sales, especially for resellers and reduce operating costs for companies and consumers to facilitate the process of booking and payment of a product because it is done online. Keywords        : Reseller Dropshipper, Express Order System

Mapping Mobile Statechart Diagrams to the π-Calculus using Graph Transformation

2016 ◽  
Vol 12 (4) ◽  
pp. 1-20 ◽  
Author(s):  
Aissam Belghiat ◽  
Allaoua Chaoui
Keyword(s):  
Graph Transformation ◽  
Formal Semantics ◽  
Graph Grammar ◽  
Software Systems ◽  
Formal Approach ◽  
Agent Based ◽  
Modeling Simulation ◽  
Statechart Diagram ◽  
Automatic Mapping ◽  
Π Calculus

Mobile UML (M-UML) has been proposed as an extension of UML to model mobile agent-based software systems. As UML, M-UML suffers from lack of formal semantics due to its semi-formal nature which penalize the verification of correct behavior of the modeled systems. This paper provides a graphical yet formal approach for the modeling, simulation and verification of mobile statechart diagrams using graph transformations in the AToM3 tool. The authors have firstly proposed meta-models for mobile statechart diagram and flowgraph. Then, a twofold graph grammar is developed for the automatic mapping of mo-bile statechart diagrams into flowgraphs and in the same time generates the cor-responding p-calculus specification. This graph grammar enables either execu-tion through simulation by flowgraphs or verification through model checking, using existing tools (e.g. the Mobility Workbench, MWB). An illustrative example of the authors' approach is provided.

Sign in / Sign up

Export Citation Format

Share Document