XML Schema Documentation

Table of Contents

top

Schema Document Properties

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

Declared Namespaces

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
Schema Component Representation
< xs:schema targetNamespace =" http://www.activecomponents.org/jadex-bdi " elementFormDefault =" qualified " attributeFormDefault =" unqualified ">
< xs:include schemaLocation =" http://www.activecomponents.org/jadex-component-base-${jadex_build_version}.xsd "/>
...
</ xs:schema >
top

Global Declarations

Element: agent

Name agent
Type agenttype
Nillable no
Abstract no
Documentation Defines a new agent type.
XML Instance Representation
<agent
name=" xs :string [1] "
package=" xs :string [0..1] " >
<!--
Key Constraint - agent_capability_name
Selector - capabilities/capability
Field(s) - @name
-->
<!--
Key Constraint - agent_belief_name
Selector - beliefs/belief|beliefs/beliefset|beliefs/beliefref|beliefs/beliefsetref
Field(s) - @name
-->
<!--
Key Constraint - agent_belief_key
Selector - beliefs/belief|beliefs/beliefref
Field(s) - @name
-->
<!--
Key Constraint - agent_beliefset_key
Selector - beliefs/beliefset|beliefs/beliefsetref
Field(s) - @name
-->
<!--
Key Constraint - agent_goal_name
Selector - goals/performgoal|goals/achievegoal|goals/querygoal|goals/maintaingoal|goals/metagoal|goals/performgoalref|goals/achievegoalref|goals/querygoalref|goals/maintaingoalref|goals/metagoalref
Field(s) - @name
-->
<!--
Key Constraint - agent_plan_name
Selector - plans/plan
Field(s) - @name
-->
<!--
Key Constraint - agent_internalevent_name
Selector - events/internalevent|events/internaleventref
Field(s) - @name
-->
<!--
Key Constraint - agent_messageevent_name
Selector - events/messageevent|events/messageeventref
Field(s) - @name
-->
<!--
Key Reference Constraint - agent_belief_trigger
Selector - plans/plan/trigger/factchanged
Field(s) - @ref
Refers to - agent_belief_name
-->
<!--
Key Reference Constraint - agent_beliefset_trigger
Selector - plans/plan/trigger/factadded|plans/plan/trigger/factremoved
Field(s) - @ref
Refers to - agent_beliefset_key
-->
<!--
Key Reference Constraint - agent_goal_trigger
Selector - plans/plan/trigger/goalfinished|plans/plan/trigger/goal|plans/plan/waitqueue/goalfinished|goals/metagoal/trigger/goalfinished|goals/metagoal/trigger/goal
Field(s) - @ref
Refers to - agent_goal_name
-->
<!--
Key Reference Constraint - agent_internalevent_trigger
Selector - plans/plan/trigger/internalevent|plans/plan/waitqueue/internalevent|goals/metagoal/trigger/internalevent
Field(s) - @ref
Refers to - agent_internalevent_name
-->
<!--
Key Reference Constraint - agent_messageevent_trigger
Selector - plans/plan/trigger/messageevent|plans/plan/waitqueue/messageevent|goals/metagoal/trigger/messageevent
Field(s) - @ref
Refers to - agent_messageevent_name
-->
<!--
Key Reference Constraint - agent_inhibits_reference
Selector - 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
Field(s) - @ref
Refers to - agent_goal_name
-->
<!--
Key Reference Constraint - agent_capability_reference
Selector - configurations/configuration/capabilities/initialcapability
Field(s) - @ref
Refers to - agent_capability_name
-->
<!--
Key Reference Constraint - agent_belief_reference
Selector - configurations/configuration/beliefs/initialbelief
Field(s) - @ref
Refers to - agent_belief_key
-->
<!--
Key Reference Constraint - agent_beliefset_reference
Selector - configurations/configuration/beliefs/initialbeliefset
Field(s) - @ref
Refers to - agent_beliefset_key
-->
<!--
Key Reference Constraint - agent_goal_reference
Selector - configurations/configuration/goals/initialgoal|configurations/configuration/goals/endgoal
Field(s) - @ref
Refers to - agent_goal_name
-->
<!--
Key Reference Constraint - agent_plan_reference
Selector - configurations/configuration/plans/initialplan|configurations/configuration/plans/endplan
Field(s) - @ref
Refers to - agent_plan_name
-->
<!--
Key Reference Constraint - agent_internalevent_reference
Selector - configurations/configuration/internalevents/initialinternalevent|configurations/configuration/internalevents/endinternalevent
Field(s) - @ref
Refers to - agent_internalevent_name
-->
<!--
Key Reference Constraint - agent_messageevent_reference
Selector - configurations/configuration/messageevents/initialmessageevent|configurations/configuration/messageevents/endmessageevent
Field(s) - @ref
Refers to - agent_messageevent_name
-->
<!--
Key Constraint - agent_component_name
Selector - componenttypes/componenttype
Field(s) - @name
-->
<!--
Key Constraint - agent_providedservice_key
Selector - services/providedservice
Field(s) - @name|@class
-->
<!--
Uniqueness Constraint - agent_providedservice_name
Selector - services/providedservice
Field(s) - @name
-->
<!--
Key Constraint - agent_requiredservice_name
Selector - services/requiredservice
Field(s) - @name
-->
<!--
Key Constraint - agent_property_name
Selector - properties/property
Field(s) - @name
-->
<!--
Key Reference Constraint - agent_component_reference
Selector - configurations/configuration/components/component
Field(s) - @type
Refers to - agent_component_name
-->
<!--
Key Reference Constraint - agent_providedservice_reference
Selector - configurations/configuration/services/providedservice
Field(s) - @name|@class
Refers to - agent_providedservice_key
-->
<!--
Key Reference Constraint - agent_requiredservice_reference
Selector - configurations/configuration/services/requiredservice
Field(s) - @name
Refers to - agent_requiredservice_name
-->

<!-- ' startabletype ' super type was not found in this schema. Some elements and attributes may be missing. -->
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:selector xpath =" goals/performgoal|goals/achievegoal|goals/querygoal|goals/maintaingoal|goals/metagoal|goals/performgoalref|goals/achievegoalref|goals/querygoalref|goals/maintaingoalref|goals/metagoalref "/>
< 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 >
top

Element: capability

