A Combined Component-Based Approach for the Design of Distributed Software Systems

Component-based software development enables the construction of software artefacts by assembling binary units of production, distribution and deployment, the so-called components. Several approaches to component-based development have been proposed recently. Most of these approaches are based on the Unified Modeling Language (UML). UML has been increasingly used in component-based development, despite some shortcomings of this language. This paper presents a methodology for the design of component-based applications that combines a model-based approach with a UML-based approach. This combined approach tackles some of the limitations of UML, allowing a better control of the design proces

Transformation of UML Behavioral Diagrams to Support Software Model Checking

Unified Modeling Language (UML) is currently accepted as the standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML is not trivial due to complexity of the software itself, and the several different UML models/diagrams that can be used to model behavior and structure of the software. This paper presents an approach to transform up to three different UML behavioral diagrams (sequence, behavioral state machines, and activity) into a single Transition System to support Model Checking of software developed in accordance with UML. In our approach, properties are formalized based on use case descriptions. The transformation is done for the NuSMV model checker, but we see the possibility in using other model checkers, such as SPIN. The main contribution of our work is the transformation of a non-formal language (UML) to a formal language (language of the NuSMV model checker) towards a greater adoption in practice of formal methods in software development.Comment: In Proceedings FESCA 2014, arXiv:1404.043

Penerapan Unified Modeling Language.(UML) Dalam Membangun Sistem Pengenalan UMKM (Studi Kasus Rafa Laundry)

Unified Modeling Language (UML) adalah bahasa untuk menentukan, memvisualisasikan, membangun dan mendokumentasikan sistem perangkat lunak. UML terbukti sangat sukses dan memiliki mencapai popularitas luar biasa menjadikannya standar industri de facto untuk berorientasi objek pengembangan sistem. Dengan demikian, banyak peneliti mempresentasikan karya, studi kasus dan studi empiris tentang penggunaan praktis UML tetapi juga kritik untuk kompleksitas UML, ambiguitas, kesulitan untuk dipelajari, dll. Meskipun banyak artikel dan buku yang dikhususkan untuk berbagai aspek bahasa UML, ada sedikit bukti tentang bagaimana UML digunakan. Studi ini mencoba melihat penerapan unified modeling language (UML) dalam membangun sistem pengenalan UMKM yang dilakukan oleh Rafa laundry. Temuan menunjukkan bahwa UML berhasil digunakan di sebagian besar pengembangan perangkat lunak proyek dan bahwa sebagian besar pengguna menganggap UML secara positif karena mendukung sistem lebih cepat pembangunan, pengembangan sistem perangkat lunak berkualitas lebih tinggi, dan untuk kasus tertentu, ini mengarah pada penurunan biaya pengembangan perangkat lunakUnified Modeling Language (UML) is a language for defining, visualizing, building and documenting software systems. UML proved to be very successful and has achieved tremendous popularity making it the de facto industry standard for object-oriented systems development. Thus, many researchers presented works, case studies and empirical studies on the practical use of UML but also criticisms for the complexity of UML, ambiguity, difficulty to learn, etc. Although many articles and books are devoted to various aspects of the UML language, there is little evidence of how UML is used. This study tries to see the application of the unified modeling language (UML) in building the MSME recognition system carried out by Rafa Laundry. The findings show that UML is used successfully in most software development projects and that most users perceive UML positively as it supports faster system development, development of higher quality software systems, and in certain cases, this leads to a decrease in software development costs. soft

Aplikasi Pembelajaran Unified Modeling Language Berbasis Computer Assisted Instruction

Unified Modeling Language (UML) is one of the important materials in the analysis and design of information systems. UML is used in designing or modeling the system. UML has some form of diagram that is grouped in several aspects based on a different view. Forms of the diagram are illustrated by different functions and notations. This makes UML difficult to understand considering that time in the classroom is very limited. Therefore, it is necessary to design a learning aid based Computer Assisted Instruction (CAI). Interactive application interface helps students understand the learning materials. Students can learn independently wherever and whenever they need. The results of this study can be utilized for the development of teaching materials, especially about modeling the system with UML. Keywords: Learning, Computer Assisted Instruction, Unified Modeling Language

Blockchain Ontologies: OCL and REA

Unified Modeling Language (UML) of Object Management Group, along with Object Constraint Language (OCL), are considered as the best fit for blockchain ontology. OCL is a declarative language that describes the rules applicable to UML models and is part of the UML standard. Initially, OCL was just an extension of the formal specification language for UML. Now, OCL can be used with any meta-model. Enterprise ontology is combined with the business ontology of Resources, Events, Agents (REA) to be used for the content of the change. REA was originally proposed in 1982 by William E. McCarthy as generalized accounting model. DOI: 10.13140/RG.2.2.14744.1408

ER is UML

Entity-Relationship (ER) diagrams are frequently used for data modeling and database design. The Unified Modeling Language (UML) is dominant in the programming area but has not been widely adopted in the database area. I describe the history of UML as inspired by ER diagrams and argue that the use of a suitable variant of UML incorporates the benefits of ER diagrams as well as the advantages of a modeling language used by the programming community