What can BX make from Sense? Arend Rensink, University of Twente Banff, December 2013.
-
Upload
roy-harrington -
Category
Documents
-
view
216 -
download
0
Transcript of What can BX make from Sense? Arend Rensink, University of Twente Banff, December 2013.
![Page 1: What can BX make from Sense? Arend Rensink, University of Twente Banff, December 2013.](https://reader035.fdocuments.us/reader035/viewer/2022081811/5697bf7b1a28abf838c836ce/html5/thumbnails/1.jpg)
What can BX make from Sense?Arend Rensink, University of TwenteBanff, December 2013
![Page 2: What can BX make from Sense? Arend Rensink, University of Twente Banff, December 2013.](https://reader035.fdocuments.us/reader035/viewer/2022081811/5697bf7b1a28abf838c836ce/html5/thumbnails/2.jpg)
What can BX made from Sense? 2
Context: EU-project SENSATION
3 December 2013
SDF3(Synchronous
Data Flow)
UPPAAL(Timed
Automata)
sdf3 xml(w. xsd)
uppaal xml(w. xsd)
models
results
senseecore
uppaal
ecore
Not well-structured, too large
Lot of plain-text
elements
![Page 3: What can BX make from Sense? Arend Rensink, University of Twente Banff, December 2013.](https://reader035.fdocuments.us/reader035/viewer/2022081811/5697bf7b1a28abf838c836ce/html5/thumbnails/3.jpg)
What can BX made from Sense? 3
Dataflow graphs
3 December 2013
Elements Actors (nodes): name Ports: name, direction (in, out), rates Channels (edges): name, initial tokens, source/target port Processors with execution time for subset of actors
Petri Net-like semantics Actors = transitions, channels = places, rates = weights Non-atomic transition firing (actors take time)
![Page 4: What can BX make from Sense? Arend Rensink, University of Twente Banff, December 2013.](https://reader035.fdocuments.us/reader035/viewer/2022081811/5697bf7b1a28abf838c836ce/html5/thumbnails/4.jpg)
What can BX made from Sense? 4
Challenge
3 December 2013
Language differencesSDF3 SenseMany spurious elements Dedicated languageSource/target ports Source/target actorsReferences all by name References by identityProcessor type implicit Processor type explicit
Bidirectionality Sense-to-SDF3 should be (provably) left inverse to SDF3-to-Sense
Executability Transformation definition must be executable
Underlying technology XSD-backed XML versus Ecore Simplified option: Ecore-euivalent on SDF3 side
Is there a solution that allows a proof of bidirectionality, and is directly executable on concrete models?
![Page 5: What can BX make from Sense? Arend Rensink, University of Twente Banff, December 2013.](https://reader035.fdocuments.us/reader035/viewer/2022081811/5697bf7b1a28abf838c836ce/html5/thumbnails/5.jpg)
What can BX made from Sense? 5
SDF3
3 December 2013
![Page 6: What can BX make from Sense? Arend Rensink, University of Twente Banff, December 2013.](https://reader035.fdocuments.us/reader035/viewer/2022081811/5697bf7b1a28abf838c836ce/html5/thumbnails/6.jpg)
What can BX made from Sense? 6
Sense metamodel
3 December 2013