Name capability
Type MCapability
Nillable no
Abstract no
Documentation Defines a new capability type.
XML Instance Representation
<capability
name=" xs :string [1] "
package=" xs :string [0..1] " >
<!--
Key Constraint - capa_capability_name
Selector - capabilities/capability
Field(s) - @name
-->
<!--
Key Constraint - capa_belief_name
Selector - beliefs/belief|beliefs/beliefset|beliefs/beliefref|beliefs/beliefsetref
Field(s) - @name
-->
<!--
Key Constraint - capa_belief_key
Selector - beliefs/belief|beliefs/beliefref
Field(s) - @name
-->
<!--
Key Constraint - capa_beliefset_key
Selector - beliefs/beliefset|beliefs/beliefsetref
Field(s) - @name
-->
<!--
Key Constraint - capa_goal_name
Selector - goals/performgoal|goals/achievegoal|goals/querygoal|goals/maintaingoal|goals/metagoal|goals/performgoalref|goals/achievegoalref|goals/querygoalref|goals/maintaingoalref|goals/metagoalref
Field(s) - @name
-->
<!--
Key Constraint - capa_plan_name
Selector - plans/plan
Field(s) - @name
-->
<!--
Key Constraint - capa_internalevent_name
Selector - events/internalevent|events/internaleventref
Field(s) - @name
-->
<!--
Key Constraint - capa_messageevent_name
Selector - events/messageevent|events/messageeventref
Field(s) - @name
-->
<!--
Key Reference Constraint - capa_belief_trigger
Selector - plans/plan/trigger/factchanged
Field(s) - @ref
Refers to - capa_belief_name
-->
<!--
Key Reference Constraint - capa_beliefset_trigger
Selector - plans/plan/trigger/factadded|plans/plan/trigger/factremoved
Field(s) - @ref
Refers to - capa_beliefset_key
-->
<!--
Key Reference Constraint - capa_goal_trigger
Selector - plans/plan/trigger/goalfinished|plans/plan/trigger/goal|plans/plan/waitqueue/goalfinished|goals/metagoal/trigger/goalfinished|goals/metagoal/trigger/goal
Field(s) - @ref
Refers to - capa_goal_name
-->
<!--
Key Reference Constraint - capa_internalevent_trigger
Selector - plans/plan/trigger/internalevent|plans/plan/waitqueue/internalevent|goals/metagoal/trigger/internalevent
Field(s) - @ref
Refers to - capa_internalevent_name
-->
<!--
Key Reference Constraint - capa_messageevent_trigger
Selector - plans/plan/trigger/messageevent|plans/plan/waitqueue/messageevent|goals/metagoal/trigger/messageevent
Field(s) - @ref
Refers to - capa_messageevent_name
-->
<!--
Key Reference Constraint - capa_inhibits_reference
Selector - 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
Field(s) - @ref
Refers to - capa_goal_name
-->
<!--
Key Reference Constraint - capa_capability_reference
Selector - configurations/configuration/capabilities/initialcapability
Field(s) - @ref
Refers to - capa_capability_name
-->
<!--
Key Reference Constraint - capa_belief_reference
Selector - configurations/configuration/beliefs/initialbelief
Field(s) - @ref
Refers to - capa_belief_key
-->
<!--
Key Reference Constraint - capa_beliefset_reference
Selector - configurations/configuration/beliefs/initialbeliefset
Field(s) - @ref
Refers to - capa_beliefset_key
-->
<!--
Key Reference Constraint - capa_goal_reference
Selector - configurations/configuration/goals/initialgoal|configurations/configuration/goals/endgoal
Field(s) - @ref
Refers to - capa_goal_name
-->
<!--
Key Reference Constraint - capa_plan_reference
Selector - configurations/configuration/plans/initialplan|configurations/configuration/plans/endplan
Field(s) - @ref
Refers to - capa_plan_name
-->
<!--
Key Reference Constraint - capa_internalevent_reference
Selector - configurations/configuration/internalevents/initialinternalevent|configurations/configuration/internalevents/endinternalevent
Field(s) - @ref
Refers to - capa_internalevent_name
-->
<!--
Key Reference Constraint - capa_messageevent_reference
Selector - configurations/configuration/messageevents/initialmessageevent|configurations/configuration/messageevents/endmessageevent
Field(s) - @ref
Refers to - capa_messageevent_name
-->
<!--
Key Constraint - capa_component_name
Selector - componenttypes/componenttype
Field(s) - @name
-->
<!--
Key Constraint - capa_providedservice_key
Selector - services/providedservice
Field(s) - @name|@class
-->
<!--
Uniqueness Constraint - capa_providedservice_name
Selector - services/providedservice
Field(s) - @name
-->
<!--
Key Constraint - capa_requiredservice_name
Selector - services/requiredservice
Field(s) - @name
-->
<!--
Key Constraint - capa_property_name
Selector - properties/property
Field(s) - @name
-->
<!--
Key Reference Constraint - capa_component_reference
Selector - configurations/configuration/components/component
Field(s) - @type
Refers to - capa_component_name
-->
<!--
Key Reference Constraint - capa_providedservice_reference
Selector - configurations/configuration/services/providedservice
Field(s) - @name|@class
Refers to - capa_providedservice_key
-->
<!--
Key Reference Constraint - capa_requiredservice_reference
Selector - configurations/configuration/services/requiredservice
Field(s) - @name
Refers to - capa_requiredservice_name
-->

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:selector xpath =" goals/performgoal|goals/achievegoal|goals/querygoal|goals/maintaingoal|goals/metagoal|goals/performgoalref|goals/achievegoalref|goals/querygoalref|goals/maintaingoalref|goals/metagoalref "/>
< 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: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 =" 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 >
top

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] " >
<!-- ' startabletype ' super type was not found in this schema. Some elements and attributes may be missing. -->
Start All [1]
<components> configcomponents </components> [0..1]
<services> configservices </services> [0..1]
<capabilities> MConfigCapabilitybase
<!--
Key Constraint - config_capability_name
Selector - initialcapability
Field(s) - @ref
-->
</capabilities> [0..1]
<beliefs> MConfigBeliefbase
<!--
Uniqueness Constraint - config_belief_name
Selector - initialbelief|initialbeliefset
Field(s) - @ref
-->
<!--
Uniqueness Constraint - config_belief_cref
Selector - initialbelief|initialbeliefset
Field(s) - @cref
-->
</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 >
top

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
<!--
Key Constraint - aconfig_argument_name
Selector - arguments/argument
Field(s) - @name
-->
<!--
Key Constraint - aconfig_providedservice_key
Selector - services/providedservice
Field(s) - @name|@class
-->
<!--
Uniqueness Constraint - aconfig_providedservice_name
Selector - services/providedservice
Field(s) - @name
-->
<!--
Key Constraint - aconfig_requiredservice_name
Selector - services/requiredservice
Field(s) - @name
-->
</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 >
top

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] " >
<!-- ' startabletype ' super type was not found in this schema. Some elements and attributes may be missing. -->
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 >
top

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] " >
<!-- Mixed content -->
<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 >
top

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] ? " >
<!-- Mixed content -->
<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 >
top

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

Complex Type: MBase

Super-types: MElementNoName < MBase (by extension)
Sub-types:
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 >
top

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] " >
<!-- Mixed content -->
<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 >
top

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

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] " >
<!-- Mixed content -->
<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 >
top

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
<...
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] " >
<!-- Mixed content -->
<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 >
top

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
<...
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] " >
<!-- Mixed content -->
<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 >
top

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

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 ">
< 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:complexType >
top

Complex Type: MCapabilityBase

Super-types: None
Sub-types: None
Name MCapabilityBase
Abstract no
Documentation In the capabilities section arbitrary many capabilities can be declared. The functionality of a capability can be used within the agent resp. capability.
XML Instance Representation
<...>
<capability
name=" xs :string [1] ? "
file=" xs :string [1] ? " /> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MCapabilityBase ">
< xs:sequence >
< xs:element name =" capability " minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:complexType >
< xs:complexContent >
< xs:extension base =" MCapabilityReference "/>
</ xs:complexContent >
</ xs:complexType >
</ xs:element >
</ xs:sequence >
</ xs:complexType >
top

Complex Type: MCapabilityReference

Super-types: MElement < MCapabilityReference (by extension)
Sub-types: None
Name MCapabilityReference
Abstract no
Documentation Describes and defines an included capability.
XML Instance Representation
<...
name=" xs :string [1] ? "
file=" xs :string [1] ? " />
Schema Component Representation
< xs:complexType name =" MCapabilityReference ">
< xs:complexContent >
< xs:extension base =" MElement ">
< xs:attribute name =" file " type =" xs :string " use =" required "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MCondition

Super-types: MElement < MReferenceableElement (by extension) < MExpression (by extension) < MCondition (by extension)
Sub-types: None
Name MCondition
Abstract no
Documentation An expression that is monitored.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? "
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] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MCondition " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MExpression ">
< xs:attribute name =" beliefs " type =" xs :string " use =" optional "/>
< xs:attribute name =" parameters " type =" xs :string " use =" optional "/>
< xs:attribute name =" rawevents " type =" xs :string " use =" optional "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConditionReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MExpressionReference (by extension) < MConditionReference (by extension)
Sub-types: None
Name MConditionReference
Abstract no
Documentation Reference to a condition.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MConditionReference " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MExpressionReference "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigBase

Super-types: MElementNoName < MConfigBase (by extension)
Sub-types:
Name MConfigBase
Abstract yes
Documentation Base type for configuration bases.
XML Instance Representation
<.../>
Schema Component Representation
< xs:complexType name =" MConfigBase " abstract =" true ">
< xs:complexContent >
< xs:extension base =" MElementNoName "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigBelief

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension) < MConfigBelief (by extension)
Sub-types: None
Name MConfigBelief
Abstract no
Documentation A belief that is initialized with a defined value on capability or agent creation.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " >
<fact> MInternalExpression </fact> [1] ?
</...>
Schema Component Representation
< xs:complexType name =" MConfigBelief ">
< xs:complexContent >
< xs:extension base =" MConfigReferenceableElement ">
< xs:sequence >
< xs:element name =" fact " type =" MInternalExpression "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigBeliefbase

