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

Show
Ignore:
Timestamp:
06/05/10 16:13:02 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ClassInvolvementStatusBeginning

    v0 v1  
     1=== Base Template !ClassInvolvementStatusBeginning === 
     2 
     3[[br]]This template specializes template !InvolvementStatusBeginning by restricting the thing  
     4involved in an activity to be a class.  
     5[[br]] 
     6[[br]]!ClassInvolvementStatusBeginning(a, b, c, d, e, f) means that a is a class and b is an activity and c is a type of involvement, d is an approval status and e is the approver and f is a point in time. a is involved in activity b and c is the type of involvement, the activity is approved, d is type of status of the approval and e is the approver, f is the start time of the activity.  
     7 
     8[[br]] 
     9[[br]]Roles:  
     10[[br]]1 hasInvolvedClass Class  
     11[[br]]2 hasInvolverActivity Activity  
     12[[br]]3 hasInvolvementType !ClassOfInvolvementByReference  
     13[[br]]4 hasStatus !ClassOfApprovalByStatus  
     14[[br]]5 hasApprover !PossibleIndividual  
     15[[br]]6 hasStartTime !RepresentationOfGregorianDateAndUtcTime  
     16 
     17Axiom:  
     18{{{ 
     19ClassInvolvementStatusBeginning(x1, x2, x3, x4, x5) <->  
     20Class(x1) &  
     21Activity(x2) &  
     22ClassOfInvolvementByReference(x3) &  
     23ClassOfApprovalByStatus(x4) &  
     24PossibleIndividual(x5) &  
     25RepresentationOfGregorianDateAndUtcTime(x6) &  
     26InvolvementStatusBeginning(x1, u, x3, x4, x5, x6) .  
     27}}} 
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