research-article

Adding uncertainty and units to quantity types in software models

Authors:

Tanja Mayerhofer,

Antonio VallecilloAuthors Info & Claims

SLE 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering

Pages 118 - 131

https://doi.org/10.1145/2997364.2997376

Published: 20 October 2016 Publication History

Abstract

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.

References

[1]

E. E. Allen, D. Chase, V. Luchangco, J. Maessen, and G. L. Steele Jr. Object-oriented units of measurement. In Proceedings of the 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 384–403. ACM, 2004.

Digital Library

[2]

P. Aronsson and D. Broman. Extendable Physical Unit Checking with Understandable Error Reporting. In Proceedings of the 7th International MODELICA Conference, 2009.

[3]

F. Büttner and M. Gogolla. On OCL-based imperative languages. Sci. Comput. Program., 92:162–178, 2014.

[4]

J.-M. Dautelle, W. Keil, and L. Lima. Java JSR 363: Units of Measurement API, 2016.

[5]

K. L. Davies and C. J. Paredis. Natural Unit Representation in Modelica. In Proceedings of the 9th International MODELICA Conference, 2012.

[6]

H. Espinoza, D. Cancila, B. Selic, and S. Gérard. Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems. In Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA), pages 98–113, 2009.

Digital Library

[7]

M. Fowler. Quantity: Represent dimensioned values with both their amount and their unit.

[8]

M. Fowler. Analysis Patters: Reusable Object Models. Addison-Wesley, 1997.

Digital Library

[9]

P. Fritzson and V. Engelson. Modelica – a unified objectoriented language for system modeling and simulation. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), pages 67–90, 1998.

Digital Library

[10]

M. Gogolla, F. Büttner, and M. Richters. USE: A UML-based specification environment for validating UML and OCL. Sci. Comput. Program., 69:27–34, 2007.

Digital Library

[11]

H. E. Grecco. Temperature Conversions, 2016.

[12]

R. Hodgson, P. J. Keller, J. Hodges, and J. Spivak. QUDT – Quantities, Units, Dimensions and Data Types Ontologies. TopQuadrant, Inc. and NASA AMES Research Center, 2014. http://qudt.org/.

[13]

M. Hucka, A. Finney, H. M. Sauro, H. Bolouri, J. C. Doyle, H. Kitano, A. P. Arkin, B. J. Bornstein, D. Bray, A. Cornish-Bowden, et al. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics, 19(4):524–531, 2003.

[14]

D. Isbell and D. Savage. Mars Climate Orbiter Failure Board Releases Report, Numerous NASA Actions Underway in Response. NASA Press Release 99-134, 1999.

[15]

JCGM 100:2008. Evaluation of measurement data – Guide to the expression of uncertainty in measurement (GUM). Joint Committee for Guides in Metrology, 2008. http://www.bipm.org/utils/common/documents/ jcgm/JCGM_100_2008_E.pdf.

[16]

JCGM 101:2008. Evaluation of measurement data – Supplement 1 to the “Guide to the expression of uncertainty in measurement” – Propagation of distributions using a Monte Carlo method. Joint Committee for Guides in Metrology, 2008. http://www.bipm.org/utils/common/ documents/jcgm/JCGM_101_2008_E.pdf.

[17]

JCGM 200:2012. International Vocabulary of Metrology – Basic and general concepts and associated terms (VIM), 3rd edition. Joint Committee for Guides in Metrology, 2012. http://www.bipm.org/utils/common/ documents/jcgm/JCGM_200_2012.pdf.

[18]

A. Jiménez-Ram´ırez, B. Weber, I. Barba, and C. D. Valle. Generating optimized configurable business process models in scenarios subject to uncertainty. Information & Software Technology, 57:571–594, 2015.

[19]

M. Keller. Eiffel Units, 2002.

[20]

A. J. Kennedy. Relational parametricity and units of measure. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 442–455. ACM, 1997.

Digital Library

[21]

A. J. Kennedy. Types for units-of-measure: Theory and practice. In Proceedings of the Third Summer School on Central European Functional Programming (CEFP’09), volume 6299 of LNCS, pages 268–305. Springer, 2010.

Digital Library

[22]

E. O. Lebigot. Uncertainties package, 2016.

