Variability Incorporated Simultaneous Decomposition of Models Under Structural and Procedural Views

Date

2019-01-01

Author

Kaya, Muhammed Çağrı
Tokdemir, Gül
Tekinerdoğan, Bedir
Doğru, Ali Hikmet

Metadata

Show full item record

Item Usage Stats

149
views

0
downloads

This chapter presents hierarchical variability as an important development notion especially when considered together with a systems specification through decomposition. A matured domain-specific environment is the precondition for variability-centric engineering for compositional approaches as targeted in this study: Most of the requirements have been already modeled, and most of the problem domain elements have corresponding reusable solutions. Also, a mature domain enjoys a wide community of developers who are familiar with those problems and solution-space elements and an effective set of specific tools. Decomposition is a fundamental mechanism in many approaches for the specification of various dimensions of modeling. Decomposition of especially structure modeling for software is not new. Here, variability guidance is incorporated into both structure and process decomposition. This chapter combines such notions in the demonstration of variability-centric development suggesting a structural and procedural decomposition of the system. The predecessors, component-oriented approaches rely on the structural decomposition whereas service-oriented development is being supported by process decomposition. A vending machine case study is presented in this chapter for demonstrating the propagation of variability specification along with the enhancements of the component-oriented model and the process model.

URI

https://www.taylorfrancis.com/books/e/9780429022067/chapters/10.1201/9780429022067-4
https://hdl.handle.net/11511/79860

Relation

Software Engineering for Variability Intensive Systems : Foundations and Applications

Collections

Department of Computer Engineering, Book / Book chapter

Suggestions

OpenMETU
Core

Hierarchical and decentralized multitasking control of discrete event systems Schmidt, Klaus Verner; Cury, José E. R. (2007-12-01) In this paper, a hierarchical and decentralized approach for composite discrete-event systems (DES) that have to fulfill multiple tasks is elaborated. Colored marking generators that can distinguish classes of tasks are used as the system model, and a colored abstraction procedure as well as sufficient conditions for nonblocking and hierarchically consistent control are developed. It is shown that the computational complexity for supervisor computation is reduced. A flexible manufacturing system example dem...
Variability modeling in component oriented software engineering Kaya, Muhammed Çağrı; Doğru, Ali Hikmet (2014-06-19) A new meta-model is proposed that establishes a variability specification and system configuration environment for Component Oriented System Engineering Modeling Language (COSEML). Variability is integrated to COSEML that can be viewed as an Architectural Description Language emphasizing the decomposition view. The textual version of this language is also presented and demonstrated with an example specification
Learning by Automatic Option Discovery from Conditionally Terminating Sequences Girgin, Sertan; Polat, Faruk; Alhajj, Reda (2006-08-28) This paper proposes a novel approach to discover options in the form of conditionally terminating sequences, and shows how they can be integrated into reinforcement learning framework to improve the learning performance. The method utilizes stored histories of possible optimal policies and constructs a specialized tree structure online in order to identify action sequences which are used frequently together with states that are visited during the execution of such sequences. The tree is then used to implici...
Verification and transformation of complex and uncertain conceptual schemas Yazıcı, Adnan (World Scientific Pub Co Pte Lt, 1997-12-01) In database environment it is necessary to represent complex and uncertain information at conceptual level and then transform the conceptual schema into the logical one for ultimate implementation. It is also important to verify the conceptual schema with respect to the constraints imposed on the schema definition. In this paper we primarily focus on the verification and transformation of the conceptual schema For the purpose of verification of the conceptual schema represented by the ExIFO data model (the ...
Advanced democracy: shifts and challenges in the debate on ”Europe” Alpan, Başak Zeynep (Routledge, 2017-01-01) This comprehensive edited volume conceptually develops the notion of 'de-Europeanisation' as an important development in the literature on Europeanisation, and applies it specifically to the case of Turkey. 'De-Europeanisation' is defined as the loss or weakening of the EU/Europe as a normative/political context and as a reference point in domestic settings and national public debates of both candidate and member countries. 'De-Europeanisation' manifests itself in two basic ways: as the weakening of the app...

Citation Formats

M. Ç. Kaya, G. Tokdemir, B. Tekinerdoğan, and A. H. Doğru, Variability Incorporated Simultaneous Decomposition of Models Under Structural and Procedural Views. 2019, p. 116.