MODEL AND VERIFICATION OF WS-CDL BASED ON UML DIAGRAMS

2010 ◽  
Vol 20 (08) ◽  
pp. 1119-1149 ◽  
Author(s):  
PENGCHENG ZHANG ◽  
HENRY MUCCINI ◽  
YUELONG ZHU ◽  
BIXIN LI
Keyword(s):  
Unified Modeling Language ◽  
State Machine ◽  
Underlying Structure ◽  
Unified Modeling ◽  
Industry Standard ◽  
Modeling Analysis ◽  
Uml Class Diagram ◽  
Uml Diagrams ◽  
Uml Sequence Diagram ◽  
State Machine Diagram

The Web Services Choreography Description Language (WS-CDL) is a specification developed by the W3C and can be viewed as a blueprint for the development of end-point services. Consequently, it is worth providing a systematic approach for its modeling, analysis and verification. The Unified Modeling Language (UML) is an industry standard for modeling. Applying UML to model WS-CDL is obviously a promising solution to bring together academics and practitioners through a unique standard language. In this paper, we propose to use different UML diagrams to model WS-CDL. UML Component Diagram is used to model the underlying structure of WS-CDL. UML Sequence Diagram is utilized to model the activities in WS-CDL. UML State Machine Diagram is utilized to model the behaviors of each role participating in a WS-CDL specification. We then enrich the UML State Machine Diagram with data by the use of UML Class Diagram. Given the UML specification of WS-CDL, we then provide a systematic way of formally analyzing and verifying WS-CDL against desired properties. Some experiments show that our approach can verify structural, behavioral and data properties in a middle-scale data-enriched WS-CDL specification.

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.

Heavyweight extension to the UML class diagram metamodel for modeling context aware systems in ubiquitous computing

2017 ◽  
Vol 13 (3) ◽  
pp. 238-251 ◽  
Author(s):  
Haider Boudjemline ◽  
Mohamed Touahria ◽  
Abdelhak Boubetra ◽  
Hamza Kaabeche
Keyword(s):  
Fundamental Problem ◽  
Unified Modeling Language ◽  
Class Diagram ◽  
Context Aware ◽  
User Interactions ◽  
Content Type ◽  
Unified Modeling ◽  
Development Processes ◽  
Uml Class Diagram

Purpose The development of context-aware applications in ubiquitous environments depends not only on the user interactions but also on several context parameters. The handling of these parameters is a fundamental problem in these systems. The key purpose of this work is to enrich the unified modeling language (UML) class diagram with new constructs to provide a universal model capable of coping with the context-awareness concerns. Design/methodology/approach The authors provide a review of existing context handling approaches. Afterward, they relied on the UML extensibility mechanisms to propose a heavyweight extension for the UML class diagram. This generic approach allows describing the different context parameters since the modeling phase. Findings Existing solutions for context handling apply the contextual constraints on finished applications or tend to be dependent on a specific development process. This paper presents a solution based on UML, which allows dealing with context since the modeling phase, and independently of development processes. This proposal is implemented as an eclipse editor and illustrated through a case study in the healthcare field. Originality/value This paper addresses the problem of context handling, and it presents a review of the foremost existing solutions. The paper also presents a heavyweight extension for the UML class diagram, which consists in enriching it with additional constructs, capable of monitoring how applications are linked to context parameters and how the values of these parameters may affect the application behavior.

scholarly journals Rational Unified Process Part-1

2002 ◽  
Vol 1 (1) ◽  
pp. 81-94
Author(s):  
Manoj Tharian
Keyword(s):  
Best Practices ◽  
Software Development ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Engineering Process ◽  
Unified Modeling ◽  
Industry Standard ◽  
Development Teams ◽  
Software Engineering Process ◽  
Unified Process