Super-types: MElementNoName < MConfigBase (by extension) < MConfigBeliefbase (by extension)
Sub-types: None
Name MConfigBeliefbase
Abstract no
Documentation Container for configuration beliefs.
XML Instance Representation
<...>
<initialbelief> MConfigBelief </initialbelief> [0..*] ?
<initialbeliefset> MConfigBeliefSet </initialbeliefset> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MConfigBeliefbase ">
< xs:complexContent >
< xs:extension base =" MConfigBase ">
< xs:sequence >
< xs:element name =" initialbelief " type =" MConfigBelief " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" initialbeliefset " type =" MConfigBeliefSet " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigBeliefSet

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension) < MConfigBeliefSet (by extension)
Sub-types: None
Name MConfigBeliefSet
Abstract no
Documentation A belief that is initialized with defined values on capability or agent creation.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " >
Start Choice [1]
<fact> MInternalExpression </fact> [1..*] ?
<facts> MInternalExpression </facts> [1] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MConfigBeliefSet ">
< xs:complexContent >
< xs:extension base =" MConfigReferenceableElement ">
< xs:choice >
< xs:element name =" fact " type =" MInternalExpression " maxOccurs =" unbounded "/>
< xs:element name =" facts " type =" MInternalExpression "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigCapability

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension) < MConfigCapability (by extension)
Sub-types: None
Name MConfigCapability
Abstract no
Documentation A capability that is initialized with a defined configuration on capability or agent creation.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? "
configuration=" xs :string [1] ? " />
Schema Component Representation
< xs:complexType name =" MConfigCapability ">
< xs:complexContent >
< xs:extension base =" MConfigReferenceableElement ">
< xs:attribute name =" configuration " type =" xs :string " use =" required "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigCapabilitybase

Super-types: MElementNoName < MConfigBase (by extension) < MConfigCapabilitybase (by extension)
Sub-types: None
Name MConfigCapabilitybase
Abstract no
Documentation Container for configuration capabilitiers.
XML Instance Representation
<...>
<initialcapability> MConfigCapability </initialcapability> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MConfigCapabilitybase ">
< xs:complexContent >
< xs:extension base =" MConfigBase ">
< xs:sequence >
< xs:element name =" initialcapability " type =" MConfigCapability " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigElement

Super-types: MElementNoName < MConfigElement (by extension)
Sub-types:
Name MConfigElement
Abstract yes
Documentation Base type for configuration elements.
XML Instance Representation
<...
name=" xs :string [0..1] " />
Schema Component Representation
< xs:complexType name =" MConfigElement " abstract =" true ">
< xs:complexContent >
< xs:extension base =" MElementNoName ">
< xs:attribute name =" name " type =" xs :string " use =" optional "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigEventbase

Super-types: MElementNoName < MConfigBase (by extension) < MConfigEventbase (by extension)
Sub-types: None
Name MConfigEventbase
Abstract no
Documentation Container for configuration events.
XML Instance Representation
<...>
<initialinternalevent> MConfigInternalEvent </initialinternalevent> [0..*] ?
<initialmessageevent> MConfigMessageEvent </initialmessageevent> [0..*] ?
<endinternalevent> MConfigInternalEvent </endinternalevent> [0..*] ?
<endmessageevent> MConfigMessageEvent </endmessageevent> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MConfigEventbase ">
< xs:complexContent >
< xs:extension base =" MConfigBase ">
< xs:sequence >
< xs:element name =" initialinternalevent " type =" MConfigInternalEvent " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" initialmessageevent " type =" MConfigMessageEvent " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" endinternalevent " type =" MConfigInternalEvent " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" endmessageevent " type =" MConfigMessageEvent " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigGoal

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension) < MConfigParameterElement (by extension) < MConfigGoal (by extension)
Sub-types: None
Name MConfigGoal
Abstract no
Documentation A goal instance that is created on capability or agent creation or deletion.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " >
Start Choice [0..*]
<parameter> MConfigParameter </parameter> [0..*] ?
<parameterset> MConfigParameterSet </parameterset> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MConfigGoal ">
< xs:complexContent >
< xs:extension base =" MConfigParameterElement "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigGoalbase

Super-types: MElementNoName < MConfigBase (by extension) < MConfigGoalbase (by extension)
Sub-types: None
Name MConfigGoalbase
Abstract no
Documentation Container for configuration goals.
XML Instance Representation
<...>
<initialgoal> MConfigGoal </initialgoal> [0..*] ?
<endgoal> MConfigGoal </endgoal> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MConfigGoalbase ">
< xs:complexContent >
< xs:extension base =" MConfigBase ">
< xs:sequence >
< xs:element name =" initialgoal " type =" MConfigGoal " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" endgoal " type =" MConfigGoal " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigInternalEvent

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension) < MConfigParameterElement (by extension) < MConfigInternalEvent (by extension)
Sub-types: None
Name MConfigInternalEvent
Abstract no
Documentation An internal event instance that is created on capability or agent creation or deletion.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " >
Start Choice [0..*]
<parameter> MConfigParameter </parameter> [0..*] ?
<parameterset> MConfigParameterSet </parameterset> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MConfigInternalEvent ">
< xs:complexContent >
< xs:extension base =" MConfigParameterElement "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigMessageEvent

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension) < MConfigParameterElement (by extension) < MConfigMessageEvent (by extension)
Sub-types: None
Name MConfigMessageEvent
Abstract no
Documentation A message event instance that is created on capability or agent creation or deletion.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " >
Start Choice [0..*]
<parameter> MConfigParameter </parameter> [0..*] ?
<parameterset> MConfigParameterSet </parameterset> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MConfigMessageEvent ">
< xs:complexContent >
< xs:extension base =" MConfigParameterElement "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigParameter

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension) < MConfigParameter (by extension)
Sub-types: None
Name MConfigParameter
Abstract no
Documentation A configuration parameter holds an initial value for a parameter of a configuration element.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " >
<value> MInternalExpression </value> [1] ?
</...>
Schema Component Representation
< xs:complexType name =" MConfigParameter ">
< xs:complexContent >
< xs:extension base =" MConfigReferenceableElement ">
< xs:sequence >
< xs:element name =" value " type =" MInternalExpression "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigParameterElement

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension) < MConfigParameterElement (by extension)
Sub-types:
Name MConfigParameterElement
Abstract yes
Documentation Base type for parameter configuration elements.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " >
Start Choice [0..*]
<parameter> MConfigParameter </parameter> [0..*] ?
<parameterset> MConfigParameterSet </parameterset> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MConfigParameterElement " abstract =" true ">
< xs:complexContent >
< xs:extension base =" MConfigReferenceableElement ">
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" parameter " type =" MConfigParameter " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" parameterset " type =" MConfigParameterSet " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigParameterSet

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension) < MConfigParameterSet (by extension)
Sub-types: None
Name MConfigParameterSet
Abstract no
Documentation A configuration parameter set holds initial values for a parameter set of a configuration element.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " >
Start Choice [1]
<value> MInternalExpression </value> [1..*] ?
<values> MInternalExpression </values> [1] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MConfigParameterSet ">
< xs:complexContent >
< xs:extension base =" MConfigReferenceableElement ">
< xs:choice >
< xs:element name =" value " type =" MInternalExpression " maxOccurs =" unbounded "/>
< xs:element name =" values " type =" MInternalExpression "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigPlan

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension) < MConfigParameterElement (by extension) < MConfigPlan (by extension)
Sub-types: None
Name MConfigPlan
Abstract no
Documentation A plan instance that is created on capability or agent creation or deletion.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " >
Start Choice [0..*]
<parameter> MConfigParameter </parameter> [0..*] ?
<parameterset> MConfigParameterSet </parameterset> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MConfigPlan ">
< xs:complexContent >
< xs:extension base =" MConfigParameterElement "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigPlanbase

