A Framework for Managing Consistency of Evolving UML Models

2011 ◽  
pp. 1-30 ◽  
Author(s):  
Tom Mens ◽  
Ragnhild Van Der Straeten ◽  
Jocelyn Simmonds
Keyword(s):  
Impact Analysis ◽  
Software Evolution ◽  
Predicate Logic ◽  
Description Logics ◽  
Unified Modeling Language ◽  
Tool Support ◽  
Unified Modeling ◽  
Inconsistency Management ◽  
Decidable Fragment ◽  
Uml Metamodel

As the standard for object-oriented analysis and design, the UML (Unified Modeling Language) metamodel, as well as contemporary CASE (Computer-Aided Software Engineering) tools, must provide adequate and integrated support for all essential aspects of software evolution. This includes version control, traceability, impact analysis, change propagation, inconsistency management, and model refactorings. This chapter focuses on the latter two aspects, and shows how tool support for these aspects can be provided. First, we extend the UML metamodel with support for versioning. Second, we make a classification of the possible inconsistencies of UML design models. Finally, we use the formalism of description logics, a decidable fragment of first-order predicate logic, to express logic rules that can detect and resolve these inconsistencies. We also show how the logic rules are used to propose model refactorings. As a proof of concept, we report on the results of initial experiments with a prototype tool we developed for this approach.

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.

scholarly journals USING UML SCENARIOS IN B2B SYSTEMS

2010 ◽  
Vol 11 (1) ◽  
pp. 1-13 ◽  
Author(s):  
A. Jakimi ◽  
A. Sabraoui ◽  
E. Badidi ◽  
A. Salah ◽  
M. El Koutbi
Keyword(s):  
Unified Modeling Language ◽  
Object Oriented ◽  
Tool Support ◽  
Use Case ◽  
Formal Specifications ◽  
Sequence Diagrams ◽  
Unified Modeling ◽  
Suitable Framework ◽  
Business To Business ◽  
Scenario Approach

Scenarios has become a popular technique for requirements elicitation and specification building. Since scenarios capture only partial descriptions of the system behavior, an approach for scenario composition and/or integration is needed to produce more complete specifications. The Unified Modeling Language (UML), which has become a standard notation for object-oriented modeling, provides a suitable framework for scenario acquisition using Use Case diagrams and Sequence or Collaboration diagrams. In this paper, we suggest an algorithmic and tool support for composing and integrating scenarios that are represented in form of sequence diagrams. We suggest four operators (;: sequential operator, ||: concurrent operator, ?: conditional operator and  * :iteration operator) to compose a set of scenarios that describe a use case of a given system. In this paper, we suggest also to apply the scenario approach to B2B systems (Business to Business). We propose to develop B2B systems as a three activities process deriving formal specifications and code skeletons from UML scenarios. Activities of this proposed process are generally automatic and are supported by a set of developed algorithms and tools.

scholarly journals ADM-Based Hybrid Model Transformation for Obtaining UML Models from PHP Code

2019 ◽  
Vol 7 (1) ◽  
pp. 32
Author(s):  
Abdelali Elmounadi ◽  
Naoual Berbiche ◽  
Nacer Sefiani ◽  
Nawfal El Moukhi
Keyword(s):  
Model Transformation ◽  
Unified Modeling Language ◽  
Hybrid Approach ◽  
Language Models ◽  
Tool Support ◽  
Web Based ◽  
Automated Generation ◽  
Unified Modeling ◽  
Transformation Language ◽  
Model Transformation Language

In this paper, we present a hybrid-based model transformation, according to the Architecture Driven Modernization (ADM) approach, intended for getting UML (Unified Modeling Language) models from the PHP (Hypertext Preprocessor) code. This latter has been done by offering a tool support for automated generation of UML platform independent models from PHP ASTM (Abstract Syntax Tree Metamodel) representations, which are specific platform models. The model transformation rules are expressed in ATL (Atlas Transformation Language), which is a widely used model transformation language based on the hybrid approach. This work aims to fill the gap between the web-based applications maintenance, especially PHP-based implementations, and the model transformation processes in the ADM context.

scholarly journals Comprehensive Aspectual UML Approach to Support AspectJ

2014 ◽  
Vol 2014 ◽  
pp. 1-30 ◽  
Author(s):  
Aws Magableh ◽  
Zarina Shukur ◽  
Noorazean Mohd. Ali
Keyword(s):  
Focus Group ◽  
Unified Modeling Language ◽  
Tool Support ◽  
It Industry ◽  
Modelling Language ◽  
Unified Modeling ◽  
Group Evaluation ◽  
Modelling Approach ◽  
Modelling Approaches

Unified Modeling Language is the most popular and widely used Object-Oriented modelling language in the IT industry. This study focuses on investigating the ability to expand UML to some extent to model crosscutting concerns (Aspects) to support AspectJ. Through a comprehensive literature review, we identify and extensively examine all the available Aspect-Oriented UML modelling approaches and find that the existing Aspect-Oriented Design Modelling approaches using UML cannot be considered to provide a framework for a comprehensive Aspectual UML modelling approach and also that there is a lack of adequate Aspect-Oriented tool support. This study also proposes a set of Aspectual UML semantic rules and attempts to generate AspectJ pseudocode from UML diagrams. The proposed Aspectual UML modelling approach is formally evaluated using a focus group to test six hypotheses regarding performance; a “good design” criteria-based evaluation to assess the quality of the design; and an AspectJ-based evaluation as a reference measurement-based evaluation. The results of the focus group evaluation confirm all the hypotheses put forward regarding the proposed approach. The proposed approach provides a comprehensive set of Aspectual UML structural and behavioral diagrams, which are designed and implemented based on a comprehensive and detailed set of AspectJ programming constructs.

