Island Bigraph1

xholonWorkbook.xml

<?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>