secondo me conviene che tu adotti la prima soluzione


<mioElemento attr="xxxx"/>
dove nella dtd avrai (se xxxx è l'attributo di default)

<!ELEMENT mioElemento EMPTY>
<!ATTLIST mioElemento
attr (xxxx|yyyy) "xxxx" >

e scusa se non ti ho risposto prima!