Model-driven variability management in choreography specification

Süloğlu, Selma
In this thesis, model driven variability management in choreography model is introduced, which brings variability management and choreography specification together in one single model. Service Oriented Architecture (SOA) is a means of facilitating inner and inter-organizational computing which reveals a reusable architecture comprising service consumer, producer and broker. To achieve assembling and composition of services, orchestration and choreography concepts are utilized, which are two interrelated views of the system architecture. In the architectural level, orchestration and choreography models are tailored by variability specifications in order to deal with reuse challenge. Several approaches have been introduced to support variability in orchestration and choreography languages. Unfortunately, variability specifications are not explicitly addressed in current choreography languages and are not integrated with variable orchestration specifications. Specification of consistent variability binding and configuration of interacting services accordingly have not been considered in the choreography language level. Moreover, there is a lack of support to reuse existing choreographies. A metamodel and its realization, XChor language is presented and validated with regard to service variability needs and service interactions patterns. XChorS Tool is developed to facilitate pre and post analysis of models, configuration of models regarding variability bindings in a consistent way and transformation of models to existing languages. Verification of XChor models is enabled and implemented by means of transforming to a model checking system, Featured Transition Systems. Lastly, variability management of assets and artifacts in software product lines with the help of XChor metamodel and language is explained. Case studies are provided for demonstration purposes.


Investigation of the effects of structural characteristics of object-oriented software on fault-proneness
Gölcük, Halit; Bilgen, Semih; Department of Electrical and Electronics Engineering (2014)
This study investigates the effects of structural characteristics of object-oriented software, which are observable at the model level of the software developed by means of Unified Modeling Language (UML), on software quality, assessing quality in terms of fault-proneness. In the scope of this thesis study, real-time embedded software components developed by Aselsan, a leading defense industry company in Turkey, were analyzed. The correlation between software metrics measured from the UML models of the soft...
Merging multi-view feature models
Atılgan Aydın, Elçin; Oğuztüzün, Mehmet Halit S.; Doğru, Ali Hikmet; Department of Computer Engineering (2011)
Feature models are used for variability management in software product lines. Instead of developing a single feature model, merging small models can be an effective solution to obtain a unified view. Since each stakeholder views the product family from a different perspective, conflicts may occur during merging. In this research, merging of feature models arising from different viewpoints is considered. A normative procedure is proposed to merge feature models by applying local rules. This procedure can mer...
A business rule approach to requirements traceability
Narmanlı, Murat; Doğru, Ali Hikmet; Department of Computer Engineering (2010)
In this thesis, a requirements traceability model is proposed in order to make efficient and effective change request impact analysis. The proposed model is a requirements – requirements traceability model. There are several researches regarding software requirements traceability problem. The main problem of these researches is that the proposed solutions can not be applied to software industry with affordable changes. However, current literature begins to see that describing all the software requirements i...
Systematic component-oriented development with axiomatic design
Toğay, Cengiz; Doğru, Ali Hikmet; Department of Computer Engineering (2008)
In this research, component oriented development is supported with design guidance by extending the Axiomatic Design Theory for component orientation, and utilizing domain engineering and ontology mechanisms. Guidance is offered in the form of suggesting missing components and discovering incompatibilities among the candidate elements of software development, corresponding to different phases such as requirement analysis, design, and implementation. A mature domain concept is developed suggesting the availa...
Visual composition component oriented development
Öztürk, Murat Mutlu; Doğru, Ali Hikmet; Department of Computer Engineering (2005)
This thesis introduces a visual composition approach for JavaBeans components, in compliance with the Component Oriented Software Engineering (COSE) process. The graphical modeling tool, COSECASE, is enhanced with the ability to build a system by integrating domain-specific components. Such integration is implemented by defining connection points and interaction details between components. The event model of the JavaBeans architecture is also added to the capabilities.
Citation Formats
S. Süloğlu, “Model-driven variability management in choreography specification,” Ph.D. - Doctoral Program, Middle East Technical University, 2013.