XML Schema Documentation

Target Namespace	http://www.activecomponents.org/jadex-bdi
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.
Schema Composition	This schema includes components from the following schema document(s): http://www.activecomponents.org/jadex-component-base-${jadex_build_version}.xsd

Prefix	Namespace
Default namespace	http://www.activecomponents.org/jadex-bdi
xml	http://www.w3.org/XML/1998/namespace
xs	http://www.w3.org/2001/XMLSchema

Name	agent
Type	agenttype
Nillable	no
Abstract	no
Documentation	Defines a new agent type.

XML Instance Representation

Start All [1]

<imports> imports </imports> [0..1]

<componenttypes> componenttypes </componenttypes> [0..1]

<services> services </services> [0..1]

<properties> properties </properties> [0..1]

<configurations> aconfigurations </configurations> [0..1]

<capabilities> MCapabilityBase </capabilities> [0..1]

<beliefs> MBeliefbase </beliefs> [0..1]

<goals> MGoalbase </goals> [0..1]

<plans> MPlanbase </plans> [0..1]

<events> MEventbase </events> [0..1]

<expressions> MExpressionbase </expressions> [0..1]

End All
</agent>

Schema Component Representation

< xs:element name =" agent " type =" agenttype ">

< xs:key name =" agent_capability_name ">

< xs:selector xpath =" capabilities/capability "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" agent_belief_name ">

< xs:selector xpath =" beliefs/belief|beliefs/beliefset|beliefs/beliefref|beliefs/beliefsetref "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" agent_belief_key ">

< xs:selector xpath =" beliefs/belief|beliefs/beliefref "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" agent_beliefset_key ">

< xs:selector xpath =" beliefs/beliefset|beliefs/beliefsetref "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" agent_goal_name ">

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" agent_plan_name ">

< xs:selector xpath =" plans/plan "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" agent_internalevent_name ">

< xs:selector xpath =" events/internalevent|events/internaleventref "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" agent_messageevent_name ">

< xs:selector xpath =" events/messageevent|events/messageeventref "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:keyref name =" agent_belief_trigger " refer =" agent_belief_name ">

< xs:selector xpath =" plans/plan/trigger/factchanged "/>

< xs:field xpath =" @ref "/>

<-- Both beliefs and belief sets allowed. -->

</ xs:keyref >

< xs:keyref name =" agent_beliefset_trigger " refer =" agent_beliefset_key ">

< xs:selector xpath =" plans/plan/trigger/factadded|plans/plan/trigger/factremoved "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_goal_trigger " refer =" agent_goal_name ">

< xs:selector xpath =" plans/plan/trigger/goalfinished|plans/plan/trigger/goal|plans/plan/waitqueue/goalfinished|goals/metagoal/trigger/goalfinished|goals/metagoal/trigger/goal "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_internalevent_trigger " refer =" agent_internalevent_name ">

< xs:selector xpath =" plans/plan/trigger/internalevent|plans/plan/waitqueue/internalevent|goals/metagoal/trigger/internalevent "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_messageevent_trigger " refer =" agent_messageevent_name ">

< xs:selector xpath =" plans/plan/trigger/messageevent|plans/plan/waitqueue/messageevent|goals/metagoal/trigger/messageevent "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_inhibits_reference " refer =" agent_goal_name ">

< xs:selector xpath =" goals/performgoal/deliberation/inhibits|goals/achievegoal/deliberation/inhibits|goals/querygoal/deliberation/inhibits|goals/maintaingoal/deliberation/inhibits|goals/metagoal/deliberation/inhibits|goals/performgoalref/deliberation/inhibits|goals/achievegoalref/deliberation/inhibits|goals/querygoalref/deliberation/inhibits|goals/maintaingoalref/deliberation/inhibits|goals/metagoalref/deliberation/inhibits "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_capability_reference " refer =" agent_capability_name ">

< xs:selector xpath =" configurations/configuration/capabilities/initialcapability "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_belief_reference " refer =" agent_belief_key ">

< xs:selector xpath =" configurations/configuration/beliefs/initialbelief "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_beliefset_reference " refer =" agent_beliefset_key ">

