Recent News

The paper Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled has been presented at 3rd International Conference on Software Language Engineering. The presentation slides were uploaded to the paper's publication page.

Paper From State-Based to Delta-Based Bidirectional Model Transformation was selected as one of the best papers at ICMT'10 and was invited to be submitted to a journal.

Paper Specifying Overlaps of Heterogeneous Models for Global Consistency Checking was accepted by first workshop on model driven interoperability (MDI'10). Prof. Krzysztof Czarnecki will present the paper at the workshop.

Clafer is an experimental modeling language. Its interpreter has been written in Haskell, but we are slowly moving towards Java/JVM to improve interoperability with other tools. There is still a lot of work to do to reimplement the interpreter. This article describes how to generate a sample Clafer Parser in Java.

The paper Swing to SWT and Back: Patterns for API Migration by Wrapping has just been presented at the 26th International Conference on Software Maintenance. The presentation slides were also uploaded to the paper's publication page.

Business Process Modeling is a collaborative task of different groups of specialists, including business analysts, solution architects and system developers. They work on different levels of abstraction and collaborate to create a set of different but related artifacts, from business requirements and high-level process specifications to executable models. A critical activity in BPM is managing consistency among these artifacts. Successful consistency management requires understanding the key needs and collaboration patterns of the stakeholders and the complex relations among the artifacts.

The paper Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled has been accepted for publication at SLE 2010. We present Clafer, a meta-modeling language with first-class support for feature modeling. It provides a concise notation for meta-models, feature models, mixtures of meta- and feature models (such as components with options), and models that couple feature models and meta-models via constraints (such as mapping feature configurations to component configurations or model templates).

A presentation introducing Clafer, comparing concept modeling in OWL and Clafer, and presenting the details of a translation of the tutorial Pizza example from OWL to Clafer is available for viewing here.