Estil de document Semàntica i llenguatge d'especificació