Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory

2004 ◽  
Vol 19 (1-2) ◽  
pp. 89-98 ◽  
Author(s):  
Ekawit Nantajeewarawat ◽  
Vilas Wuwongse ◽  
Chutiporn Anutariya ◽  
Kiyoshi Akama ◽  
Surapa Thiemjarus
Keyword(s):  
Unified Modeling Language ◽  
Extensible Markup Language ◽  
Modeling Language ◽  
Markup Language ◽  
Unified Modeling ◽  
Description Theory ◽  
Extensible Markup

Prying Apart Semantics and Implementation

2009 ◽  
Author(s):  
Bruce Todd Bauman
Keyword(s):  
Formal Language ◽  
Unified Modeling Language ◽  
Data Models ◽  
Modeling Language ◽  
Shared Understanding ◽  
Markup Language ◽  
Unified Modeling ◽  
Physical Data ◽  
Extensible Markup ◽  
Universe Of Discourse

Central to interoperability is a shared conceptualization of the domain or universe of discourse (UoD). A conceptual model (CM) documents this shared understanding between people in a formal language, augmenting prose but neutral of later implementation decisions. Having such an explicit layer has benefits for enhanced interoperability, higher quality implementations, reuse and mapping, and as such is recognized as desirable by many modeling frameworks. In this paper, we describe our motivation and efforts to date, to use the ontologically well founded profile of the Unified Modeling Language (UML) proposed in Guizzardi-2005 to create such models. Relevant subsets of a CM form the basis for physical data models (PDM) targeting specific technologies, in this case the generation of Extensible Markup Language (XML) schemata represented in the World Wide Web Consortium (W3C) Schema Language (XSD). These physical data models are annotated by a developer, with a set of encoding directives. These encoding directives and the custom developed software that interprets them to map concepts in the CM to their expression in an XSD, are our principle contribution. The CM language, the XSD encoding annotations, and the software are briefly described.

A Digital Mock-up System for Construction of Product Information Model in Shipbuilding Process

2007 ◽  
Vol 23 (01) ◽  
pp. 7-16
Author(s):  
Won Don Kim ◽  
Jong-Ho Nam ◽  
Ju Yong Park
Keyword(s):  
Product Information ◽  
Unified Modeling Language ◽  
Information Model ◽  
Modeling Language ◽  
Markup Language ◽  
Unified Modeling ◽  
Product Information Model ◽  
Extensible Markup ◽  
Set Up ◽  
Time Required

As a significantly complicated manufacturing process, shipbuilding requires a sophisticated product information model to achieve the seamless flow of product information. A digital mock-up system (DMU) that builds a prototype in a computer has been proposed for consistent quality control. The DMU system can simulate models and assemblies on-the-fly as well as project real-world manufacturability without the expense and time required to make a physical mock-up. However, establishing a DMU system that can facilitate the use of product information is not easy. Preparing useful product information is costly and requires skilled computer engineers. It is thus often infeasible, especially in small and medium-sized shipyards. This paper describes the development of an affordable DMU system. Newly emerged technologies such as eXtensible Markup Language (XML), Unified Modeling Language (UML), and virtual reality (VR) are utilized to set up a practical DMU system. The DMU system developed has been applied to various commercial ships to verify its functionality and practicability.

Abstracting UML Behavior Diagrams for Verification

2011 ◽  
pp. 296-320
Author(s):  
María del Mar Gallardo ◽  
Jesús Martinez ◽  
Pedro Merino ◽  
Ernesto Pimentel
Keyword(s):  
Unified Modeling Language ◽  
Modeling Language ◽  
State Explosion ◽  
Unified Modeling ◽  
Automatic Abstraction ◽  
Combined Use ◽  
Extensible Markup ◽  
Verification Tools ◽  
Novel Applications ◽  
Exciting Application

UML (Unified Modeling Language) and XML (Extensible Markup Language) related technologies have matured, and at present many novel applications of both languages are frequently appearing. This chapter discusses the combined use of both UML and XML in the exciting application domain of software abstraction for verification. In particular, software development environments that use UML notations are now including verification capabilities based on state exploration. This method is effective for many realistic problems, although it is well known that it is affected by the state explosion problem for many complex systems and that some kind of abstraction is needed. This is the point where XML can be used as a powerful technology, due to its features for program transformation. We describe how to use XML-related standards like dom or xmi in order to extend UML verification tools with automatic abstraction.

scholarly journals IMPLEMENTATION OF THE COMSTOCK METHOD FOR ANDROID BASED PATIENT LEFTOVERS FOOD MANAGEMENT

2020 ◽  
Vol 2 (1) ◽  
pp. 1
Author(s):  
Lu'luil Maknun Sundarina
Keyword(s):  
Programming Language ◽  
Food Waste ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Markup Language ◽  
Unified Modeling ◽  
Know How ◽  
Food Management

Nowadays, nutritionists should count manually to know how much nutrition that patients get as the development of technology,  human work easier likewise in counting the patient's food waste so it will be more efficient and not waste a lot of time. This research aims to build an application that can facilitate nutritionists in the calculating amount of food waste by using the Comstock method. The system is designed to use Unified Modeling Language (UML) and     programming language Hypertext Preprocessor (PHP) and Hyper Markup Language (HTML). The result of this research is in the form of application which could be used by nutritionists at hospital calculate the amount of food waste of patients using the android-based Comstock method at the hospital using the Comstock method.

scholarly journals DEVELOPMENT OF VIRTUAL ASSEMBLY LAYOUT WITH MODELING LANGUAGES APPROACH AND SIMULATION USING DELMIA™ QUEST®

2012 ◽  
Vol 12 (6) ◽  
Author(s):  
Norhidayah Mohamad ◽  
Yupiter H.M. ◽  
Roseleena J. ◽  
Shaharudin A. ◽  
Erry Y.A.
Keyword(s):  
Development Process ◽  
Extensible Markup Language ◽  
Modeling Language ◽  
Intermediate Representation ◽  
Markup Language ◽  
Modeling Languages ◽  
Virtual Model ◽  
Database Development ◽  
Basic Understanding ◽  
Extensible Markup

ABSTRACT: The paper presented the development of virtual layout model with modeling languages approach. This research also explores the flexibility of the model configurations through the development process of database for storing and representing the virtual model. The concept and mechanisms of database development involves the use of eXtensible Markup Language (XML). The objectives of the research are therefore to obtain a basic understanding on how these modeling languages are used to develop virtual model, representing the simulation by using Delmia™ QUEST® and develop a database for share, store and future usage. Therefore, the generated simulation presents the feasibility of interchanging models using modeling language approach as an intermediate representation and provides an opportunity to improve simulation quality.

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.

Prototype Aplikasi Pengolahan Data Pegawai Di PT.Medikon Prima Laboratories

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

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