Changes between Initial Version and Version 1 of SigMmt/Templates/StatusApproval

Show
Ignore:
Timestamp:
06/05/10 17:44:21 (11 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/StatusApproval

    v0 v1  
     1=== Base Template !StatusApproval === 
     2 
     3[[br]]This template is for stating that an approver assigns a status to a relationship.  
     4[[br]] 
     5[[br]]!StatusApproval(a, b, c) means that a is an relationship and b is a class of approval by status and c is a approver and that c assigns a with status b.  
     6[[br]] 
     7[[br]]Roles:  
     8[[br]]1 hasRelationship Relationship  
     9[[br]]2 hasStatus !ClassOfApprovalByStatus  
     10[[br]]3 hasApprover !PossibleIndividual  
     11 
     12Axiom:  
     13{{{ 
     14StatusApproval(x1, x2, x3) <->  
     15Relationship(x1) &  
     16ClassOfApprovalByStatus(x2) &  
     17PossibleIndividual(x3) &  
     18exists u(ApprovalTriple(u, x1, x3) &  
     19ClassificationTemplate(u, x2)) .  
     20}}} 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search