This paper presents an overview of the Rational Unified Process. The Rational unified Process is a software engineering process, delivered through a web-enabled, searchable knowledge base. The process enhances team productivity and delivers software best practices via guidelines, templates and tool mentors for all critical software lifecycle activities. The knowledge base allows development teams to gain the full benefits of the industry-standard Unified Modeling Language(UML). The rational Unified Process is a software Engineering Process. It provides a disciplined approach to assigning tasks and responsibilities within development organization. Its goal is to ensure the production of high-quality software that meets the needs of its end-users, within a predictable schedule and budget.[11,13] The rational Unified Process is a process product , developed and maintained by Rational Software. The development team for the Rational Unified Process are working closely with customers, partners, Rational's that the process is continuously updated and improved upon to reflect recent experiences and evolving and proven best practices. The Rational Unified Process is a guide for how to effectively use the Unified modeling Language(UML). The UML is a industry-standard language that allows us to clearly communicate requirements, architectures and designs. The UML is a industry-standard language that allows us to clearly communicate requirements architectures and designs. the UML originally created by Rational Software, and is now maintained by the standards organization Object Management Group(OMG).[4] the Rational Unified Process captures many of the best practices in modern software development in a form that is suitable for a wide range of projects and organizations. Deploying these best practices 3/4 using the Rational Unified Process as your guide 3/4 offers development teams a number of key advantages. In next section, we describe the six fundamental best practices of the Rational Unified Process. The Rational Unified Process describes how to effectively deploy commercially proven approaches to software development for software development teams. These are called "best practices" not so much because you can precisely quantify their value, but rather, because they are observed to be commonly used in industry by successful organizations.

Expressing and Validating OCL Constraints using Graphs

2013 ◽  
pp. 93-107
Author(s):  
Najet Zoubeir ◽  
Adel Khalfallah ◽  
Samir Ben Ahmed
Keyword(s):  
Graph Transformation ◽  
Unified Modeling Language ◽  
Object Constraint Language ◽  
Unified Modeling ◽  
Constraint Language ◽  
Uml Diagrams ◽  
Class Diagrams ◽  
Definition Of ◽  
Transformation Systems ◽  
Graph Transformation Systems

The definition of the semantics of visual languages, in particular Unified Modeling Language (UML) diagrams, using graph formalism has known a wide success, since graphs fit the multi-dimensional nature of this kind of language. However, constraints written in Object Constraint Language (OCL) and defined on these models are still not well integrated within this graph-based semantics. In this chapter, the authors propose an integrated semantics of OCL constraints within class diagrams, using graph transformation systems. Their contribution is divided into two parts. In the first part, they introduce graph constraint patterns, as the translation into graphs of a subset of OCL expressions. These patterns are validated with experimental examples using the GROOVE toolset. In the second part, the authors define the relation between OCL and UML models within their graph transformation system.

Design and Representation of Multidimensional Models with UML and XML Technologies

2005 ◽  
pp. 50-95
Author(s):  
Juan Trujillo ◽  
Sergio Lujan-Mora ◽  
Il-Yeol Song
Keyword(s):  
Unified Modeling Language ◽  
Xml Schema ◽  
Commercial Application ◽  
Conceptual Level ◽  
Unified Modeling ◽  
Extensible Markup ◽  
Uml Class Diagram ◽  
Analytical Processing ◽  
Multidimensional Models ◽  
Xml Technologies

Data warehouses (DW), multidimensional databases (MDB), and OnLine Analytical Processing (OLAP) applications are based on the Multidimensional (MD) modeling. Most of these applications provide their own MD models to represent main MD properties, thereby making the design totally dependent of the target commercial application. In this chapter, we present how the Unified Modeling Language (UML) can be successfully used to abstract the representation of MD properties at the conceptual level. Then, from this conceptual model, we generate its corresponding implementation into any market OLAP tool. In our approach, the structure of the system is specified by means of a UML class diagram that considers main properties of MD modeling. If the system to be modeled is too complex, we describe how to use the package grouping mechanism provided by the UML to simplify the final model. To facilitate the interchange of conceptual MD models, we provide an eXtensible Markup Language (XML) Schema which allows us to represent the same MD modeling properties that can be considered by using our approach. From this XML Schema, we can directly generate valid XML documents that represent MD models at the conceptual level. Finally, we provide different presentations of the MD models by means of eXtensible Stylesheet Language Transformations (XSLT).

Rethinking the Project Management Process by Using Unified Modeling Language

