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.

Event Modeling

2011 ◽  
pp. 303-323
Author(s):  
Lars Baekgaard
Keyword(s):  
Unified Modeling Language ◽  
Change Agents ◽  
Information Modeling ◽  
Modeling Language ◽  
Information Structures ◽  
Unified Modeling ◽  
Event Modeling ◽  
Occurrence Times ◽  
Information Objects ◽  
Universe Of Discourse

The purpose of this chapter is to discuss conceptual event modeling within a context of information modeling. Traditionally, information modeling has been concerned with the modeling of a universe of discourse in terms of information structures. However, most interesting universes of discourse are dynamic and we present a modeling approach that can be used to model such dynamics. The Unified Modeling Language (UML) is based on the following notion of an event. “An event is a noteworthy occurrence that has location in time and space. It occurs at a point in time; it does not have duration. Model something as an event if its occurrence has consequences.” (Rumbaugh, Jacobsen et al. 1999). This definition emphasizes that an event occurs at a point in time and that its occurrence has noteworthy consequences. We characterize events as both information objects and change agents (Bækgaard 1997). When viewed as information objects events are phenomena that can be observed and described. For example, borrow events in a library can be characterized by their occurrence times and the participating books and borrowers. When we characterize events as information objects we focus on concepts like information structures. When viewed as change agents events are phenomena that trigger change. For example, when borrow event occurs books are moved temporarily from bookcases to borrowers. When we characterize events as change agents we focus on concepts like transactions, entity processes, and workflow processes.

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.

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.

Sign in / Sign up

Export Citation Format

Share Document