by Michał Antkiewicz, Sep 22, 2017
Our paper "Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems" published in the Software and Systems Modeling journal has won one of the six best paper awards for year 2017.
Congratulations to our students Jordan Ross, Jimmy Liang, and Alexandr Murashkin!
The work presented in the paper was Jordan's master's thesis work based on previous master's thesis work by Alexandr. Jimmy made it all possible by contributing chocosolver, the scalable Clafer backend.
Friday, September 22, 2017
Monday, September 18, 2017
Clafer Tutorial at CBSOFT'17
by Michał Antkiewicz, Sep 18, 2017
Today, prof. Andrzej Wąsowski (IT University of Copenhagen) delivered a 3.5h tutorial entitled "Domain Modeling and Variability Modeling in Clafer" at CBSOFT'17, Fortaleza, Brazil.
The tutorial introduced the Clafer language and the participants used the online Clafer tools to write and analyze their models.
Abstract
Variability Modeling is a key activity in implementing Software Product Lines and highly configurable systems. Clafer is a small language for domain modeling with excellent support for variability modeling. In this tutorial, we will introduce the basics of variability modeling and the basics of the Clafer language. Most of the tutorial will be interactive. The participants will use online Clafer tools to create basic models and analyze them, including consistency checking of models, and finding optimal configurations. Time permitting, we will discuss extensions of Clafer beyond structural domain modeling.
Today, prof. Andrzej Wąsowski (IT University of Copenhagen) delivered a 3.5h tutorial entitled "Domain Modeling and Variability Modeling in Clafer" at CBSOFT'17, Fortaleza, Brazil.
The tutorial introduced the Clafer language and the participants used the online Clafer tools to write and analyze their models.
Abstract
Variability Modeling is a key activity in implementing Software Product Lines and highly configurable systems. Clafer is a small language for domain modeling with excellent support for variability modeling. In this tutorial, we will introduce the basics of variability modeling and the basics of the Clafer language. Most of the tutorial will be interactive. The participants will use online Clafer tools to create basic models and analyze them, including consistency checking of models, and finding optimal configurations. Time permitting, we will discuss extensions of Clafer beyond structural domain modeling.
Tuesday, March 21, 2017
Behavioral Clafer
by Michał Antkiewicz, Mar 21, 2017
Behavioral Clafer was finally merged into develop, which means it will be part of the next release: 0.5.0.
That is a huge step for Clafer because it adds capability of modeling how the structures evolve over time. In that context, all possible instances of a static Clafer model can be considered as all possible snapshots (statespace) of a dynamic model. Also, the constraints in a static model can be considered as global invariants in a dynamic model.
The Clafer Model Wiki and the Clafer Tools (Visualizer, Configurator, and IDE) have been updated to use the 0.5.0 version; however, there is currently no reasoning support for the behavioral constructs. The models can only be compiled, desugared, and rendered to HTML.
We added two example models to showcase the behavioural modeling style:
Behavioral Clafer was finally merged into develop, which means it will be part of the next release: 0.5.0.
That is a huge step for Clafer because it adds capability of modeling how the structures evolve over time. In that context, all possible instances of a static Clafer model can be considered as all possible snapshots (statespace) of a dynamic model. Also, the constraints in a static model can be considered as global invariants in a dynamic model.
The Clafer Model Wiki and the Clafer Tools (Visualizer, Configurator, and IDE) have been updated to use the 0.5.0 version; however, there is currently no reasoning support for the behavioral constructs. The models can only be compiled, desugared, and rendered to HTML.
We added two example models to showcase the behavioural modeling style:
- Simplified Web Socket Protocol - a simple model showcasing state modeling, trace specification, and the intended traces.
- Power Window - a complex model showcasing modeling structure and behaviour with variability: feature modeling, component modeling, statemachine modeling, variability in behaviour using alphabet variability, inheritance, and strategy pattern, and (safety) properties.
Monday, March 13, 2017
Clafer, ClaferIG, ClaferWiki 0.4.5 Released
by Michał Antkiewicz, Mar 13, 2017
This is mainly a maintenance release.
Clafer compiler, release pull request (0.4.5).
All other tools work with 0.4.5.
This is mainly a maintenance release.
Clafer compiler, release pull request (0.4.5).
- compatibility with GHC 8.0.2,
- fixed an issue with references to singleton clafers in Choco generator.
- compatibility with GHC 8.0.2,
- compatibility with clafer-0.4.5.
- compatibility with GHC 8.0.2,
- compatibility with clafer-0.4.5 and the latest gitit-0.12.2.1
- updated Package Control installation instructions for the latest SublimeText3.
All other tools work with 0.4.5.
Tuesday, January 24, 2017
ClaferMPS: Modeling and Optimizing Automotive Electric/Electronic Architectures Using Domain-Specific Languages
by Michał Antkiewicz, Jan 23, 2017
Eldar Khalilov's Masters thesis about ClaferMPS is now available for download:
ClaferMPS: Modeling and Optimizing Automotive Electric/Electronic Architectures Using Domain-Specific Languages
The implementation is open-source in the following two projects:
Eldar Khalilov's Masters thesis about ClaferMPS is now available for download:
ClaferMPS: Modeling and Optimizing Automotive Electric/Electronic Architectures Using Domain-Specific Languages
The implementation is open-source in the following two projects:
Subscribe to:
Posts (Atom)