2016 ◽  
pp. 497-513
Author(s):  
Liang-Cheng Chang
Keyword(s):  
Project Management ◽  
System Analysis ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Management Process ◽  
Management Skills ◽  
Unified Modeling ◽  
Analysis And Design ◽  
Transformation Rules ◽  
Uml Diagrams

Project management skills such as WBS, Gantt Chart and PERT have been applied in many fields, but system analysts preferred UML to project tools. This chapter recommend transformation rules from project items into objects and project charts into UML diagrams, to model all project items and processes by using UML. Therefore, UML can be applied not only to system analysis and design, but also to entire project processes. Stakeholders in a project can rethink the project in terms of object orientation and communicate with system developers using the same tool as UML.

XML-Based Analysis of UML Models for Critical Systems Development

2011 ◽  
pp. 257-274
Author(s):  
Jan Jurjens ◽  
Pasha Shabalin
Keyword(s):  
Unified Modeling Language ◽  
Systems Development ◽  
Industrial Applications ◽  
Tool Support ◽  
Modeling Language ◽  
Critical Systems ◽  
High Quality ◽  
Unified Modeling ◽  
Industry Standard ◽  
System Properties

High-quality development of critical systems poses serious challenges. Formal methods have been proposed to address them, but their use in industry is not as widespread as originally hoped. This chapter proposes to use the Unified Modeling Language (UML), the de-facto industry standard specification language, as a notation together with a formally based tool-support for critical systems development. The authors extend the UML notation with new constructs for describing criticality requirements and relevant system properties, and introduce their formalization in the context of the UML executable semantics. Furthermore tool-support concepts for this approach are presented, which facilitate transfer of the methodology to industrial applications.

FMDesign: A Tool and Interchange Format for Product Concept Designs

2005 ◽  
Author(s):  
Olof Johansson ◽  
Petter Krus
Keyword(s):  
Systems Engineering ◽  
Unified Modeling Language ◽  
Product Concept ◽  
Unified Modeling ◽  
Model Driven ◽  
Product Models ◽  
Implementation Techniques ◽  
Concept Evaluation ◽  
Uml Class Diagram ◽  
Interchange Format

This paper presents a formalized approach to design product models in the product concept evaluation phases, and exchange the models with other engineering tools using open formats like XML and relational database tables. FMDesign is used for designing product concepts with the aid of integrated stakeholder trees, requirement trees, function-means trees, product concept trees, and implementation trees. It has its foundation in systems engineering and design methodology, and presents a formalization and integration with theory from software engineering that enable similar engineering tools to be implemented with automated model driven software implementation techniques that support the Unified Modeling Language (UML). The paper provides an overview of the theory behind the tool, its user interface, interchange formats and the formal software specification as an UML class diagram.

Mobile web application for students’ and lecturers’ portfolio gallery

2017 ◽  
Vol 34 (5) ◽  
pp. 14-18 ◽  
Author(s):  
Timothy Yudi Adinugroho ◽  
Eileen Heriyanni ◽  
Tegar Aryo Sulthon Musthofa
Keyword(s):  
Web Application ◽  
Design Methodology ◽  
Unified Modeling Language ◽  
Second Step ◽  
Modeling Language ◽  
Content Type ◽  
Mobile Web ◽  
Unified Modeling ◽  
Unified Process ◽  
Uml Diagrams

Purpose The purpose of this paper is to curate and promote students’ and lecturers’ works and creations, and to provide pleasing user experience for mobile device users when browsing the portfolio gallery information. Design/methodology/approach The design of the mobile web application using Rational Unified Process (RUP) methodology includes Unified Modeling Language (UML) diagrams. The evaluation is done in three steps: first step by comparing similar software, the second step by evaluate the interface using the eight golden rules and the last one by taking user questionnaire. Findings Evaluation of the application of Bina Nusantara University (BINUS) Store Mobile Web. Originality/value The authors report the development of BINUS Store Mobile web application by using Hypertext Preprocessor (PHP) with Laravel framework and evaluate it in Android and iOS environments.

Sign in / Sign up

Export Citation Format

Share Document