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
Title: Aspect-Oriented Product Family Modeling
Authors: Zhang, Qinglei
Advisor: Khedri, Ridha
Department: Computing and Software
Keywords: Aspect-Oriented Paradigm;Feature Modeling;Product Family Algebra;Formal Methods;Other Computer Engineering;Other Computer Engineering
Publication Date: Oct-2013
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>
URI: http://hdl.handle.net/11375/13200
Identifier: opendissertations/8021
9059
4390023
Appears in Collections:Open Access Dissertations and Theses

Files in This Item:
File SizeFormat 
fulltext.pdf
Open Access
1.56 MBAdobe PDFView/Open
Show full 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