Specification and Checking of Dependency Relations between UML Models

2011 ◽  
pp. 237-253
Author(s):  
Claudia Pons ◽  
Roxana Giandini ◽  
Gabriel Baum ◽  
Jose L. Garbi ◽  
Paula Mercado

During the object-oriented software development process, a variety of models of the system is built. All of these models are not independent; they are related to each other. Elements in one model have trace dependencies to other models; they are semantically overlapping and together represent the system as a whole. It is necessary to have a precise definition of the syntax and semantics of the different models and their relationships since the lack of accuracy in definition can lead to wrong model interpretations and inconsistency between models. In this chapter, we classify relationships between models along three different dimensions and propose a formal description of them. The goal of the proposed formalization is to provide formal foundations for tools that perform intelligent analysis on models thereby assisting software engineers throughout the development process. In this direction, we discuss the construction of a tool based on the formalization and support the verification of traces between requirement and analysis models specified in the Unified Modeling Language.

2016 ◽  
Vol 9 (1) ◽  
Author(s):  
Andri Kulung ◽  
Steven Sentinuwo ◽  
Alicia Sinsuw

Bahasa Mandarin merupakan salah satu Bahasa yang terkenal di seluruh dunia. Ada sekitar 1.302 juta orang dengan berbagai kalangan umur telah menggunakan Bahasa mandarin, sehingga karena alasan tersebut banyak sekolah termasuk Sekolah Dasar (SD) Advent 1 Tikala Manado telah memasukkan Bahasa Mandarin sebagai salah satu mata pelajaran Bahasa asing. Namun siswa-siswa SD Advent 1 Tikala Manado merasa kesulitan dalam mempelajari Bahasa Mandarin dikarenakan tidak adanya media pembelajaran yang dapat membantu mereka dalam mempelajari Bahasa Mandarin di luar jam sekolah. Aplikasi pembelajaran Bahasa Mandarin Dasar merupakan solusi untuk membantu siswa SD Advent 1 Tikala Manado dalam mempelajari Bahasa Mandarin, baik dalam proses pembelajaran di sekolah maupun di luar sekolah. Unified Software Development Process (USDP) merupakan metode pengembangan perangkat lunak yang prosesnya dikendalikan oleh Use Case (use case driven) dan dikerjakan secara berulang (iterative) sehingga pada akhirnya menghasilkan perangkat lunak terintegrasi berukuran besar yang terbentuk secara bertahap (Incremental) dengan bantuan Unified Modeling Language (UML) sebagai alat bantu utama analisis dan perancangan sistem perangkat lunak. Aplikasi pembelajaran Bahasa Mandarin Dasar dibuat dengan fitur belajar dan bermain. Fitur belajar dilengkapi dengan materi pengajaran yang digolongkan ke dalam  beberapa kategori yaitu kategori kelas 1, kelas 2, dan kelas 3 serta sub fitur berupa suara dengan tujuan siswa bisa mengetahui cara pengucapan suatu kata. Dengan dibuatnya aplikasi ini diharapkan agar aplikasi ini bisa membantu siswa dalam mempelajari Bahasa Mandarin pada jam sekolah maupun diluar jam sekolah.


Author(s):  
Marco Junglas ◽  
Amir Kazeminia ◽  
Ru¨diger Eick ◽  
Dirk So¨ffker

This paper focuses on mechatronic systems reliability assessment during the development process phases. Modern technical systems safety requirements are regulated by law, especially the level of safety relevant systems or components. This means it is necessary to decide at early design phase which topology or hardware suites the safety requirements of the system. Therefore the first step is to detect the system impact factors, model the system architecture, and generate a topology tree. One possibility to describe the system architecture is given by the use of the Unified Modeling Language (UML). From the system architecture descriptions MATLAB/Simulink models can be generated. Subsequently the next step is the realization of a reliability-oriented topology, which can be used to consider reliability-oriented aspects.


2021 ◽  
Vol 4 (2) ◽  
pp. 86
Author(s):  
Aji Saputra ◽  
Cut Fera Inong Safitri ◽  
Fitriyani Fitriyani ◽  
Yarni Gulo ◽  
Teti Desyani

Many companies engaged in printing services still use manual processes in their transactions, the system process is less efficient and the possibility of errors in input data can still occur. Like the process of recording orders using paper, calculations using calculators and sales transactions written on books. Therefore, for these problems, a cashier application is needed that can facilitate the order process, calculations and transactions accurately with a web-based cashier application that features login, sales transactions, product data, add products, settings and exit applications. Our development process uses the waterfall method and to describe the system design we use the Unified Modeling Language (UML). Application using the waterfall method can make it easier to complete the application development process because there are already stages in the method.


2001 ◽  
pp. 186-210 ◽  
Author(s):  
Franck Barbier ◽  
Brian Henderson-Sellers ◽  
Andreas L. Opdahl ◽  
Martin Gogolla

