SDLPS

SDLPS (http://sdlps.upc.edu/) is a distributed simulator that allows the definition of the models using SDL language. This definition is complete and represents the model behavior and structure, allowing its simulation without the need of implementing the model, simplifying the validation and verification processes.

In the next figure SDLPS main window in shown. 

 

 

Soon you can download the evaluation version.

 

TODO list

Mainly the todo list to allows a complete SDL full compliance.

  1. The types used are only int, char and float. No strucs definition are allowed.
  2. The names of the varialbes must be different in each process.
  3. No procedures definition inside a procedure is allowed.
  4. State process is not allowed in Agents.
  5. The descomposition is only allowed in one kind of agent.
  6. Only one process for block is allowed.

 

The clients

Different clients allows to obtain detailed information derived of the execution of the simulation model over SDLPS. The basic communication between the different elements is based in the next schema:

 

 

The XML for each message is:

  1.  MessageEvent
  2.  ModelInfo
  3.  InfoSimulation
  4.  ReplicationEnd

The current implemented clients are:

  1. SDLPSEye: Allows to obtain all the information of the simulation model. Stores this information in a database and allows to send the geographical information to GoogleEarth.
  2. VRViewer: Allows to represent in a VRML browser the information retrieved from a simulation model or SDLPSEye.
  3. DebugServer: Allows to send messages from a "fake" simulation server to debug the infraestructure. 

 

 

WinterSim 2008

SDLPS, a SDL distributed simulator.

http://wintersim.org/prog08wsc.htm

December 7-10, 2008. Miami, Florida (USA)

SSASA 2008

SDL, A Graphical Language Useful to Describe Social Simulation Models.

Proceedings of the 2nd Workshop on Social Simulation and Artificial Societies Analysis (SSASA'08). Social Simulation and Artificial Societies Analysis.

November 20-21, 2008, Barcelona, Catalonia (SPAIN)

 

SummerSim 2009

 Towards an automatic transformation from a DEVS to a SDL specification.

Procediings of the 2009 Summer Simulation Multiconference.

July 13-16, 2009 Grand Cevahir Hotel and Convention Center Istanbul, (TURKEY)

 

SummerSim 2010

 Using Specification and Description Language to define and implement discrete simulation models

Procediings of the 2009 Summer Simulation Multiconference.

 

July 11 - 15, 2010 Crowne Plaza; Ottawa, ON, Canada

 

 

SummerSim 2010

 Representing Fibonacci function through cellular automata using Specification and Description Language

Procediings of the 2010 Summer Simulation Multiconference.

July 11 - 15, 2010 Crowne Plaza; Ottawa, ON, Canada

 

 

SDLPS XSD

You can donload the XSD here.

 

XML Schema Documentation

Table of Contents

top

Schema Document Properties

Target Namespace None
Element and Attribute Namespaces
  • Global element and attribute declarations belong to this schema's target namespace.
  • By default, local element declarations belong to this schema's target namespace.
  • By default, local attribute declarations have no namespace.

Declared Namespaces

Prefix Namespace
xml http://www.w3.org/XML/1998/namespace
xsd undefined
xs http://www.w3.org/2001/XMLSchema
Schema Component Representation
<xs:schema attributeFormDefault="unqualified" elementFormDefault="qualified">
...

</xs:schema>

top

Global Declarations

Element: system

Name system
Type Locally-defined complex type
Nillable no
Abstract no
Diagram
XML Instance Representation
<system
id="xs:unsignedByte [1]"
name="xs:string [1]"
implementation="xs:string [1]"
IP="xs:string [1]"
portRead="xs:unsignedShort [1]"
version="xs:decimal [1]">
<representations> [0..1]
<representation
value="xs:string [0..1]"> [0..1]
<mesh> xs:string </mesh> [0..1]
<position> ... </position> [0..1]

</representation>

</representations>

<channels> [0..1]
<channel
name="xs:string [0..1]"
start="xs:string [0..1]"
end="xs:string [0..1]"
dual="xs:string [0..1]"> [0..*]
<event
name="xs:string [0..1]"/> [0..*]

</channel>

</channels>

Start Choice [1]

<mnca> mncaType </mnca> [0..*]
<block> blockType </block> [0..*]
<process> processType </process> [1..*]

End Choice
</system>

Schema Component Representation
<xs:element name="system">
<xs:complexType>
<xs:complexContent mixed="false">
<xs:extension base="blockType">
<xs:attribute name="version" type="xs:decimal" use="required"/>

</xs:extension>

</xs:complexContent>

</xs:complexType>

</xs:element>

top

Global Definitions

Complex Type: blockType

Super-types: None
Sub-types: None
Name blockType
Abstract no
Diagram
XML Instance Representation
<...
id="xs:unsignedByte [1]"
name="xs:string [1]"
implementation="xs:string [1]"
IP="xs:string [1]"
portRead="xs:unsignedShort [1]">
<representations> [0..1]
<representation
value="xs:string [0..1]"> [0..1]
<mesh> xs:string </mesh> [0..1]
<position> ... </position> [0..1]

</representation>

</representations>

<channels> [0..1]
<channel
name="xs:string [0..1]"
start="xs:string [0..1]"
end="xs:string [0..1]"
dual="xs:string [0..1]"> [0..*]
<event
name="xs:string [0..1]"/> [0..*]

</channel>

</channels>

Start Choice [1]

<mnca> mncaType </mnca> [0..*]
<block> blockType </block> [0..*]
<process> processType </process> [1..*]

End Choice
</...>

Schema Component Representation
<xs:complexType name="blockType">
<xs:sequence>
<xs:element name="representations" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="representation" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="mesh" type="xs:string" minOccurs="0"/>
<xs:element name="position" minOccurs="0"/>

</xs:sequence>

<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

</xs:complexType>

</xs:element>

<xs:element name="channels" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="channel" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:sequence>
<xs:element name="event" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="start" type="xs:string" use="optional"/>
<xs:attribute name="end" type="xs:string" use="optional"/>
<xs:attribute name="dual" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

</xs:complexType>

</xs:element>

<xs:choice>
<xs:sequence>
<xs:element name="mnca" type="mncaType" minOccurs="0" maxOccurs="unbounded"/>
<xs:element name="block" type="blockType" minOccurs="0" maxOccurs="unbounded"/>

</xs:sequence>

<xs:element name="process" type="processType" maxOccurs="unbounded"/>

</xs:choice>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="required"/>
<xs:attribute name="name" type="xs:string" use="required"/>
<xs:attribute name="implementation" type="xs:string" use="required"/>
<xs:attribute name="IP" type="xs:string" use="required"/>
<xs:attribute name="portRead" type="xs:unsignedShort" use="required"/>

</xs:complexType>

top

Complex Type: bodyType

Super-types: None
Sub-types: None
Name bodyType
Abstract no
Diagram
XML Instance Representation
<...>
Start Choice [1..*]
<decision
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
iftrue="xs:unsignedByte [0..1]"
iffalse="xs:unsignedByte [0..1]"> [0..*]
xs:string
</decision>
<create
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
target="xs:string [0..1]"
qtt="xs:unsignedByte [0..1]"/> [0..*]
<output
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
self="xs:string [0..1]"
to="xs:string [0..1]"
via="xs:string [0..1]"> [0..*]
<param
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]
<userparam
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]

