Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Open Access Guideline
Open Access Guideline
Postgraduate Thesis Guideline
Postgraduate Thesis Guideline
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
Modeling variability in component oriented software engineering
Download
index.pdf
Date
2015
Author
Kaya, Muhammed Çağrı
Metadata
Show full item record
Item Usage Stats
207
views
90
downloads
Cite This
A key factor for achieving flexible component oriented applications is to make the components possbile to change and adapt instead of creating and using them from scratch. In order to fulfil various needs in time with little effort, a new metamodel is proposed that establishes a variability specification and system configuration environment for Component Oriented Software Engineering Modeling Language (COSEML). Variability is integrated to COSEML that can be viewed as an Architectural Description Language emphasizing the decomposition view. We refer to this extended version of COSEML as XCOSEML. The textual version of this domain specific language is presented and demonstrated with examples. Moreover, an approach to formally verify component compositions incorporating variability is proposed which eases variability-intensive component oriented system development by reducing complexity of verification. A step by step model transformation approach from XCOSEML to Featured Transition System (FTS) is used which helps generation of FTS models, namely required feature model of the variable component composition and its fPromela specification.
Subject Keywords
Component software.
,
Computer software
,
Domain-specific programming languages.
,
Object-oriented methods (Computer science).
URI
http://etd.lib.metu.edu.tr/upload/12618607/index.pdf
https://hdl.handle.net/11511/24525
Collections
Graduate School of Natural and Applied Sciences, Thesis
Suggestions
OpenMETU
Core
Modeling heterogeneous internet of things systems using connectors in component oriented software engineering
Ünal, Selin; Dogru, Ali H.,; Department of Computer Engineering (2019)
In this thesis a solution for modeling heterogeneous IoT applications in component oriented software engineering is provided by using software connectors. IoT is interconnected devices or humans in the means of internet which gains more importance day by day in different areas of the world. This kind of powerful and complex systems have challenges to overcome in nature. Each IoT system component has specific set of rules for communicating with the other components. In order to be able to communicate, compon...
Variable connectors in component oriented development
Çetinkaya, Anıl; Doğru, Ali Hikmet; Department of Computer Engineering (2017)
Variability is incorporated in component oriented software development especially in the connectors besides components, for efficient configuration of software products in this thesis. Components have been regarded as the main building blocks in the development of software, especially in component based approaches. Connectors, however, were also part of the solution but with not much of a responsibility when compared to components. When considered in a holistic approach to yield executable code starting wit...
Enforcing connection-related constraints and enhancements on a component oriented software engineering case tool
Özyurt, Barış; Doğru, Ali Hikmet; Department of Computer Engineering (2003)
This thesis introduces enhancements over an existing Component Oriented CASE Tool (CoseCase). Constraint checking facility is implemented for the connections provided in the tool: A user programmable set of rules governing the allowed connections among different modeling elements is added as a capability. The previous implementation of the tool did not consider the semantics behind the elements and their interconnection. Also related connection types are tested against cycle formations. Other aspects of the...
An Approach to manage variability in object-oriented applications with feature models
Bulut, Ender; Şener, Cevat; Department of Computer Engineering (2014)
In this thesis, an approach to manage variability in object-oriented applications by using a feature modeling language and a simple source code generation technique has been designed and developed. This approach provides developing configurable object oriented applications in a practical way. That is, an application developed with our approach takes just a configuration file including user selections in a pre-defined domain as input and then automatically configure and manage itself with respect to these se...
An Object-oriented framework for functional mock-up interface co-simulation
Aslan, Memduha; Oğuztüzün, Mehmet Halit S.; Durak, Umut; Department of Computer Engineering (2016)
Integration of subsystem or component models in a simulation environment is a crucial task in system development. Variation in model interfaces due to the use of a variety of modeling tools from different vendors complicates this task. Functional Mockup Interface (FMI) is a standard that lays out a tool-independent interface for dynamic system models. In practice, the developers of FMI-compliant models, known as Functional Mockup Units (FMUs), need guidance. In this thesis, an object-oriented framework for ...
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
M. Ç. Kaya, “Modeling variability in component oriented software engineering,” M.S. - Master of Science, Middle East Technical University, 2015.