Bileşen yönelimli yazılım mühendisliğine değişkenlik yönetimi.

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.M.S. - Master of Scienc