A Petri Net approach for representing Orthogonal Variability Models
Journal Title: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY - Year 2013, Vol 9, Issue 1
Abstract
The software product line (SPL) paradigm is used for developing software system products from a set of reusable artifacts, known as platform. The Orthogonal Variability Modeling (OVM) is a technique for representing and managing the variability and composition of those artifacts for deriving products in the SPL. Nevertheless, OVM does not support the formal analysis of the models. For example, the detection of dead artifacts (i.e., artifcats that cannot be included in any product) is an exhaustive activity which implies the verification of relationships between artifacs, artifacts parents, and so on. In this work, we introduce a Petri nets approach for representing and analyzing OVM models. The proposed net is built from elemental topologies that represents OVM concepts and relationships. Finally, we simulate the net and study their properties in order to avoid the product feasibility problems.
Authors and Affiliations
Cristian Martinez, Silvio Gonnet, Horacio Leone
Keywords
Related Articles
- EP ID EP650172
- DOI 10.24297/ijct.v9i1.4158
- Views 88
- Downloads 0
Change Detection on SAR data using PCA Algorithm
In this paper, we proposed an approach for unsupervised change detection technique on SAR data. Change detection is process of automatically identifying and analyzing the regions which undergone some changes such as spat...
A SIGNATURE IDENTIFICATION SYSTEM WITH PRINCIPAL COMPONENT ANALYSIS AND STENTIFORD THINNING ALGORITHMS
Several biometric security systems have been implemented. Biometric is the use of a person’s physiological or behavioural characteristics to identify the individual. An example of behavioural method of biometric is sig...
Parametric Study of Silicon Based Optical Leaky-Wave Antenna
Parametric study is presented for 1550 nm CMOS compatible optical leaky wave antenna. The antenna is designed with Si3N4 waveguide perturbed periodically with silicon. The silicon perturbations are used to transform the...
Page Segmentation using XY Cut Algorithm in OCR Systems - A Review
Page segmentation is an important field to analyse patterns from the OCR Systems. In this paper we tried to present how page segmentation is done on the OCR systems. We discussed the XY Cut page segmentation algorithm. T...
Data Flow Diagrams of an Electronic Medical Record System in Mansoura Hospital
This paper develops an Electronic Medical Record System in the Neurosurgical Unit of Mansoura General Hospital using Data Flow Diagrams. Data Flow Diagrams are the first step to design the system blueprint as they repres...