Formal specification and verification of reusable communication models for distributed systems architecture
… a metamodel to describe high-level concepts of architecture in a … demonstrate how concrete
software architectures for a given … This work extends the ideas described in the earlier paper …
software architectures for a given … This work extends the ideas described in the earlier paper …
DynADL-Dynamic Architecture Description Language for System of Systems
AD Hristozov, ET Matson - 2024 IEEE International Systems …, 2024 - ieeexplore.ieee.org
… as an extension to one of the established modeling languages if … as we can keep the
architecture described in a high-level … founded framework for dynamic software architectures,” Ph.D…
architecture described in a high-level … founded framework for dynamic software architectures,” Ph.D…
Evaluation of systems-of-systems software architectures: State of the art and future perspectives
… is in the way dynamic and evolving architectures of SoS are evaluated… Following, we describe
the way such techniques or … spent on long workshops for evaluations of SoS architectures, …
the way such techniques or … spent on long workshops for evaluations of SoS architectures, …
SAM-SoS: A stochastic software architecture modeling and verification approach for complex system-of-systems
… a modeling specification to describe SoS stochastic behaviors and dynamic structures in terms
of runtime using … Throughout this paper, we use Markovian process formalism but extend …
of runtime using … Throughout this paper, we use Markovian process formalism but extend …
[PDF][PDF] AIRBMB Software Architecture Modeling using UML Extensions. IRJCS:: International Research Journal of Computer Science, Volume VIII, 53-61
S Sayf - 2021 - academia.edu
… extension to UML covers aspects of use case diagram, … Activity diagrams describe the
dynamic aspects of the system. It … system and describes the steps performed in an UML use case. …
dynamic aspects of the system. It … system and describes the steps performed in an UML use case. …
Evaluation of software architectures under uncertainty: A systematic literature review
… for continuous evaluation and describe some examples. … Software architectures that operate
in dynamic and non-stationary … They then extended the work to deal with different sources of …
in dynamic and non-stationary … They then extended the work to deal with different sources of …
Runtime verification for dynamic architectures
D Marmsoler, A Petrovska - Journal of Logical and Algebraic Methods in …, 2021 - Elsevier
… 4, we describe methods and techniques to specify such a model… describe our formal model
of dynamic architectures. It is an extended version of previous work on dynamic architectures …
of dynamic architectures. It is an extended version of previous work on dynamic architectures …
UML Modeling to TM Modeling and back
S Al-Fedaghi - arXiv preprint arXiv:2102.02982, 2021 - arxiv.org
… , we extend the TM model to assimilate these use cases. 5. … papers [13-18] that briefly describes
TM modeling. TM … we can identify classes from dynamic models and public operations in …
TM modeling. TM … we can identify classes from dynamic models and public operations in …
A novel approach with an extensive case study and experiment for automatic code generation from the XMI schema Of UML models
AD Durai, M Ganesh, RM Mathew… - The Journal of …, 2022 - Springer
… UML scenarios to obtain a comprehensive description of a … OPM models, which capture
the static and dynamic aspects … used in software architecture at the level of modeling/design. …
the static and dynamic aspects … used in software architecture at the level of modeling/design. …
The General-Purpose Modeling, Analysis, and Implementation of Software Architectures
M Özkaya - Journal of Aeronautics and Space Technologies, 2020 - jast.hho.msu.edu.tr
… UML-based modeling languages that extend UML for particular domains [2]. However, …
their use for creating models in different perspectives. In the rest of the section, we describe for …
their use for creating models in different perspectives. In the rest of the section, we describe for …