An Enhanced Dissection of Attacks in Wireless Sensor Networks Savoudsou, Benjamin; Tchakount´, Franklin; Yenke, Blaise ...
International Journal of Computing and Digital System (Jāmiʻat al-Baḥrayn. Markaz al-Nashr al-ʻIlmī),
8/2023, Letnik:
14, Številka:
1
Journal Article
Unified Modelling Language (UML) is essentially a de-facto standard for software modeling and supported with many modeling tools. In this study, 58 UML tools have been analysed for modelling ...viewpoints, analysis, transformation & export, collaboration, tool integration, scripting, project management, and knowledge management. The analysis results reveal important findings: (i) 11 UML tools support multiple viewpoints, (ii) 17 tools support large-viewpoint management, (iii) Umple and Reactive Blocks support formal verification, (iv) 9 tools support the simulation of activity diagrams, (v) while 14 tools check pre-defined well-formedness rules, 8 of them support user-defined rules, (vi) 16 tools support scripting, (vii) 29 tools support code-generation and 18 of them support round-trip engineering, (viii) Java is the top popular language, (ix) 38 tools export UML models as image, 32 tools export as HTML, and 32 tools export as XML/XMI, (x) 17 tools enable versioning and 13 of them support multi-user access, (xi) 15 tools support the plug-in extensions and 12 tools support the IDE integration, (xii) 6 tools support project management, and (xiii) while most tools provide user-manuals, interactive guidance is rarely supported. The results will be helpful for practitioners in choosing the right tool(s) and the tool developers in determining the weaknesses/strengths.
The multidimensional (MD) modeling, which is the foundation of data warehouses (DWs), MD databases, and On-Line Analytical Processing (OLAP) applications, is based on several properties different ...from those in traditional database modeling. In the past few years, there have been some proposals, providing their own formal and graphical notations, for representing the main MD properties at the conceptual level. However, unfortunately none of them has been accepted as a standard for conceptual MD modeling.
In this paper, we present an extension of the Unified Modeling Language (UML) using a UML profile. This profile is defined by a set of stereotypes, constraints and tagged values to elegantly represent main MD properties at the conceptual level. We make use of the Object Constraint Language (OCL) to specify the constraints attached to the defined stereotypes, thereby avoiding an arbitrary use of these stereotypes. We have based our proposal in UML for two main reasons: (i) UML is a well known standard modeling language known by most database designers, thereby designers can avoid learning a new notation, and (ii) UML can be easily extended so that it can be tailored for a specific domain with concrete peculiarities such as the multidimensional modeling for data warehouses. Moreover, our proposal is Model Driven Architecture (MDA) compliant and we use the Query View Transformation (QVT) approach for an automatic generation of the implementation in a target platform. Throughout the paper, we will describe how to easily accomplish the MD modeling of DWs at the conceptual level. Finally, we show how to use our extension in Rational Rose for MD modeling.
The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs. The UML ...specification, maintained by the Object Management Group (OMG), is documented in natural language (in contrast to formal language). The inherent ambiguity of natural languages may introduce inconsistencies in the resulting state machine model. Formalizing UML state machine specification aims at solving the ambiguity problem and at providing a uniform view to software designers and developers. Such a formalization also aims at providing a foundation for automatic verification of UML state machine models, which can help to find software design vulnerabilities at an early stage and reduce the development cost. We provide here a comprehensive survey of existing work from 1997 to 2021 related to formalizing UML state machine semantics for the purpose of conducting model checking at the design stage.
sinar baru adalah sebuah agen sembako yang berada di daerah kemanggisan kota Jakarta barat, sinar baru menjual berbagai sembako yang diperlukan dengan semakin banyaknya pembeli maka dari itu ...dibutuhkan suatu aplikasi yang mempermudah untuk pembelian atau pemesenan sembako tersebut, masalah yang terjadi adalah masih manualnya pencatatan persediaan barang pada agen yang mengakibatkan sering terjadinya kesalahan dalam pencatatan barang yang masuk dan keluar pada agen dan juga dalam hal pemesanan barang pelanggan diharuskan datang ke agen tersebut yang mengakibatkan memakan waktu yang tidak efektif. Aplikasi ini dibuat dengan menggunakan metode FIFO yakni barang yang pertama kali masuk atau datang akan terlebih dahulu dijual,UML digunakan untuk mendesain aplikasi dengan menggunakan Usecase Diagram, Activity Diagram, Sequence Diagram, Class Diagram, teknik pengumpulan data dilakukan dengan observasi dan wawancara, hasil dari penelitian ini adalah aplikasi dapat mengakses ketersediaan barang yang ada, laporan penjualan, laporan pembelian, laporan barang masuk, laporan barang keluar, laporan laba, laporan data pelanggan dan laporan stok barang