Intelligent interactive systems have begun to adopt knowledge and software engineering technologies in an attempt to effective development. Feature models have been widely used in knowledge and software engineering for the reuse purpose. However, due to the lack of a formal semantics of feature models, it is rather difficult to perform rigorous consistency reasoning on them. Without guaranteed consistency of feature models, the quality of interactive systems based on them, can not be guaranteed. In this paper, how to formalize feature models with Description Logics is investigated. Following the proposed translation principles, each feature model is formalized into an \(\mathcal{ALCQI}\) knowledge base. Hence the consistency reasoning on the feature model turns into the consistency reasoning on the corresponding \(\mathcal{ALCQI}\) knowledge base. Especially, the latter reasoning can be automatically performed via the description logic reasoner RACER.


Description Logic Formal Semantic Software Product Line Cardinality Constraint Translation Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)MATHGoogle Scholar
  2. 2.
    Bailin, S.: Domain Analysis with KAPTUR. In: Tutorial of TRIAda 1993, September 1993, vol. I, ACM, NewYork (1993)Google Scholar
  3. 3.
    Benavides, D., Ruiz-Cortés, A., Trinidad, P.: Coping with automatic reasoning on software product lines. In: Groningen Workshop on Software Variability Management, pp. 1–14 (2004)Google Scholar
  4. 4.
    Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated Reasoning on Feature Models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491–503. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Calvanese, D., Lenzerini, M., Nardi, D.: Unifying class-based representation formalisms. Journal of Artificial Intelligence Research 11(2), 199–240 (1999)MATHMathSciNetGoogle Scholar
  6. 6.
    Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, And Applications. Addison-Wesley, Reading (2000)Google Scholar
  7. 7.
    Jung, E.-C., et al.: DIF Knowledge Management System: Bridging Viewpoints for Interactive System Design. In: Proceedings of 11th Human Computer Interaction International Las Vegas, Nevada, USA, July 22-27 (2005)Google Scholar
  8. 8.
    Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) feasibility study. Technique Report, CMU/SEI-90-TR-21Google Scholar
  9. 9.
    Haarslev, V., MÄoler, R.: RACER Users Guide and Reference Manual (2004)Google Scholar
  10. 10.
    MÄoler, R.: Reasoning about domain knowledge and user actions for interactive systems development. In: Proceedings IFIP Working Groups 8.1/13.2 Conference, Domain Knowledge for Interactive System Design (May 1996)Google Scholar
  11. 11.
    Simos, M., Creps, D., Klinger, C., Levine, L., Allemang, D.: Organization Domain Modeling (ODM) Guidebook, Version 2.0. Technical Report for STARS (1996)Google Scholar
  12. 12.
    Streitferdt, D., Riebisch, M., Philippow, K.: Details of formalized relations in feature models using ocl. In: Proceedings of the 10th International Conference and Workshop on the Engineering of Computer-Based Systems, pp. 297–304 (2003)Google Scholar
  13. 13.
    Sun, J., Zhang, H., Li, Y., Wang, H.: Formal semantics and verification for feature modeling. In: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), pp. 303–312 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Shaofeng Fan
    • 1
  • Naixiao Zhang
    • 1
  1. 1.LMAM, Department of Information Science,School of Mathematical SciencesPeking UniversityBeijingChina

Personalised recommendations