Home Explore Help
Sign In
simon
/
SCCD
Watch 2
Star 2
Fork 3
Files Issues 28 Pull Requests 0 Wiki
Branch: joeri
Branches Tags
SCCD
/
bsml_features
Joeri Exelmans e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. 5 years ago
..
README.md dd03ed9d46 Add Clafer input file for BSML features 5 years ago
bsml.cfr e92f44ba01 Rename python src dirs to match installed names (can set to 'src' dir so you don't have to re-install after every change). Updated SCCD schema to accept all existing tests. Added XML namespace to tests. Compiler checks input file against SCCD schema. New compiler dependency 'lxml' (largely compatible with xml.etree) for dealing with XML namespaces and schemas. 5 years ago

README.md

The file bsml.cfr defines the complete family of Big-Step Modeling Languages from Day & Atlee 2010. It is taken from the feature diagrams for syntactic and semantic variations, and the additional constraints listed in the paper.

It serves as input to the Clafer (github) tool. Clafer compiles this to several formats, one of which is the input format of ChocoSolver (github), which can automatically generate instances.