Title :
Enhancing reliability of feature modeling with transforming representation into abstract behavioral specification (ABS)
Author :
Fadhillah, Muhammad Irfan
Author_Institution :
Fac. of Comput. Sci., Univ. of Indonesia, Depok, Indonesia
Abstract :
Feature modeling on ABS was a modeling process which were performed using a text-based language known as μTVL (Micro Textual Variability Language). This approach was relatively difficult when developing a large-scale system. Therefore, systematic mechanism would be needed to make the common modeling process in feature modeling can be recognized and used by ABS. One approach that could be used was to make a code generator that transforms a feature diagram to ABS code. This research was focused on creating a code generator that can be used to transform feature diagrams into code ABS in μTVL representation. This research had succeeded in making the code generator by first preparing rule-making for feature diagram so the transformation result is suitable with the rules that are owned by ABS. Current code generator is still needed to be refined with the metamodel according to the specifications of ABS so all excess that ABS has can be put to good use.
Keywords :
formal specification; large-scale systems; software reliability; text analysis; μTVL; ABS; abstract behavioral specification; feature diagrams; feature modeling; large-scale system; micro textual variability language; reliability; text-based language; Biological system modeling; Feature extraction; Generators; Object oriented modeling; Software; Standards; Transforms;
Conference_Titel :
Advanced Computer Science and Information Systems (ICACSIS), 2014 International Conference on
DOI :
10.1109/ICACSIS.2014.7065834