
Home

Selforganizology, 2015, 2(4): 102-114
[XML] [EndNote] [RefManager] [BibTex] [

Full PDF (949K)] [Comment/Review Article]

Article

Semantics of cardinality-based service feature diagrams based on linear logic

Ghulam Mustafa Assad¹, Muhammad Naeem², Hafiz Abdul Wahab³, Faisal Bahadur¹, Sarfraz Ahmed⁴
¹Department of Information Technology, Hazara University, Mansehra, Pakistan
²Department of Information Technology, Abbottabad University of Science and Technology, Abbottabad, Pakistan
³Department of Mathematics, Hazara University, Mansehra, Pakistan
⁴Department of Mathematics, Abbottabad University of Science and Technology, Abbottabad, Pakistan

Received 23 June 2015;Accepted 1 August 2015;Published online 1 December 2015
IAEES

Abstract
To provide efficient services to end-user it is essential to manage variability among services. Feature modeling is an important approach to manage variability and commonalities of a system in product line. Feature models are composed of feature diagrams. Service feature diagrams (an extended form of feature diagrams) introduced some new notations to classical feature diagrams. Service feature diagrams provide selection rights for variable features. In our previous work, we introduced cardinalities for the selection of features from a service feature diagram which we call cardinality-based service feature diagrams (CSFD). In this paper, we provide semantics to CSFDs. These semantics are backed by the formal calculus of Linear Logic. We provide rules to interpret CSFDs into linear logical formula. Our results show that the linear formulas of CSFDs give the same results as expected from the CSFDs.

Keywords feature modelling;service feature diagrams;software product line;variability and similarity management;cardinality-based service feature diagrams.

International Academy of Ecology and Environmental Sciences. E-mail: office@iaees.org
Copyright © 2009-2024 International Academy of Ecology and Environmental Sciences. All rights reserved.
Web administrator: office@iaees.org, website@iaees.org; Last modified: 2024/5/8

Translate page to: