Automated staged configuration with semantic web technologies

International Journal of Software Engineering and Knowledge Engineering

Volumn 20, Issue 4, 2010, Pages 459-484

  Boškovi, Marko ^a   Bagheri, Ebrahim ^b   GaŠevi, Dragan ^a   Mohabbati, Bardia ^a,c   Kaviani, Nima ^d   Hatala, Marek ^c  

^a ATHABASCA UNIVERSITY   (Canada)

^b NATIONAL RESEARCH COUNCIL CANADA   (Canada)

^c SIMON FRASER UNIVERSITY   (Canada)

^d UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

feature modeling; Ontologies; semantic web; software product lines engineering

Indexed keywords

CONFIGURING SOFTWARE; FEATURE CONFIGURATION; FEATURE MODELING; FEATURE MODELS; MODELING SOFTWARES; SEAMLESS INTEGRATION; SEMANTIC WEB TECHNOLOGY; SOFTWARE PRODUCT LINE;

ONTOLOGY; SOFTWARE DESIGN; WORLD WIDE WEB;

SEMANTIC WEB;

EID: 77957919313     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194010004827     Document Type: Article

References (36)

1. K. Pohl, G. Böckle and F. J. van der Linden, Software Product Line Engineering Foundations, Principles and Techniques (Springer, 2005).
2. H. H. Wang, Y. F. Li, J. Sun, H. Zhang and J. Pan, Verifying feature models using OWL, J. Web Semant. 5(2) (2007) 117-129.
3. I. Horrocks, P. F. Patel-Schneider and F. van Harmelen, From SHIQ and RDF to OWL: The making of a Web Ontology Language, Web Semantics: Science, Services and Agents on the World Wide Web 1(1) (2003) 7-26.
4. G. Guizzardi, Ontological Foundations for Structural Conceptual Models, Ph.D. Thesis, CTIT, Centre for Telematics and Information Technology, Enschede, 2005.
5. D. L. Parnas, On the design and development of program families, IEEE Transactions on Software Engineering 2(1) (1976) 1-9.
6. M. Steger, C. Tischer, B. Boss, A. Müller, O. Pertler, W. Stolz and S. Ferber, Introducing PLA at Bosch gasoline systems: Experiences and practices, in Proceedings of the International Conference on Software Product Lines (SPLC), 2004.
7. K. Czarnecky, S. Helsen and U. Eisenecker, Staged configuration using feature models, Proceedings of the 2004 Software Product Line Conference, LNCS 3145, pp. 266-283.
8. K. Kang, S. Cohen, J. Hess, W. Novak and A. Peterson, Feature-Oriented Domain Analysis (FODA) Feasibility Study, Technical Report CMU/SET-90-TR-021, SE I, Nov. 1990.
9. N. Kaviani, B. Mohabbati, D. Gasevic and M. Finke, Semantic annotations of feature models for dynamic product configuration in ubiquitous environments, in Proceedings of the 4th International Workshop on Semantic Web Enabled Software Engineering, in collaboration with ISWC 2008.
10. W3C. Delivery Context Ontology. Available at: http://www.w3.org/TR/ dcontology/. Accessed in September 2009.
11. M. A. Simos, Organization domain modeling (ODM): Formalizing the core domain modeling life cycle, SIGSOFT Softw. Eng. Notes 20 (1995) 196-205.
12. M. L. Griss, J. Favaro and M. d. Alessandro, Integrating feature modeling with the RSEB, in Proceedings of the 5th International Conference on Software Reuse (ICSR), IEEE Computer Society, Washington, DC, 1998, pp. 76-85.
13. K. C. Kang, S. Kim, J. Lee, K. Kim, E. Shin and M. Huh, 1998. FORM: A featureoriented reuse method with domain-specific reference architectures, Annals of Software Engineering 5 (1998) 143-168.
14. M. Asadi, B. Mohabbati, N. Kaviani, D. Gašević, M. Bošković, M. Hatala, S. Apel, W. R. Cook, K. Czarnecki, C. Kästner, N. Loughran and O. Nierstrasz (eds.), Model-driven development of families of service-oriented architectures, Proceedings of the First International Workshop on Feature-Oriented Software Development (FOSD 2009), Denver, Colorado, USA, October 6, 2009, pp. 95-102.
15. M. Mannion, Using first-order logic for product line model validation, in Proceedings of the Second International Conference on Software Product Lines, August 19-22, 2002, G. J. Chastek (ed.), LNCS Vol. 2379 (Springer-Verlag, London, 2002), pp. 176-187.
16. D. Batory, Feature models, Grammars and propositional formulas, in H. Obbink and K. Pohl (eds.), Proceedings of the 9th International Conference on Software Product Lines (SPLC 2005), LNCS 3714 (Springer, 2005), pp. 7-20.
17. K. Czarnecki and C. H. P. Kim, Cardinality-based feature modeling and constraints: A progress report, in Proceedings of the OOPSLA05 International Workshop on Software Factories, 2005.
18. P. Schobbens, P. Heymans and J. Trigaux, Feature diagrams: A survey and a formal semantics, in Proceedings of the 14th IEEE international Requirements Engineering Conference (RE06) (IEEE Computer Society, 2006), pp. 136-145.
19. M. Janota and J. Kiniry, Reasoning about feature models in higher-order logic, in Proceedings of the 11th International Software Product Line Conference (IEEE Computer Society, 2007), pp. 13-22.
20. D. Benavides, P. Trinidad and A. Ruiz-Cortès, Automated reasoning on feature models, in Proceedings of the Conference on Advanced Information Systems Engineering 2005 (CAISE2005). LNCS Vol. 3520 (Springer, 2005), pp. 491-503.
21. D. Benavides, S. Segura, P. Trinidad and A. Ruiz-Corts, A first step towards a framework for the automated analysis of feature models, in Managing Variability for Software Product Lines: Working with Variability Mechanisms, 2006, pp. 45-53.
22. M. O'Connor, H. Knublauch, T. Samson and M. Musen, Writing Rules for the Semantic Web using SWRL and Jess, workshop protégé with rules, Madrid, Spain, 2005.
23. M. Mendonca, A. Wasowski, K. Czarnecki and D. Cowan, Efficient compilation techniques for large scale feature models, in Proceedings of the 7th International Conference on Generative Programming and Component Engineering (ACM Press, 2008), p. 1322.
24. K. Czarnecky, S. Helsen and U. Eisenecker, Staged Configuration through specialization and multi-level configuration of feature models, Software Process Improvement and Practice 10(2) (2005) 143-169.
25. A. Classen, A. Hubaux and P. Heymans, A formal semantics for multilevel staged configuration, in Proceedings of the Third Workshop on Variability Modelling of Softwareintensive Systems, pages 5160, January 2009.
26. J. White, D. Benavides, B. Dougherty and D. C. Schmidt, Automated reasoning for multi-step software product-line configuration problems, in Proceedings of the 13th Software Product-lines Conference (SPLC2009), Volume 1, 2009.
27. M. Horridge, B. Parsia and U. Sattler, Laconic and precise justifications in OWL, in Proceedings of the 7th International Conference on the Semantic Web, A. Sheth, S. Staab, M. Dean, M. Paolucci, D. Maynard, T. Finin and K. Thirunarayan (eds.), LNCS Vol. 5318 (Springer-Verlag, Berlin, Heidelberg, 2008), pp. 323-338.
28. S. Colucci, T. Di Noia, E. Di Sciascio, F. Donini and M. Mongiello, Concept abduction and contraction in description logics, in Proceedings of the 16th International Workshop on Description Logics (DL'03), Vol.81 of CEUR Workshop Proceedings, 2003.
29. D. Garlan, R. Allen and J. Ockerbloom, Architectural mismatch: Why reuse is so hard, IEEE Software 12(6) (1995) 17-26.
30. D. Garlan, R. Allen and J. Ockerbloom, Architectural mismatch: Why reuse is still so hard, IEEE Software 26(4) (2009) 66-69.
31. E. Bagheri and D. Gasevic, How to select the best software features, submitted to Software 2009.
32. E. Bagheri, T. Di Noia, D. Gasevic and A. Ragone, Formalizing interactive staged feature model configuration, submitted to Journal of Software Maintenance and Evolution: Research and Practice, 2009.
33. T. L. Saaty, The Analytic Hierarchy Process (McGraw-Hill, 1980).
34. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof and M. Dean, SWRL: A Semantic Web Rule Language Combining OWL and RuleML, W3C Member Submission 21, 2004.
35. L. A. Zaid, F. Kleinermann and O. De Troyer, Applying semantic Web technology to feature modeling, in Proceedings of the 2009 ACM Symposium on Applied Computing, Honolulu, Hawaii, 2009, pp. 1252-1256.
36. M. Sicilia, E. García-Barriocanal, S. Sánchez-Alonso and D. Rodrguez-García, Ontologies of engineering knowledge: General structure and the case of Software Engineering, Knowledge Engineering Review 24(3) (2009) 309-326.