Re: On schema quality and schema limitations

Le ven 09/04/2004 à 17:37, Alex Rousskov a écrit :
> I believe going down the path outlined by the above questions may be a
> mistake. Since formal language is formal and English language is not,
> it is not possible to establish their formal equivalence without
> converting English to something formal (which would defeat the
> original purpose).

Well, except in the case where that's what you actually want to do (see
below).

> A good specification must not duplicate formal-language requirements
> in English prose. 

But in the given case, the English prose specification pre-exists to the
formal one ; and the formal specification is in fact mainly used for
validation and formalization purposes ; more generally, given that the
expressive power of English is much larger than the expressive power of
any formal language, you cannot necessarily transform all the
requirements you want to set in formal language requirements ; in
particular, there may always be cases that cannot be expressed in the
formal language that would be refined by the prose.

BTW, I've started a Wiki page on this topic, since I found it quite
interesting:
Formal Language Vs Prose
http://esw.w3.org/topic/FormalLanguageVsProse

It's probably better to continue the discussion on this thread for now,
but my hope is that this page can be used to capture the gist of it.

Thanks,

Dom
-- 
Dominique Hazaël-Massieux - http://www.w3.org/People/Dom/
W3C/ERCIM
mailto:dom@w3.org

Received on Tuesday, 13 April 2004 09:32:03 UTC