Issue 590: LRMoo: review of properties--request for comments
The LRMoo WG has done a review of technical aspects of the LRMoo property definitions. Namely, quantifiers, as well as transitivity, symmetry, reflexivity as discussed in recent SIGs for CRMbase.
We have found some cases of questionable quantifiers.
Finally, we reviewed the handling of the .1 properties, based on the best practices recently discussed on the list.
At this point we'd appreciate anyone who would have time to review our conclusions.
These are found in a 3 page document here:
This request for comments is open until May 14 (that is until after the upcoming SIG meeting).
Many thanks, Pat