Adding Uncertainty and Units to Quantity Types in Software Models
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 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
| 15:40 - 17:20 | |||
| 15:4025m Talk | Language Design and Implementation for the Domain of Coding Conventions SLEDOI Media Attached | ||
| 16:0525m Talk | BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment SLEDOI Media Attached | ||
| 16:3025m Talk | Adding Uncertainty and Units to Quantity Types in Software Models SLE Tanja Mayerhofer TU Vienna, Austria, Manuel Wimmer TU Vienna, Austria, Antonio Vallecillo University of Málaga, SpainDOI Media Attached | ||
| 16:5515m Talk | FRaMED: Full-Fledge Role Modeling Editor (Tool Demo) SLE Thomas Kühn TU Dresden, Germany, Kay Bierzynski TU Dresden, Germany, Sebastian Richly TU Dresden, Germany, Uwe Aßmann TU Dresden, GermanyDOI Media Attached | ||
| 17:1010m Day closing | Awards SLE Emilie Balland Sensational AG, Daniel Varro , Vadim Zaytsev Raincode, Belgium, Dimitris Kolovos University of York | ||


