Template:— safety_argument (sfty_arg)
Context:— UK_Defence
Date: 2010/03/15 15:10:55
Revision: 1.5
Template: safety_argument

XML references to the Template

These can be cut and pasted into the XML as required.

safety_argument

Set up a hyperlink to the template definition.
<template_ref name="safety_argument" context="UK_Defence" />

Set up a table of the template parameters.
<template_table figure_id="?" instance="?" name="safety_argument" context="UK_Defence" >
  <param name="Assumptions">
    <param_value></param_value>
    <description></description>
  </param>
  <param name="Category">
    <param_value></param_value>
    <description></description>
  </param>
  <param name="Developed_by">
    <param_value></param_value>
    <description></description>
  </param>
  <param name="Evidence">
    <param_value></param_value>
    <description></description>
  </param>
  <param name="ID">
    <param_value></param_value>
    <description></description>
  </param>
  <param name="ID_source_organization">
    <param_value>UK_Defence</param_value>
    <description></description>
  </param>
  <param name="Judgement">
    <param_value></param_value>
    <description></description>
  </param>
  <param name="Related_risk_mitigation">
    <param_value></param_value>
    <description></description>
  </param>
  <param name="Related_safety_claim">
    <param_value></param_value>
    <description></description>
  </param>
</template_table>

Setup a template_example:
<template_example name="safety_argument">
  <param_in name="Assumptions" value=""/>
  <param_in name="Category" value=""/>
  <param_in name="Developed_by" value=""/>
  <param_in name="Evidence" value=""/>
  <param_in name="ID" value=""/>
  <param_in name="ID_source_organization" value="UK_Defence"/>
  <param_in name="Judgement" value=""/>
  <param_in name="Related_risk_mitigation" value=""/>
  <param_in name="Related_safety_claim" value=""/>
</template_example>

safety_argument
/safety_argument(Assumptions='', Category='', Developed_by='', Evidence='', ID='', ID_source_organization='UK_Defence', Judgement='', Related_risk_mitigation='', Related_safety_claim='')/

Path

-- Document_assignment
/assigning_document(
    assigned_document=@Related_safety_claim,
    is_assigned_to=@Related_risk_mitigation,
    doc_ass_role='Safety_argument',
    doc_ar_ecl_id='urn:plcs:rdl:uk_defence')/
%^doc_asg = $assigning_document.doc_asg%

-- ID
/identifier(
    ID=@ID,
    source_organization=@ID_source_organization,
    type='ID',
    items=^doc_asg)/

-- Evidence
Document_assignment
Document_assignment.role = '/IGNORE'
Document_assignment.assigned_document -> @Evidence
Document_assignment.is_assigned_to -> ^doc_asg
%^ev = Document_assignment%
/assigning_reference_data(
    class_name='Evidence',
    ecl_id='urn:plcs:rdl:uk_defence',
    items=^ev)/

-- Category
/assigning_reference_data(
    class_name=@Category,
    ecl_id='urn:plcs:rdl:uk_defence',
    items=^doc_asg)/

-- Judgement
/assigning_descriptor(
    descr=@Judgement,
    class_name='Judgement',
    ecl_id='urn:plcs:rdl:uk_defence',
    is_assigned_to=^doc_asg)/

-- Create relationship to Developed_by
Organization_or_person_in_organization_assignment
Organization_or_person_in_organization_assignment.items -> ^doc_asg
Organization_or_person_in_organization_assignment.assigned_entity -> @Developed_by
Organization_or_person_in_organization_assignment.role = '/IGNORE'
%^dev_by = Organization_or_person_in_organization_assignment%
/assigning_reference_data(
    class_name='Developed_by',
    ecl_id='urn:plcs:rdl:uk_defence',
    items=^dev_by)/

-- [optional Assumptions]
Document_assignment
Document_assignment.role = '/IGNORE'
Document_assignment.assigned_document -> @Assumptions
Document_assignment.is_assigned_to -> ^doc_asg
%^ass = Document_assignment%
/assigning_reference_data(
    class_name='Assumptions',
    ecl_id='urn:plcs:rdl:uk_defence',
    items=^ass)/
The following entities are instantiated with attributes as specified:
Entity in path Value Inherited from
Document_assignment.role '/IGNORE'
Organization_or_person_in_organization_assignment.role '/IGNORE'
Document_assignment.role '/IGNORE'

XML representation of path

