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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ClassInvolvementSuccession

    v0 v1  
     1=== Base Template !ClassInvolvementSuccession === 
     2 
     3[[br]]!ClassInvolvementSuccession(a, b, c, d, e, f, g, h) means two classes a, b are involved in the same capacity in activity c. From time h, the involvement of a is succeeded by involvement of b, and approver g assigns status e to a’s involvement, status f to b’s involvement.  
     4[[br]]NOTE 1 In the phylosophy of ISO 15926 classes are eternal, e.g. can have no lifecycle. However some highly specialized classes can get to be “revised” (“to revise” is an Activity). This template is used to connect succeeding classes and qualify the succession with an activity, approver and time stamp.  
     5[[br]] 
     6[[br]]Roles:  
     7[[br]]1 hasPredecessorClass Class  
     8[[br]]2 hasSuccessorClass Class  
     9[[br]]3 hasInvolverActivity Activity  
     10[[br]]4 hasInvolvementType !ClassOfInvolvementByReference  
     11[[br]]5 hasStatusOfPredecessor !ClassOfApprovalByStatus  
     12[[br]]6 hasStatusOfSuccessor !ClassOfApprovalByStatus  
     13[[br]]7 hasStatusApprover !PossibleIndividual  
     14[[br]]8 hasStartTime !RepresentationOfGregorianDateAndUtcTime  
     15 
     16Axiom:  
     17{{{ 
     18ClassInvolvementSuccession(x1, x2, x3, x4, x5, x6, x7, x8) <->  
     19Class(x1) &  
     20Class(x2) &  
     21Activity(x3) &  
     22ClassOfInvolvementByReference(x4) &  
     23ClassOfApprovalByStatus(x5) &  
     24ClassOfApprovalByStatus(x6) &  
     25PossibleIndividual(x7) &  
     26RepresentationOfGregorianDateAndUtcTime(x8) &  
     27exists u1 exists u2 exists u3(  
     28BeginningOfTemporalPart(u1, x3, x8)&  
     29InvolvementByReferenceTriple(u2, x1, u1)&  
     30InvolvementByReferenceTriple(u3, x2, u1)&  
     31ClassificationTemplate(u2, x4)&  
     32ClassificationTemplate(u3, x4)&  
     33StatusApproval(u2, x5, x7)&  
     34StatusApproval(u3, x6, x7)&  
     35SuccessionOfInvolvementByReference(u2, u3)) . 
     36}}} 
Home
About PCA
Reference Data Services
Projects
Workgroups