Dissecting Design Effort and Drawing Effort in UML Modeling

2017 ◽  
Author(s):  
Rodi Jolak ◽  
Eric Umuhoza ◽  
Truong Ho-Quang ◽  
Michel R. V. Chaudron ◽  
Marco Brambilla
Keyword(s):  
Uml Modeling

scholarly journals Rancang Bangun Sistem Informasi Penjualan Obat Berbasis Website dengan Menggunakan Metode Waterfall

2020 ◽  
Vol 6 (1) ◽  
pp. 71-82
Author(s):  
Ahmad Fauzi ◽  
Dewi Wulandari
Keyword(s):  
Information System ◽  
Data Processing ◽  
Quality Of Data ◽  
Microsoft Excel ◽  
Web Based ◽  
Drug Sales ◽  
Uml Modeling ◽  
Computer Based ◽  
A Company

Abstract: In this era of globalization, information technology is speeding up. In managing the information required good technology because the information has a greatvalue for a company. And computer technology today with its increasingly sophisticated processing speed has enabled the development of computer-based information systems. Problems that exist in Kauman Apothecary is about the data processing that is still done manually, ranging from the admission process of incoming drugs, drugs out, often the absence of matching stock between the data with the original drug, as well as in making reports that still use microsoft excel. The design of the system is described by UML modeling, drug sales information system on web-based pharmacy kauman intranet this is the best solution, can improve the quality of data processing drugs in pharmacies kauman. And with the creation of this information system, can help simplify data processing moreleverage, while keeping data safe and minimize the data kerangkapan. The design of web-based drug sales information system is made using PHP and MySQL.Keywords: Information System, Sales, Kauman PharmacyAbstrak: Dalam era globalisasi sekarang ini, teknologi informasi melaju dengan cepatnya.Dalam mengelola informasi dibutuhkan teknologi yang baik karena informasi mempunyai nilai yang besar bagi suatu perusahaan. Dan teknologi komputer sekarang ini dengan kecepatan prosesnya yang semakin canggih telah memungkinkan pengembangan sistem informasi berbasis komputer. Masalah yang ada pada Apotek Kauman yaitu mengenai pengolahan data-datanya yang masih dilakukan secara manual, mulai dari proses penerimaan obat masuk, obat keluar, sering tidak adanya kecocokan stok antara data dengan obat aslinya, serta dalam membuat laporan yang masih menggunakan microsoft excel. Perancangan sistem digambarkan dengan pemodelan UML, sistem informasi penjualan obat pada apotek kauman berbasis web intranet ini merupakan solusi yang terbaik, dapat meningkatkan kualitas pengolahan data obat di apotek kauman. Dan dengan dibuatnya sistem informasi ini, dapat membantu mempermudah pengolahan data lebih maksimal, sekaligus menjaga data tetap aman dan meminimalisir adanya kerangkapan data. Perancangan sistem informasi penjualan obat berbasis web ini dibuat menggunakan PHP dan MySQLKata Kunci: Sistem Informasi, Penjualan, Apotek Kauman.

scholarly journals Perancangan Case Tools untuk Diagram Use Case, Activity, dan Class untuk Permodelan Uml Berbasis Web Menggunakan HTML5 dan PHP

2014 ◽  
Vol 5 (2) ◽  
pp. 625 ◽  
Author(s):  
Mohammad Subekti ◽  
Lukman Lukman ◽  
Donny Indrawan ◽  
Ganesh Putra
Keyword(s):  
Unified Modeling Language ◽  
Use Case ◽  
Empirical Methods ◽  
Web Based ◽  
Case Tools ◽  
Unified Modeling ◽  
Software Developer ◽  
Internet Connection ◽  
Uml Modeling ◽  
Internet Application

This study is intended to generate an application tools (CASE tools) that allows a software developer to create a modeling system design using Unified Modeling Language (UML), especially in making use case, activity or class diagrams more quickly and easily. The tools developed will also facilitate developers in doing UML modeling by accessing the network through a web-based internet application. With the web-based applications, the users require only a browser and an internet connection to use this application. This application also helps developers to understand of how to make UML diagrams correctly and good. In this research traditional methods Scrum model is used. Scrum method is Agile methods that is a process to cultivate software easily and can be developed in accordance with the development of information technology. Scrum is using empirical methods or in other words every stage in it involves inspection and adaptation.

An Approach to UML Consistency Checking Based on Compositional Semantics

2017 ◽  
Vol 8 (2) ◽  
pp. 1-23
Author(s):  
Messaoudi Nabil ◽  
Allaoua Chaoui ◽  
Mohamed Bettaz
Keyword(s):  
Formal Semantics ◽  
Spin Model ◽  
Model Transformations ◽  
State Machines ◽  
Consistency Checking ◽  
Sequence Diagrams ◽  
Compositional Semantics ◽  
Uml Modeling ◽  
Verification Methods ◽  
Spin Model Checker

One of the ways to specify dynamic behavior in UML is to model interactions between objects with sequence diagrams, and model the behavior of each object with state machines. In this context, the problem of ensuring consistency between the sequence diagrams and state machines may arise. To verify consistency, the authors propose an approach based on compositions of Büchi automata which allow us to capture the evolution of each object among the lifeline. This paper focuses on UML modeling and verification methods and bridges the gap between theoretical studies on formal semantics and practical studies to implement languages through model transformations. The transformations include basic interactions, state invariants, strict and weak sequencing, and alternative interaction fragments. Ultimately, the results of the transformations are integrated into the Spin model checker as a never claim property. The authors use the Automatic Gate Controller Railway (AGCR) as an example to illustrate their approach.

Sign in / Sign up

Export Citation Format

Share Document