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 84
- Downloads 0
EXTENDING THE VISUAL CRYPTOGRAPHY ALGORITHM USING IMAGE WATERMARKING TECHNIQUE
Visual cryptography is a secret information sharing technique which shares the information in the form of images. It generates noise-like random pixels on share images to hide secret information which on overlay decrypt...
AN EFFICIENT MEMORY MANAGEMENT TECHNIQUE FOR SMART CARD OPERATING SYSTEM
This research paper examines memory managementissues associated with Smart card EEPROM and proposes a newtechnique for memory management for smart card files. Theentire work concentrates to suggest a new methodology onme...
Sparsity based Single Object Tracking
Object tracking has importance in various video processing applications like video surveillance, perceptual user interface driver assistance, tracking etc. This paper deals with a new tracking technique that combines the...
An Optimization Method Using Clustering Technique for the Human Emotions Detection Artificial Neuro-Fuzzy Logic System
This paper utilizes clustering tool in MATLAB to find an optimal set of input parameters for the detection of human emotions using a neuro-fuzzy logic system. Previous studies have relied on a total of 14 physiological f...
Mobile Ad Hoc Networks: Comparasion of Multipath Routing Protocols with Unipath Routing Protocols
The latest technology MANETs is being studied widely and attracting a large variety of applications. Due to varying network topology, The most common challenging factor in MANET is routing [1][2]. Future applications of...