</output>

<procedurecall
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"> [0..*]
<!-- Mixed content -->
Start Sequence [0..1]
<param
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]

End Sequence
</procedurecall>

<task
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"> [0..*]
xs:string
</task>

End Choice
</...>

Schema Component Representation
<xs:complexType name="bodyType">
<xs:choice maxOccurs="unbounded">
<xs:element name="decision" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:simpleContent>
<xs:extension base="xs:string">
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="iftrue" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="iffalse" type="xs:unsignedByte" use="optional"/>

</xs:extension>

</xs:simpleContent>

</xs:complexType>

</xs:element>

<xs:element name="create" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="target" type="xs:string" use="optional"/>
<xs:attribute name="qtt" type="xs:unsignedByte" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="output" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:sequence>
<xs:element name="param" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="userparam" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="self" type="xs:string" use="optional"/>
<xs:attribute name="to" type="xs:string" use="optional"/>
<xs:attribute name="via" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="procedurecall" minOccurs="0" maxOccurs="unbounded">
<xs:complexType mixed="true">
<xs:sequence minOccurs="0">
<xs:element name="param" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="task" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:simpleContent>
<xs:extension base="xs:string">
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:extension>

</xs:simpleContent>

</xs:complexType>

</xs:element>

</xs:choice>

</xs:complexType>

