[OASIS Issue Tracker] Created: (TAG-9) Tag-Comment: Why TAMLPredicate not Formal?

[OASIS Issues Tracker <workgroup_mailer@lists.oasis-open.org>]

Tag-Comment: Why TAML Predicate not Formal?
-------------------------------------------

                 Key: TAG-9
                 URL: http://tools.oasis-open.org/issues/browse/TAG-9
             Project: OASIS Test Assertions Guidelines (TAG) TC
          Issue Type: Improvement
          Components: TA markup doc CD 02
            Reporter: Dennis Hamilton
            Assignee: Jacques Durand 


This TAG-Comment is from "Bahareh Heravi" <Bahareh.Heravi@brunel.ac.uk> on 2010-05-11: 
   <http://lists.oasis-open.org/archives/tag-comment/201005/msg00002.html>.

The question is why is not a formal notation for predicates introduced in TAML   To wit,

"""
As far as I understand Test Assertions are meant to kind of formalise Normative Statements in the specifications which is superb.

I couldn't find a description for Test Assertion Mark-up Language in its spec but I reckon it provides a XML representation of the Test Assertions. However, I don't quite get the point of a machine readable representation when the predicates are not formal.
"""

The concern is that the predicate is not machine-interpretable.

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: http://tools.oasis-open.org/issues/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira