Skip to content

Instantly share code, notes, and snippets.

@kenwebb kenwebb/xholonWorkbook.xml
Last active Jun 22, 2019

Embed
What would you like to do?
Island Bigraph1
<?xml version="1.0" encoding="UTF-8"?>
<!--Xholon Workbook http://www.primordion.com/Xholon/gwt/ MIT License, Copyright (C) Ken Webb, Fri Jun 21 2019 21:32:17 GMT-0400 (Eastern Daylight Time)-->
<XholonWorkbook>
<Notes><![CDATA[
Xholon
------
Title: Island Bigraph1
Description:
Url: http://www.primordion.com/Xholon/gwt/
InternalName: 93b7e2168457dec2c1fdc7ca0fd685db
Keywords:
My Notes
--------
June 20, 2019
Island Game specified as a Bigraph.
see earlier model:
Bigraphs 2019 01 - A Bigraph Relational Model
6882561aa5b59ab93cace22d02840bae
http://127.0.0.1:8888/Xholon.html?app=Island+Bigraph1&src=lstr&gui=clsc&jslib=BigraphParser
References
----------
(1) https://arxiv.org/pdf/1111.0086.pdf
A Bigraph Relational Model, by Maxime Beauquier and Carstern Schurmann, IT University of Copenhagen, 2011
(2) BigActors - A Model for Structure-aware Computation, by Eloi Pereira et al, 2013 (page 2)
A bigraph B is called concrete when each node and each edge is assigned a unique identifier (known as support).
We denote the set of node identifiers of B as VB and the set of edge identifiers as EB (e.g. VB = {m0,m1,m2,q0,q1} and EB = {e} in the example of Figure 2).
(3) Robin Milner book
]]></Notes>
<_-.XholonClass>
<BigraphSystem/>
<!-- note that Bigraph is already specified in the BigraphEntity Mechanism -->
<BigraphParser superClass="script"/>
</_-.XholonClass>
<xholonClassDetails>
<BigraphParser><DefaultContent>@BigraphParser</DefaultContent></BigraphParser>
<Avatar><Color>red</Color></Avatar>
</xholonClassDetails>
<BigraphSystem>
<!-- an existing test model that I can use as a template|example -->
<Bigraph roleName="0"><Attribute_String><![CDATA[
# testing
B=(VB,EB,PB,ctrlB,prntB,linkB):〈m,X〉→〈n,Y〉,
m=0,X=∅,n=1,Y={c,co,t},
Σ=({get,send,sum},{(get,1),(send,1),(sum,0)}),
VB={a,b,d,e,f,g,h,i,j,k,l},
EB=∅,
EB={q},
PB={p(b,1),p(e,1),p(g,1),p(i,1),p(j,1),p(l,1)},
PB={p(e,1),p(e,2)},
ctrlB={(a,sum),(b,send),(d,sum),(e,get),(f,sum),(g,get),(h,sum),(i,send),(j,get),(k,sum),(l,send)},
prntB={(a,0),(f,0),(b,a),(d,b),(e,d),(g,f),(h,g),(i,h),(j,f),(k,j),(l,k)},
linkB={(p(b,1),c),(p(e,1),co),(p(g,1),c),(p(i,1),co),(p(j,1),c),(p(l,1),t)},
linkB={(p(e,1),l),(p(e,2),i)}
]]></Attribute_String>
<BigraphParser/>
</Bigraph>
<!-- Island Control Centre; a hidden place
see: XholonWorkbook "Island B5"
see: IslandControlCentre.txt in ~/Documents/IslandsJen/bigraphs directory on my computer
-->
<Bigraph roleName="1"><Attribute_String><![CDATA[
# Island Control Centre
B=(VB,EB,PB,ctrlB,prntB,linkB):〈m,X〉→〈n,Y〉,
m=0,X=∅,n=1,Y={},
# Xholon IH, these Xholon classes all have 0 ports
Σ=({City,University,Library,CoffeeShop,IslandControlCentre,IslandControlCentreBranch,SecretProjects,ElDorado},{}),
# Xholon CSH
VB={1,2,3,4,5,6,7,8,9},
# VB → Σ
ctrlB={(1,City),(2,University),(3,Library),(4,CoffeeShop),(5,IslandControlCentre),(6,SecretProjects),(7,ElDorado),(8,CoffeeShop),(9,IslandControlCentreBranch)},
# VB → VB
prntB={(1,0),(2,1),(3,2),(4,3),(5,4),(6,5),(7,6),(8,1),(9,8)},
# other sets that are not (yet) part of the Bigraph definition B
# set of Xholon roleNames
rlnmB={Ottawa,Carleton,Starbucks,Troll,Westboro Branch}
# VB → rlnmB
rlnmMapB={(1,Ottawa),(2,Carleton)}
]]></Attribute_String>
<BigraphParser/>
</Bigraph>
</BigraphSystem>
<SvgClient><Attribute_String roleName="svgUri"><![CDATA[data:image/svg+xml,
<svg width="100" height="50" xmlns="http://www.w3.org/2000/svg">
<g>
<title>Bigraph</title>
<rect id="BigraphSystem/Bigraph" fill="#98FB98" height="50" width="50" x="25" y="0"/>
<g>
<title>Bigraph 2</title>
<rect id="BigraphSystem/Bigraph[2]" fill="#6AB06A" height="50" width="10" x="80" y="0"/>
</g>
</g>
</svg>
]]></Attribute_String><Attribute_String roleName="setup">${MODELNAME_DEFAULT},${SVGURI_DEFAULT}</Attribute_String></SvgClient>
</XholonWorkbook>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.