Results 21 to 30 of about 244,450 (172)
Model-driven design, simulation and implementation of service compositions in COSMO [PDF]
, 2009 The success of software development projects to a large extent depends on the quality of the models that are produced in the development process, which in turn depends on the conceptual and practical support that is available for modelling, design and ...
Dirgahayu, Teduh +2 more
core +9 more sources
MBSE delivers significant return on investment in evolutionary development of complex SoS
Systems Engineering, Volume 24, Issue 6, Page 385-408, November 2021., 2021 Abstract The Submarine Warfare Federated Tactical Systems (SWFTS) is a rapidly evolving combat system of systems (SoS) product family. Managing the annual baseline updates requires processing thousands of baseline change requests, then coordinating and verifying their implementation.
Edward B. Rogers III, Steven W. Mitchell
wiley +1 more source
MeidyaCoM‐policy: Approach for modelling and checking repair policies for self‐healing systems
IET Software, Volume 15, Issue 4, Page 260-276, August 2021., 2021 Abstract 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
wiley +1 more source
International Journal of Reconfigurable Computing, Volume 2021, Issue 1, 2021., 2021 To deal with the complex design issues of Dynamically Reconfigurable Systems‐on‐Chip (DRSoCs), it is extremely relevant to raise the abstraction level in which models are expressed. A high abstraction level allows great flexibility and reusability while bypassing low‐level implementation details. In this context, model‐driven engineering (MDE) provides
Khaled Allem +3 more
wiley +1 more source
Reliability prediction in model driven development [PDF]
, 2005 Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development.
Rodrigues, G.N. +2 more
core +1 more source
TURTLE-P: a UML profile for the formal validation of critical and distributed systems [PDF]
, 2006 The timed UML and RT-LOTOS environment, or TURTLE for short, extends UML class and activity diagrams with composition and temporal operators. TURTLE is a real-time UML profile with a formal semantics expressed in RT-LOTOS.
Apvrille, Ludovic +2 more
core +1 more source
On the Notion of Abstract Platform in MDA Development [PDF]
, 2004 Although platform-independence is a central property in MDA models, the study of platform-independence has been largely overlooked in MDA. As a consequence, there is a lack of guidelines to select abstraction criteria and modelling concepts for platform ...
Almeida, João Paulo +3 more
core +4 more sources
Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0 [PDF]
, 2018 For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has
F Moltmann +7 more
core +1 more source
A Practical Environment to Apply Model-Driven Web Engineering [PDF]
, 2009 The application of a model-driven paradigm in the development of Web Systems has yielded very good research results. Several research groups are defining metamodels, transformations, and tools which offer a suitable environment, known as model-driven ...
Escalona Cuaresma, María José +7 more
core +1 more source
Function References as First Class Citizens in UML Class Modeling
International Conference on Evaluation of Novel Approaches to Software Engineering, 2018 There have been a number of philosophical discussions whether functional programming or object-oriented programming is the better programming concept.
Steffen Heinzl, Vitaliy Schreibmann
semanticscholar +1 more source