About the GSD Lab

Our paper describing SmartFixer, a novel approach based on self-adaptive priorities for configuring variability-aware systems, has been accept for publication at SPLC'13, and will be presented in Tokyo next August.

Clafer Tools 0.3.2 is a simultaneous release of the Clafer

• compiler
• instance generator
• configurator
• multi-objective optimizer
• MOO visualizer and explorer
• wiki

projects.

The binary distributions of the compiler and instance generator are available for download. The other tools are either in Python or JavaScript and do not require binary builds-they can be installed by downloading from the source code repositories.

The following are links to public live demo installations of

• ClaferWiki
• ClaferMooVisualizer
• ClaferConfigurator

Organizations that adopt process modeling often maintain several co-existing models of the same business process. These models target different abstraction levels and stakeholder perspectives. Maintaining consistency among these models has become a major challenge for such organizations. Although several academic works have discussed this challenge, little empirical investigation exists on how people perform process model consistency management in practice.