[23]

E. A. Lee. Cyber Physical Systems: Design Challenges. In Proceedings of 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), pages 363–369. IEEE, 2008.

Digital Library

[24]

Mathworks. Thermal Unit Conversions, 2016.

[25]

S. E. Mattsson and H. Elmqvist. Unit Checking and Quantity Conservation. In Proceedings of the 6th International MODELICA Conference, 2008.

[26]

T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel. xMOF: Executable DSMLs Based on fUML. In Proceedings of the 6th International Conference on Software Language Engineering (SLE), volume 8225 of LNCS, pages 56–75. Springer, 2013.

[27]

T. Mayerhofer, M. Wimmer, and A. Vallecillo. Computing with Quantities: the Java Project, 2016.

[28]

P. J. Mosterman and J. Zander. Industry 4.0 as a cyberphysical system study. Software and System Modeling, 15(1): 17–29, 2016.

Digital Library

[29]

Object Management Group. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Version 1.1, June 2011. OMG Document formal/2011-06-02.

[30]

Object Management Group. Object Constraint Language (OCL) Specification. Version 2.4, Feb. 2014. OMG Document formal/2014-02-03.

[31]

Object Management Group. Unified Modeling Language (UML) Specification. Version 2.5, Mar. 2015. OMG Document formal/2015-03-01.

[32]

Object Management Group. OMG Systems Modeling Language (SysML), version 1.4, Jan. 2016.

[33]

OMG Document formal/2016-01-05.

[34]

Object Management Group. Semantics Of A Foundational Subset For Executable UML Models (FUML), version 1.2.1, Jan. 2016.

[35]

OMG Document formal/2016-01-05, http:// www.omg.org/spec/FUML/1.2.1/PDF/.

[36]

K. C. Olbrich. Ruby Units, 2016.

[37]

R. R. Rajkumar, I. Lee, L. Sha, and J. Stankovic. Cyber-Physical Systems: The Next Computing Revolution. In Proceedings of the 47th Design Automation Conference (DAC), pages 731–736. ACM, 2010.

Digital Library

[38]

C. Redeker. Determination of speed and acceleration of a toy car, Oct. 2007. http://www.lectures4you.de/pdf/ chris_prot/speed-accleration.pdf.

[39]

B. Selic. Beyond Mere Logic – A Vision of Modeling Languages for the 21st Century. In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), pages IS–5, 2015.

[40]

B. N. Taylor and A. Thompson. The International System of Units (SI). NIST, 2008. http://www.nist.gov/pml/ pubs/sp811/.

[41]

A. Vallecillo, C. Morcillo, and P. Orue. Expressing measurement uncertainty in software models. In Proceedings of the 10th International Conference on the Quality of Information and Communications Technology (QUATIC), pages 1–10, 2016.

[42]

M. Wolf. A Modeling Language for Measurement Uncertainty Evaluation. ETH, 2009.

[43]

Wolfram Research Inc. Mathematica 10, 2016.

Cited By

McKeever S(2023)Managing Quantities and Units of Measurement in Code BasesUpdates on Software Usability10.5772/intechopen.108014Online publication date: 22-Feb-2023
https://doi.org/10.5772/intechopen.108014
Stan ECiubotaru DRenda MAlexa C(2023)A new advance on dimensional-aware scalar, vector and matrix operations in C++Scientific Reports10.1038/s41598-023-43683-w13:1Online publication date: 4-Oct-2023
https://doi.org/10.1038/s41598-023-43683-w
McKeever S(2023)Acknowledging Implementation Trade-Offs When Developing with Units of MeasurementModel-Driven Engineering and Software Development10.1007/978-3-031-38821-7_2(25-47)Online publication date: 4-Aug-2023
https://doi.org/10.1007/978-3-031-38821-7_2
Show More Cited By

Index Terms

Adding uncertainty and units to quantity types in software models
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Software implementation planning
        Software design techniques
    2. Software development process management
  2. Software notations and tools
    1. General programming languages
      1. Language features

Recommendations

Using physical quantities in robot software models
RoSE '18: Proceedings of the 1st International Workshop on Robotics Software Engineering

