Automatic variation-point identification in function-block-based models

ACM SIGPLAN Notices

Volumn 46, Issue 2, 2011, Pages 23-32

  Ryssel, Uwe ^a   Ploennigs, Joern ^a   Kabitzsch, Klaus ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Formal Concept Analysis; Function Block Based Models; Library Migration; Variation Point Identification

Indexed keywords

AUTOMATICALLY GENERATED; FEATURE MODELS; FORMAL CONCEPT ANALYSIS; GENERATIVE PROGRAMMING; GENERIC MODELS; SYSTEM VARIANTS; VARIATION-POINT IDENTIFICATION;

INFORMATION ANALYSIS;

EMBEDDED SYSTEMS;

EID: 79951746832     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1942788.1868299     Document Type: Article

References (19)

1. T. J. Biggerstaff. The library scaling problem and the limits of concrete component reuse. In 3rd Int. Conf. of Software Reuse, pages 102-109. IEEE, 1994.
2. C. Bron and J. Kerbosch. Algorithm 457: Finding all cliques of an undirected graph. Comm. of the ACM, 16(9):575-577, 1973.
3. K. Czarnecki and U. W. Eisenecker. Generative Programming: Methods, Tools and Applications. Addison-Wesley, 2000.
4. T. Eisenbarth, R. Koschke, and D. Simon. Derivation of feature component maps by means of concept analysis. In 5th Eu. Conf. on Software Maintenance and Reengineering, pages 176-179, 2001.
5. B. Ganter and R. Wille. Formal Concept Analysis - Mathematical Foundations. Springer, 1999.
6. IEC 61499. IEC 61499-Function blocks. Int. Electrotechnical Commission, 1st edition, 2005.
7. IEC 61804. IEC 61804-Function blocks (FB) for process control- Part 2: Specification of FB concept and Electronic Device Description Language (EDDL). Int. Electrotechnical Commission, 1st edition, 2004.
8. C. Kästner, S. Apel, and M. Kuhlemann. A model of refactoring physically and virtually separated features. In 8th Int. Conf. on Generative Programming and Component Engineering, pages 157-166, New York, NY, USA, 2009. ACM.
9. C. Lindig. Fast concept analysis. In Working with Conceptual Structures - Contributions to ICCS 2000, pages 152-161. Shaker Verlag, 2000.
10. C. Lindig and D. Götzmann. Colibri-Java - Formal concept analysis implemented in Java, 2007. http://code.google.com/p/colibri-java/.
11. J. Liu, D. Batory, and C. Lengauer. Feature oriented refactoring of legacy applications. In 28th Int. Conf. on Software Engineering, pages 112-121, New York, NY, USA, 2006. ACM. (Pubitemid 46600908)
12. F. Loesch and E. Ploedereder. Restructuring variability in software product lines using concept analysis of product configurations. In 11th Eu. Conf. on Software Maintenance and Reengineering, pages 159-170, 2007.
13. Simulink - Simulation and Model-Based Design. The MathWorks, Inc., visited 2010. http://www.mathworks.com/products/simulink/.
14. U. Ryssel, J. Ploennigs, K. Kabitzsch, and M. Folie. Generative design of hardware-in-the-loop models. In 1st Workshop on Automatic Program Generation for Embedded Systems, Salzburg, Austria, Oct. 2007.
15. U. Ryssel, J. Ploennigs, and K. Kabitzsch. Automatic library migration for the generation of hardware-in-the-loop models. Science of Computer Programming, 2010. doi: 10.1016/j.scico.2010.06.005.
16. T. Satyananda, D. Lee, S. Kang, and S. Hashmi. Identifying traceability between feature model and software architecture in software product line using formal concept analysis. In Int. Conf. on Computational Science and its Applications, pages 380-388, 2007.
17. G. Snelting. Reengineering of configurations based on mathematical concept analysis. ACM Transactions on Software Engineering and Methodology, 5(2):146-189, April 1996. (Pubitemid 126418672)
18. S. Trujillo, D. Batory, and O. Diaz. Feature refactoring a multirepresentation program into a product line. In 5th Int. Conf. on Generative programming and component engineering, pages 191- 200, New York, NY, USA, 2006. ACM. (Pubitemid 47168638)
19. K. Yoshimura, D. Ganesan, and D. Muthig. Defining a strategy to introduce a software product line using existing embedded systems. In 6th ACM & IEEE Int. Conf. on Embedded Software, pages 63-72, New York, NY, USA, 2006. ACM Press. (Pubitemid 47179535)