< xs:selector xpath =" configurations/configuration/beliefs/initialbeliefset "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_goal_reference " refer =" agent_goal_name ">

< xs:selector xpath =" configurations/configuration/goals/initialgoal|configurations/configuration/goals/endgoal "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_plan_reference " refer =" agent_plan_name ">

< xs:selector xpath =" configurations/configuration/plans/initialplan|configurations/configuration/plans/endplan "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_internalevent_reference " refer =" agent_internalevent_name ">

< xs:selector xpath =" configurations/configuration/internalevents/initialinternalevent|configurations/configuration/internalevents/endinternalevent "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" agent_messageevent_reference " refer =" agent_messageevent_name ">

< xs:selector xpath =" configurations/configuration/messageevents/initialmessageevent|configurations/configuration/messageevents/endmessageevent "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:key name =" agent_component_name ">

< xs:selector xpath =" componenttypes/componenttype "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" agent_providedservice_key ">

< xs:selector xpath =" services/providedservice "/>

< xs:field xpath =" @name|@class "/>

</ xs:key >

< xs:unique name =" agent_providedservice_name ">

< xs:selector xpath =" services/providedservice "/>

< xs:field xpath =" @name "/>

</ xs:unique >

< xs:key name =" agent_requiredservice_name ">

< xs:selector xpath =" services/requiredservice "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" agent_property_name ">

< xs:selector xpath =" properties/property "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:keyref name =" agent_component_reference " refer =" agent_component_name ">

< xs:selector xpath =" configurations/configuration/components/component "/>

< xs:field xpath =" @type "/>

</ xs:keyref >

< xs:keyref name =" agent_providedservice_reference " refer =" agent_providedservice_key ">

< xs:selector xpath =" configurations/configuration/services/providedservice "/>

< xs:field xpath =" @name|@class "/>

</ xs:keyref >

< xs:keyref name =" agent_requiredservice_reference " refer =" agent_requiredservice_name ">

< xs:selector xpath =" configurations/configuration/services/requiredservice "/>

< xs:field xpath =" @name "/>

</ xs:keyref >

<-- unique keys on type level -->

<-- key references in triggers / deliberation -->

<-- key references in configurations -->

<-- copied from jadex-component.xsd, prefixed with 'agent_' to avoid name clashes. -->

</ xs:element >

Element: capability

Name	capability
Type	MCapability
Nillable	no
Abstract	no
Documentation	Defines a new capability type.

XML Instance Representation

Start All [1]

<imports> imports </imports> [0..1]

<componenttypes> componenttypes </componenttypes> [0..1]

<services> services </services> [0..1]

<properties> properties </properties> [0..1]

<configurations> aconfigurations </configurations> [0..1]

<capabilities> MCapabilityBase </capabilities> [0..1]

<beliefs> MBeliefbase </beliefs> [0..1]

<goals> MGoalbase </goals> [0..1]

<plans> MPlanbase </plans> [0..1]

<events> MEventbase </events> [0..1]

<expressions> MExpressionbase </expressions> [0..1]

End All
</capability>

Schema Component Representation

< xs:element name =" capability " type =" MCapability ">

< xs:key name =" capa_capability_name ">

< xs:selector xpath =" capabilities/capability "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" capa_belief_name ">

< xs:selector xpath =" beliefs/belief|beliefs/beliefset|beliefs/beliefref|beliefs/beliefsetref "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" capa_belief_key ">

< xs:selector xpath =" beliefs/belief|beliefs/beliefref "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" capa_beliefset_key ">

< xs:selector xpath =" beliefs/beliefset|beliefs/beliefsetref "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" capa_goal_name ">

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" capa_plan_name ">

< xs:selector xpath =" plans/plan "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" capa_internalevent_name ">

< xs:selector xpath =" events/internalevent|events/internaleventref "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" capa_messageevent_name ">

< xs:selector xpath =" events/messageevent|events/messageeventref "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:keyref name =" capa_belief_trigger " refer =" capa_belief_name ">

< xs:selector xpath =" plans/plan/trigger/factchanged "/>

< xs:field xpath =" @ref "/>