Super-types: MElementNoName < MConfigBase (by extension) < MConfigPlanbase (by extension)
Sub-types: None
Name MConfigPlanbase
Abstract no
Documentation Container for configuration plans.
XML Instance Representation
<...>
<initialplan> MConfigPlan </initialplan> [0..*] ?
<endplan> MConfigPlan </endplan> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MConfigPlanbase ">
< xs:complexContent >
< xs:extension base =" MConfigBase ">
< xs:sequence >
< xs:element name =" initialplan " type =" MConfigPlan " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" endplan " type =" MConfigPlan " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigReferenceableElement

Super-types: MElementNoName < MConfigElement (by extension) < MConfigReferenceableElement (by extension)
Sub-types:
Name MConfigReferenceableElement
Abstract yes
Documentation Base type for referenceable configuration elements.
XML Instance Representation
<...
name=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " />
Schema Component Representation
< xs:complexType name =" MConfigReferenceableElement " abstract =" true ">
< xs:complexContent >
< xs:extension base =" MConfigElement ">
< xs:attribute name =" ref " type =" xs :string "/>
< xs:attribute name =" cref " type =" xs :string "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MConfigurationbase

Super-types: MElementNoName < MConfigBase (by extension) < MConfigurationbase (by extension)
Sub-types: None
Name MConfigurationbase
Abstract no
Documentation Container for configurations.
XML Instance Representation
<...
default=" xs :string [0..1] ? " >
<configuration> configuration </configuration> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MConfigurationbase ">
< xs:complexContent >
< xs:extension base =" MConfigBase ">
< xs:sequence >
< xs:element name =" configuration " type =" configuration " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
< xs:attribute name =" default " type =" xs :string " use =" optional "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MDeliberation

Super-types: MElementNoName < MDeliberation (by extension)
Sub-types: None
Name MDeliberation
Abstract no
Documentation Easy deliberation settings for goals (cardinality and inhibitions).
XML Instance Representation
<...
cardinalityone=" xs :boolean [0..1] " >
<inhibits> MInhibits </inhibits> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MDeliberation ">
< xs:complexContent >
< xs:extension base =" MElementNoName ">
< xs:sequence >
< xs:element name =" inhibits " type =" MInhibits " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
< xs:attribute name =" cardinalityone " type =" xs :boolean " use =" optional " default =" false "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MElement

Super-types: None
Sub-types:
Name MElement
Abstract yes
Documentation Base type for all model elements.
XML Instance Representation
<...
name=" xs :string [1] ? " />
Schema Component Representation
< xs:complexType name =" MElement " abstract =" true ">
< xs:attribute name =" name " type =" xs :string " use =" required "/>
</ xs:complexType >
top

Complex Type: MElementNoName

Super-types: None
Sub-types:
Name MElementNoName
Abstract yes
Documentation Base element without name.
XML Instance Representation
<.../>
Schema Component Representation
< xs:complexType name =" MElementNoName " abstract =" true "/>
top

Complex Type: MElementReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension)
Sub-types:
Name MElementReference
Abstract yes
Documentation Base type for element references, i.e. elements that reference others.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MElementReference " abstract =" true " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MReferenceableElement ">
< xs:choice >
< xs:element name =" concrete " type =" MAssign "/>
< xs:element name =" abstract ">
< xs:complexType >
< xs:attribute name =" required " type =" xs :boolean " use =" optional " default =" true "/>
</ xs:complexType >
</ xs:element >
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MEvent

Super-types: MElement < MReferenceableElement (by extension) < MParameterElement (by extension) < MEvent (by extension)
Sub-types:
Name MEvent
Abstract yes
Documentation Base type for all events.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? "
posttoall=" xs :boolean [0..1] ? "
randomselection=" xs :boolean [0..1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
Start Choice [0..*]
<parameter> MParameter </parameter> [0..*] ?
<parameterset> MParameterSet </parameterset> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MEvent " abstract =" true " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MParameterElement ">
< xs:attribute name =" posttoall " type =" xs :boolean " use =" optional "/>
< xs:attribute name =" randomselection " type =" xs :boolean " use =" optional "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MEventbase

Super-types: MElementNoName < MBase (by extension) < MEventbase (by extension)
Sub-types: None
Name MEventbase
Abstract no
Documentation Container for internal, message events and corresponding references. In this section internal and message events can be specified. Also references for both can be declared.
XML Instance Representation
<...>
Start Choice [0..*]
<internalevent> MInternalEvent </internalevent> [0..*] ?
<messageevent> MMessageEvent </messageevent> [0..*] ?
<internaleventref> MInternalEventReference </internaleventref> [0..*] ?
<messageeventref> MMessageEventReference </messageeventref> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MEventbase ">
< xs:complexContent >
< xs:extension base =" MBase ">
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" internalevent " type =" MInternalEvent " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" messageevent " type =" MMessageEvent " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" internaleventref " type =" MInternalEventReference " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" messageeventref " type =" MMessageEventReference " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MEventReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MEventReference (by extension)
Sub-types:
Name MEventReference
Abstract no
Documentation Reference to an event.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MEventReference " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MElementReference "/>
<-- <xs:extension base="MParameterElementReference"/> -->
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MExpression

Super-types: MElement < MReferenceableElement (by extension) < MExpression (by extension)
Sub-types:
Name MExpression
Abstract no
Documentation A piece a program code that is evaluated.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? "
class=" xs :string [0..1] ? "
language=" xs :string [0..1] "
variable=" xs :string [0..1] " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MExpression " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MReferenceableElement ">
< xs:attribute name =" class " type =" xs :string " use =" optional "/>
< xs:attribute name =" language " type =" xs :string " use =" optional "/>
< xs:attribute name =" variable " type =" xs :string " use =" optional "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MExpressionbase

Super-types: MElementNoName < MBase (by extension) < MExpressionbase (by extension)
Sub-types: None
Name MExpressionbase
Abstract no
Documentation Container for expressions, conditions and corresponding references. In this section predefined expressions and conditions can be declared. Also references for both can be declared.
XML Instance Representation
<...>
Start Choice [0..*]
<expression> MExpression </expression> [0..*] ?
<condition> MCondition </condition> [0..*] ?
<expressionref> MExpressionReference </expressionref> [0..*] ?
<conditionref> MConditionReference </conditionref> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MExpressionbase ">
< xs:complexContent >
< xs:extension base =" MBase ">
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" expression " type =" MExpression " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" condition " type =" MCondition " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" expressionref " type =" MExpressionReference " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" conditionref " type =" MConditionReference " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MExpressionParameter

Super-types: MElement < MExpressionParameter (by extension)
Sub-types: None
Name MExpressionParameter
Abstract no
Documentation A user-defined parameter for an expression, e.g. for parametrized queries.
XML Instance Representation
<...
name=" xs :string [1] ? "
class=" xs :string [1] ? " />
Schema Component Representation
< xs:complexType name =" MExpressionParameter ">
< xs:complexContent >
< xs:extension base =" MElement ">
< xs:attribute name =" class " type =" xs :string " use =" required "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MExpressionReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MExpressionReference (by extension)
Sub-types:
Name MExpressionReference
Abstract no
Documentation Reference to an expression.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MExpressionReference " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MElementReference "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MFactType

Super-types: MElementNoName < MInternalExpression (by extension) < MFactType (by extension)
Sub-types: None
Name MFactType
Abstract no
XML Instance Representation
<...
class=" xs :string [0..1] ? "
language=" xs :string [0..1] "
variable=" xs :string [0..1] " />
Schema Component Representation
< xs:complexType name =" MFactType ">
< xs:complexContent >
< xs:extension base =" MInternalExpression "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MGoal

