Formal specification and verification of reusable communication models for distributed systems architecture

Q Rouland, B Hamid, J Jaskolka - Future Generation Computer Systems, 2020 - Elsevier
… 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 …

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…

Evaluation of systems-of-systems software architectures: State of the art and future perspectives

DS Santos, BRN Oliveira, R Kazman… - ACM Computing …, 2022 - dl.acm.org
… 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, …

SAM-SoS: A stochastic software architecture modeling and verification approach for complex system-of-systems

A Mohsin, NK Janjua, SMS Islam, MA Babar - IEEE Access, 2020 - ieeexplore.ieee.org
… 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

[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. …

Evaluation of software architectures under uncertainty: A systematic literature review

D Sobhy, R Bahsoon, L Minku, R Kazman - … Transactions on Software …, 2021 - dl.acm.org
… 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 …

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 modeldescribe our formal model
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 …

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 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 …