Issue 11101: Common Logic Metamodel is out of sync with the ISO FDIS CL specification (odm-ftf) Source: Thematix Partners LLC (Mrs. Elisa F. Kendall, ekendall(at)thematix.com) Nature: Uncategorized Issue Severity: Summary: Specification: Ontology Definition Metamodel FormalNumber: ptc/06-10-11 Section: 12 Summary: Common Logic Metamodel is out of sync with the ISO FDIS CL specification. Description: Minor changes were made to the CL language as it was finalized through the ISO process, which are not reflected in the ODM specification. These include text and diagram / model / xmi changes, which, although minor, should be resynchronized now that the ISO standardization process is complete Resolution: Revise the CL metamodel and related text as follows. Changes include: § Revised reference to the FDIS CL specification § Addition of Association CommentedText to and elimination of Association CommentedPhrase from the Phrases Diagram (Figure 12.1) § Rename Association ArgumentsForFunctionalTerm to ArgumentSequenceForFunctionalTerm (Figure 12.2) § Rename Association ArgumentsForAtomicSentence to ArgumentSequenceForAtomicSentence (Figure 12.3) § Rename Association BindingSequence to BindingSequenceForQuantifiedSentence (Figure 12.6) and provide missing paragraph (12.7.1 Binding) Revised Text: 1. Revise reference in section 3, Normative References, as follows: [ISO 24707] ISO/IEC FDIS 24707:2007(E) Information technology - Common Logic (CL) - A framework for a family of logic-based languages. Available at http://cl.tamu.edu/. 2. Replace Figure 12.1, page 94, with 2.1 In section 12.2.1 Comment, under Associations, replace the second bullet, § commentedPhrase: Phrase [0..1] in association CommentedPhrase - the phrase about which the comment applies with § commentedText: Text [0..1] in association CommentedText - the text about which the comment applies 2.2 In section 12.2.7, Phrase, under Associations, delete the first bullet, namely: § commentForPhrase: Comment [0..*] in association CommentedPhrase - optional comment(s) associated with the phrase. 2.3 In section 12.2.9, Text, under Associations, add a new first bullet: § commentForText: Comment [0..*] in association CommentedText - optional comment(s) associated with the text. 3. Replace Figure 12.2, page 102, with 3.1 In section 12.3.1 Argument, revise the second bullet under Associations as follows: § functionalTerm: FunctionalTerm [0..*] in association ArgumentSequenceForFunctionalTerm - links an argument sequence to a functional term. 3.2 In section 12.3.3 FunctionalTerm, revise the first bullet under Associations as follows: § argument: Argument [0..*] in association ArgumentSequenceForFunctionalTerm - links zero or more additional terms (i.e., arguments) to a functional term. 4. Replace Figure 12.3, page 105, with 4.1 In section 12.3.1 Argument, revise the first bullet under Associations as follows: § atomicSentence: AtomicSentence [0..*] in association ArgumentSequenceForAtomicSentence - links an argument sequence to an atomic sentence. 4.2 In section 12.4.2 AtomicSentence, revise the first bullet under Associations as follows: § argument: Argument [0..*] in association ArgumentSequenceForAtomicSentence - links an argument sequence to the relation that the argument(s) participate in. 5. Replace Figure 12.6, page 114, with 5.1 In section 12.5.10 QuantifiedSentence, revise the second bullet under Associations as follows: § binding: Binding [0..*] in association BindingSequenceForQuantifiedSentence - associates zero or more ordered bindings with the expression. 5.2 In section 12.7, insert the following (missing) subsection: 12.7.1 Binding Description A quantified sentence has (i) a type, called a quantifier, (ii) a finite, non-repeating sequence of names and sequence markers called the binding sequence, each element of which is called a binding of the quantified sentence, and (iii) a sentence called the body of the quantified sentence. A name or sequence marker which occurs in the binding sequence is said to be bound in the body. Any name or sequence marker which is not bound in the body is said to be free in the body. Attributes None Associations § quantifiedSentence: QuantifiedSentence [0..1] in association BindingSequenceForQuantifiedSentence - associates an optional sentence with a binding § boundName: Name [0..1] in association BoundName - associates an optional name with a particular binding § boundSequenceMarker: SequenceMarker [0..1] in association BoundSequenceMarker - associates an optional sequence marker with a particular binding Constraints [1] Name and SequenceMarker form a complete covering of Binding. context Binding inv DisjointPartition: (self.oclIsTypeOf(Name) xor self.oclIsTypeOf(SequenceMarker)) Semantics No additional semantics. Disposition: Resolved Actions taken: June 13, 2007: received issue January 15, 2008: closed issue Discussion: End of Annotations:===== il-OSG: dZ0cUVQVM1kwh1ipDmEyqOFU0gOnzr8X7loJkEUBsTM6BhqpxP5XOuXAF7JF4j8b_DemqbxKVA-- Date: Tue, 12 Jun 2007 23:06:31 -0700 From: "Elisa F. Kendall" Organization: Sandpiper Software, Inc. User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax;nscd1) X-Accept-Language: en-us, en To: issues@omg.org Subject: ODM FTF Issue: Common Logic Metamodel is out of sync with the ISO FDIS CL specification Name: Elisa Kendall Company: Sandpiper Software Specification: Ontology Definition Metamodel FormalNumber: ptc/06-10-11 Section: 12 Summary: Common Logic Metamodel is out of sync with the ISO FDIS CL specification. Description: Minor changes were made to the CL language as it was finalized through the ISO process, which are not reflected in the ODM specification. These include text and diagram / model / xmi changes, which, although minor, should be resynchronized now that the ISO standardization process is complete.