Are we there yet? Analyzing architecture description languages for formal analysis, usability, and realizability
M Ozkaya, C Kloukinas - 2013 39th Euromicro Conference on …, 2013 - ieeexplore.ieee.org
Research on Software Architectures has been active since the early nineties, leading to a
number of different architecture description languages (ADL). Given their importance in …
number of different architecture description languages (ADL). Given their importance in …
Early validation of system requirements and design through correctness-by-construction
Early validation of requirements aims to reduce the need for the high-cost validation testing
and corrective measures at late development stages. This work introduces a systematic …
and corrective measures at late development stages. This work introduces a systematic …
The analysis of architectural languages for the needs of practitioners
M Ozkaya - Software: Practice and Experience, 2018 - Wiley Online Library
Architectural languages (ALs) have attracted much attention as the modeling notations for
specifying and reasoning about important design decisions. In this study, 124 different …
specifying and reasoning about important design decisions. In this study, 124 different …
[图书][B] Model-driven engineering of information systems: Principles, techniques, and practice
LG Cretu, F Dumitriu - 2014 - books.google.com
This title includes a number of Open Access chapters. Model-driven engineering (MDE) is
the automatic production of software from simplified models of structure and functionality. It …
the automatic production of software from simplified models of structure and functionality. It …
Towards first-class architectural connectors: The case for self-adaptive service meshes
N Mendonca, C Aderaldo - … of the XXXV Brazilian Symposium on …, 2021 - dl.acm.org
The development of architectural connectors as first-class software entities is a long-
standing software engineering promise that has not been fully realized thus far. This …
standing software engineering promise that has not been fully realized thus far. This …
Analysing UML-based software modelling languages
M Ozkaya - Journal of Aeronautics and Space Technologies, 2018 - jast.hho.msu.edu.tr
UML is considered as the top popular software modelling language among practitioners.
Expectedly, UML has been extended by many other languages, which tailor UML for …
Expectedly, UML has been extended by many other languages, which tailor UML for …
First-class connectors to support systematic construction of hierarchical software architecture
A Amirat, M Oussalah - The Journal of Object Technology, 2009 - hal.science
To provide hierarchical description from different software architectural view points we need
more than one abstraction hierarchy and connection mechanisms to support the interactions …
more than one abstraction hierarchy and connection mechanisms to support the interactions …
Managing heterogeneous communication challenges in the internet of things using connector variability
Abstract Internet of Things (IoT) comprises smart systems that embrace computational and
physical elements. In these systems, physical and software components are often tightly …
physical elements. In these systems, physical and software components are often tightly …
[PDF][PDF] Enhancing XCOSEML with connector variability for component oriented development
Based on the need for defining configurable interaction options among components, the
XCOSEML language is extended with connector variability support. Extended metamodel …
XCOSEML language is extended with connector variability support. Extended metamodel …
A new approach for component's port modeling in software architecture
D Bennouar, T Khammaci, A Henni - Journal of Systems and Software, 2010 - Elsevier
The component's interaction points with the external world play a fundamental role in the
specification of an application's architecture. Current software architecture approaches …
specification of an application's architecture. Current software architecture approaches …