eng International Academy of Ecology and Environmental Sciences Selforganizology 2410-0080 2015-12-1 2 4 102 114 4 article Ghulam Mustafa Assad 1 2 Muhammad Naeem 1 2 Hafiz Abdul Wahab 1 2 Faisal Bahadur 1 2 Sarfraz Ahmed 1 2 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 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. http://www.iaees.org/publications/journals/selforganizology/articles/2015-2(4)/semantics-of-cardinality-based-service-feature-diagrams.pdf feature modelling service feature diagrams software product line variability and similarity management cardinality-based service feature diagrams