top

Complex Type: mncaType

Super-types: None
Sub-types: None
Name mncaType
Abstract no
Diagram
XML Instance Representation
<...
id="xs:unsignedByte [1]"
name="xs:string [1]"
implementation="xs:string [1]"
IP="xs:string [1]"
portRead="xs:string [1]">
<dim
size="xs:unsignedByte [0..1]"> [0..1]
<size> xs:unsignedByte </size> [0..*]

</dim>

<channels> [0..1]
<channel
name="xs:string [0..1]"
start="xs:string [0..1]"
end="xs:string [0..1]"
dual="xs:string [0..1]"> [0..1]
<event
name="xs:string [0..1]"/> [0..*]

</channel>

</channels>

<block> blockType </block> [0..1]
<representations> [0..1]
<representation
value="xs:string [0..1]"> [0..1]
<mesh> xs:string </mesh> [0..1]
<position> ... </position> [0..1]

</representation>

</representations>

</...>

Schema Component Representation
<xs:complexType name="mncaType">
<xs:sequence>
<xs:element name="dim" minOccurs="0" maxOccurs="1">
<xs:complexType>
<xs:sequence>
<xs:element name="size" type="xs:unsignedByte" minOccurs="0" maxOccurs="unbounded"/>

</xs:sequence>

<xs:attribute name="size" type="xs:unsignedByte" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="channels" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="channel" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="event" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="start" type="xs:string" use="optional"/>
<xs:attribute name="end" type="xs:string" use="optional"/>
<xs:attribute name="dual" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

</xs:complexType>

</xs:element>

<xs:element name="block" type="blockType" minOccurs="0"/>
<xs:element name="representations" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="representation" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="mesh" type="xs:string" minOccurs="0"/>
<xs:element name="position" minOccurs="0"/>

</xs:sequence>

<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="required"/>
<xs:attribute name="name" type="xs:string" use="required"/>
<xs:attribute name="implementation" type="xs:string" use="required"/>
<xs:attribute name="IP" type="xs:string" use="required"/>
<xs:attribute name="portRead" type="xs:string" use="required"/>

</xs:complexType>

top

Complex Type: procedureType

Super-types: None
Sub-types: None
Name procedureType
Abstract no
Diagram
XML Instance Representation
<...
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
implementation="xs:string [0..1]">
<params> [0..1]
<param
name="xs:string [0..1]"
type="xs:string [0..1]"
defvalue="xs:string [0..1]"
ref="xs:string [0..1]"/> [0..1]

</params>

<body> bodyType </body> [0..1]

</...>

Schema Component Representation
<xs:complexType name="procedureType">
<xs:sequence>
<xs:element name="params" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="param" minOccurs="0">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="type" type="xs:string" use="optional"/>
<xs:attribute name="defvalue" type="xs:string" use="optional"/>
<xs:attribute name="ref" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

</xs:complexType>

</xs:element>

<xs:element name="body" type="bodyType" minOccurs="0"/>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="implementation" type="xs:string" use="optional"/>

</xs:complexType>

top

Complex Type: processType

Super-types: None
Sub-types: None
Name processType
Abstract no
Diagram
XML Instance Representation
<...
id="xs:unsignedByte [1]"
name="xs:string [1]"
implementation="xs:string [1]"
IP="xs:string [1]"
portRead="xs:unsignedShort [1]">
<DCLS> [0..1]
<DCL
name="xs:string [0..1]"
type="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]

</DCLS>

<procedures> [0..1]
<procedure
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
implementation="xs:string [0..1]"> [0..*]
<params> [0..1]
<param
name="xs:string [0..1]"
type="xs:string [0..1]"
defvalue="xs:string [0..1]"
ref="xs:string [0..1]"/> [0..1]

</params>

<body> bodyType </body> [0..1]