Super-types: MElement < MReferenceableElement (by extension) < MGoal (by extension)
Sub-types:
Name MGoal
Abstract yes
Documentation Base type for all goals.
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] " >
<!-- Mixed content -->
<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]
</...>
Schema Component Representation
< xs:complexType name =" MGoal " abstract =" true " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MReferenceableElement ">
< xs:sequence >
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" parameter " type =" MGoalParameter " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" parameterset " type =" MGoalParameterSet " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:choice >
< xs:element name =" unique " type =" MUnique " minOccurs =" 0 "/>
< xs:element name =" creationcondition " type =" MBindingCondition " minOccurs =" 0 "/>
< xs:element name =" contextcondition " type =" MInternalCondition " minOccurs =" 0 "/>
< xs:element name =" dropcondition " type =" MInternalCondition " minOccurs =" 0 "/>
< xs:element name =" recurcondition " type =" MInternalCondition " minOccurs =" 0 "/>
< xs:element name =" deliberation " type =" MDeliberation " minOccurs =" 0 "/>
< xs:element name =" publish " type =" MPublish " minOccurs =" 0 "/>
</ xs:sequence >
< xs:attribute name =" retry " type =" xs :boolean " default =" true "/>
< xs:attribute name =" randomselection " type =" xs :boolean " default =" false "/>
< xs:attribute name =" retrydelay " type =" xs :long " default =" 0 "/>
< xs:attribute name =" exclude " default =" when_tried ">
< xs:simpleType >
< xs:restriction base =" xs :string ">
< xs:enumeration value =" never "/>
< xs:enumeration value =" when_tried "/>
< xs:enumeration value =" when_failed "/>
< xs:enumeration value =" when_succeeded "/>
</ xs:restriction >
</ xs:simpleType >
</ xs:attribute >
< xs:attribute name =" posttoall " type =" xs :boolean " default =" false "/>
< xs:attribute name =" recalculate " type =" xs :boolean " default =" true "/>
< xs:attribute name =" recur " type =" xs :boolean " default =" false "/>
< xs:attribute name =" recurdelay " type =" xs :long " default =" 0 "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MGoalbase

Super-types: MElementNoName < MBase (by extension) < MGoalbase (by extension)
Sub-types: None
Name MGoalbase
Abstract no
Documentation Container for goals and corresponding references. In this section different kinds of goals and goal references can be specified. Supported goal types are perform, achieve, query, maintain and meta goals. Also refernces for all types can be specified.
XML Instance Representation
<...>
Start Choice [0..*]
<performgoal> MPerformGoal </performgoal> [0..*] ?
<achievegoal> MAchieveGoal </achievegoal> [0..*] ?
<querygoal> MQueryGoal </querygoal> [0..*] ?
<maintaingoal> MMaintainGoal </maintaingoal> [0..*] ?
<metagoal> MMetaGoal </metagoal> [0..*] ?
<performgoalref> MPerformGoalReference </performgoalref> [0..*] ?
<achievegoalref> MAchieveGoalReference </achievegoalref> [0..*] ?
<querygoalref> MQueryGoalReference </querygoalref> [0..*] ?
<maintaingoalref> MMaintainGoalReference </maintaingoalref> [0..*] ?
<metagoalref> MMetaGoalReference </metagoalref> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MGoalbase ">
< xs:complexContent >
< xs:extension base =" MBase ">
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" performgoal " type =" MPerformGoal " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" achievegoal " type =" MAchieveGoal " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" querygoal " type =" MQueryGoal " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" maintaingoal " type =" MMaintainGoal " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" metagoal " type =" MMetaGoal " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" performgoalref " type =" MPerformGoalReference " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" achievegoalref " type =" MAchieveGoalReference " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" querygoalref " type =" MQueryGoalReference " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" maintaingoalref " type =" MMaintainGoalReference " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" metagoalref " type =" MMetaGoalReference " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MGoalParameter

Super-types: MElement < MReferenceableElement (by extension) < MTypedElement (by extension) < MParameter (by extension) < MGoalParameter (by extension)
Sub-types: None
Name MGoalParameter
Abstract no
Documentation Parameter for a goal. Additionally allows mappings being defined.
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] "
optional=" xs :boolean [0..1] ? "
direction=" xs :string ( value comes from list: {'in'|'out'|'inout'|'fixed'}) [0..1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
Start Choice [1]
<value> MInternalExpression </value> [0..1] ?
<bindingoptions> MInternalExpression </bindingoptions> [0..1] ?
End Choice
Start Choice [0..*]
<servicemapping> MAssign </servicemapping> [0..1] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MGoalParameter " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MParameter ">
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" servicemapping " type =" MAssign " minOccurs =" 0 "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MGoalParameterSet

Super-types: MElement < MReferenceableElement (by extension) < MTypedElement (by extension) < MParameterSet (by extension) < MGoalParameterSet (by extension)
Sub-types: None
Name MGoalParameterSet
Abstract no
Documentation Parameter for a goal. Additionally allows mappings being defined.
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] "
optional=" xs :boolean [0..1] ? "
direction=" xs :string ( value comes from list: {'in'|'out'|'inout'|'fixed'}) [0..1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
Start Choice [1]
<value> MInternalExpression </value> [0..*] ?
<values> MInternalExpression </values> [0..1] ?
End Choice
Start Choice [0..*]
<servicemapping> MAssign </servicemapping> [0..1] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MGoalParameterSet " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MParameterSet ">
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" servicemapping " type =" MAssign " minOccurs =" 0 "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MGoalReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MGoalReference (by extension)
Sub-types:
Name MGoalReference
Abstract no
Documentation Reference to a goal.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MGoalReference " mixed =" true ">
< xs:complexContent mixed =" true ">
<-- <xs:extension base="MParameterElementReference"> -->
< xs:extension base =" MElementReference ">
< xs:sequence >
< xs:element name =" deliberation " type =" MDeliberation " minOccurs =" 0 "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MInhibits

Super-types: MElementNoName < MInternalExpression (by extension) < MInhibits (by extension)
Sub-types: None
Name MInhibits
Abstract no
Documentation Easy deliberation settings for goals (inhibitions). For an inhibition with the ref attribute the name of the inhibited goal can be specified. With the inhibit attribute it can optinally also specified in which state the goal has to be to inhibit the other.
XML Instance Representation
<...
class=" xs :string [0..1] ? "
language=" xs :string [0..1] "
variable=" xs :string [0..1] "
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? "
inhibit=" xs :string ( value comes from list: {'when_in_process'|'when_active'}) [0..1] ? " />
Schema Component Representation
< xs:complexType name =" MInhibits " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MInternalExpression ">
< xs:attribute name =" ref " type =" xs :string "/>
< xs:attribute name =" cref " type =" xs :string "/>
< xs:attribute name =" inhibit " use =" optional " default =" when_active ">
< xs:simpleType >
< xs:restriction base =" xs :string ">
< xs:enumeration value =" when_in_process "/>
< xs:enumeration value =" when_active "/>
</ xs:restriction >
</ xs:simpleType >
</ xs:attribute >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MInternalCondition

Super-types: MElementNoName < MInternalExpression (by extension) < MInternalCondition (by extension)
Sub-types:
Name MInternalCondition
Abstract no
Documentation For conditions that are not conatined in the expressionbase. Cannot be exported.
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 =" MInternalCondition " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MInternalExpression ">
< xs:attribute name =" beliefs " type =" xs :string " use =" optional "/>
< xs:attribute name =" parameters " type =" xs :string " use =" optional "/>
< xs:attribute name =" rawevents " type =" xs :string " use =" optional "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MInternalEvent

Super-types: MElement < MReferenceableElement (by extension) < MParameterElement (by extension) < MEvent (by extension) < MInternalEvent (by extension)
Sub-types: None
Name MInternalEvent
Abstract no
Documentation An internal event is used for agent internal event notification.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? "
posttoall=" xs :boolean [0..1] ? "
randomselection=" xs :boolean [0..1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
Start Choice [0..*]
<parameter> MParameter </parameter> [0..*] ?
<parameterset> MParameterSet </parameterset> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MInternalEvent " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MEvent "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MInternalEventReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MEventReference (by extension) < MInternalEventReference (by extension)
Sub-types: None
Name MInternalEventReference
Abstract no
Documentation Reference to an internal event.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MInternalEventReference " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MEventReference "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MInternalExpression