The Whole-Part Relationship in the Unified Modeling Language

2001 ◽  
pp. 186-210 ◽  
Author(s):  
Franck Barbier ◽  
Brian Henderson-Sellers ◽  
Andreas L. Opdahl ◽  
Martin Gogolla
Keyword(s):  
Unified Modeling Language ◽  
Modeling Language ◽  
Object Constraint Language ◽  
Unified Modeling ◽  
Constraint Language ◽  
Definition Of ◽  
Uml Metamodel ◽  
The Way

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.

Supplementing UML with Concepts from ORM

2001 ◽  
pp. 168-185 ◽  
Author(s):  
Terry Halpin
Keyword(s):  
Unified Modeling Language ◽  
Use Cases ◽  
Business Rules ◽  
Graphical Language ◽  
Domain Experts ◽  
Unified Modeling ◽  
Class Diagrams ◽  
Conceptual Data ◽  
Object Role Modeling ◽  
Uml Metamodel

The Unified Modeling Language (UML) is useful for designing object-oriented code, but is less suitable for conceptual data analysis. Its process-centric use-cases provide an inadequate basis for specifying data-centric class diagrams, and the UML graphical language suffers from incompleteness, inconsistency and unnecessary complexity. For example, multiplicity constraints can lead to unexpected problems when extended to n-ary associations, the constraint primitives are not optimized for orthogonality or expressibility, and the graphical language does not lend itself readily to verbalization and multiple instantiation for validating models with domain experts. This chapter examines some of these defects, and shows how to compensate for them by augmenting UML with concepts and techniques from the Object Role Modeling (ORM) approach. It highlights the potential of “data use cases” for seeding the data model, using verbalization of facts and rules with positive and negative examples to facilitate validation of business rules. The following approaches are suggested as possible ways to exploit the benefits of fact-orientation: use ORM for the conceptual analysis then map the ORM model to UML; use UML supplemented by informal population diagrams and user-defined constraints; enhance the UML metamodel to better support business rules.

STATE-BASED COMPOSITION IN UML 2

2008 ◽  
Vol 18 (08) ◽  
pp. 987-1011 ◽  
Author(s):  
FRANCK BARBIER ◽  
XABIER ARETXANDIETA
Keyword(s):  
Software Engineering ◽  
Composite Structure ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Software Components ◽  
Unified Modeling ◽  
Service Computing ◽  
Long Time ◽  
Component Based Software Engineering ◽  
Uml Metamodel

The Composition relationship or "black diamond" in the Unified Modeling Language (UML) is recognized for a long time as a key modeling construct. While prior research works demonstrated that this modeling operator had a dubious semantics, new expectations in the field of Component-Based Software Engineering especially, lead to revisit this operator so that it supports dynamical composition, and more precisely, composition modeling expressions and implementations that safely refer to states of software components. At first, the revision of the UML Composition must rely on well-formalized static dependencies between components as, for instance, the property of lifetime dependency between compound and constituent entities. This papers offers a UML metamodel and some associated logical assertions to strengthen the Composition relationship in UML 2. Despite the presence of new diagram types dedicated to composition (i.e., Composite Structure Diagrams), the UML 2 composition model is not yet sufficiently exhaustive and formal for dealing with all cases of composition, including those relating to agent, component or service computing and modeling.

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.

Implementasi Sistem Informasi Monitoring Pengolahan Data Inventory Gudang Pada PT.Talaga Mulya Indah

2020 ◽  
Vol 6 (2) ◽  
pp. 187-197
Author(s):  
Nurlaila Suci Rahayu Rais ◽  
Dedeh Apriyani ◽  
Gito Gardjito
Keyword(s):  
Data Processing ◽  
Integrated Control ◽  
Unified Modeling Language ◽  
Review Literature ◽  
Analysis Method ◽  
Inventory Data ◽  
Literature Study ◽  
Unified Modeling ◽  
The Difference ◽  
The Right

Monitoring of warehouse inventory data processing is an important thing for companies. PT Talaga mulya indah is still manual using paper media, causing problems that have an effect on existing information, namely: problems with data processing of incoming and outgoing goods. And the difference between data on the amount of stock of goods available with physical data, often occurs inputting data more than once for the same item, searching for available data, and making reports so that it impedes companies in monitoring inventory of existing stock of goods. Which aims to create a system that can provide updated information to facilitate the warehouse admin in making inventory reports, and reduce errors in input by means of integrated control. In this study, the authors used the data collection method used in this analysis using the method of observation, interviews, and literature review (literature study). For analysis using the PIECES analysis method. Furthermore, the system design used is UML (Unified Modeling Language). The results of this study are expected to produce the right data in the process of monitoring inventory data processing, also can provide the right information and make it easier to control the overall availability of goods.

Sign in / Sign up

Export Citation Format

Share Document