Tool Support for Consistency Verification of UML Diagrams

2017 ◽  
pp. 606-609 ◽  
Author(s):  
Salilthip Phuklang ◽  
Tomoyuki Yokogawa ◽  
Pattara Leelaprute ◽  
Kazutami Arimoto
Keyword(s):  
Tool Support ◽  
Uml Diagrams ◽  
Consistency Verification

Consistency Verification of UML Diagrams Based on Process Bisimulation

2013 ◽  
Author(s):  
Tomoyuki Yokogawa ◽  
Sousuke Amasaki ◽  
Keisuke Okazaki ◽  
Yoichiro Sato ◽  
Kazutami Arimoto ◽  
...  
Keyword(s):  
Uml Diagrams ◽  
Consistency Verification

Perancangan dan Pembuatan Aplikasi Pendeteksi Kesalahan Penempelan Barcode pada Kemasan Produk Menggunakan Sistem Arduino Uno dan Sistem Komputasi (Studi Kasus PT. Duta Nichirindo Pratama)

2020 ◽  
Vol 5 (1) ◽  
pp. 78
Author(s):  
Ade Sumaedi ◽  
Makhsun Makhsun ◽  
Achmad Hindasyah
Keyword(s):  
Unified Modeling Language ◽  
Database Design ◽  
Black Box ◽  
Design System ◽  
Modeling Language ◽  
Unified Modeling ◽  
Uml Diagrams ◽  
Arduino Uno ◽  
Menu Design ◽  
A Company

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.

Visualizing the validation of UML diagrams

2011 ◽  
Vol 1 (9) ◽  
pp. 37-38
Author(s):  
Lavleen Kambow ◽  
Keyword(s):  
Uml Diagrams

E-Health as a Service Software of Medical System in Prototype Modeling

2017 ◽  
Vol 4 (2) ◽  
pp. 99-104
Author(s):  
Agus Nursikuwagus
Keyword(s):  
Health Care ◽  
Information System ◽  
Health Service ◽  
Community Health ◽  
Health Center ◽  
Community Health Center ◽  
Community Health Service ◽  
Medical System ◽  
Medical Prescription ◽  
Uml Diagrams

Information system at community health center is an information system that has several activities, such as registration, medical record, health care, and reporting.  Day to day operation, community health service, is using process manually. It is cause the stack of service. Sometime, the patient has to wait within several times. For Further, the patient did not know that the queuing is full. In order to help the problem, this paper wants to show about E-Health as service software. The research is completed by conveying the model like UML diagram. The UML diagrams are consisting such as usecase, class, activity, and component. The sequence of system construct is using Prototype Paradigm. The result is the software which has ability to service patient start from registration, medical check, medical prescription, until reporting. As an impact for Community health service is the service more efficiency. The system is able to control the medicine and reporting on day to day operation.   REFERENCES[1] Susanto, Gunawan,” Sistem Informasi Rekam Medis PadaRumah Sakit Umum Daerah (RSUD) Pacitan Berbasis WebBase”. Pacitan. 2012.[2] B, Nugroho, S.H. Fitriasih, B. Widada, “Sistem InformasiRekam Medis Di Puskesmas Masaran I Sragen”. JournalTIKomSiN, vol.5, no.1, p.49-56, 2017.[3] G.G.S. Bagja,” Membangun Sistem Informasi KesehatanPuskesmas Cibaregbeg”, Univ. Komp. Indonesia, 2010.[4] A.M. Herdy, Aulia, M. Amran, D. Novita, “PerancanganSistem Informasi Pelayanan Medis Di Puskesmas SungaiDua”, STMIK MDP. 2014.[5] J. Sundari, “Sistem Informasi Pelayanan Puskesmas BerbasisWeb”, Int.Journal.on Soft.Eng, vol.2, no.1, p.57-62, 2016.[6] R.S. Pressman, Software Engineering A PractitionersApproach. Nineth Edition, Addsion Wesley, 2011.[7] G. Booch, J. Rumbaugh, I. Jacobson, Unified ModelingLanguage User Guide, Addison-Wesley, 1999.[8] I, Daqiqil. (2011, August 2). Framework CodeIgnite. [Online].Available: http://koder.web.id/buku-codeigniter-gratis/

Unified approach to spatial description of objects terrain departmental registries / cadastres as a perspective basis of the state system territory mapping

2019 ◽  
Vol 942 (12) ◽  
pp. 41-49
Author(s):  
A.M. Portnov
Keyword(s):  
Spatial Data ◽  
Spatial Description ◽  
Unified Approach ◽  
Technological Basis ◽  
The Public ◽  
Wide Range ◽  
The Russian Federation ◽  
Map Data ◽  
Consistency Verification ◽  
Thematic Data

Using unified principles of formation and maintenance of register/cadaster with information about spatial data of landscape objects as the informational and technological basis for updating the public topographic maps and modernization of state cartographic system is proposed. The problems of informational relevancy of unified electronical cartographic basis and capacity of its renovation in case of public cadaster map data. The need to modernize the system of classification and coding of cartographic information, the use of unified standards for the coordinate description of register objects for their topological consistency, verification and updating is emphasized. Implementing such solutions is determined by economical expediency as well as necessity of providing a variety of real thematic data for wide range of consumers in the field of urban planning, territories development and completing the tasks of Governmental program “Digital economy of the Russian Federation”.

scholarly journals Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs

2016 ◽  
Vol 50 (12) ◽  
pp. 23-34 ◽  
Author(s):  
Andrew Farmer ◽  
Neil Sculthorpe ◽  
Andy Gill
Keyword(s):  
Tool Support ◽  
Equational Reasoning

scholarly journals Correct program parallelisations

2021 ◽  
Author(s):  
S. Blom ◽  
S. Darabi ◽  
M. Huisman ◽  
M. Safari
Keyword(s):  
Composition Operators ◽  
Parallel Programs ◽  
Parallel Program ◽  
Tool Support ◽  
Intermediate Representation ◽  
Data Race ◽  
Sequential Program ◽  
Functional Correctness ◽  
Correct Program ◽  
Basic Blocks

AbstractA commonly used approach to develop deterministic parallel programs is to augment a sequential program with compiler directives that indicate which program blocks may potentially be executed in parallel. This paper develops a verification technique to reason about such compiler directives, in particular to show that they do not change the behaviour of the program. Moreover, the verification technique is tool-supported and can be combined with proving functional correctness of the program. To develop our verification technique, we propose a simple intermediate representation (syntax and semantics) that captures the main forms of deterministic parallel programs. This language distinguishes three kinds of basic blocks: parallel, vectorised and sequential blocks, which can be composed using three different composition operators: sequential, parallel and fusion composition. We show how a widely used subset of OpenMP can be encoded into this intermediate representation. Our verification technique builds on the notion of iteration contract to specify the behaviour of basic blocks; we show that if iteration contracts are manually specified for single blocks, then that is sufficient to automatically reason about data race freedom of the composed program. Moreover, we also show that it is sufficient to establish functional correctness on a linearised version of the original program to conclude functional correctness of the parallel program. Finally, we exemplify our approach on an example OpenMP program, and we discuss how tool support is provided.

Sign in / Sign up

Export Citation Format

Share Document