Recent News

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.

Our paper presenting an approach that systematically uses explicit examples for eliciting, modeling, verifying, and validating complex business knowledge has been accepted at NIER track at ICSE'13 and will be presented in San Francisco next May.

Our paper describing our vision of feature-oriented software evolution has been accepted at VaMoS 2013 and will be presented in Italy next January.

Clafer Tools 0.3.1 is a simultaneous release of the Clafer compiler, instance generator, multi-objective optimizer, and wiki projects.

The binary distributions of the tools are available for download. Currenlty, ClaferWiki is not available in binary form but it is also included in the package. See installation.

We have also created a public demo installation of ClaferWiki called Clafer Model Wiki, which contains a few small and large example models that demonstrate the features of the wiki. Feel free to sign up and experiment with it.

Our paper on bug report summarization has won the Best Paper Award at the International Conference on Software Maintenance, Riva del Garda, Italy, September 23rd - 30th, 2012. The, titled "Modelling the ‘Hurried’ Bug Report Reading Process to Summarize Bug Reports" was singled out from 181 submissions.

The paper will be presented at the ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, MODELS 2012

Clafer has become one of the major projects in our lab. It is growing much faster than I ever expected. More and more people are involved in the project or work on its applications. We have been progressing in the following areas:

Language Design and Tools

• Translator - many bugs got fixed in the Clafer translator and the language includes more and more constructions that support lightweight modeling.