<-- Both beliefs and belief sets allowed. -->

</ xs:keyref >

< xs:keyref name =" capa_beliefset_trigger " refer =" capa_beliefset_key ">

< xs:selector xpath =" plans/plan/trigger/factadded|plans/plan/trigger/factremoved "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_goal_trigger " refer =" capa_goal_name ">

< xs:selector xpath =" plans/plan/trigger/goalfinished|plans/plan/trigger/goal|plans/plan/waitqueue/goalfinished|goals/metagoal/trigger/goalfinished|goals/metagoal/trigger/goal "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_internalevent_trigger " refer =" capa_internalevent_name ">

< xs:selector xpath =" plans/plan/trigger/internalevent|plans/plan/waitqueue/internalevent|goals/metagoal/trigger/internalevent "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_messageevent_trigger " refer =" capa_messageevent_name ">

< xs:selector xpath =" plans/plan/trigger/messageevent|plans/plan/waitqueue/messageevent|goals/metagoal/trigger/messageevent "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_inhibits_reference " refer =" capa_goal_name ">

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_capability_reference " refer =" capa_capability_name ">

< xs:selector xpath =" configurations/configuration/capabilities/initialcapability "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_belief_reference " refer =" capa_belief_key ">

< xs:selector xpath =" configurations/configuration/beliefs/initialbelief "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_beliefset_reference " refer =" capa_beliefset_key ">

< xs:selector xpath =" configurations/configuration/beliefs/initialbeliefset "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_goal_reference " refer =" capa_goal_name ">

< xs:selector xpath =" configurations/configuration/goals/initialgoal|configurations/configuration/goals/endgoal "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_plan_reference " refer =" capa_plan_name ">

< xs:selector xpath =" configurations/configuration/plans/initialplan|configurations/configuration/plans/endplan "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_internalevent_reference " refer =" capa_internalevent_name ">

< xs:selector xpath =" configurations/configuration/internalevents/initialinternalevent|configurations/configuration/internalevents/endinternalevent "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:keyref name =" capa_messageevent_reference " refer =" capa_messageevent_name ">

< xs:selector xpath =" configurations/configuration/messageevents/initialmessageevent|configurations/configuration/messageevents/endmessageevent "/>

< xs:field xpath =" @ref "/>

</ xs:keyref >

< xs:key name =" capa_component_name ">

< xs:selector xpath =" componenttypes/componenttype "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" capa_providedservice_key ">

< xs:selector xpath =" services/providedservice "/>

< xs:field xpath =" @name|@class "/>

</ xs:key >

< xs:unique name =" capa_providedservice_name ">

< xs:selector xpath =" services/providedservice "/>

< xs:field xpath =" @name "/>

</ xs:unique >

< xs:key name =" capa_requiredservice_name ">

< xs:selector xpath =" services/requiredservice "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" capa_property_name ">

< xs:selector xpath =" properties/property "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:keyref name =" capa_component_reference " refer =" capa_component_name ">

< xs:selector xpath =" configurations/configuration/components/component "/>

< xs:field xpath =" @type "/>

</ xs:keyref >

< xs:keyref name =" capa_providedservice_reference " refer =" capa_providedservice_key ">

< xs:selector xpath =" configurations/configuration/services/providedservice "/>

< xs:field xpath =" @name|@class "/>

</ xs:keyref >

< xs:keyref name =" capa_requiredservice_reference " refer =" capa_requiredservice_name ">

< xs:selector xpath =" configurations/configuration/services/requiredservice "/>

< xs:field xpath =" @name "/>

</ xs:keyref >

<-- unique keys on type level -->

<-- key references in triggers / deliberation -->

<-- key references in configurations -->

<-- copied from jadex-component.xsd, prefixed with 'capa_' to avoid name clashes. -->

</ xs:element >

Global Definitions

Complex Type: aconfiguration

Super-types:	startabletype < aconfiguration (by extension)
Sub-types:	None

Name	aconfiguration
Abstract	no
Documentation	A predefined application configuration.

XML Instance Representation

<...
name=" xs :string [1] " >

Start All [1]

<components> configcomponents </components> [0..1]