One of the challenges of modeling any software application that deals with real-world physical systems resides in the correct representation of numerical values and their units. This paper shows how both measurement uncertainty and units can be ...
Specifying quantities in software models
Abstract Context
An essential requirement for the design and development of any engineering application that deals with real-world physical systems is the formal representation and processing of physical quantities, comprising both ...
Expressing measurement units in interfaces for scientific component software
CBHPC '09: Proceedings of the 2009 Workshop on Component-Based High Performance Computing

Scientific computing programs rarely use measurement units to express quantities, even though such units are common-place in pencil and paper calculation. Tools that enable expressing measurement units and enforce dimensional safety have been made ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SLE 2016: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering

October 2016

257 pages

ISBN:9781450344470

DOI:10.1145/2997364

General Chair:
Tijs van der Storm
CWI, Netherlands / University of Groningen, Netherlands
,
Program Chairs:
Emilie Balland
Sensational, Switzerland
,
Daniel Varro
n.n.

Copyright © 2016 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 20 October 2016

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SLE '16

Sponsor:

SIGPLAN

SLE '16: Software Language Engineering

October 31 - November 1, 2016

Amsterdam, Netherlands

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
170
Total Downloads

Downloads (Last 12 months)10
Downloads (Last 6 weeks)0

Reflects downloads up to 31 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

McKeever S(2023)Managing Quantities and Units of Measurement in Code BasesUpdates on Software Usability10.5772/intechopen.108014Online publication date: 22-Feb-2023
https://doi.org/10.5772/intechopen.108014
Stan ECiubotaru DRenda MAlexa C(2023)A new advance on dimensional-aware scalar, vector and matrix operations in C++Scientific Reports10.1038/s41598-023-43683-w13:1Online publication date: 4-Oct-2023
https://doi.org/10.1038/s41598-023-43683-w
McKeever S(2023)Acknowledging Implementation Trade-Offs When Developing with Units of MeasurementModel-Driven Engineering and Software Development10.1007/978-3-031-38821-7_2(25-47)Online publication date: 4-Aug-2023
https://doi.org/10.1007/978-3-031-38821-7_2
Trancón y Widemann BLepper M(2023)Towards a Theory of Conversion Relations for Prefixed Units of MeasureRelational and Algebraic Methods in Computer Science10.1007/978-3-031-28083-2_16(258-273)Online publication date: 3-Apr-2023
https://dl.acm.org/doi/10.1007/978-3-031-28083-2_16
Tisi MBruneliere Hde Lara JDi Ruscio DKolovos D(2021)Towards Twin-Driven Engineering: Overview of the State-of-The-Art and Research DirectionsAdvances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems10.1007/978-3-030-85874-2_37(351-359)Online publication date: 31-Aug-2021
https://doi.org/10.1007/978-3-030-85874-2_37
Chechik MKokaly SRahimi MSalay RViger T(2020)Uncertainty, Modeling and Safety Assurance: Towards a Unified FrameworkVerified Software. Theories, Tools, and Experiments10.1007/978-3-030-41600-3_2(19-29)Online publication date: 14-Mar-2020
https://doi.org/10.1007/978-3-030-41600-3_2
McKeever SBennich‐Björkman OSalah O(2020)Unit of measurement libraries, their popularity and suitabilitySoftware: Practice and Experience10.1002/spe.292651:4(711-734)Online publication date: 11-Nov-2020
https://doi.org/10.1002/spe.2926
Störrle HPretschner AVoss SBurgueño L(2019)Modeling moodsProceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems Companion10.1109/MODELS-C.2019.00075(468-477)Online publication date: 15-Sep-2019
https://dl.acm.org/doi/10.1109/MODELS-C.2019.00075
Bennich-Björkman OMcKeever SPearce DMayerhofer TSteimann F(2018)The next 700 unit of measurement checkersProceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3276604.3276613(121-132)Online publication date: 24-Oct-2018
https://dl.acm.org/doi/10.1145/3276604.3276613
Burgueño LBertoa MMoreno NVallecillo AWąsowski APaige RHaugen Ø(2018)Expressing Confidence in Models and in Model Transformation ElementsProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239394(57-66)Online publication date: 14-Oct-2018
https://dl.acm.org/doi/10.1145/3239372.3239394
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten