Explicit Modelling of Physical Measures: From Event-B to Java

The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there is often a heterogeneity of representation; for example: sp...

Full description

Saved in:
Bibliographic Details
Main Authors: Gibson, J Paul, Méry, Dominique
Format: Conference Proceeding
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c263t-3decfe427e1e705a9ab3e1039202ba9e5951064d1b0ce949853f84fad97327723
cites cdi_FETCH-LOGICAL-c263t-3decfe427e1e705a9ab3e1039202ba9e5951064d1b0ce949853f84fad97327723
container_end_page 79
container_issue Proc. IMPEX 2017 and FM&MDD 2017
container_start_page 64
container_title
container_volume 271
creator Gibson, J Paul
Méry, Dominique
description The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there is often a heterogeneity of representation; for example: speed can be represented in many different units (mph, kph, mps, etc. . . ). Secondly, there is incoherence in composition; for example: adding a speed to a temperature would provide a meaningless result in the physical world, even though such a purely mathematical operation is meaningful in the abstract. These aspects are problematic when implicit semantics - concerned with measurements - in CPSs are not explicit (enough) in the requirements, design and implementation models. We present an engineering approach for explicitly modelling measurements during all phases of formal system development. We illustrate this by moving from Event-B models to Java implementations, via object oriented design.
doi_str_mv 10.4204/EPTCS.271.5
format conference_proceeding
fullrecord <record><control><sourceid>doaj_cross</sourceid><recordid>TN_cdi_doaj_primary_oai_doaj_org_article_111e2ff62119471c8648b19d7ad47ee6</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><doaj_id>oai_doaj_org_article_111e2ff62119471c8648b19d7ad47ee6</doaj_id><sourcerecordid>oai_doaj_org_article_111e2ff62119471c8648b19d7ad47ee6</sourcerecordid><originalsourceid>FETCH-LOGICAL-c263t-3decfe427e1e705a9ab3e1039202ba9e5951064d1b0ce949853f84fad97327723</originalsourceid><addsrcrecordid>eNpNkEtLAzEUhYMoWLQr_0D2MjWvmUwEF1qmWmmxYF2HTHJTp0ybkozF_nv7EPFuzuUsPg4fQjeUDAQj4q6azYfvAybpID9DPUZknjFakvN__yXqp7Qk--OKCVX00EP1vWkb23R4Ghy0bbNe4ODx7HOXGmtaPAWTviKkezyKYYWrLay77Al3Ab-arblGF960Cfq_eYU-RtV8-JJN3p7Hw8dJZlnBu4w7sB4Ek0BBktwoU3Oghw2E1UZBrnJKCuFoTSwoocqc-1J445TkTErGr9D4xHXBLPUmNisTdzqYRh-LEBfaxK6xLWhKKTDvC0apEpLashBlTZWTxgkJUOxZtyeWjSGlCP6PR4k-iNRHkXovUuf8B508Y0Y</addsrcrecordid><sourcetype>Open Website</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>Explicit Modelling of Physical Measures: From Event-B to Java</title><source>ROAD: Directory of Open Access Scholarly Resources</source><creator>Gibson, J Paul ; Méry, Dominique</creator><creatorcontrib>Gibson, J Paul ; Méry, Dominique</creatorcontrib><description>The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there is often a heterogeneity of representation; for example: speed can be represented in many different units (mph, kph, mps, etc. . . ). Secondly, there is incoherence in composition; for example: adding a speed to a temperature would provide a meaningless result in the physical world, even though such a purely mathematical operation is meaningful in the abstract. These aspects are problematic when implicit semantics - concerned with measurements - in CPSs are not explicit (enough) in the requirements, design and implementation models. We present an engineering approach for explicitly modelling measurements during all phases of formal system development. We illustrate this by moving from Event-B models to Java implementations, via object oriented design.</description><identifier>ISSN: 2075-2180</identifier><identifier>EISSN: 2075-2180</identifier><identifier>DOI: 10.4204/EPTCS.271.5</identifier><language>eng</language><publisher>Open Publishing Association</publisher><ispartof>Electronic proceedings in theoretical computer science, 2018, Vol.271 (Proc. IMPEX 2017 and FM&amp;MDD 2017), p.64-79</ispartof><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c263t-3decfe427e1e705a9ab3e1039202ba9e5951064d1b0ce949853f84fad97327723</citedby><cites>FETCH-LOGICAL-c263t-3decfe427e1e705a9ab3e1039202ba9e5951064d1b0ce949853f84fad97327723</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,27924,27925</link.rule.ids></links><search><creatorcontrib>Gibson, J Paul</creatorcontrib><creatorcontrib>Méry, Dominique</creatorcontrib><title>Explicit Modelling of Physical Measures: From Event-B to Java</title><title>Electronic proceedings in theoretical computer science</title><description>The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there is often a heterogeneity of representation; for example: speed can be represented in many different units (mph, kph, mps, etc. . . ). Secondly, there is incoherence in composition; for example: adding a speed to a temperature would provide a meaningless result in the physical world, even though such a purely mathematical operation is meaningful in the abstract. These aspects are problematic when implicit semantics - concerned with measurements - in CPSs are not explicit (enough) in the requirements, design and implementation models. We present an engineering approach for explicitly modelling measurements during all phases of formal system development. We illustrate this by moving from Event-B models to Java implementations, via object oriented design.</description><issn>2075-2180</issn><issn>2075-2180</issn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2018</creationdate><recordtype>conference_proceeding</recordtype><sourceid>DOA</sourceid><recordid>eNpNkEtLAzEUhYMoWLQr_0D2MjWvmUwEF1qmWmmxYF2HTHJTp0ybkozF_nv7EPFuzuUsPg4fQjeUDAQj4q6azYfvAybpID9DPUZknjFakvN__yXqp7Qk--OKCVX00EP1vWkb23R4Ghy0bbNe4ODx7HOXGmtaPAWTviKkezyKYYWrLay77Al3Ab-arblGF960Cfq_eYU-RtV8-JJN3p7Hw8dJZlnBu4w7sB4Ek0BBktwoU3Oghw2E1UZBrnJKCuFoTSwoocqc-1J445TkTErGr9D4xHXBLPUmNisTdzqYRh-LEBfaxK6xLWhKKTDvC0apEpLashBlTZWTxgkJUOxZtyeWjSGlCP6PR4k-iNRHkXovUuf8B508Y0Y</recordid><startdate>20180101</startdate><enddate>20180101</enddate><creator>Gibson, J Paul</creator><creator>Méry, Dominique</creator><general>Open Publishing Association</general><scope>AAYXX</scope><scope>CITATION</scope><scope>DOA</scope></search><sort><creationdate>20180101</creationdate><title>Explicit Modelling of Physical Measures: From Event-B to Java</title><author>Gibson, J Paul ; Méry, Dominique</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c263t-3decfe427e1e705a9ab3e1039202ba9e5951064d1b0ce949853f84fad97327723</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2018</creationdate><toplevel>online_resources</toplevel><creatorcontrib>Gibson, J Paul</creatorcontrib><creatorcontrib>Méry, Dominique</creatorcontrib><collection>CrossRef</collection><collection>DOAJ Directory of Open Access Journals</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Gibson, J Paul</au><au>Méry, Dominique</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>Explicit Modelling of Physical Measures: From Event-B to Java</atitle><btitle>Electronic proceedings in theoretical computer science</btitle><date>2018-01-01</date><risdate>2018</risdate><volume>271</volume><issue>Proc. IMPEX 2017 and FM&amp;MDD 2017</issue><spage>64</spage><epage>79</epage><pages>64-79</pages><issn>2075-2180</issn><eissn>2075-2180</eissn><abstract>The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects that arise when modelling physical measures. Firstly, there is often a heterogeneity of representation; for example: speed can be represented in many different units (mph, kph, mps, etc. . . ). Secondly, there is incoherence in composition; for example: adding a speed to a temperature would provide a meaningless result in the physical world, even though such a purely mathematical operation is meaningful in the abstract. These aspects are problematic when implicit semantics - concerned with measurements - in CPSs are not explicit (enough) in the requirements, design and implementation models. We present an engineering approach for explicitly modelling measurements during all phases of formal system development. We illustrate this by moving from Event-B models to Java implementations, via object oriented design.</abstract><pub>Open Publishing Association</pub><doi>10.4204/EPTCS.271.5</doi><tpages>16</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 2075-2180
ispartof Electronic proceedings in theoretical computer science, 2018, Vol.271 (Proc. IMPEX 2017 and FM&MDD 2017), p.64-79
issn 2075-2180
2075-2180
language eng
recordid cdi_doaj_primary_oai_doaj_org_article_111e2ff62119471c8648b19d7ad47ee6
source ROAD: Directory of Open Access Scholarly Resources
title Explicit Modelling of Physical Measures: From Event-B to Java
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-03T20%3A02%3A52IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-doaj_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=Explicit%20Modelling%20of%20Physical%20Measures:%20From%20Event-B%20to%20Java&rft.btitle=Electronic%20proceedings%20in%20theoretical%20computer%20science&rft.au=Gibson,%20J%20Paul&rft.date=2018-01-01&rft.volume=271&rft.issue=Proc.%20IMPEX%202017%20and%20FM&MDD%202017&rft.spage=64&rft.epage=79&rft.pages=64-79&rft.issn=2075-2180&rft.eissn=2075-2180&rft_id=info:doi/10.4204/EPTCS.271.5&rft_dat=%3Cdoaj_cross%3Eoai_doaj_org_article_111e2ff62119471c8648b19d7ad47ee6%3C/doaj_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c263t-3decfe427e1e705a9ab3e1039202ba9e5951064d1b0ce949853f84fad97327723%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true