<services> configservices </services> [0..1]

<capabilities> MConfigCapabilitybase

</capabilities> [0..1]

<beliefs> MConfigBeliefbase

</beliefs> [0..1]

<goals> MConfigGoalbase </goals> [0..1]

<plans> MConfigPlanbase </plans> [0..1]

<events> MConfigEventbase </events> [0..1]

End All
</...>

Schema Component Representation

< xs:complexType name =" aconfiguration ">

< xs:complexContent >

< xs:extension base =" startabletype ">

< xs:all >

< xs:element name =" components " type =" configcomponents " minOccurs =" 0 "/>

< xs:element name =" services " type =" configservices " minOccurs =" 0 "/>

< xs:element name =" capabilities " type =" MConfigCapabilitybase " minOccurs =" 0 ">

< xs:key name =" config_capability_name ">

< xs:selector xpath =" initialcapability "/>

< xs:field xpath =" @ref "/>

</ xs:key >

</ xs:element >

< xs:element name =" beliefs " type =" MConfigBeliefbase " minOccurs =" 0 ">

< xs:unique name =" config_belief_name ">

< xs:selector xpath =" initialbelief|initialbeliefset "/>

< xs:field xpath =" @ref "/>

</ xs:unique >

< xs:unique name =" config_belief_cref ">

< xs:selector xpath =" initialbelief|initialbeliefset "/>

< xs:field xpath =" @cref "/>

</ xs:unique >

</ xs:element >

< xs:element name =" goals " type =" MConfigGoalbase " minOccurs =" 0 "/>

< xs:element name =" plans " type =" MConfigPlanbase " minOccurs =" 0 "/>

< xs:element name =" events " type =" MConfigEventbase " minOccurs =" 0 "/>

</ xs:all >

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

</ xs:extension >

</ xs:complexContent >

</ xs:complexType >

Complex Type: aconfigurations

Super-types:	None
Sub-types:	None

Name	aconfigurations
Abstract	no
Documentation	In the configurations section, predefined component configurations (i.e. component instances) can be defined.

XML Instance Representation

<...>

<configuration> aconfiguration

</configuration> [0..*] ?

</...>

Schema Component Representation

< xs:complexType name =" aconfigurations ">

< xs:sequence >

< xs:element name =" configuration " type =" aconfiguration " minOccurs =" 0 " maxOccurs =" unbounded ">

< xs:key name =" aconfig_argument_name ">

< xs:selector xpath =" arguments/argument "/>

< xs:field xpath =" @name "/>

</ xs:key >

< xs:key name =" aconfig_providedservice_key ">

< xs:selector xpath =" services/providedservice "/>

< xs:field xpath =" @name|@class "/>

</ xs:key >

< xs:unique name =" aconfig_providedservice_name ">

< xs:selector xpath =" services/providedservice "/>

< xs:field xpath =" @name "/>

</ xs:unique >

< xs:key name =" aconfig_requiredservice_name ">

< xs:selector xpath =" services/requiredservice "/>

< xs:field xpath =" @name "/>

</ xs:key >

<-- Configuration unique constraints defined here, because elements need only be unique inside one config. -->

</ xs:element >

</ xs:sequence >

</ xs:complexType >

Complex Type: agenttype

Super-types:	startabletype < agenttype (by extension)
Sub-types:	None

Name	agenttype
Abstract	no
Documentation	An agent type specifies the interface, the structure, content and behavior of an agent.

XML Instance Representation

<...
name=" xs :string [1] "
package=" xs :string [0..1] " >

Start All [1]

<imports> imports </imports> [0..1]

<componenttypes> componenttypes </componenttypes> [0..1]

<services> services </services> [0..1]

<properties> properties </properties> [0..1]

<configurations> aconfigurations </configurations> [0..1]

<capabilities> MCapabilityBase </capabilities> [0..1]

<beliefs> MBeliefbase </beliefs> [0..1]

<goals> MGoalbase </goals> [0..1]

<plans> MPlanbase </plans> [0..1]

<events> MEventbase </events> [0..1]

<expressions> MExpressionbase </expressions> [0..1]

End All
</...>

Schema Component Representation

