Skip navigation
  • Home
  • Browse
    • Communities
      & Collections
    • Browse Items by:
    • Publication Date
    • Author
    • Title
    • Subject
    • Department
  • Sign on to:
    • My MacSphere
    • Receive email
      updates
    • Edit Profile


McMaster University Home Page
  1. MacSphere
  2. Open Access Dissertations and Theses Community
  3. Open Access Dissertations and Theses
Please use this identifier to cite or link to this item: http://hdl.handle.net/11375/13200
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorKhedri, Ridhaen_US
dc.contributor.authorZhang, Qingleien_US
dc.date.accessioned2014-06-18T17:03:08Z-
dc.date.available2014-06-18T17:03:08Z-
dc.date.created2013-08-05en_US
dc.date.issued2013-10en_US
dc.identifier.otheropendissertations/8021en_US
dc.identifier.other9059en_US
dc.identifier.other4390023en_US
dc.identifier.urihttp://hdl.handle.net/11375/13200-
dc.description.abstract<p>The set of related products is referred to as a product family, and feature-modeling is a widely used technique to capture the commonalities and variabilities of a product family in terms of "features". With the growing complexity of software product families in several software industries, the development, maintenance and evolution of complex and large feature models are among the main challenges faced by feature-modeling practitioners. In particular, more sophisticated feature-modeling techniques are required to address the problems caused by unanticipated changes and crosscutting concerns in feature models.</p> <p>This thesis tackles the above challenges in feature-modeling by adopting the aspect-oriented paradigm at the feature-modeling level. I first introduce a specification language, called AO-PFA, which is an extension of the Product Family Algebra (PFA) language. I then proposed a formal verification technique to check the compatibility of aspects with their base specifications in AO-PFA. In the aspect-oriented paradigm, the process of combining aspects with base specifications is referred to as the weaving process. I finally discussed how to perform the weaving process in AO-PFA. By proposing a systematic approach to extend product family algebra with the abilities of specifying, verifying, and weaving aspects, we are able to handle the difficulties that arise from crosscutting concerns and unanticipated changes in large-scale feature models.</p>en_US
dc.subjectAspect-Oriented Paradigmen_US
dc.subjectFeature Modelingen_US
dc.subjectProduct Family Algebraen_US
dc.subjectFormal Methodsen_US
dc.subjectOther Computer Engineeringen_US
dc.subjectOther Computer Engineeringen_US
dc.titleAspect-Oriented Product Family Modelingen_US
dc.typethesisen_US
dc.contributor.departmentComputing and Softwareen_US
dc.description.degreeDoctor of Philosophy (PhD)en_US
Appears in Collections:Open Access Dissertations and Theses

Files in This Item:
File SizeFormat 
fulltext.pdf
Open Access
1.56 MBAdobe PDFView/Open
Show simple item record Statistics


Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.

Sherman Centre for Digital Scholarship     McMaster University Libraries
©2022 McMaster University, 1280 Main Street West, Hamilton, Ontario L8S 4L8 | 905-525-9140 | Contact Us | Terms of Use & Privacy Policy | Feedback

Report Accessibility Issue