Welcome to Jory’s page,,

Jory is a feature modelling tool for product families that is based on Product Family Algebra (PFA). Using the tool, one can write formal specifications of product families, analyze, and calculate on them. The interface of the tool is a text editor based. The language of specification is the feature modelling language specified in the thesis below.

There are two copies of the tool, one for Mac and one for Linux

If you encounter any problem, please report it to us.

References:
Peter Höfner, Ridha Khédri, Bernhard Möller: An algebra of product families. Software and System Modeling 10(2): 161-182 (2011) (link)

Fadil Alturki, Ridha Khédri: A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra. WER 2010 (download)

Fadil Alturki: Jory: A Tool for Feature Modelling Based on Product Families Algebra and BDDs, MS Thesis, McMaster University, 2010, Hamilton, Ontario, Canada. Advisor: Ridha Khedri. (link)

Mohammed Alabbad: A Feature Modelling Language Based on Product Family Algebra, MASc Thesis, McMaster University, 2013, Hamilton, Ontario, Canada. Advisor: Ridha Khedri. (link)

Downloads:

File contents:
README.txt
user_guide.pdf
sub directories:
bdd
code_generator
haskell
interface
parser
specs
working_dir

Linux version: JORY_LINUX

Mac version: JORY_MAC