Requirements for a dynamic interface model of IEC 61499 Function Blocks

B Wiesmayr, A Zoitl - 2020 25th IEEE International Conference …, 2020 - ieeexplore.ieee.org
… for a possible extension of the standard IEC 61499. … architectures: The design process starts
with capturing requirements and describing the dynamic behavior, for which models such as …

Easymodel: A refinement-based modeling and verification approach for self-adaptive software

DS Han, QL Yang, JC Xing, GL Ma - Journal of Computer Science and …, 2020 - Springer
… introduction to UML extending mechanism and the Event-B model, … using carrier sets,
constants, axioms and theorems, and a machine describes the dynamic structure of a system using

A software architecture perspective about Moodle flexibility for supporting empirical research of teaching theories

M Campo, A Amandi, JC Biset - Education and Information Technologies, 2021 - Springer
… the implementation of the dynamic computational behavior … point of view, focusing on the
lessons learnt extending Moodle … A Software Architectural Style is an abstract description of

[PDF][PDF] Deriving UML Logic Architectures of Software Product based on a Cloud Reference Architecture: An Experience Report.

F Morais, TF Pereira, CE Salgado, A Lima, M Pereira… - ICSOFT, 2022 - scitepress.org
… (NIST) has developed a logical extension of its cloud definition … to deriving a software
architecture from the requirements … cloud architecture from the modeled requirements, we describe

Unified verification and monitoring of executable UML specifications: a transformation-free approach

V Besnard, C Teodorov, F Jouault, M Brun… - … and Systems Modeling, 2021 - Springer
… This work extends our embedded model interpreter (EMI) … In “Appendix A”, we describe the
considerations that have helped us … The software architecture used for model verification with …

Challenges in developing sequence diagrams (UML)

TA Kurniawan, LÃ Lam-Son… - Journal of Information …, 2020 - jitecs.ub.ac.id
… our long experiences in teaching software modeling classes … Sequence diagrams are widely
used to describe such a dynamic … have to draw all flows described in the use case scenario. …

Approaching pattern catalogues for variability realization in model-based systems and software engineering

A Pollom, M Becker, P Barbie, M Andres… - … Systems and Software …, 2023 - dl.acm.org
… to extend SysML with a custom modeling language … described in the feature model can
have a direct influence on a system or software architecture, eg Sparx Enterprise Architect, model

Research on design pattern detection method based on UML model with extended image information and deep learning

L Wang, T Song, HN Song, S Zhang - Applied Sciences, 2022 - mdpi.com
… for UML model correctness and consistency checking, data flow diagram description and
checking, software architecture … Besides, it is necessary to describe the dynamic interaction …

Using UML for learning how to design and model cyber-physical systems

L Ordinez, G Eggly, M Micheletto… - … de Tecnologias del …, 2020 - ieeexplore.ieee.org
… that extends UML and can be used to adapt the model to the … use cases: UML use cases are
an agile method to describe the … from UML are used for describing the software architecture. …

Lightweight software architecture evaluation for industry: A comprehensive review

M Sahlabadi, RC Muniyandi, Z Shukur, F Qamar - Sensors, 2022 - mdpi.com
… It extends and sustains the system by integrating it with other … dynamic behavior of SA. Later
on, the approaches combine … An informal description of requirements, UML diagrams, and …