Super-types: MElementNoName < MInternalExpression (by extension)
Sub-types:
Name MInternalExpression
Abstract no
Documentation A piece a program code that is evaluated.
XML Instance Representation
<...
class=" xs :string [0..1] ? "
language=" xs :string [0..1] "
variable=" xs :string [0..1] " />
Schema Component Representation
< xs:complexType name =" MInternalExpression " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MElementNoName ">
< xs:attribute name =" class " type =" xs :string " use =" optional "/>
< xs:attribute name =" language " type =" xs :string " use =" optional "/>
< xs:attribute name =" variable " type =" xs :string " use =" optional "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MMaintainGoal

Super-types: MElement < MReferenceableElement (by extension) < MGoal (by extension) < MMaintainGoal (by extension)
Sub-types: None
Name MMaintainGoal
Abstract no
Documentation A maintain goal aims at preserving a certain 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] " >
<!-- Mixed content -->
<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]
<maintaincondition> MInternalCondition </maintaincondition> [1] ?
<targetcondition> MInternalCondition </targetcondition> [0..1] ?
</...>
Schema Component Representation
< xs:complexType name =" MMaintainGoal " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MGoal ">
< xs:sequence >
< xs:element name =" maintaincondition " type =" MInternalCondition "/>
< xs:element name =" targetcondition " type =" MInternalCondition " minOccurs =" 0 "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MMaintainGoalReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MGoalReference (by extension) < MMaintainGoalReference (by extension)
Sub-types: None
Name MMaintainGoalReference
Abstract no
Documentation Reference to a maintain goal.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MMaintainGoalReference " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MGoalReference "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MMessageEvent

Super-types: MElement < MReferenceableElement (by extension) < MParameterElement (by extension) < MEvent (by extension) < MMessageEvent (by extension)
Sub-types: None
Name MMessageEvent
Abstract no
Documentation A message event is used for inter-agent communication.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? "
posttoall=" xs :boolean [0..1] ? "
randomselection=" xs :boolean [0..1] ? "
direction=" xs :string ( value comes from list: {'send'|'receive'|'send_receive'}) [0..1] ? "
type=" xs :string [1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
Start Choice [0..*]
<parameter> MParameter </parameter> [0..*] ?
<parameterset> MParameterSet </parameterset> [0..*] ?
End Choice
<match> MInternalExpression </match> [0..1] ?
</...>
Schema Component Representation
< xs:complexType name =" MMessageEvent " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MEvent ">
< xs:sequence >
< xs:element name =" match " type =" MInternalExpression " minOccurs =" 0 "/>
</ xs:sequence >
< xs:attribute name =" direction " use =" optional " default =" send_receive ">
< xs:simpleType >
< xs:restriction base =" xs :string ">
< xs:enumeration value =" send "/>
< xs:enumeration value =" receive "/>
< xs:enumeration value =" send_receive "/>
</ xs:restriction >
</ xs:simpleType >
</ xs:attribute >
< xs:attribute name =" type " type =" xs :string " use =" required "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MMessageEventReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MEventReference (by extension) < MMessageEventReference (by extension)
Sub-types: None
Name MMessageEventReference
Abstract no
Documentation Reference to a message event.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MMessageEventReference " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MEventReference "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MMetaGoal

Super-types: MElement < MReferenceableElement (by extension) < MGoal (by extension) < MQueryGoal (by extension) < MMetaGoalDummy (by restriction) < MMetaGoal (by extension)
Sub-types: None
Name MMetaGoal
Abstract no
Documentation A meta goal can be used for meta-level reasoning.
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
<contextcondition> MInternalCondition </contextcondition> [0..1] ?
<dropcondition> MInternalCondition </dropcondition> [0..1] ?
<deliberation> MDeliberation </deliberation> [0..1] ?
<targetcondition> MInternalCondition </targetcondition> [0..1] ?
<trigger> MMetaGoalTrigger </trigger> [1] ?
</...>
Schema Component Representation
< xs:complexType name =" MMetaGoal ">
< xs:complexContent >
< xs:extension base =" MMetaGoalDummy ">
< xs:sequence >
< xs:element name =" trigger " type =" MMetaGoalTrigger "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MMetaGoalDummy

Super-types: MElement < MReferenceableElement (by extension) < MGoal (by extension) < MQueryGoal (by extension) < MMetaGoalDummy (by restriction)
Sub-types:
Name MMetaGoalDummy
Abstract yes
Documentation Used only internally.
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
<contextcondition> MInternalCondition </contextcondition> [0..1] ?
<dropcondition> MInternalCondition </dropcondition> [0..1] ?
<deliberation> MDeliberation </deliberation> [0..1] ?
<targetcondition> MInternalCondition </targetcondition> [0..1] ?
</...>
Schema Component Representation
< xs:complexType name =" MMetaGoalDummy " abstract =" true ">
< xs:complexContent >
< xs:restriction base =" MQueryGoal ">
< xs:sequence >
< xs:sequence >
< xs:element name =" assignto " type =" MAssign " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" parameter " type =" MGoalParameter " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" parameterset " type =" MGoalParameterSet " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:choice >
< xs:sequence >
< xs:element name =" contextcondition " type =" MInternalCondition " minOccurs =" 0 "/>
< xs:element name =" dropcondition " type =" MInternalCondition " minOccurs =" 0 "/>
< xs:element name =" deliberation " type =" MDeliberation " minOccurs =" 0 "/>
</ xs:sequence >
< xs:sequence >
< xs:element name =" targetcondition " type =" MInternalCondition " minOccurs =" 0 "/>
</ xs:sequence >
</ xs:sequence >
</ xs:restriction >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MMetaGoalReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MGoalReference (by extension) < MMetaGoalReference (by extension)
Sub-types: None
Name MMetaGoalReference
Abstract no
Documentation Reference to a meta goal.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MMetaGoalReference " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MGoalReference "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MMetaGoalTrigger

Super-types: MElementNoName < MTrigger (by extension) < MMetaGoalTrigger (by extension)
Sub-types: None
Name MMetaGoalTrigger
Abstract no
Documentation The trigger for meta goals also reacting on goal process events.
XML Instance Representation
<...>
Start Choice [0..*]
<internalevent> MReference </internalevent> [0..1] ?
<messageevent> MReference </messageevent> [0..1] ?
<goalfinished> MReference </goalfinished> [0..1] ?
End Choice
<filter> MInternalExpression </filter> [0..1] ?
<goal> MReference </goal> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MMetaGoalTrigger ">
< xs:complexContent >
< xs:extension base =" MTrigger ">
< xs:sequence >
< xs:element name =" goal " type =" MReference " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MParameter

Super-types: MElement < MReferenceableElement (by extension) < MTypedElement (by extension) < MParameter (by extension)
Sub-types:
Name MParameter
Abstract no
Documentation A parameter set represents a single-valued piece of information belonging to some parameter element.
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] "
optional=" xs :boolean [0..1] ? "
direction=" xs :string ( value comes from list: {'in'|'out'|'inout'|'fixed'}) [0..1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
Start Choice [1]
<value> MInternalExpression </value> [0..1] ?
<bindingoptions> MInternalExpression </bindingoptions> [0..1] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MParameter " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MTypedElement ">
< xs:choice >
< xs:element name =" value " type =" MInternalExpression " minOccurs =" 0 "/>
< xs:element name =" bindingoptions " type =" MInternalExpression " minOccurs =" 0 "/>
</ xs:choice >
< xs:attribute name =" optional " type =" xs :boolean " use =" optional " default =" false "/>
< xs:attribute name =" direction " use =" optional " default =" in ">
< xs:simpleType >
< xs:restriction base =" xs :string ">
< xs:enumeration value =" in "/>
< xs:enumeration value =" out "/>
< xs:enumeration value =" inout "/>
< xs:enumeration value =" fixed "/>
</ xs:restriction >
</ xs:simpleType >
</ xs:attribute >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MParameterElement

Super-types: MElement < MReferenceableElement (by extension) < MParameterElement (by extension)
Sub-types:
Name MParameterElement
Abstract yes
Documentation Base type for elements that can have parameters and parameter sets.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
Start Choice [0..*]
<parameter> MParameter </parameter> [0..*] ?
<parameterset> MParameterSet </parameterset> [0..*] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MParameterElement " abstract =" true " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MReferenceableElement ">
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" parameter " type =" MParameter " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" parameterset " type =" MParameterSet " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MParameterSet

