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 94
- Downloads 0
Topological Properties of Rough Soft Formal Context
In this paper, the topological structure is discussed in the rough soft formal context. The rough soft formal context is defined on the rough formal context with some soft operators, the topology and the topological spac...
Optimal Electric-Power Distribution and Load-Sharing on Smart-Grids: Analysis by Artificial Neural Network
This study refers to developing an electric-power distribution system with optimal/suboptimal load-sharing in the complex and expanding metro power-grid infrastructure. That is, the relevant exercise is to in...
DESIGN AND DEVELOPMENT OF AN ONLINE EXAM MAKER AND CHECKER
The study is an online, computer aided tool that was designed primarily for the conduct of online examination. The system was created using PHP, a web based scripting language, and MySQL as the database software. The sys...
Face Detection & Recognition using Tensor Flow: A Review
Face recognition has become a popular topic of research recently due to increases in demand for security as well as the rapid development of mobile devices. There are many applications which face recognition can be appli...
Comparison of dispersion compensation with Fiber Braggs Grating at Transmitter and Receiver end of a single channel optical communication system
Optical fibers are used to transmit the light signal in optical communication system. When the light pulses propagates down the fiber, the pulses spreading takes place, and this phenomenon is called Pulse Dispersion. Dis...