< xs:complexType name =" agenttype ">

< xs:complexContent >

< xs:extension base =" startabletype ">

< xs:all >

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

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

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

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

< xs:element name =" configurations " type =" aconfigurations " minOccurs =" 0 "/>

< xs:element name =" capabilities " type =" MCapabilityBase " minOccurs =" 0 "/>

< xs:element name =" beliefs " type =" MBeliefbase " minOccurs =" 0 "/>

< xs:element name =" goals " type =" MGoalbase " minOccurs =" 0 "/>

< xs:element name =" plans " type =" MPlanbase " minOccurs =" 0 "/>

< xs:element name =" events " type =" MEventbase " minOccurs =" 0 "/>

< xs:element name =" expressions " type =" MExpressionbase " minOccurs =" 0 "/>

</ xs:all >

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

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

</ xs:extension >

</ xs:complexContent >

</ xs:complexType >

Complex Type: MAchieveGoal

Super-types:	MElement < MReferenceableElement (by extension) < MGoal (by extension) < MAchieveGoal (by extension)
Sub-types:	None

Name	MAchieveGoal
Abstract	no
Documentation	An achieve goal aims at bringing about a target state.

XML Instance Representation

<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? "
retry=" xs :boolean [0..1] ? "
randomselection=" xs :boolean [0..1] ? "
retrydelay=" xs :long [0..1] ? "
exclude=" xs :string ( value comes from list: {'never'|'when_tried'|'when_failed'|'when_succeeded'}) [0..1] ? "
posttoall=" xs :boolean [0..1] ? "
recalculate=" xs :boolean [0..1] ? "
recur=" xs :boolean [0..1] "
recurdelay=" xs :long [0..1] " >

<assignto> MAssign </assignto> [0..*] ?

Start Choice [0..*]

<parameter> MGoalParameter </parameter> [0..*] ?

<parameterset> MGoalParameterSet </parameterset> [0..*] ?

End Choice

<unique> MUnique </unique> [0..1] ?

<creationcondition> MBindingCondition </creationcondition> [0..1] ?

<contextcondition> MInternalCondition </contextcondition> [0..1] ?

<dropcondition> MInternalCondition </dropcondition> [0..1] ?

<recurcondition> MInternalCondition </recurcondition> [0..1]

<deliberation> MDeliberation </deliberation> [0..1] ?

<publish> MPublish </publish> [0..1]

<targetcondition> MInternalCondition </targetcondition> [0..1] ?

</...>

Schema Component Representation

< xs:complexType name =" MAchieveGoal " mixed =" true ">

< xs:complexContent mixed =" true ">

< xs:extension base =" MGoal ">

< xs:sequence >

< xs:element name =" targetcondition " type =" MInternalCondition " minOccurs =" 0 "/>

</ xs:sequence >

</ xs:extension >

</ xs:complexContent >

</ xs:complexType >

Complex Type: MAchieveGoalReference

Super-types:	MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MGoalReference (by extension) < MAchieveGoalReference (by extension)
Sub-types:	None

Name	MAchieveGoalReference
Abstract	no
Documentation	Reference to an achieve goal.

XML Instance Representation

<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >

<assignto> MAssign </assignto> [0..*] ?

Start Choice [1]

<concrete> MAssign </concrete> [1] ?

<abstract
required=" xs :boolean [0..1] ? " /> [1] ?

End Choice

<deliberation> MDeliberation </deliberation> [0..1]

</...>

Schema Component Representation

< xs:complexType name =" MAchieveGoalReference " mixed =" true ">

< xs:complexContent mixed =" true ">

< xs:extension base =" MGoalReference "/>

</ xs:complexContent >

</ xs:complexType >

Complex Type: MAssign

Super-types:	MElementNoName < MAssign (by extension)
Sub-types:	None

Name	MAssign
Abstract	no
Documentation	Used to define a reference to an element from another capability.

XML Instance Representation

<...
ref=" xs :string [1] " />

Schema Component Representation

< xs:complexType name =" MAssign ">

< xs:complexContent >

< xs:extension base =" MElementNoName ">

< xs:attribute name =" ref " type =" xs :string " use =" required "/>