Super-types: MElement < MReferenceableElement (by extension) < MTypedElement (by extension) < MParameterSet (by extension)
Sub-types:
Name MParameterSet
Abstract no
Documentation A parameter set represents a multi-valued piece of information belonging to some parameter element.
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] "
optional=" xs :boolean [0..1] ? "
direction=" xs :string ( value comes from list: {'in'|'out'|'inout'|'fixed'}) [0..1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
Start Choice [1]
<value> MInternalExpression </value> [0..*] ?
<values> MInternalExpression </values> [0..1] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MParameterSet " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MTypedElement ">
< xs:choice >
< xs:element name =" value " type =" MInternalExpression " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" values " type =" MInternalExpression " minOccurs =" 0 "/>
</ xs:choice >
< xs:attribute name =" optional " type =" xs :boolean " use =" optional " default =" false "/>
< xs:attribute name =" direction " use =" optional " default =" in ">
< xs:simpleType >
< xs:restriction base =" xs :string ">
< xs:enumeration value =" in "/>
< xs:enumeration value =" out "/>
< xs:enumeration value =" inout "/>
< xs:enumeration value =" fixed "/>
</ xs:restriction >
</ xs:simpleType >
</ xs:attribute >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MPerformGoal

Super-types: MElement < MReferenceableElement (by extension) < MGoal (by extension) < MPerformGoal (by extension)
Sub-types: None
Name MPerformGoal
Abstract no
Documentation A perform goal aims at executing actions.
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] " >
<!-- Mixed content -->
<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]
</...>
Schema Component Representation
< xs:complexType name =" MPerformGoal " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MGoal "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MPerformGoalReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MGoalReference (by extension) < MPerformGoalReference (by extension)
Sub-types: None
Name MPerformGoalReference
Abstract no
Documentation Reference to a goal.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MPerformGoalReference " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MGoalReference "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MPlan

Super-types: MElement < MPlan (by extension)
Sub-types: None
Name MPlan
Abstract no
Documentation A plan contains procedural knowledge. It consists of a plan head and a plan body.
XML Instance Representation
<...
name=" xs :string [1] ? "
priority=" xs :int [0..1] ? " >
<!-- Mixed content -->
Start Choice [0..*]
<parameter> MPlanParameter </parameter> [0..*] ?
<parameterset> MPlanParameterSet </parameterset> [0..*] ?
End Choice
<body> MPlanBody </body> [1] ?
<trigger> MPlanTrigger </trigger> [0..1] ?
<precondition> MInternalExpression </precondition> [0..1] ?
<contextcondition> MInternalCondition </contextcondition> [0..1] ?
<waitqueue> MTrigger </waitqueue> [0..1] ?
</...>
Schema Component Representation
< xs:complexType name =" MPlan " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MElement ">
< xs:sequence >
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" parameter " type =" MPlanParameter " minOccurs =" 0 " maxOccurs =" unbounded "/>
< xs:element name =" parameterset " type =" MPlanParameterSet " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:choice >
< xs:element name =" body " type =" MPlanBody "/>
< xs:element name =" trigger " type =" MPlanTrigger " minOccurs =" 0 "/>
< xs:element name =" precondition " type =" MInternalExpression " minOccurs =" 0 "/>
< xs:element name =" contextcondition " type =" MInternalCondition " minOccurs =" 0 "/>
< xs:element name =" waitqueue " type =" MTrigger " minOccurs =" 0 "/>
</ xs:sequence >
< xs:attribute name =" priority " type =" xs :int " use =" optional " default =" 0 "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MPlanbase

Super-types: MElementNoName < MBase (by extension) < MPlanbase (by extension)
Sub-types: None
Name MPlanbase
Abstract no
Documentation Container for plans. In this section plans can be specified.
XML Instance Representation
<...>
<plan> MPlan </plan> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MPlanbase ">
< xs:complexContent >
< xs:extension base =" MBase ">
< xs:sequence >
< xs:element name =" plan " type =" MPlan " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MPlanBody

Super-types: None
Sub-types: None
Name MPlanBody
Abstract no
Documentation The plan body contains the code (actions) to execute.
XML Instance Representation
<...
type=" xs :string [0..1] ? "
class=" xs :string [0..1] "
impl=" xs :string [0..1] "
service=" xs :string [0..1] "
method=" xs :string [0..1] " />
Schema Component Representation
< xs:complexType name =" MPlanBody " mixed =" true ">
< xs:attribute name =" type " use =" optional ">
< xs:simpleType >
< xs:restriction base =" xs :string "/>
</ xs:simpleType >
</ xs:attribute >
< xs:attribute name =" class " type =" xs :string "/>
< xs:attribute name =" impl " type =" xs :string "/>
< xs:attribute name =" service " type =" xs :string "/>
< xs:attribute name =" method " type =" xs :string "/>
</ xs:complexType >
top

Complex Type: MPlanParameter

Super-types: MElement < MReferenceableElement (by extension) < MTypedElement (by extension) < MParameter (by extension) < MPlanParameter (by extension)
Sub-types: None
Name MPlanParameter
Abstract no
Documentation Parameter for a plan. Additionally allows mappings being defined.
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] "
optional=" xs :boolean [0..1] ? "
direction=" xs :string ( value comes from list: {'in'|'out'|'inout'|'fixed'}) [0..1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
Start Choice [1]
<value> MInternalExpression </value> [0..1] ?
<bindingoptions> MInternalExpression </bindingoptions> [0..1] ?
End Choice
Start Choice [0..*]
<goalmapping> MAssign </goalmapping> [0..1] ?
<internaleventmapping> MAssign </internaleventmapping> [0..1] ?
<messageeventmapping> MAssign </messageeventmapping> [0..1] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MPlanParameter " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MParameter ">
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" goalmapping " type =" MAssign " minOccurs =" 0 "/>
< xs:element name =" internaleventmapping " type =" MAssign " minOccurs =" 0 "/>
< xs:element name =" messageeventmapping " type =" MAssign " minOccurs =" 0 "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MPlanParameterSet

Super-types: MElement < MReferenceableElement (by extension) < MTypedElement (by extension) < MParameterSet (by extension) < MPlanParameterSet (by extension)
Sub-types: None
Name MPlanParameterSet
Abstract no
Documentation Parameter set for a plan. Additionally allows mappings being defined.
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] "
optional=" xs :boolean [0..1] ? "
direction=" xs :string ( value comes from list: {'in'|'out'|'inout'|'fixed'}) [0..1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
Start Choice [1]
<value> MInternalExpression </value> [0..*] ?
<values> MInternalExpression </values> [0..1] ?
End Choice
Start Choice [0..*]
<goalmapping> MAssign </goalmapping> [0..1] ?
<internaleventmapping> MAssign </internaleventmapping> [0..1] ?
<messageeventmapping> MAssign </messageeventmapping> [0..1] ?
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MPlanParameterSet " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MParameterSet ">
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" goalmapping " type =" MAssign " minOccurs =" 0 "/>
< xs:element name =" internaleventmapping " type =" MAssign " minOccurs =" 0 "/>
< xs:element name =" messageeventmapping " type =" MAssign " minOccurs =" 0 "/>
</ xs:choice >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MPlanReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MPlanReference (by extension)
Sub-types: None
Name MPlanReference
Abstract no
Documentation Reference to a plan. Not yet used.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MPlanReference " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MElementReference "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MPlanTrigger

