Recent News

Evaluation of a language is an important part of research. It helps to verify correctness of a solution, asses its efficiency, and investigate expressiveness. Recently, we have evaluated Clafer on over 60 realistic examples of feature models, meta-models, and feature-based templates. For each model, we performed instance finding analysis, since many other analyses can be reduced to this problem. For slices of meta-models and feature-based templates element liveness was verified, because it is another example of a non-trivial analysis.

The paper Swing to SWT and Back: Patterns for API Migration by Wrapping was accepted for publication at ICSM 2010. We present a study on two large, open-source GUI API wrappers in which we identify challenges faced by developers when designing the wrappers and subsequently extract design patterns from the solutions used in practice.

The paper Evolution of Linux Kernel Evolution Model was accepted at SPLC 2010. It analyses the evolution of a real-world, large scale feature model, and draws conclusions on how such models evolve, their implications for tool builders, and feature modeling community.

There has been a lot of work on Clafer going on recently. First of all, we released a technical report about the language. It introduces Clafer's syntax and semantics, shows how to construct a sample feature-based template model, and then instantiate it in the Alloy Analyzer. More technical aspects of Clafer can be found in the CS 846 project report [PDF].

Our experimental Clafer to Alloy translator is available online: clafer2alloy. You can find the source code here.
We will provide Clafer documentation soon. Stay tuned!

The paper entitled "Requirements Determination is Unstoppable: An Experience Report" was accepted for publication in the proceedings of the Requirements Engineering 2010 conference, industrial program.

Paper From State-Based to Delta-Based Bidirectional Model Transformation was accepted at 3rd international conference on model transformation (ICMT'10). Zinovy Diskin will present the paper at the conference.

Krzysztof Czarnecki gave a keynote presentation at the Variability Modeling of Software-Intensive Systems (VaMoS'10), January 21-28, 2010 in Linz, Austria. The keynote sides are available from the conference site.