The companion web page for our paper titled "Formal Semantics and Verification for Feature Modeling" published in the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005). If you have any comments/questions regarding the research work, please feel free to contact us.
This page contains the formal semantics of feature modeling in the Z language as presented in the paper. It is organised in two files:
These two files can be imported into the Z/EVES theorem prover where the proofs in feature_theory can be validated. For details please refer to our paper.