Super-types: MElementNoName < MTrigger (by extension) < MPlanTrigger (by extension)
Sub-types: None
Name MPlanTrigger
Abstract no
Documentation The trigger for plans also reacting on goal process events, conditions, belief and belief set changes.
XML Instance Representation
<...>
Start Choice [0..*]
<internalevent> MReference </internalevent> [0..1] ?
<messageevent> MReference </messageevent> [0..1] ?
<goalfinished> MReference </goalfinished> [0..1] ?
End Choice
<filter> MInternalExpression </filter> [0..1] ?
<condition
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] ? " /> [0..1]
Start Choice [0..*]
<goal> MReference </goal> [0..1] ?
<factadded> MReferenceNoMatch </factadded> [0..1]
<factremoved> MReferenceNoMatch </factremoved> [0..1]
<factchanged> MReferenceNoMatch </factchanged> [0..1]
End Choice
</...>
Schema Component Representation
< xs:complexType name =" MPlanTrigger ">
< xs:complexContent >
< xs:extension base =" MTrigger ">
< xs:sequence >
< xs:element name =" condition " minOccurs =" 0 ">
< xs:complexType mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MBindingCondition "/>
</ xs:complexContent >
</ xs:complexType >
</ xs:element >
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" goal " type =" MReference " minOccurs =" 0 "/>
< xs:element name =" factadded " type =" MReferenceNoMatch " minOccurs =" 0 "/>
< xs:element name =" factremoved " type =" MReferenceNoMatch " minOccurs =" 0 "/>
< xs:element name =" factchanged " type =" MReferenceNoMatch " minOccurs =" 0 "/>
</ xs:choice >
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MPublish

Super-types: None
Sub-types: None
Name MPublish
Abstract no
Documentation Goal delegation element.
XML Instance Representation
<...
class=" xs :string [1] "
method=" xs :string [1] " />
Schema Component Representation
< xs:complexType name =" MPublish ">
< xs:attribute name =" class " type =" xs :string " use =" required "/>
< xs:attribute name =" method " type =" xs :string " use =" required "/>
</ xs:complexType >
top

Complex Type: MQueryGoal

Super-types: MElement < MReferenceableElement (by extension) < MGoal (by extension) < MQueryGoal (by extension)
Sub-types:
Name MQueryGoal
Abstract no
Documentation A query goal aims at retrieving information.
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] " >
<!-- Mixed content -->
<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 =" MQueryGoal " 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 >
top

Complex Type: MQueryGoalReference

Super-types: MElement < MReferenceableElement (by extension) < MElementReference (by extension) < MGoalReference (by extension) < MQueryGoalReference (by extension)
Sub-types: None
Name MQueryGoalReference
Abstract no
Documentation Reference to a query goal.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<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 =" MQueryGoalReference " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MGoalReference "/>
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MReference

Super-types: MElementNoName < MReferenceNoMatch (by extension) < MReference (by extension)
Sub-types: None
Name MReference
Abstract no
Documentation Reference to another element. Used in trigger to match an event or goal.
XML Instance Representation
<...
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " >
<match> MInternalExpression </match> [0..1] ?
</...>
Schema Component Representation
< xs:complexType name =" MReference ">
< xs:complexContent >
< xs:extension base =" MReferenceNoMatch ">
< xs:sequence >
< xs:element name =" match " type =" MInternalExpression " minOccurs =" 0 "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MReferenceableElement

Super-types: MElement < MReferenceableElement (by extension)
Sub-types:
Name MReferenceableElement
Abstract yes
Documentation Base type for elements contained in bases. Exported elements can be used in outer capabilities.
XML Instance Representation
<...
name=" xs :string [1] ? "
exported=" xs :string ( value comes from list: {'true'|'false'|'shielded'}) [0..1] ? " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MReferenceableElement " abstract =" true " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MElement ">
< xs:sequence >
< xs:element name =" assignto " type =" MAssign " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
< xs:attribute name =" exported " use =" optional " default =" false ">
< xs:simpleType >
< xs:restriction base =" xs :string ">
< xs:enumeration value =" true "/>
< xs:enumeration value =" false "/>
< xs:enumeration value =" shielded "/>
</ xs:restriction >
</ xs:simpleType >
</ xs:attribute >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MReferenceNoMatch

Super-types: MElementNoName < MReferenceNoMatch (by extension)
Sub-types:
Name MReferenceNoMatch
Abstract no
Documentation Reference to another element. Used in trigger to match a belief or beliefset.
XML Instance Representation
<...
ref=" xs :string [0..1] ? "
cref=" xs :string [0..1] ? " />
Schema Component Representation
< xs:complexType name =" MReferenceNoMatch ">
< xs:complexContent >
< xs:extension base =" MElementNoName ">
< xs:attribute name =" ref " type =" xs :string "/>
< xs:attribute name =" cref " type =" xs :string "/>
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MStaticValue

Super-types: MElement < MReferenceableElement (by extension) < MExpression (by extension) < MStaticValue (by restriction)
Sub-types: None
Name MStaticValue
Abstract no
Documentation For a value that is only once computed.
XML Instance Representation
<...
name=" xs :string [1] ? "
class=" xs :string [0..1] ? "
language=" xs :string [0..1] "
variable=" xs :string [0..1] " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MStaticValue " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:restriction base =" MExpression ">
< xs:sequence >
< xs:element name =" assignto " type =" MAssign " minOccurs =" 0 " maxOccurs =" unbounded "/>
</ xs:sequence >
< xs:attribute name =" exported " use =" prohibited "/>
</ xs:restriction >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MTrigger

Super-types: MElementNoName < MTrigger (by extension)
Sub-types:
Name MTrigger
Abstract no
Documentation Base trigger type allows reaction on goals, internal and message events and filters. All declared elements are considered as OR combined.
XML Instance Representation
<...>
Start Choice [0..*]
<internalevent> MReference </internalevent> [0..1] ?
<messageevent> MReference </messageevent> [0..1] ?
<goalfinished> MReference </goalfinished> [0..1] ?
End Choice
<filter> MInternalExpression </filter> [0..1] ?
</...>
Schema Component Representation
< xs:complexType name =" MTrigger ">
< xs:complexContent >
< xs:extension base =" MElementNoName ">
< xs:sequence >
< xs:choice minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:element name =" internalevent " type =" MReference " minOccurs =" 0 "/>
< xs:element name =" messageevent " type =" MReference " minOccurs =" 0 "/>
< xs:element name =" goalfinished " type =" MReference " minOccurs =" 0 "/>
</ xs:choice >
< xs:element name =" filter " type =" MInternalExpression " minOccurs =" 0 "/>
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MTypedElement

Super-types: MElement < MReferenceableElement (by extension) < MTypedElement (by extension)
Sub-types:
Name MTypedElement
Abstract yes
Documentation Base type for single-valued elements with a type.
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] " >
<!-- Mixed content -->
<assignto> MAssign </assignto> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MTypedElement " abstract =" true " mixed =" true ">
< xs:complexContent mixed =" true ">
< xs:extension base =" MReferenceableElement ">
< xs:attribute name =" class " type =" xs :string " use =" required "/>
< xs:attribute name =" updaterate " type =" xs :string " use =" optional " default =" 0 "/>
< xs:attribute name =" transient " type =" xs :boolean " use =" optional " default =" false "/>
< xs:attribute name =" evaluationmode " use =" optional " default =" static ">
< xs:simpleType >
< xs:restriction base =" xs :string ">
< xs:enumeration value =" static "/>
< xs:enumeration value =" push "/>
< xs:enumeration value =" pull "/>
</ xs:restriction >
</ xs:simpleType >
</ xs:attribute >
</ xs:extension >
</ xs:complexContent >
</ xs:complexType >
top

Complex Type: MUnique

Super-types: MElementNoName < MUnique (by extension)
Sub-types: None
Name MUnique
Abstract no
Documentation Uniqueness settings for goals. Excluded parameters will not affect if goals are considered equal.
XML Instance Representation
<...>
<exclude
parameterref=" xs :string [1] " /> [0..*] ?
</...>
Schema Component Representation
< xs:complexType name =" MUnique ">
< xs:complexContent >
< xs:extension base =" MElementNoName ">
< xs:sequence >
< xs:element name =" exclude " minOccurs =" 0 " maxOccurs =" unbounded ">
< xs:complexType >
< xs:attribute name =" parameterref " type =" xs :string " use =" required "/>
</ xs:complexType >
</ xs:element >
</ xs:sequence >
</ xs:extension >
</ xs:complexContent >
</ 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.

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