Recent News

by Xiong, Yingfei on September 28, 2010

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.

by Xiong, Yingfei on September 18, 2010

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.

by Kacper Bąk on September 15, 2010

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.

by Thiago Tonelli Bartolomei on September 15, 2010

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.

by Moisés Almeida Castelo Branco on September 5, 2010

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.

by Kacper Bąk on August 30, 2010

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).

by Michal Antkiewicz on August 12, 2010

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.

by Thiago Tonelli Bartolomei on July 14, 2010

The GSD Lab has recently started collaboration with the mbeddr project. The project investigates the application of projectional language workbenches, such as MPS, to the development of embedded software systems. Our main focus will be developing variability management support for the tools.

by Steven She on July 14, 2010

Our publication Variability Modeling in the Real: A Perspective from the Operating Systems Domain has been accepted for publication at ASE 2010. We studied two large variability modeling languages—Kconfig and the Component Description Language (CDL)—used in the Linux and eCos operating system kernels respectively. We compared the two languages to feature modeling and discovered that feature modeling concepts are used in practice; however, more advanced concepts such as visibility conditions, derived features and binding modes were also needed. We identified significant limitations of existing configurators that will be of interest to variability modeling language and tool designers.

The slides for the ASE 2010 talk are available here.

by Kacper Bąk on July 10, 2010

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.