Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Mon 31 Oct 2016 16:30 - 16:55 at Zürich 2 - Domain-Specific Languages Chair(s): Jordi Cabot

Although several software modeling languages permit the representation of key aspects of physical entities, such as units, precision or measurement uncertainty, these aspects are not typically incorporated into their type systems. Therefore, operating with such properties is normally cumbersome and contrived. This paper shows how both data uncertainty and units can be captured in software models and naturally incorporated into their type systems. In particular, we present extensions of the UML/OCL type Real and define a set of operations on values of these new types. Furthermore, we show how they can be used in software models to carry out computations that consider measurement uncertainty and permit the detection of unit mismatches when trying to operate with their values.

Mon 31 Oct

sle-2016-papers
15:40 - 17:20: SLE - Domain-Specific Languages at Zürich 2
Chair(s): Jordi CabotOpen University of Catalonia, Spain
sle-2016-papers147792480000015:40 - 16:05
Talk
Boryana GoncharenkoUniversity of Amsterdam, Netherlands, Vadim ZaytsevRaincode, Belgium
DOI Media Attached
sle-2016-papers147792630000016:05 - 16:30
Talk
Zhaoyi LuoUniversity of Waterloo, Canada, Joanne M. AtleeUniversity of Waterloo, Canada
DOI Media Attached
sle-2016-papers147792780000016:30 - 16:55
Talk
Tanja MayerhoferTU Vienna, Austria, Manuel WimmerTU Vienna, Austria, Antonio VallecilloUniversity of Málaga, Spain
DOI Media Attached
sle-2016-papers147792930000016:55 - 17:10
Talk
Thomas KühnTU Dresden, Germany, Kay BierzynskiTU Dresden, Germany, Sebastian RichlyTU Dresden, Germany, Uwe AßmannTU Dresden, Germany
DOI Media Attached
sle-2016-papers147793020000017:10 - 17:20
Day closing
Emilie BallandSensational AG, Daniel Varro, Vadim ZaytsevRaincode, Belgium, Dimitris KolovosUniversity of York