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 …

Early validation of system requirements and design through correctness-by-construction

E Stachtiari, A Mavridou, P Katsaros, S Bliudze… - Journal of Systems and …, 2018 - Elsevier
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 …

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 …

[图书][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 …

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 …

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 …

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 …

Managing heterogeneous communication challenges in the internet of things using connector variability

MC Kaya, M Saeedi Nikoo, S Suloglu… - … Environments for the …, 2017 - Springer
Abstract Internet of Things (IoT) comprises smart systems that embrace computational and
physical elements. In these systems, physical and software components are often tightly …

[PDF][PDF] Enhancing XCOSEML with connector variability for component oriented development

A Cetinkaya, MC Kaya, AH Dogru - Proceedings of SDPS 21st …, 2016 - researchgate.net
Based on the need for defining configurable interaction options among components, the
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 …