<refpath
   template="safety_argument">
   <comment>
      Document_assignment
   </comment>
   <call_template
      name="assigning_document"
      business_context="UK_Defence">
      <param_in
         name="assigned_document"
         value="@Related_safety_claim">
         
      </param_in>
      <param_in
         name="is_assigned_to"
         value="@Related_risk_mitigation">
         
      </param_in>
      <param_in
         name="doc_ass_role"
         value="'Safety_argument'">
         
      </param_in>
      <param_in
         name="doc_ar_ecl_id"
         value="'urn:plcs:rdl:uk_defence'">
         
      </param_in>
   </call_template>
   <bind
      parameter="doc_asg">
      <template_instance
         template="assigning_document"
         parameter="doc_asg">
         
      </template_instance>
   </bind>
   <comment>
      ID
   </comment>
   <call_template
      name="identifier"
      business_context="UK_Defence">
      <param_in
         name="ID"
         value="@ID">
         
      </param_in>
      <param_in
         name="source_organization"
         value="@ID_source_organization">
         
      </param_in>
      <param_in
         name="type"
         value="'ID'">
         
      </param_in>
      <param_in
         name="items"
         value="^doc_asg">
         
      </param_in>
   </call_template>
   <comment>
      Evidence
   </comment>
   <instantiate
      entity="Document_assignment"
      context="UK_Defence">
      
   </instantiate>
   <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="Evidence">
            
         </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="doc_asg">
            
         </bound_parameter>
      </source>
   </assign>
   <bind
      parameter="ev">
      <express_entity
         entity="Document_assignment"
         context="UK_Defence">
         
      </express_entity>
   </bind>
   <call_template
      name="assigning_reference_data"
      business_context="UK_Defence">
      <param_in
         name="class_name"
         value="'Evidence'">
         
      </param_in>
      <param_in
         name="ecl_id"
         value="'urn:plcs:rdl:uk_defence'">
         
      </param_in>
      <param_in
         name="items"
         value="^ev">
         
      </param_in>
   </call_template>
   <comment>
      Category
   </comment>
   <call_template
      name="assigning_reference_data"
      business_context="UK_Defence">
      <param_in
         name="class_name"
         value="@Category">
         
      </param_in>
      <param_in
         name="ecl_id"
         value="'urn:plcs:rdl:uk_defence'">
         
      </param_in>
      <param_in
         name="items"
         value="^doc_asg">
         
      </param_in>
   </call_template>
   <comment>
      Judgement
   </comment>
   <call_template
      name="assigning_descriptor"
      business_context="UK_Defence">
      <param_in
         name="descr"
         value="@Judgement">
         
      </param_in>
      <param_in
         name="class_name"
         value="'Judgement'">
         
      </param_in>
      <param_in
         name="ecl_id"
         value="'urn:plcs:rdl:uk_defence'">
         
      </param_in>
      <param_in
         name="is_assigned_to"
         value="^doc_asg">
         
      </param_in>
   </call_template>
   <comment>
      Create relationship to Developed_by
   </comment>
   <instantiate
      entity="Organization_or_person_in_organization_assignment"
      context="UK_Defence">
      
   </instantiate>
   <assign
      assignment_type="points-to">
      <target>
         <express_attribute
            entity="Organization_or_person_in_organization_assignment"
            attribute="items"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <bound_parameter
            name="doc_asg">
            
         </bound_parameter>
      </source>
   </assign>
   <assign
      assignment_type="points-to">
      <target>
         <express_attribute
            entity="Organization_or_person_in_organization_assignment"
            attribute="assigned_entity"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <param_in_ref
            name="Developed_by">
            
         </param_in_ref>
      </source>
   </assign>
   <assign
      assignment_type="equals"
      context="UK_Defence">
      <target>
         <express_attribute
            entity="Organization_or_person_in_organization_assignment"
            attribute="role"
            context="UK_Defence">
            
         </express_attribute>
      </target>
      <source>
         <string
            value=" '/IGNORE' ">
            
         </string>
      </source>
   </assign>
   <bind
      parameter="dev_by">
      <express_entity
         entity="Organization_or_person_in_organization_assignment"
         context="UK_Defence">
         
      </express_entity>
   </bind>
   <call_template
      name="assigning_reference_data"
      business_context="UK_Defence">
      <param_in
         name="class_name"
         value="'Developed_by'">
         
      </param_in>
      <param_in
         name="ecl_id"
         value="'urn:plcs:rdl:uk_defence'">
         
      </param_in>
      <param_in
         name="items"
         value="^dev_by">
         
      </param_in>
   </call_template>
   <comment>
      [optional Assumptions]
   </comment>
   <instantiate
      entity="Document_assignment"
      context="UK_Defence">
      
   </instantiate>
   <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="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="doc_asg">
            
         </bound_parameter>
      </source>
   </assign>
   <bind
      parameter="ass">
      <express_entity
         entity="Document_assignment"
         context="UK_Defence">
         
      </express_entity>
   </bind>
   <call_template
      name="assigning_reference_data"
      business_context="UK_Defence">
      <param_in
         name="class_name"
         value="'Assumptions'">
         
      </param_in>
      <param_in
         name="ecl_id"
         value="'urn:plcs:rdl:uk_defence'">
         
      </param_in>
      <param_in
         name="items"
         value="^ass">
         
      </param_in>
   </call_template>
</refpath>

© UK MOD 2010 — All rights reserved