Enhancing xcoseml with connector variability for component oriented development.

Date

2017-01-17

Author

Çetinkaya, Anıl
Kaya, Muhammed Çağrı
Doğru, Ali Hikmet

Metadata

Show full item record

Item Usage Stats

125
views

0
downloads

Based on the need for defining configurable interaction options among components, the XCOSEML language is extended with connector variability support. Extended metamodel and grammar are provided. An example system is presented for the demonstration of the extended version of the language. This research is conducted to partially enhance the default decomposition view of the Component Oriented Software Engineering Modeling Language (COSEML) towards application construction capabilities.

URI

https://sdpsnet.org/sdps/documents/sdps-2016/proceedings20SDPS202016.pdf
https://hdl.handle.net/11511/85756

Conference Name

SDPS 21st International Conference on Emerging Trends and Technologies in Designing Healthcare Systems

Collections

Department of Computer Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

Enhancing UML Connectors with Behavioral ALF Specifications for Exogenous Coordination of Software Components Kocatas, Alper Tolga; Doğru, Ali Hikmet (2023-1-01) Connectors are powerful architectural elements that allow the specification of interactions between software components. Since the connectors do not include behavior in UML, the components include the behavior for coordinating the components, complicating the designs of components and decreasing their reusability. In this study, we propose the enrichment of UML connectors with behavioral specifications. The goal is to provide separation of concerns for the components so that they are freed from coordination...
Performance of the double-LIE architecture Bilgen, Semih; Salamah, M (1996-05-16) The Double-LIB is an ATM-based switch architecture we have proposed for distributed memory multiprocessor systems. It is essentially a development of the Limited Intermediate Buffer (LIB) idea which was originally proposed to overcome the drawbacks of input and output buffered ATM switches. In this paper, we summarize the characteristics of the Double-LIB and then proceed to report some simulation-based performance results. It is our conclusion that the Double-LIB switch is promising as a solution to the di...
Interface-based specification and verification of concurrency controllers Bultan, Tevfik; Betin Can, Aysu (2003-09-01) We present a modular approach to specification and verification of concurrency controllers by decoupling their behavior and interface specifications. The behavior specification of a concurrency controller defines how its shared variables change their values whereas the interface specification defines the order in which a client thread should call its methods. We show that the concurrency controllers can be designed modularly by composing their interfaces. We separate the verification of the concurrency cont...
Adaptation of Code-Domain NOMA to SC-FDE based Overloaded mmWave Hybrid Massive MIMO Bayraktar, Murat; Güvensen, Gökhan Muzaffer (2021-01-01) IEEEIn this paper, we provide a practical framework to resolve whether code-domain NOMA (CD-NOMA) is beneficial when integrated with massive MIMO systems. In order to realize this integration, first, we develop a novel code-beamspace wideband signal model for uplink CD-NOMA in mmWave hybrid massive MIMO systems employing single-carrier (SC) transmission. Then, we apply a state-of-the-art SC frequency domain equalization (SC-FDE) based iterative receiver where the number of radio frequency (RF) chains is lim...
Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems Schmidt, Klaus Verner (2012-12-01) The topic of this technical note is the nonblocking and maximally permissive abstraction-based supervisory control for modular discrete event systems (DES). It is shown, that an efficient abstraction technique, that was developed for the nonconflict verification of modular DES, is also suitable for the nonblocking supervisory control. Moreover, it is proved that this abstraction technique can be extended by the condition of local control consistency, in order to achieve maximally permissive supervision. Dif...

Citation Formats

A. Çetinkaya, M. Ç. Kaya, and A. H. Doğru, “Enhancing xcoseml with connector variability for component oriented development.,” Orlando, Florida, 2017, p. 120, Accessed: 00, 2021. [Online]. Available: https://sdpsnet.org/sdps/documents/sdps-2016/proceedings20SDPS202016.pdf.