Results 1 to 10 of about 2,433 (273)
Applied Sciences, 2021 Unified Modeling Language (UML) includes various types of diagrams that help to study, analyze, document, design, or develop any software efficiently. Therefore, UML diagrams are of great advantage for researchers, software developers, and academicians ...
Bethany Gosala +4 more
doaj +1 more source
BitML: A UML Profile for Bitcoin Blockchain [PDF]
International Journal of Web Research, 2023 Blockchain is a technology that enables distributed and secure data structures for various business domains. Bitcoin is a notable blockchain application that is a decentralized digital currency with immense popularity and value.
Behrouz Sefid-dashti +2 more
doaj +1 more source
Construction of Fuzzy Ontologies from Fuzzy UML Models [PDF]
International Journal of Computational Intelligence Systems, 2013 The success and proliferation of the Semantic Web depends heavily on construction of Web ontologies. However, classical ontology construction approaches are not sufficient for handling imprecise and uncertain information that is commonly found in many ...
Fu Zhang, Z. M. Ma
doaj +1 more source
Incremental Database Design using UML-B and Event-B [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Correct operation of many critical systems is dependent on the data consistency and integrity properties of underlying databases. Therefore, a verifiable and rigorous database design process is highly desirable.
Ahmed Al-Brashdi +2 more
doaj +1 more source
UCLAONT: Ontology-Based UML Class Models Verification Tool
Applied Sciences, 2022 The software design model performs an important role in modern software engineering methods. Especially in Model-Driven Engineering (MDE), it is treated as an essential asset of software development; even programming language code is produced by the ...
Adel Rajab +6 more
doaj +1 more source
User Assistance Characteristics of the USE Model Checking Tool [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints.
Frank Hilken, Martin Gogolla
doaj +1 more source
Jordanian Journal of Computers and Information Technology, 2020 This paper deals with modeling and verification of software systems by combining UML diagrams and Pi-calculus. UML 2.0 Activity diagrams are used for modeling the behavior of software systems, while Pi-calculus is used for semantic and verification ...
Raida Elmansouri +4 more
doaj +1 more source
IEEE Access, 2021 Behavior modeling grounded in the Discrete-Event System Specification (DEVS) and Unified Modeling Language (UML) activity specifications is crucial for simulating dynamical systems.
Abdurrahman Alshareef +1 more
doaj +1 more source
Informatics in Education, 2023 This research discusses the use of a gamified web platform for studying software modeling with Unified Modeling Language (UML). Although UML is constantly being improved and studied, many works show that there is difficulty in teaching and learning the ...
Felipe A. Feichas, Rodrigo D. Seabra
doaj +1 more source
UML2SC: A tool for developing complex electronic systems using UML and SystemC
Revista Facultad de Ingeniería Universidad de Antioquia, 2013 In this paper, we propose a transformation process in which SystemC skeleton code is extracted from UML models that describe hardware/software based systems. The tool UML2SC, which is based on Java libraries, is also introduced.
Blanca Alicia Correa +5 more
doaj +1 more source