</ xs:extension >

</ xs:complexContent >

</ xs:complexType >

Complex Type: MBase

Super-types:	MElementNoName < MBase (by extension)
Sub-types:	MBeliefbase (by extension) MGoalbase (by extension) MPlanbase (by extension) MEventbase (by extension) MExpressionbase (by extension)

Name	MBase
Abstract	yes
Documentation	Base type for all bases, e.g. beliefbase, planbase, goalbase, etc.

XML Instance Representation

<.../>

Schema Component Representation

< xs:complexType name =" MBase " abstract =" true ">

< xs:complexContent >

< xs:extension base =" MElementNoName "/>

</ xs:complexContent >

</ xs:complexType >

Complex Type: MBelief

Super-types:	MElement < MReferenceableElement (by extension) < MTypedElement (by extension) < MBelief (by extension)
Sub-types:	None

Name	MBelief
Abstract	no
Documentation	A belief represents a single-valued piece of information.

XML Instance Representation

<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? "
class=" xs :string [1] ? "
updaterate=" xs :string [0..1] ? "
transient=" xs :boolean [0..1] ? "
evaluationmode=" xs :string ( value comes from list: {'static'|'push'|'pull'}) [0..1] "
argument=" xs :boolean [0..1] "
result=" xs :boolean [0..1] " >

<assignto> MAssign </assignto> [0..*] ?

<fact> MFactType </fact> [0..1] ?

</...>

Schema Component Representation

< xs:complexType name =" MBelief " mixed =" true ">

< xs:complexContent mixed =" true ">

< xs:extension base =" MTypedElement ">

< xs:sequence >

< xs:element name =" fact " type =" MFactType " minOccurs =" 0 "/>

</ xs:sequence >

< xs:attribute name =" argument " type =" xs :boolean "/>

< xs:attribute name =" result " type =" xs :boolean "/>

</ xs:extension >

</ xs:complexContent >

</ xs:complexType >

Complex Type: MBeliefbase

Super-types:	MElementNoName < MBase (by extension) < MBeliefbase (by extension)
Sub-types:	None

Name	MBeliefbase
Abstract	no
Documentation	Container for beliefs, beliefsets and corresponding references. In the beliefs section single-valued beliefs or multi-valued belief-references can be declared. Additionally references to exported or abstract beliefs of other capabilities can be specified.

XML Instance Representation

<...>
Start Choice [0..*]

<belief> MBelief </belief> [0..*] ?

<beliefset> MBeliefSet </beliefset> [0..*] ?

<beliefref> MBeliefReference </beliefref> [0..*] ?

<beliefsetref> MBeliefSetReference </beliefsetref> [0..*] ?

End Choice
</...>

Schema Component Representation

< xs:complexType name =" MBeliefbase ">

< xs:complexContent >

< xs:extension base =" MBase ">

< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">

< xs:element name =" belief " type =" MBelief " minOccurs =" 0 " maxOccurs =" unbounded "/>

< xs:element name =" beliefset " type =" MBeliefSet " minOccurs =" 0 " maxOccurs =" unbounded "/>

< xs:element name =" beliefref " type =" MBeliefReference " minOccurs =" 0 " maxOccurs =" unbounded "/>

< xs:element name =" beliefsetref " type =" MBeliefSetReference " minOccurs =" 0 " maxOccurs =" unbounded "/>

</ xs:choice >

</ xs:extension >

</ xs:complexContent >

</ xs:complexType >

Complex Type: MBeliefReference

Super-types:	MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MBeliefReference (by extension)
Sub-types:	None

Name	MBeliefReference
Abstract	no
Documentation	Reference to a belief.

XML Instance Representation

<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? "
argument=" xs :boolean [0..1] "
result=" xs :boolean [0..1] " >

<assignto> MAssign </assignto> [0..*] ?

Start Choice [1]

<concrete> MAssign </concrete> [1] ?

<abstract
required=" xs :boolean [0..1] ? " /> [1] ?

End Choice
</...>

Schema Component Representation

< xs:complexType name =" MBeliefReference " mixed =" true ">

< xs:complexContent mixed =" true ">