</procedure>

</procedures>

<start> startType </start> [0..1]
<state
name="xs:string [0..1]"> [0..*]
Start Choice [1..*]
<decision
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
iftrue="xs:unsignedByte [0..1]"
iffalse="xs:unsignedByte [0..1]"> [0..*]
xs:string
</decision>
<create
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
target="xs:string [0..1]"
qtt="xs:unsignedByte [0..1]"/> [0..*]
<output
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
self="xs:string [0..1]"
to="xs:string [0..1]"
via="xs:string [0..1]"> [0..*]
<param
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]
<userparam
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]

</output>

<procedurecall
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"> [0..*]
<!-- Mixed content -->
Start Sequence [0..1]
<param
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]

End Sequence
</procedurecall>

<task
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"> [0..*]
xs:string
</task>
<setstate
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"/> [0..*]
<input
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"> [0..*]
Start Sequence [0..1]
<param
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..1]

End Sequence
</input>

End Choice
</state>

</...>

Schema Component Representation
<xs:complexType name="processType">
<xs:sequence>
<xs:element name="DCLS" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="DCL" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="type" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

</xs:complexType>

</xs:element>

<xs:element name="procedures" minOccurs="0">
<xs:complexType>
<xs:sequence>
<xs:element name="procedure" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:complexContent mixed="false">
<xs:extension base="procedureType"/>

</xs:complexContent>

</xs:complexType>

</xs:element>

</xs:sequence>

</xs:complexType>

</xs:element>

<xs:element name="start" type="startType" minOccurs="0"/>
<xs:element name="state" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:complexContent mixed="false">
<xs:extension base="stateType">
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:extension>

</xs:complexContent>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="required"/>
<xs:attribute name="name" type="xs:string" use="required"/>
<xs:attribute name="implementation" type="xs:string" use="required"/>
<xs:attribute name="IP" type="xs:string" use="required"/>
<xs:attribute name="portRead" type="xs:unsignedShort" use="required"/>

</xs:complexType>

top

Complex Type: startType

Super-types: None
Sub-types: None
Name startType
Abstract no
Diagram
XML Instance Representation
<...>
Start Choice [1..*]
<decision
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
iftrue="xs:unsignedByte [0..1]"
iffalse="xs:unsignedByte [0..1]"> [0..*]
xs:string
</decision>
<create
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
target="xs:string [0..1]"
qtt="xs:unsignedByte [0..1]"/> [0..*]
<output
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
self="xs:string [0..1]"
to="xs:string [0..1]"
via="xs:string [0..1]"> [0..*]
<param
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]
<userparam
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]

</output>

<procedurecall
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"> [0..*]
<!-- Mixed content -->
Start Sequence [0..1]
<param
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]

End Sequence
</procedurecall>

<task
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"> [0..*]
xs:string
</task>
<setstate
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"/> [0..*]

End Choice
</...>

Schema Component Representation
<xs:complexType name="startType">
<xs:choice maxOccurs="unbounded">
<xs:element name="decision" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:simpleContent>
<xs:extension base="xs:string">
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="iftrue" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="iffalse" type="xs:unsignedByte" use="optional"/>

</xs:extension>

</xs:simpleContent>

</xs:complexType>

</xs:element>

<xs:element name="create" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="target" type="xs:string" use="optional"/>
<xs:attribute name="qtt" type="xs:unsignedByte" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="output" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:sequence>
<xs:element name="param" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="userparam" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="self" type="xs:string" use="optional"/>
<xs:attribute name="to" type="xs:string" use="optional"/>
<xs:attribute name="via" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="procedurecall" minOccurs="0" maxOccurs="unbounded">
<xs:complexType mixed="true">
<xs:sequence minOccurs="0">
<xs:element name="param" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="task" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:simpleContent>
<xs:extension base="xs:string">
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:extension>

</xs:simpleContent>

</xs:complexType>

</xs:element>

<xs:element name="setstate" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:choice>

</xs:complexType>

top

Complex Type: stateType

