Feature Interaction Algebras + Review of a Paper

CORRECTIONS IN RED


Part 1: FIAs

It was stated in class that mathematics does not always allow you to have arbitrary mixing and matching of axioms.  In particular, there are only a few universes in which Feature Interaction Algebras have a consistent set of axioms.

In class, we showed that the axioms:
Lead to × and + coinciding.  In this assignment, you are to determine why axioms:
are problemmatic too.  Here is the complete axiom set on which you are to work:
The first posted set of axioms was infact incorrect.  + Identity was listed as (A+0=0), which clearly is a problem.
I will accept submissions with this axiom.  However, the correct + identity axiom is listed below.   A (small) challenge
awaits you to demonstrate this (updated) set of axioms is still wrong.

I will get you started.  Here is a fact about this universe, which is not true of the universes that are consistent -- namely universes that have the axiom A+A=0.

A ≤ A + B        for all A and B                (A)

The reason, incidentally, is that the + identity, commutatitivy, associativity and idempotence axioms lead to an upper semilattice or join-semilattice, from which (A) can be derived or made. 

  1. Anyways, start with (A) and prove that all 2-way interactions, such as A#B, are always 0.  Which, incidentally, leads to all interaction terms are 0.
  2. Show that (A) is not consistent with universes that have axiom A+A=0.


Part II: Review of a Paper

The following paper has been submitted for publication at a high-end software engineering conference.  Provide me with your review of it.

Submission via Canvas

Submit via Canvas a PDF file that contains your answers to Parts I and II along with any necessary explanations.  Non-PDF submissions will be returned.  Also, your PDF document must contain your name and email address as text in the document, otherwise points will be deducted.