Advertisement

Ontology-Based Feature Modeling and Application-Oriented Tailoring

  • Xin Peng
  • Wenyun Zhao
  • Yunjiao Xue
  • Yijian Wu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4039)

Abstract

Feature models have been widely adopted in domain requirements capturing and specifying. However, there are still difficulties remaining in domain model validating and application-oriented tailoring. These difficulties are partly due to the missing of a strictly defined feature meta-model, which makes it difficult to formally represent the feature models. Aiming at the problem, we propose an ontology-based feature modeling method supporting application-oriented tailoring. In this method features are classified into several categories and are all precisely defined in the OWL-based meta-model. Expression capacity of the feature model can be greatly improved due to the rich types of features. On the other hand the feature model can be easily converted into ontology model and be validated through ontology inference. Application-oriented tailoring can also gain support from the reasoning-based guidance. Finally, advantages of ontology-based feature modeling, especially for component and architecture design, are discussed with our conclusions.

Keywords

Feature Model Software Product Line Ontology Model Complex Constraint Feature Diagram 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PAGoogle Scholar
  2. 2.
    Cechticky, V., Pasetti, A., Rohlik, O., Schaufelberger, W.: XML-Based Feature Modelling. In: Bosch, J., Krueger, C. (eds.) ICOIN 2004 and ICSR 2004. LNCS, vol. 3107, pp. 101–114. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Mannion, M.: Using First-Order Logic for Product Line Model Validation. In: Chastek, G.J. (ed.) SPLC 2002. LNCS, vol. 2379, pp. 176–187. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  4. 4.
    Schlick, M., Hein, A.: Knowledge Engineering in Software Product Lines. In: European Conference on Artificial Intelligence (ECAI 2000), Workshop on Knowledge-Based Systems for Model-Based Engineering, August 22, 2000, Berlin, Germany (2000)Google Scholar
  5. 5.
    Prieto-Díaz, R.: A faceted approach to building ontologies. In: Proceedings of IEEE International Conference on Information Reuse and Integration (IRI 2003), pp. 458–465 (2003)Google Scholar
  6. 6.
    Girardi, R., de Faria, C.G.: An ontology-based technique for the specification of domain and user models in multi-agent domain. CLEI electronic journal 7(1) (2004)Google Scholar
  7. 7.
    Sugumaran, V., Storey, V.C.: A semantic-based approach to component retrieval. ACM SIGMIS Database 34, 8–24 (2003)CrossRefGoogle Scholar
  8. 8.
    Bechhofer, S., et al.: Owl Web Ontology Language Reference (2004-02-10), http://www.w3.org/TR/owl-ref/
  9. 9.
    Turner, C.R., Fuggetta, A., Lavazza, L., Wolf, A.L.: A conceptual basis for feature engineering. Journal of Systems and Software 49(1), 3–15 (1999)CrossRefGoogle Scholar
  10. 10.
    Mei, H., Zhang, W., Gu, F.: A Feature Oriented Approach to Modeling and Reusing Requirements of Software Product Lines. In: Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC 2003) (2003)Google Scholar
  11. 11.
    Lee, K., Kang, K.C.: Feature Dependency Analysis for Product Line Component Design. In: Bosch, J., Krueger, C. (eds.) ICOIN 2004 and ICSR 2004. LNCS, vol. 3107, pp. 69–85. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  12. 12.
    Zhang, W., Mei, H., Zhao, H.: A Feature-Oriented Approach to Modeling Requirements Dependencies. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering, RE 2005 (2005)Google Scholar
  13. 13.
    Zhang, W., Zhao, H., Mei, H.: A Propositional Logic-Based Method for Verification of Feature Models. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 115–130. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  14. 14.
  15. 15.
    Mannion, M., Kaindl, H., Wheadon, J.: Reusing Single System Requirements from Application Family Requirements. In: Proceedings of the 1999 International Conference on Software Engineering, ICSE 1999 (1999)Google Scholar
  16. 16.
    Kang, K.C., Kim, S., Lee, J., et al.: FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures. Annals of Software Engineering 5, 143–168 (1998)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Xin Peng
    • 1
  • Wenyun Zhao
    • 1
  • Yunjiao Xue
    • 1
  • Yijian Wu
    • 1
  1. 1.Computer Science and Engineering DepartmentFudan UniversityShanghaiChina

Personalised recommendations