Super-types: None
Sub-types: None
Name stateType
Abstract no
Diagram
XML Instance Representation
<...>
Start Choice [1..*]
<decision
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
iftrue="xs:unsignedByte [0..1]"
iffalse="xs:unsignedByte [0..1]"> [0..*]
xs:string
</decision>
<create
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
target="xs:string [0..1]"
qtt="xs:unsignedByte [0..1]"/> [0..*]
<output
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"
self="xs:string [0..1]"
to="xs:string [0..1]"
via="xs:string [0..1]"> [0..*]
<param
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]
<userparam
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]

</output>

<procedurecall
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"> [0..*]
<!-- Mixed content -->
Start Sequence [0..1]
<param
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..*]

End Sequence
</procedurecall>

<task
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"> [0..*]
xs:string
</task>
<setstate
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"/> [0..*]
<input
id="xs:unsignedByte [0..1]"
name="xs:string [0..1]"> [0..*]
Start Sequence [0..1]
<param
name="xs:string [0..1]"
value="xs:string [0..1]"/> [0..1]

End Sequence
</input>

End Choice
</...>

Schema Component Representation
<xs:complexType name="stateType">
<xs:choice maxOccurs="unbounded">
<xs:element name="decision" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:simpleContent>
<xs:extension base="xs:string">
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="iftrue" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="iffalse" type="xs:unsignedByte" use="optional"/>

</xs:extension>

</xs:simpleContent>

</xs:complexType>

</xs:element>

<xs:element name="create" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="target" type="xs:string" use="optional"/>
<xs:attribute name="qtt" type="xs:unsignedByte" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="output" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:sequence>
<xs:element name="param" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="userparam" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="self" type="xs:string" use="optional"/>
<xs:attribute name="to" type="xs:string" use="optional"/>
<xs:attribute name="via" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="procedurecall" minOccurs="0" maxOccurs="unbounded">
<xs:complexType mixed="true">
<xs:sequence minOccurs="0">
<xs:element name="param" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="task" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:simpleContent>
<xs:extension base="xs:string">
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:extension>

</xs:simpleContent>

</xs:complexType>

</xs:element>

<xs:element name="setstate" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

<xs:element name="input" minOccurs="0" maxOccurs="unbounded">
<xs:complexType>
<xs:sequence minOccurs="0">
<xs:element name="param" minOccurs="0">
<xs:complexType>
<xs:attribute name="name" type="xs:string" use="optional"/>
<xs:attribute name="value" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:sequence>

<xs:attribute name="id" type="xs:unsignedByte" use="optional"/>
<xs:attribute name="name" type="xs:string" use="optional"/>

</xs:complexType>

</xs:element>

</xs:choice>

</xs:complexType>

top

Legend

Complex Type:

Schema Component Type

AusAddress

Schema Component Name
Super-types: Address < AusAddress (by extension)
Sub-types:
  • QLDAddress (by restriction)
If this schema component is a type definition, its type hierarchy is shown in a gray-bordered box.
Name AusAddress
Abstract no
The table above displays the properties of this schema component.
XML Instance Representation
<... country="Australia" >
<unitNo> string </unitNo> [0..1]
<houseNo> string </houseNo> [1]
<street> string </street> [1]
Start Choice [1]
<city> string </city> [1]
<town> string </town> [1]
End Choice
<state> AusStates </state> [1]
<postcode> string <<pattern = [1-9][0-9]{3}>> </postcode> [1] ?
</...>
 

The XML Instance Representation table above shows the schema component's content as an XML instance.

  • The minimum and maximum occurrence of elements and attributes are provided in square brackets, e.g. [0..1].
  • Model group information are shown in gray, e.g. Start Choice ... End Choice.
  • For type derivations, the elements and attributes that have been added to or changed from the base type's content are shown in bold.
  • If an element/attribute has a fixed value, the fixed value is shown in green, e.g. country="Australia".
  • Otherwise, the type of the element/attribute is displayed.
    • If the element/attribute's type is in the schema, a link is provided to it.
    • For local simple type definitions, the constraints are displayed in angle brackets, e.g. <<pattern = [1-9][0-9]{3}>>.
  • If a local element/attribute has documentation, it will be displayed in a window that pops up when the question mark inside the attribute or next to the element is clicked, e.g. <postcode>.
