-- Operating_environment
/assigning_state_type(
    sd_class_name='Operating_environment',
    sd_ecl_id='urn:plcs:rdl:uk_defence',
    sd_role_class_name='Operating_environment_definition_assignment',
    sd_role_ecl_id='urn:plcs:rdl:uk_defence',
    assigned_to=@related_item)/
%^op_env = $assigning_state_type.state_def%

-- Operating_environment identifier
/identifier(
    ID=@ID,
    source_organization=@source_organization,
    type='Operating_environment_identifier',
    items=^op_env)/

-- [ OPTIONAL Document_assignment ] to indicate the assumption
Document_assignment

-- Set the OPTIONAL Document_assignment attribute role to be ignored
Document_assignment.role = '/IGNORE'
Document_assignment.assigned_document -> @related_assumptions
Document_assignment.is_assigned_to -> ^op_env

-- Instantiate the Requirement_assignment entity and link it to state_definition.
Requirement_assignment.assigned_requirement -> @related_requirements
Requirement_assignment.id = '/IGNORE'
Requirement_assignment.description = '/IGNORE'

-- Populate the Applied_state_definition_assignment
Applied_state_definition_assignment.described_state_definition -> ^op_env
Applied_state_definition_assignment.assigned_to -> @related_locations
Applied_state_definition_assignment.role -> ^op_env

<refpath
   template="operating_environment">
   <comment>
      Operating_environment
   </comment>
   <call_template
      name="assigning_state_type"
      business_context="UK_Defence">
      <param_in
         name="sd_class_name"
         value="'Operating_environment'">
         
      </param_in>
      <param_in
         name="sd_ecl_id"
         value="'urn:plcs:rdl:uk_defence'">
         
      </param_in>
      <param_in
         name="sd_role_class_name"
         value="'Operating_environment_definition_assignment'">
         
      </param_in>
      <param_in
         name="sd_role_ecl_id"
         value="'urn:plcs:rdl:uk_defence'">
         
      </param_in>
      <param_in
         name="assigned_to"
         value="@related_item">
         
      </param_in>
   </call_template>
   <bind
      parameter="op_env">
      <template_instance
         template="assigning_state_type"
         parameter="state_def">
         
      </template_instance>
   </bind>
   <comment>
      Operating_environment identifier
   </comment>
   <call_template
      name="identifier"
      business_context="UK_Defence">
      <param_in
         name="ID"
         value="@ID">
         
      </param_in>
      <param_in
         name="source_organization"
         value="@source_organization">
         
      </param_in>
      <param_in
         name="type"
         value="'Operating_environment_identifier'">
         
      </param_in>
      <param_in
         name="items"
         value="^op_env">
         
      </param_in>
   </call_template>
   <comment>
      [ OPTIONAL Document_assignment ] to indicate the assumption
   </comment>
   <instantiate
      entity="Document_assignment"
      context="UK_Defence">
      
   </instantiate>
   <comment>
      Set the OPTIONAL Document_assignment attribute role to be ignored
   </comment>
   <assign
      assignment_type="equals"
      context="UK_Defence">
      <target>
         <express_attribute
            entity="Document_assignment"
            attribute="role"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <string
            value=" '/IGNORE' ">
            
         </string>
      </source>
   </assign>
   <assign
      assignment_type="points-to">
      <target>
         <express_attribute
            entity="Document_assignment"
            attribute="assigned_document"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <param_in_ref
            name="related_assumptions">
            
         </param_in_ref>
      </source>
   </assign>
   <assign
      assignment_type="points-to">
      <target>
         <express_attribute
            entity="Document_assignment"
            attribute="is_assigned_to"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <bound_parameter
            name="op_env">
            
         </bound_parameter>
      </source>
   </assign>
   <comment>
      Instantiate the Requirement_assignment entity and link it to state_definition.
   </comment>
   <assign
      assignment_type="points-to">
      <target>
         <express_attribute
            entity="Requirement_assignment"
            attribute="assigned_requirement"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <param_in_ref
            name="related_requirements">
            
         </param_in_ref>
      </source>
   </assign>
   <assign
      assignment_type="equals"
      context="UK_Defence">
      <target>
         <express_attribute
            entity="Requirement_assignment"
            attribute="id"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <string
            value=" '/IGNORE' ">
            
         </string>
      </source>
   </assign>
   <assign
      assignment_type="equals"
      context="UK_Defence">
      <target>
         <express_attribute
            entity="Requirement_assignment"
            attribute="description"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <string
            value=" '/IGNORE' ">
            
         </string>
      </source>
   </assign>
   <comment>
      Populate the Applied_state_definition_assignment
   </comment>
   <assign
      assignment_type="points-to">
      <target>
         <express_attribute
            entity="Applied_state_definition_assignment"
            attribute="described_state_definition"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <bound_parameter
            name="op_env">
            
         </bound_parameter>
      </source>
   </assign>
   <assign
      assignment_type="points-to">
      <target>
         <express_attribute
            entity="Applied_state_definition_assignment"
            attribute="assigned_to"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <param_in_ref
            name="related_locations">
            
         </param_in_ref>
      </source>
   </assign>
   <assign
      assignment_type="points-to">
      <target>
         <express_attribute
            entity="Applied_state_definition_assignment"
            attribute="role"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <bound_parameter
            name="op_env">
            
         </bound_parameter>
      </source>
   </assign>
</refpath>