Search found 46 matches

by KeithWillshaw
Tue Aug 12, 2014 9:58 am
Forum: Templates
Topic: TIPs revisited
Replies: 21
Views: 6844

Re: TIPs revisited

Frankly Hans I dont really understand this Let’s take your example of Actuator Type which is a specialization of the general pattern ClassifiedPartOfClassOfAssembly with examples such as ActuatorType, Valve Seat Type etc Essentially in the TSP what we have is this ObjectOfInterest (Valve) ---> Obj...
by KeithWillshaw
Tue Jul 29, 2014 1:35 pm
Forum: Templates
Topic: TIPs revisited
Replies: 21
Views: 6844

Re: TIPs revisited - GENERAL

Victor One quick reply before everything else. Let's avoid existential quantifiers, bring all internal variables to the signature. For the uninitiated: something like ∃u() in T0002. Before doing that we must seek buy-in from the community, because it forces us to bring the intermediate OOIs (such a...
by KeithWillshaw
Fri Mar 07, 2014 2:01 pm
Forum: General discussions
Topic: Process cases and conditions
Replies: 10
Views: 4876

Re: Process cases and conditions

We seem to have crossed threads. I just posted a little write up on the EDRC forum :)

Here it is again in word and pdf format

Keith
by KeithWillshaw
Thu Feb 20, 2014 12:03 pm
Forum: Templates
Topic: Replacing old with new information in a façade
Replies: 2
Views: 2201

Re: Replacing old with new information in a façade

When we load a template instance in a façade, the façade software shall be capable of detecting whether or not there is an older version of that template that needs to be deprecated This topic is to start an exchange of views on the following question: HOW? Some thoughts: 1) it depends on the templ...
by KeithWillshaw
Wed Feb 19, 2014 11:24 am
Forum: Templates
Topic: Hiding the (class_of)temporal part in template signatures
Replies: 9
Views: 3621

Re: Hiding the (class_of)temporal part in template signature

@Keith - How would the meta:valDeprecationDate be used ? For templates for Class as indicated: use template ActivityCausesDeprecatedClass For templates for Individual use the template EndingOfIndividual http://www.15926.org/templatespecs/IN-EXIST-03.xml where the individual is the "unhidden" tempor...
by KeithWillshaw
Tue Feb 18, 2014 11:03 am
Forum: Templates
Topic: Hiding the (class_of)temporal part in template signatures
Replies: 9
Views: 3621

Re: Hiding the (class_of)temporal part in template signature

This is very interesting Hans

How would the meta:valDeprecationDate be used ?

Keith
by KeithWillshaw
Mon Jan 27, 2014 2:55 pm
Forum: Templates
Topic: Questions about Class Model
Replies: 1
Views: 1858

Questions about Class Model

I have been reviewing the Class templates and the various articles that have been written about this and have a number questions about it. Rather than spell them out in this message, it incudes some diagrams, I have put them in the attached document in both MS Word and pdf format and would appreciat...
by KeithWillshaw
Fri Jan 24, 2014 10:59 am
Forum: General discussions
Topic: Nullifying Values in Part7/8
Replies: 25
Views: 9413

Re: Nullifying Values in Part7/8

Adding any kind of qualification by any means to the template instance will not help you with the basic fact -- template instance with a missing role is not a valid predicate under the P7 and can not be expanded. So there are no need for special meta property - verification code can find all templa...
by KeithWillshaw
Fri Jan 24, 2014 10:50 am
Forum: General discussions
Topic: Nullifying Values in Part7/8
Replies: 25
Views: 9413

Re: Nullifying Values in Part7/8

I may have missed the point, but from the posting of Keith I got the impression that he was talking about the quality of the information. I'll give an example from the engineering practice: Power cables have to be ordered early, because they will be in underground trenches, and these are finished a...
by KeithWillshaw
Tue Jan 21, 2014 11:32 am
Forum: General discussions
Topic: Nullifying Values in Part7/8
Replies: 25
Views: 9413

Re: Nullifying Values in Part7/8

ok so we need some movement on this one. To properly relate status such as null or lifecycle information do we need properties to have identities?? If so it has far reaching impications on the proposed template set and current developments. Can we please continue this discussion and back it up in t...