This study of the semantics of the Whole-Part relationship in OO modeling is based upon, extends and, specifically, formalizes earlier analyses of the semantics of UML’s Aggregation and Composition (white and black diamonds, also called shared aggregation and composite aggregation). Although UML is nowadays regarded as a standard and is widely used as an OO modeling language, the way the Whole-Part relationship is formalized is unsatisfactory. Here, we provide a rigorous specification of various forms of the Whole-Part relationship using OCL (Object Constraint Language). The first part of the specification is based on the differentiation between primary characteristics (applicable to all Whole-Part relationships) assigned to a new Whole-Part metatype in the UML and secondary features, which are possessed by subtypes of this metatype and permit the representation of several “flavors” of the Whole-Part relationship. This UML-compliant style of specification, based on the use of OCL as well as metamodeling, allows us to directly incorporate our results into the UML metamodel, in particular revising UML’s definition of Composition.


2021 ◽  
Vol 8 (3) ◽  
pp. 465
Author(s):  
Arief Herdiansah ◽  
Nora Fitriawati ◽  
Achmad Hariri

<p>Klinik Jati Husada merupakan salah satu klinik yang berada di kabupaten Tangerang, Dalam menjalankan operasionalnya klinik ini masih menggunakan cara kerja pencatatan data pasien dengan manual sehingga seringkali menghabat proses pelayanan dan pelaporan hasil aktifitas klinik, berdasarkan hal tersebut peneliti berinisiatif melakukan penelitian untuk membuat sebuah perancangan dan membangun sistem informasi pelayanan pasien di klinik. Peneliti menggunakan metode pengumpulan data kualitatif dan kuantitatif, dengan melakukan aktifitas <em>observasi</em>, wawancara dan penyebaran <em>form survey</em>. Peneliti menggunakan UML (<em>Unified Modeling Language</em>) dalam membuat pemodelan desain program berorientasi objek (OOP) dari sistem yang dikembangkan. Proses pembangunan sistem dalam penelitian ini menggunakan model pengembangan sistem <em>waterfall</em> dan menggunakan bahasa pemrograman PHP dalam proses pembagunan aplikasinya. Metode pengujian sistem yang digunakan dalam penelitian ini adalah <em>black box testing </em>dimana peneliti menguji setiap modul yang tersedia di sistem yang dikembangkan bersama-sama pengguna dan peneliti telah memperbaiki semua modul yang dirasa kurang sesuai dengan permintaan pengguna. Sistem informasi pelayanan pasien yang dihasilkan dari penelitian ini telah membantu klinik Jati Husada melakukan pengelolaan data pasien jauh lebih baik. Peneliti berharap sistem pelayanan pasien yang dibangun ini dapat menjadi referensi atau contoh bagi klinik pengobatan ditempat lain yang sejenis.</p><p class="Abstrak" align="center"> </p><p><em><strong>Abstract</strong></em></p><p class="Judul2"><em>Jati Husada Clinic is one of the clinics in the Tangerang district. In carrying out its operations the clinic uses manual data entry and recording of patients, it holds the process of service and reporting the results of clinical activities, based on these conditions the researchers conducted research to make a design and building a patient service information system in the clinic. Researchers used qualitative and quantitative data collection methods, by conducting observation activities, interviews and distributing survey forms. Researchers use UML (Unified Modeling Language) in making object oriented program design (OOP) modeling of the developed system. The system development process in this study uses a waterfall system development model and uses the PHP programming language in the application development process. The system testing method used in this study is black box testing where the researcher and users have tested every module available in the developed system and the researcher has corrected the modules that have not been in accordance with the user's request. The patient service information system generated from this study has helped Jati Husada clinic to manage patient data much better. Researchers hope that the patient service system developed can be a reference or example for clinics in other similar places.</em></p>


10.28945/2600 ◽  
2003 ◽  
Author(s):  
Richard Alan Hodgett

It is claimed that the Unified Modeling Language (UML) is emerging as the accepted standard graphical language for specifying, constructing, visualizing and documenting the object oriented information systems development process. As such it has gained a place in many information systems programs. An investigation of Australian organizations indicates that the use of object oriented development methodologies and UML is gradually increasing in Australia but is still to see general acceptance. This raises the question of the priority that should be accorded to the inclusion of UML in competition with other topics and issues in information systems education programs.


2020 ◽  
Vol 5 (2) ◽  
pp. 106-115
Author(s):  
Hutrianto Hutrianto ◽  
Baibul Tujni