Schema Component Representation
<complexType name="AusAddress">
<complexContent>
<extension base="Address">
<sequence>
<element name="state" type="AusStates"/>
<element name="postcode">
<simpleType>
<restriction base="string">
<pattern value="[1-9][0-9]{3}"/>
</restriction>
</simpleType>
</element>
</sequence>
<attribute name="country" type="string" fixed="Australia"/>
</extension>
</complexContent>
</complexType>
 
The Schema Component Representation table above displays the underlying XML representation of the schema component. (Annotations are not shown.)
top

Glossary

Abstract (Applies to complex type definitions and element declarations). An abstract element or complex type cannot used to validate an element instance. If there is a reference to an abstract element, only element declarations that can substitute the abstract element can be used to validate the instance. For references to abstract type definitions, only derived types can be used.

All Model Group Child elements can be provided in any order in instances. See: http://www.w3.org/TR/xmlschema-1/#element-all.

Choice Model Group Only one from the list of child elements and model groups can be provided in instances. See: http://www.w3.org/TR/xmlschema-1/#element-choice.

Collapse Whitespace Policy Replace tab, line feed, and carriage return characters with space character (Unicode character 32). Then, collapse contiguous sequences of space characters into single space character, and remove leading and trailing space characters.

Disallowed Substitutions (Applies to element declarations). If substitution is specified, then substitution group members cannot be used in place of the given element declaration to validate element instances. If derivation methods, e.g. extension, restriction, are specified, then the given element declaration will not validate element instances that have types derived from the element declaration's type using the specified derivation methods. Normally, element instances can override their declaration's type by specifying an xsi:type attribute.

Key Constraint Like Uniqueness Constraint, but additionally requires that the specified value(s) must be provided. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

Key Reference Constraint Ensures that the specified value(s) must match value(s) from a Key Constraint or Uniqueness Constraint. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

Model Group Groups together element content, specifying the order in which the element content can occur and the number of times the group of element content may be repeated. See: http://www.w3.org/TR/xmlschema-1/#Model_Groups.

Nillable (Applies to element declarations). If an element declaration is nillable, instances can use the xsi:nil attribute. The xsi:nil attribute is the boolean attribute, nil, from the http://www.w3.org/2001/XMLSchema-instance namespace. If an element instance has an xsi:nil attribute set to true, it can be left empty, even though its element declaration may have required content.

Notation A notation is used to identify the format of a piece of data. Values of elements and attributes that are of type, NOTATION, must come from the names of declared notations. See: http://www.w3.org/TR/xmlschema-1/#cNotation_Declarations.

Preserve Whitespace Policy Preserve whitespaces exactly as they appear in instances.

Prohibited Derivations (Applies to type definitions). Derivation methods that cannot be used to create sub-types from a given type definition.

Prohibited Substitutions (Applies to complex type definitions). Prevents sub-types that have been derived using the specified derivation methods from validating element instances in place of the given type definition.

Replace Whitespace Policy Replace tab, line feed, and carriage return characters with space character (Unicode character 32).

Sequence Model Group Child elements and model groups must be provided in the specified order in instances. See: http://www.w3.org/TR/xmlschema-1/#element-sequence.

Substitution Group Elements that are members of a substitution group can be used wherever the head element of the substitution group is referenced.

Substitution Group Exclusions (Applies to element declarations). Prohibits element declarations from nominating themselves as being able to substitute a given element declaration, if they have types that are derived from the original element's type using the specified derivation methods.

Target Namespace The target namespace identifies the namespace that components in this schema belongs to. If no target namespace is provided, then the schema components do not belong to any namespace.

Uniqueness Constraint Ensures uniqueness of an element/attribute value, or a combination of values, within a specified scope. See: http://www.w3.org/TR/xmlschema-1/#cIdentity-constraint_Definitions.

top

User manual

SDLPS user manual. Is not yet complete, very early first version.

AttachmentSize
SDLPS.pdf1.76 MB

Using Specification and Description Language to Formalize Social Simulation Models

Download material for the Simple Reflexive Agent model.

AttachmentSize
SimpleReflexiveAgent v2.nlogo14.47 KB
Rmas.sdlps7.6 KB