<-- <xs:extension base="MTypedElementReference"> -->

< xs:extension base =" MElementReference ">

< xs:attribute name =" argument " type =" xs :boolean "/>

< xs:attribute name =" result " type =" xs :boolean "/>

</ xs:extension >

</ xs:complexContent >

</ xs:complexType >

Complex Type: MBeliefSet

Super-types:	MElement < MReferenceableElement (by extension) < MTypedElement (by extension) < MBeliefSet (by extension)
Sub-types:	None

Name	MBeliefSet
Abstract	no
Documentation	A belief represents a multi-valued piece of information.

XML Instance Representation

<assignto> MAssign </assignto> [0..*] ?

Start Choice [1]

<fact> MInternalExpression </fact> [0..*] ?

<facts> MInternalExpression </facts> [0..1] ?

End Choice
</...>

Schema Component Representation

< xs:complexType name =" MBeliefSet " mixed =" true ">

< xs:complexContent mixed =" true ">

< xs:extension base =" MTypedElement ">

< xs:choice >

< xs:element name =" fact " type =" MInternalExpression " minOccurs =" 0 " maxOccurs =" unbounded "/>

< xs:element name =" facts " type =" MInternalExpression " minOccurs =" 0 "/>

</ xs:choice >

< xs:attribute name =" argument " type =" xs :boolean "/>

< xs:attribute name =" result " type =" xs :boolean "/>

</ xs:extension >

</ xs:complexContent >

</ xs:complexType >

Complex Type: MBeliefSetReference

Super-types:	MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MBeliefSetReference (by extension)
Sub-types:	None

Name	MBeliefSetReference
Abstract	no
Documentation	Reference to a belief set.

XML Instance Representation

<assignto> MAssign </assignto> [0..*] ?

Start Choice [1]

<concrete> MAssign </concrete> [1] ?

<abstract
required=" xs :boolean [0..1] ? " /> [1] ?

End Choice
</...>

Schema Component Representation

< xs:complexType name =" MBeliefSetReference " mixed =" true ">

< xs:complexContent mixed =" true ">

<-- <xs:extension base="MTypedElementSetReference"> -->

< xs:extension base =" MElementReference ">

< xs:attribute name =" argument " type =" xs :boolean "/>

< xs:attribute name =" result " type =" xs :boolean "/>

</ xs:extension >

</ xs:complexContent >

</ xs:complexType >

Complex Type: MBindingCondition

Super-types:	MElementNoName < MInternalExpression (by extension) < MInternalCondition (by extension) < MBindingCondition (by extension)
Sub-types:	None

Name	MBindingCondition
Abstract	no
Documentation	A condition used for binding purposes (multiple variable assignmnets).

XML Instance Representation

<...
class=" xs :string [0..1] ? "
language=" xs :string [0..1] "
variable=" xs :string [0..1] "
beliefs=" xs :string [0..1] ? "
parameters=" xs :string [0..1] ? "
rawevents=" xs :string [0..1] ? " />

Schema Component Representation

< xs:complexType name =" MBindingCondition " mixed =" true ">

< xs:complexContent mixed =" true ">

< xs:extension base =" MInternalCondition "/>

</ xs:complexContent >

</ xs:complexType >

Complex Type: MCapability

Super-types:	None
Sub-types:	None

Name	MCapability
Abstract	no
Documentation	Base type for a capability.

XML Instance Representation

<...
name=" xs :string [1] "
package=" xs :string [0..1] " >
Start All [1]

<imports> imports </imports> [0..1]

<componenttypes> componenttypes </componenttypes> [0..1]

<services> services </services> [0..1]

<properties> properties </properties> [0..1]

<configurations> aconfigurations </configurations> [0..1]

<capabilities> MCapabilityBase </capabilities> [0..1]

<beliefs> MBeliefbase </beliefs> [0..1]

<goals> MGoalbase </goals> [0..1]

<plans> MPlanbase </plans> [0..1]

<events> MEventbase </events> [0..1]

<expressions> MExpressionbase </expressions> [0..1]

End All
</...>

Schema Component Representation

< xs:complexType name =" MCapability ">