Pengembangan sebuah aplikasi merupakan inovasi untuk menyelesaikan masalah. Untuk melakukan pengembangan aplikasi terdapat berbagai teknik pengembangan. pengembangan aplikasi berbasis web dan pengembangan aplikasi berbasis mobile memiliki perlakuan yang berbeda. Namun yang paling penting dari proses pengembangan aplikasi adalah pemodelan informasi aplikasi itu sendiri. karena dengan adanya pemodelan proses pengembangan akan lebih terarah dan sistematis. Pemodelan memiliki kemapuan menggambarkan cetak biru dari aplikasi yang akan dikembangkan. Untuk itu pada penelitian ini akan dilakukan pemodelan aplikasi menggunakan unified modeling language. Pemodelan dilakukan guna mempermudah proses pengembangan dengan kasus aplikasi booking tiket. Penggunaan unified modeling language dalam melakukan pemodelan juga disebabkan notasi unified modeling language memiliki kemampuan dalam menggambarkan berbagai proses dalam sebuah aplikasi yang dikembangkan. Hasil dari penelitian ini berupa pemodelan aplikasi dengan unified modeling language yang digambarkan dalam tiga bentuk notasi yaitu structure diagram yang digambarkan dalam bentuk class diagram, communication diagram yang digambarkan dalam bentuk activity diagram dan behavior diagram yang digambarkan dalam bentuk use case diagram. Pemodelan aplikasi juga diimplementasikan dalam bentuk prototype aplikasi dengan fitur pemesanan tiket, proses konfirmasi, jadwal keberangkatan serta pengelolaan data terkait dengan proses pemesanan tiket.   The development of an application is an innovation to solve problems. To develop applications, there are various development techniques. Web-based application development and mobile-based application development have different treatments. However, the most important part of the application development process is modeling the application information itself. because with the modeling the development process will be more directed and systematic. Modeling can describe the blueprint of the application to be developed. For this reason, this research will conduct application modeling using the unified modeling language. Modeling is done in order to simplify the development process with the ticket booking application case. The use of unified modeling language in modeling is also due to the notation that unified modeling language can describe various processes in a developed application. The results of this study are in the form of application modeling with a unified modeling language which is depicted in three notation forms, namely a structure diagram depicted in the form of a class diagram, a communication diagram depicted in the form of an activity diagram and a behavior diagram depicted in the form of a use case diagram. Application modeling is also implemented in the form of application prototypes with ticket booking features, confirmation processes, departure schedules and data management related to the ticket booking process


2020 ◽  
Vol 5 (1) ◽  
pp. 78
Author(s):  
Ade Sumaedi ◽  
Makhsun Makhsun ◽  
Achmad Hindasyah

PT. Duta Nichirindo Pratama is a company engaged in the field of Autoparts Manufacture. Barcode is the identity of an item / product on the package. Barcode technology has been used as the identity of goods in a production. Barcodes are used to facilitate the identification of goods produced. Paste the barcode on the packaging of packaging results at PT. Duta Nichirindo Pratama is done manually, but there are often errors attached to the barcode on a similar packaging. This research will design and create a system based on Visual Basic.Net and Arduino to select barcode attachment errors that have the potential to be sent to consumers. The system is designed using Unified Modeling Language (UML) diagrams, database design and interface menu design. The system created will then be tested to detect the black box test. With a computing-based design system that functions to detect barcodes on the packaging automatically, the problem of sticking barcodes on the packaging can be detected.


Sensi Journal ◽  
2020 ◽  
Vol 6 (1) ◽  
pp. 60-72
Author(s):  
Ade Setiade ◽  
Luthfia Fauzia ◽  
Iwan Hermawan

PT.Medikon prima laboratories didirikan pada tahun 1980, hingga sekarang. PT.Medikon mengalami perkembangan yang sangat pesat. Jenis produk yang dihasilkan mencakup produk farmasi , OT (obat tradisional), suplemen dan kosmetik. PT.Medikon Prima Laboratories telah mengimpor produk ke seluruh wilayah indonesia.Yang beralamat di Jl. Raya Serang No. 23, Bitung Jaya, Cikupa, Kabupaten Tangerang. Untuk memudahkan pengolahan data para pegawai, inputan data Cuti dan Absensi maupun izin sakit dibutuhkan suatu perangkat lunak yang nantinya dapat melakukan pengolahan data ,berdasarkan permasalahan tersebut maka perlu di lakukan analisis sehinnga nantinya dapat diperoleh hasil dan kebutuhankebutuhan yang diperlukan untuk perangkat /system yang akan di bangun. Analisis dilakukan dengan melakukan cara menganalisis kebutuhan, pengguna dan fasilitas yang diperlukan oleh perangkat lunak yang di bangun benar-benar bermanfaat.berdasarkan hasil analisis permasalahan yang dilakukan sebelumnya, maka dapat rancangan suatu sistem perangkat lunak dengan melakukan analisis data menggunakan beberapa metode antara lain : wawancara dan observasi maupun studi pustaka, dengan menggunakan software UML (Unified Modeling Language).berdasarkan hasil analisis tersebut maka penulis melakukan penelitian dan mengambil judul yang berkaitan dengan "Prototype Aplikasi Pengolahan Data Pegawai Di PT.Medikon Prima Laboratories".yang dapat membantu dan memudahkan dalam melakukan pengolahan data pegawai dan dapat menampilkan informasi akurat yang di butuhkan oleh pengguna di PT.Medikon prima laboratories.


Sign in / Sign up

Export Citation Format

Share Document