A Petri Net approach for representing Orthogonal Variability Models
Journal: INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY (Vol.9, No. 1)Publication Date: 2013-02-08
Authors : Cristian Martinez; Silvio Gonnet; Horacio Leone;
Page : 995-1003
Keywords : software product line; orthogonal variability model; Petri nets;
- A Petri Net approach for representing Orthogonal Variability Models
- MODELS OF REPRESENTING AN ASTRONOMER’S VOICE IN A JOURNALIST’S POPULAR JUDGMENT
- Consistent Integration between Object Oriented and Coloured Petri Nets Models
- Friction in Orthogonal Cutting Finite Elements Models with Large Negative Rake Angle
- A Novel Approach to Reliability Analysis Using Petri Nets and Ladder Logic Diagrams
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.
Other Latest Articles
- Comparing the impact of Clustering with Content Based Image Retrieval Approaches for Plant Identification
- Image Steganography combined with Cryptography
- Proof of Logic: Correctness of Next Generation Security Mechanisms
- Overview of OLAP cubes, importance, build Considerations and querying with MDX.
- A Comparative Evaluation of approaches for Model Testability
Last modified: 2016-06-29 19:09:36