Results 41 to 50 of about 2,825 (206)
MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems
IET Software, 2021 The architecture of distributed systems is subject to certain failures: component failure, downed connections etc. These failures come from the dynamicity and complexity of these systems. As a solution to cure this weakness, adaptation plans can be added.
Mohamed Hadj Kacem +2 more
doaj +1 more source
Cognitive Behaviors Modeling Using UML Profile: Design and Experience
IEEE Access, 2017 To achieve model reuse in combat effectiveness simulation systems development, cognitive decision behaviors are usually implemented using a scripting language, which is separate from the programming language used to implement simulation models. Therefore,
Zhi Zhu +3 more
doaj +1 more source
Model Validation in Ontology Based Transformations [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 Model Driven Engineering (MDE) is an emerging approach of software engineering. MDE emphasizes the construction of models from which the implementation should be derived by applying model transformations. The Ontology Definition Meta-model (ODM) has been
Jesús M. Almendros-Jiménez +1 more
doaj +1 more source
Gaspard2 UML profile documentation [PDF]
, 2007 This document describes the current UML profile of Gaspard2. This profile extends the UML semantics to allow the user to describe a SoC (System-on-Chip) in three steps: the application (behavior of the Soc), the hardware architecture, and the association
Ben Atitallah, Rabie +10 more
core +5 more sources
Vojnotehnički Glasnik, 2017 Systems Modeling Language (SysML) is a Unified Modeling Language (UML) profile intended for application in systems engineering. This text is inspired by lack of literature on SysML in Serbian language.
Miloš D. Jevtić +2 more
doaj +1 more source
Applying Model-Driven Engineering to Distributed Ledger Deployment
IEEE Access, 2020 Distributed Ledger Technology (DLT) enables data storage in a decentralized manner among collaborating parties. The software architecture of such solutions encompasses models placed in the relevant architectural views.
Tomasz Gorski, Jakub Bednarski
doaj +1 more source
Continuous Delivery of Blockchain Distributed Applications
Sensors, 2021 Ensuring a production-ready state of the application under development is the imminent feature of the Continuous Delivery (CD) approach. In a blockchain network, nodes communicate and store data in a distributed manner.
Tomasz Górski
doaj +1 more source
Formal and efficient verification techniques for Real-Time UML models [PDF]
, 2006 The real-time UML profile TURTLE has a formal semantics expressed by translation into a timed process algebra: RT-LOTOS. RTL, the formal verification tool developed for RT-LOTOS, was first used to check TURTLE models against design errors.
Sadani, Tarek +5 more
core
Towards a UML Profile for Software Architecture [PDF]
To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions and research labs.
Strohmeier, Alfred +1 more
core +1 more source
Pengembangan Aplikasi Manajemen Rekrutmen Karyawan Menggunakan Metode Profile Matching
Intensif: Jurnal Ilmiah Penelitian Teknologi dan Penerapan Sistem Informasi, 2019 Human Resources (HR) is one of the important aspects in the company, because it will manage many aspects such as technology, resources, and capital, therefore the process of hiring and allocating training is important in the company.
Hery Hery +3 more
doaj +1 more source