Re: [tag] Prior art reference for ADL

[stephen.green@systml.co.uk]

Thanks Kevin for these AI contributions.

They just missed my latest document draft (0.9.5)
but I've added (with edits) the wordings to the
wiki.

I'd like to try to simplify the wording a little
for the next document draft (0.9.6) so they can
still be understood by specification novices -
like myself :-)

[Please would the TC note I'll probably be using a
new email address for postings from now on:
stephen.green <at> documentengineeringservices.com]

best regards

-- 
Stephen D. Green

Partner
SystML, http://www.systml.co.uk
Tel: +44 (0) 117 9541606

http://www.biblegateway.com/passage/?search=matthew+22:37 .. and voice



Quoting Kevin Looney <Kevin.T.Looney@Sun.COM>:

> Hi everyone,
>
>     I had an AI to 'fill-out' the prior-art reference to ADL:
>
>
> Assertion Definition Language (ADL) is a language allowing the
> automatic generation of test suites; Open Group, (1995 - 2007)
> http://adl.opengroup.org/
>
> We considered many aspects of ADL, as it describes an interesting
> formal encoding of assertion logic, and a system for processing this
> logic automatically into tests (and test description).  To some degree,
> this is the ultimate goal of specification analysis.  We felt that ADL
> did not become popular because of the skill required to encode written
> specifications into ADL, and the skills required to maintain the
> encoded specs (including re-analysis) when specification revisions
> occurred.
>
> ---------------------------------------------------------------------
> To unsubscribe from this mail list, you must leave the OASIS TC that
> generates this mail.  You may a link to this group and all your TCs in OASIS
> at:
> https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php