‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Wed 3 Apr 2019 11:30 - 12:00 at Paganini - Modularity and Modeling Chair(s): Walter Cazzola

Embedded software is growing fast in size and complexity, leading to intimate mixture of complex architectures and complex control. Consequently, software speci cation requires modeling both structures and behaviour of systems. Unfortunately, existing languages do not integrate these aspects well, usually prioritizing one of them. It is common to develop a separate language for each of these facets

In this paper, we contribute Clafer: a small language that attempts to tackle this challenge. It combines rich structural modeling with state of the art behavioural formalisms. We are not aware of any other modeling language that seamlessly combines these facets common to system and software modeling.

We show how Clafer, in a single unified syntax and semantics, allows capturing feature models (variability), component models, discrete control models (automata) and variability encompassing all these aspects. The language is built on top of first order logic with quantifiers over basic entities (for modeling structures) combined with linear temporal logic (for modeling behaviour). On top of this semantic foundation we build a simple but expressive syntax, enriched with carefully selected syntactic expansions that cover hierarchical modeling, associations, automata, scenarios, and Dwyer’s property patterns.

We evaluate Clafer using a power window case study, and comparing it against other notations that substantially overlap with its scope (SysML, AADL, Temporal OCL and Live Sequence Charts), discussing benefits and perils of using a single notation for the purpose.

Wed 3 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Modularity and ModelingResearch Papers at Paganini
Chair(s): Walter Cazzola Università degli Studi di Milano
11:00
30m
Talk
Separating Use and Reuse to Improve Both
Research Papers
Hrshikesh Arora , Marco Servetto Victoria University Wellington, New Zealand, Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong
Link to publication DOI Pre-print
11:30
30m
Talk
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Research Papers
Paulius Juodisius IT University of Copenhagen, Denmark, Atrisha Sarkar University of Waterloo, Canada, Raghava Rao Mukkamala Department of Technology, Kristiania University College, Norway, Michal Antkiewicz University of Waterloo, Canada, Krzysztof Czarnecki University of Waterloo, Canada, Andrzej Wąsowski IT University of Copenhagen, Denmark
Link to publication DOI Pre-print
12:00
30m
Talk
Shallow EDSLs and Object-Oriented Programming: Beyond Simple Compositionality
Research Papers
Weixin Zhang The University of Hong Kong, Hong Kong, Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong
Link to publication DOI Pre-print