ClaferMPS 0.4.3 Released

by Michał Antkiewicz, May 20, 2016

ClaferMPS is an implementation of Clafer in JetBrains Meta-Programming System (MPS). It also includes an Architecture DSL, which implements an adaptation of EAST-ADL reference model for early architecture modeling described in a technical report.

ClaferMPS implements full Clafer 0.4.3 and provides

• a smart structured editor with autocompletion and many intentions,
• type system,
• module system,
• generator of plain-text Clafer.

The Architecture DSL

• technical feature model, functional analysis architecture, hardware design architecture, and separate functional to hardware architecture deployment specification,
• editable textual and graphical projections,
• semantic error checking according to the reference model,
• separate definition of quality attributes,
• generation of plain Clafer separate for every module with and without quality attributes.

For installation and usage details, see README.

New automotive case studies in Clafer

by Michał Antkiewicz, May 12, 2016

We published a few new automotive body domain case studies in a GitHub repository 'ClaferCaseStudies'.

Previously, the repository contained the original Power Window case study presented in Alexandr Murashkin's Master's thesis. Now, we added two new case studies by Jordan Ross: extended Power Window and Central Door Locks. More details in the README and the accompanying technical report.

Additionally, we reimplemented the Power Window and Central Door Locks case studies in ClaferMPS. The MPS solutions are contained in MPS/Automotive/BodyDomain. We are in the process of releasing ClaferMPS and a separate announcement will follow.