Modular feature models: Representation and configuration

Journal of Research and Practice in Information Technology

Volumn 43, Issue 2, 2011, Pages 109-140

  Bagheri, Ebrahim ^a,b   Ensan, Faezeh ^c   Gaševic, Dragan ^a,d   Boškovic, Marko ^a,d  

^a ATHABASCA UNIVERSITY   (Canada)

^b UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^c UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^d SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DOMAINS; CONFIGURATION SPACE; CONFIGURATION VERIFICATION; DISTRIBUTED DESCRIPTION LOGIC; DOMAIN EXPERTS; ENTIRE DOMAIN; FEATURE MODELING; FEATURE MODELS; INFERENCE MECHANISM; SOFTWARE PRODUCT LINE ENGINEERINGS;

DATA DESCRIPTION; MAINTENANCE; REUSABILITY;

SOFTWARE DESIGN;

EID: 84860433186     PISSN: 1443458X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (56)

1. BAADER, F., CALVANESE, D., McGUINNESS, D., PATEL-SCHNEIDER, P. and NARDI, D. (2003): The description logic handbook: theory, implementation, and applications, Cambridge Univ Pr.
2. BAGHERI, E., NOIA, T.D., GASEVIC, D. and RAGONE, A. (2011): Formalizing interactive staged feature model configuration, Journal of Software Maintenance: Research and Practice, to appear.
3. BAO, J., VOUTSADAKIS, G., SLUTZKI, G. and HONAVAR, V. (2009): Package-based description logics. In modular ontologies, STUCKENSCHMIDT, H., PARENT, C., and SPACCAPIETRA, S. (Eds.). Lecture Notes In Computer Science, Springer-Verlag, Berlin, Heidelberg 5445: 349-371.
4. BASILI, V., BRIAND, L. and MELO, W. (1996): A validation of object-oriented design metrics as quality indicators, IEEE Transactions on Software Engineering 22(10): 751-761. (Pubitemid 126771690)
5. BATORY, D. (2005): Feature models, grammars, and propositional formulas, Lecture notes in Computer Science 3714.
6. BENAVIDES, D., SEGURA, S., TRINIDAD, P. and RUIZ-CORTES, A. (2006): A first step towards a framework for the automated analysis of feature models. In Proceedings of Managing Variability for Software Product Lines: Working With Variability Mechanisms.
7. BENAVIDES, D., SEGURA, S., TRINIDAD, P. and RUIZ-CORTES, A. (2007): FAMA: Tooling a framework for the automated analysis of feature models, in Proceeding of the First International Workshop on Variability Modelling of Software-intensive Systems (VAMOS), 129-134.
8. BENAVIDES, D., TRINIDAD, P. and RUIZ-CORTES, A. (2005): Automated reasoning on feature models, in LNCS, Advanced Information Systems Engineering: 17th International Conference, CAiSE 2005, Springer, 3520: 491-503. (Pubitemid 41336123)
9. BORGIDA, A. and SERAFINI, L. (2003): Distributed description logics: Assimilating information from peer sources, Lecture Notes in Computer Science, 2800/2003: 153-184, DOI: 10.1007/978-3-540-39733-5-7.
10. BOSCH, J. and BOSCH-SIJTSEMA, P. (2010): From integration to composition: On the impact of software product lines, global development and ecosystems, Journal of Systems and Software 83(1): 67-76.
11. BOSKOVIC, M., BAGHERI, E., GASEVIC, D., MOHABBATI, B., KAVIANI, N. and HATALA, M. (2010): Automated staged configuration with semantic web technologies, International Journal of Software Engineering and Knowledge Engineering 20(4): 459-484.
12. CLEMENTS, P. and NORTHROP, L.M. (2003): Software product lines, visited June 2009, http://www.sei.cmu.edu/programs/pls/sw-product-lines0503.pdf.
13. COLUCCI, S., DI NOIA, T., DI SCIASCIO, E., DONINI, F. and RAGONE, A. (2005): Semantic-based automated composition of distributed learning objects for personalized e-learning, in Proc. of European Semantic Web Conference, 3532: 633-648. (Pubitemid 41422094)
14. COLUCCI, S., NOIA, T.D., DI SCIASCIO, E., DONINI, F. and RAGONE, A. (2005): Fully automated web services orches - tration in a resource retrieval scenario, in Proc. of International Conference on web Services (ICWS '05), IEEE, 427-434. (Pubitemid 44460234)
15. COLUCCI, S., NOIA, T.D., SCIASCIO, E.D., DONINI, F.M. and MONGIELLO, M. (2005): Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace, Electronic Commerce Research and Applications 4(4): 345-361. (Pubitemid 41566190)
16. CORMEN, T.H., LEISERSON, C.E. and RIVEST, R.L. (1990): Introduction to algorithms, MIT.
17. CZARNECKI, K. and EISENECKER, U.W. (2000): Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, USA.
18. CZARNECKI, K., HELSEN, S. and EISENECKER, U.W. (2005): Staged configuration through specialization and multilevel configuration of feature models. Software Process: Improvement and Practice 10(2): 143-169. (Pubitemid 40851341)
19. CZARNECKI, K., HELSEN, S. and EISENECKER, U.W. (2005): Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice 10(1): 7-29. (Pubitemid 40384707)
20. CZARNECKI, K., SHE, S. and WASOWSKI, A. (2008): Sample spaces and feature models: There and back again, in Proceedings of the 2008 12th International Software Product Line Conference-Volume 00, IEEE Computer Society Washington, DC, USA, 22-31.
21. DI CUGNO, F., NOIA, T.D., SCIASCIO, E.D. and RAGONE, A. (2006): Concept covering for automated building blocks selection based on business processes semantics, E-Commerce Technology, IEEE International Conference on, and Enterprise Computing, E-Commerce, and E-Services, IEEE International Conference on 0, 11.
22. DI NOIA, T., DI SCIASCIO, E., DONINI, F.M. and MONGIELLO, M. (2003): Abductive matchmaking using description logics. In Proceedings of the 18th international joint conference on Artificial intelligence (IJCAI'03). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 337-342.
23. DIKEL, D., KANE, D., ORNBURN, S., LOFTUS, W. and WILSON, J. (1997): Applying software product-line architecture. Computer 30(8): 49-55. DOI=10.1109/2.607064 http://dx.doi.org/10.1109/2.607064
24. DRAGO (2011): Drago, distributed reasoning architecutre for galaxy of ontologies, Avaliable at: http://drago.fbk.eu/. Accessed July 2011.
25. ENSAN, F. and DU, W. (2008): An interface-based ontology modularization framework for knowledge encapsulation. In Proceedings of the 7th International Conference on The Semantic Web (ISWC '08), SHETH, A., STAAB, S., DEAN, M., PAOLUCCI, M., MAYNARD, D., FININ, T. and THIRUNARAYAN, K. (Eds.). Springer-Verlag, Berlin, Heidelberg, 517-532. DOI=10.1007/978-3-540-88564-1-33 http://dx.doi.org/10.1007/978-3-540-88564-1-33
26. FENTON, N. and PFLEEGER, S. (1997): Software metrics: a rigorous and practical approach, PWS Publishing Co. Boston, MA, USA.
27. GHEYI, R., MASSONI, T. and BORBA, P. (2006): A theory for feature models in Alloy. In First Alloy Workshop, 71-80, Portland, United States, November.
28. GRISS, M., FAVARO, J. and DALESSANDRO, M. (1998): Integrating feature modeling with the RSEB, in Proceedings of the Fifth International Conference on Software Reuse, 76-85.
29. HORROCKS, I., PATEL-SCHNEIDER, P., BOLEY, H., TABET, S., GROSOF, B. and DEAN, M. (2004): SWRL: A semantic web rule language combining OWL and RuleML, W3C Member Submission 21.
30. HWAN, C., KIM, P. and CZARNECKI, K. (2005): Synchronizing cardinality-based feature models and their specializations. ECMDA-FA 2005: 331-348.
31. JACKSON, D. (2002): Alloy: a lightweight object modelling notation, ACM Trans. Softw. Eng. Methodol. 11(2): 256-290. (Pubitemid 44159313)
32. JANOTA, M. and KINIRY, J. (2007): Reasoning about feature models in higher-order logic, in Software Product Line Conference, 2007 (SPLC 2007), 13-22.
33. JANOWICZ, K. (2007): Sim-dl: Towards a semantic similarity measurement theory for the description logic alcnr in geograhic information retrieval, in OTM 2006 Workshops: On the move to meaningful Internet systems.
34. KANG, K., COHEN, S., HESS, J., NOVAK, W., PETERSON, A. and INST, C-M.U.P.P.S.E. (1990): Feature-oriented domain analysis (FODA) feasibility study, Carnegie Mellon University, Software Engineering Institute.
35. KANG, K., KIM, S., LEE, J., KIM, K., SHIN, E. and HUH, M. (1998): FORM: A feature-oriented reuse method with domain- -specific reference architectures, Annals of Software Engineering 5: 143-168.
36. KANG, K., LEE, J. and DONOHOE, P. (2002a): Feature-oriented product line engineering, IEEE software 19(4): 58-65. (Pubitemid 34806830)
37. KANG, K., LEE, J. and DONOHOE, P. (2002b): Feature-oriented product line engineering, Software, IEEE 19(4): 58-65. (Pubitemid 34806830)
38. KUTZ, O., LUTZ, C., WOLTER, F. and ZAKHARYASCHEV, M. (2004): E-connections of abstractdescription systems, Artificial Intelligence 156(1): 1-74.
39. MACALA, R.R., STUCKEY, Jr., L.D. and GROSS, D.C. (1996): Managing domain-specific, product-line development, IEEE Software 13: 57-67.
40. MANNION, M. (2002): Using first-order logic for product line model validation. In Proceedings of the Second International Conference on Software Product Lines (SPLC 2), CHASTEK, G.J. (Ed.). Springer-Verlag, London, UK, UK, 176-187.
41. MENDONCA, M., BRANCO, M. and COWAN, D. (2009): S.p.l.o.t.: software product lines online tools, in 'OOPSLA '09: Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, ACM, New York, NY, USA, 761-762.
42. MENDONCA, M., WASOWSKI, A., CZARNECKI, K. and COWAN, D. (2008): Efficient compilation techniques for large scale feature models, in Proceedings of the 7th international conference on Generative programming and component engineering, ACM New York, NY, USA, 13-22.
43. MOSKEWICZ, M., MADIGAN, C., ZHAO, Y., ZHANG, L. and MALIK, S. (2001): Chaff: Engineering an efficient SAT solver, in Design Automation Conference, 2001. Proceedings, 530-535. (Pubitemid 32841010)
44. NOIA, T.D., SCIASCIO, E.D. and DONINI, F.M. (2009): A tableaux-based calculus for abduction in expressive description logics: Preliminary results, in Proceedings of the International Workshop on Description Logics 2009.
45. NOIA, T.D., SCIASCIO, E.D. and DONINI, F.M. (2004): Extending and computing the concept covering for the semantic web, Tech-Rep n. 21/04/S.
46. PELLET (2011): Pellet owl2 reasoner for java, Avaliable at: http://clarkparsia.com/pellet. Accessed July 2011.
47. POHL, K., BÖCKLE, G. and VAN DER LINDEN, F. (2005): Software product line engineering: Foundations, principles, and techniques, Springer.
48. RAGONE, A., NOIA, T.D., SCIASCIO, E.D., DONINI, F.M., COLUCCI, S. and COLASUONNO, F. (2007): Fully automated web services discovery and composition through concept covering and concept abduction, Int. J. Web Service Res. 4(3): 85-112.
49. REGIO, M. and GREENFIELD, J. (2005): Designing and implementing an hl7 software factory. In Proceedings of the International Workshop on Software Factories at OOPSLA 2005, San Diego, CA, USA, 2005.
50. SCHOBBENS, P., HEYMANS, P. and TRIGAUX, J. (2006): Feature diagrams: A survey and a formal semantics, in 14th IEEE International Conference Requirements Engineering, 139-148.
51. SERAFINI, L. and TAMILIN, A. (2009): Composing modular ontologies with distributed description logics, in the 2009 Workshop on Modular Ontologies, 321-347.
52. SIMOS, M. (1995): Organization domain modeling (ODM): Formalizing the core domain modeling life cycle, ACM SIGSOFT Software Engineering Notes 20: 196-205.
53. TSARKOV, D. and HORROCKS, I. (2006): FaCT++ description logic reasoner: System description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), Lecture Notes in Artificial Intelligence, 4130: 292-297. Springer. (Pubitemid 44532682)
54. WANG, H., LI, Y., SUN, J., ZHANG, H. and PAN, J. (2007): Verifying feature models using OWL, Web Semantics: Science, Services and Agents on the World Wide Web 5(2): 117-129. (Pubitemid 46856276)
55. ZAID, L.A., KLEINERMANN, F. and DE TROYER, O. (2009): Applying semantic web technology to feature modeling, in SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing, ACM, New York, NY, USA, 1252-1256.
56. ZHANG, T., DENG, L., WU, J., ZHOU, Q. and MA, C. (2008): Some metrics for accessing quality of product line architecture, in CSSE '08: Proceedings of the 2008 International Conference on Computer Science and Software Engineering, IEEE Computer Society, Washington, DC, USA, 500-503.