6.2. Semântica Dinâmica: o DSSSL

6.2.1. Componentes funcionais de especificação

O DSSSL esteve vários anos em desenvolvimento e sofreu várias alterações nesse período. A complexidade que lhe é inerente é bastante alta o que justifica a pouca bibliografia existente apesar dos esforços realizados nesse sentido; além do texto da norma [Cla96], algumas tutoriais bastante superficiais [Ken97, DuC97, Spe98] e duas mais recentes e mais completas [Ger96, Pre97], há apenas aquilo que se baptizou de "DSSSL Documentation Project" que é um esforço global, levado a cabo através da Internet com a colaboração de todos os utilizadores de DSSSL, para a criação de um livro didáctico [Mul98], que sirva quer a principiantes quer a utilizadores experientes.

O modelo conceptual subjacente à linguagem é bastante complexo (Figura 6-1), pelo que se vai analisar a sua estrutura e depois cada uma das suas subcomponentes separadamente.

O DSSSL é essencialmente uma linguagem de especificação na qual se podem distinguir quatro sublinguagens. Duas principais, para preparar o documento final e formatá-lo:

• uma linguagem para especificar a transformação de um ou mais documentos SGML num ou mais documentos SGML.

• uma linguagem para especificar a aplicação de atributos de formatação a um documento SGML.

E outras duas auxiliares:

• uma linguagem de interrogação, Standard Document Query Language (SDQL), que se pode utilizar para identificar e seleccionar partes de um documento SGML.

• uma linguagem funcional de cálculo de expressões, que é um subconjunto do padrão para as linguagens funcionais - Scheme, que serve de suporte e de ligação às outras linguagens.

Em termos de implementação e referindo-nos ao jade, a única sublinguagem totalmente implementada é a de especificação da formatação. Todas as outras foram parcialmente implementadas e continuam a sê-lo à medida das necessidades. Necessidades estas que têm a ver com a formatação dos documentos, que como é a primeira necessidade dos utilizadores é a que tem de ser servida primeiro para que a tecnologia seja adoptada e tenha sucesso.

6.2.2. Modelo Conceptual

Uma especificação DSSSL compreende duas partes:

• uma especificação de transformação - há situações em que o conteúdo do documento final pretendido difere do original, é um subconjunto ou corresponde a uma reordenação do conteúdo inicial; nestas situações o documento original tem que passar por uma fase de transformação antes de ser formatado.

• uma especificação de estilo - que vai dirigir a formatação.

O transformador actua sobre o documento SGML de origem e transforma-o, de acordo com a especificação, dando origem a um novo documento SGML. Este novo documento é por sua vez passado a um formatador que o vai formatar de acordo com a especificação de estilo dando origem a um documento no formato previamente seleccionado para o resultado final (RTF, Postscript, PDF, HTML, etc).

A especificação de estilo controla parcialmente o processo de formatação (definição de margens, escolha do tipo de letra, tamanho da letra). O controlo é apenas parcial porque há muitos detalhes que são pré-estabelecidos pela equipa responsável pela implementação do formatador e que podem diferir de uns para os outros. Por exemplo, os algoritmos que gerem a quebra de linha e de página podem ser implementados de várias maneiras.

Estes dois processos, transformação e formatação, podem constituir uma só aplicação ou, poderão ser duas aplicações completamente independentes. Não há qualquer dependência entre eles.

6.2.3. Linguagem de Transformação

Como já foi referido, a linguagem de transformação permite especificar processos de modificação (alteração/eliminação/criação).

Um processo de transformação pode compreender operações como:

• Rearranjo de estruturas - reordenação e/ou agrupamento de estruturas existentes.

• Construção de novos elementos relacionados com outros elementos já existentes - o analista especifica como é que os novos elementos se obtêm a partir dos existentes - por exemplo, as footnotes que vão aparecendo podem ser agrupadas e colocadas no fim do respectivo capítulo.

• Associação de novas características a sequências específicas de conteúdo - o primeiro parágrafo de um capítulo pode ter um início diferente dos outros parágrafos nesse capítulo - estas sequências de conteúdo podem ser identificadas recorrendo à utilização de SDQL.

• Associação de novas características a componentes específicos de conteúdo - por exemplo, associar atributos de formatação a strings do texto que não se encontram anotadas em SGML.

Resumindo, com esta linguagem o utilizador pode especificar modificações que afectam, quer o conteúdo, quer a estrutura do documento SGML original.

Como se disse acima, todas as operações especificadas no processo de transformação são independentes do processo de formatação que se lhe vai seguir.

6.2.4. O Processo de Transformação

O processo de transformação, SGML Tree Transformation Process (STTP), representado na Figura 6-2, compreende as etapas, que se descrevem a seguir: Construção do grove (Secção 6.2.4.1); Transformação (Secção 6.2.4.2); Geração de SGML (Secção 6.2.4.3).

  Grove     : Nodo-Seq
  Nodo      : identificador * Atributos * Conteúdo
            | identificador * texto
  Atributos : Atributo-Seq
  Atributo  : identificador * tipo * valor
  Conteúdo  : Nodo-Seq

          <RECEITAS>
            <TITULO> O Meu Livro de Receitas </TITULO>
            <RECEITA ORIGEM="Portugal">
              <TITULO> Bolo </TITULO>
              <INGREDIENTE> 500g de farinha </INGREDIENTE>
              <INGREDIENTE> 200g de açucar </INGREDIENTE>
              <INGREDIENTE> 300g de manteiga </INGREDIENTE>
            </RECEITA>
          </RECEITAS>

          <!DOCTYPE RECEITAS [
          <!ELEMENT RECEITAS    (TITULO,RECEITA*)>
          <!ELEMENT TITULO      (#PCDATA)>
          <!ELEMENT RECEITA     (TITULO,INGREDIENTE+)>
          <!ELEMENT INGREDIENTE (#PCDATA)>
          <!ATTLIST RECEITA
                               ORIGEM CDATA #IMPLIED>
          ]>

  Espec-Transf : Associação-Set
  Associação   : Exp_Selecção * Exp_Transformação *Exp_Prioridade

; Transformação identidade
;    cria um novo grove igual ao primeiro
;

(=> (tudo) (transf-por-defeito))

; em que tudo é a Exp-Selecção

(define (tudo)
  (subgrove (current-root)))

; em que transf-por-defeito é a Exp-Transformação

(define (transf-por-defeito)
  (if (occurrence-mode (current-node))
      (transf-por-origem)
      (create-root #f (copy-current))))

(define (transf-por-origem)
  (create-sub
    (origin (current-node))
    (copiar-actual)
    (property: (occurrence-mode (current-node)))))

(define (copiar-actual)
  (subgrove-spec node: (current-node)))

6.2.5. Linguagem de Estilo

A linguagem de estilo permite descrever a aparência visual desejada para o documento final através da especificação do processo de formatação.

O processo de formatação vai:

• aplicar estilos de apresentação ao conteúdo do documento original e irá determinar a sua posição real na organização física das páginas.

• seleccionar e reordenar o conteúdo do documento final tendo em conta a sua posição no documento original.

• incluir material que não estava explicitamente presente no documento original - exemplo: geração de um índice.

• excluir, do documento final, material presente no documento original.

Uma especificação de estilo é composta por um conjunto de regras de construção. O objectivo destas regras é a construção de uma nova estrutura, a Flow Object Tree (FOT). A FOT é uma árvore de objectos gráficos que funciona de representação intermédia para o processo de formatação. A especificação de estilo acaba por ser a especificação da transformação de uma árvore, o grove, noutra árvore, a FOT. Os objectos gráficos, que correspondem aos nodos da FOT encontram-se definidos na norma [Cla96]; no resto desta secção apresentam-se exemplos envolvendo a criação de alguns deles.

Actualmente o DSSSL suporta cinco tipos de regras de construção: root, element, default, query e id. Umas são mais específicas que as outras. Se fossem ordenadas da mais para a menos específica obter-se-ia a seguinte ordem: query, id, element, default, root. A prioridade de uma regra serve para resolver conflitos, por exemplo: se um elemento do grove for seleccionado por uma regra do tipo element então, a regra default já não se aplicará àquele elemento.

          (nome-da-regra (exp-selecção)
                         (exp-acção)
          )

          (root
            (make display-group
              (process-children)
            )
          )

          (default
            (process-children)
          )

          (element (seccao titulo)
            (make paragraph
              font-family-name: "Helvetica"
              font-weight: 'bold
              (process-children)
            )
          )

          (id ("sec2")
            (make paragraph
              font-family-name: "Helvetica"
              font-weight: 'bold
              (process-children)
            )
          )

          (query q-class 'pi
            (make paragraph
              literal "Instrução de Processamento:"
              (node-property 'system-data (current-node))
            )
          )

6.2.6. O Processo de Formatação

Tal como se disse atrás para o caso da transformação, antes do início do processamento o documento tem que ser analisado e uma estrutura arbórea tem que ser criada com o seu conteúdo - o grove: se o processo de formatação se seguir a uma transformação o grove encontra-se já disponível; senão, terá de se começar pelo parsing do documento fonte. Como já se mostrou, cada nodo desta estrutura corresponde a um elemento do documento. O processo de formatação especifica-se associando a cada nodo do grove um conjunto de regras de construção que irão criar uma nova estrutura - a Flow Object Tree (FOT). Nesta nova estrutura, cada um dos nodos corresponde a um objecto com características gráficas. Para finalizar o processo, esta estrutura é passada a um formatador que apenas vai organizar espacialmente, no suporte físico de saída seleccionado, os objectos gráficos.

Assim e resumindo, o processo de formatação, que se vê esquematizado na Figura 6-3, compreende três fases:

6.2.7. Algumas especificações exemplo

Apresentam-se agora algumas especificações DSSSL que, se fossem utilizadas para processar o livro de receitas do Exemplo 6-1, serviriam para obter os efeitos indicados em cada caso.

Comecça-se por uma especificação de estilo básica que simplesmente converterá o texto do documento SGML original para RTF, MIF, ou TeX (conforme a opção passada ao formatador), sem nenhum requisito de formatação.

          (root
            (make simple-page-sequence
              (process-children))
          )

Complica-se, agora, o exemplo anterior, adicionando à especificação as indicações necessárias para formatar as margens do texto.

          (root
            (make simple-page-sequence
              left-margin:    3cm
              right-margin:   2cm
              top-margin:     3cm
              bottom-margin:  3cm
              (process-children))
          )

Complicando mais um pouco, pretende-se agora formatar de maneira diferente o título do livro de receitas e o título individual de cada receita.

          (element (RECEITAS TITULO)
            (make paragraph
              quadding:        'center
              font-size:       18pt
              keep-with-next?: #f
              (process-children)
            )
          )

          (element (RECEITA TITULO)
            (make paragraph
              quadding:        'left
              font-size:       16pt
              keep-with-next?: #f
              (process-children)
            )
          )

A especificação anterior pode ser reescrita recorrendo à utilização de variáveis para os valores dos atributos, o que facilitará a sua manutenção.

          ;Constantes

          (define *tituloPrinc* 18pt)
          (define *tituloReceita* (- *tituloPrinc* 2))

          ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

          (element (RECEITAS TITULO)
            (make paragraph
              quadding:        'center
              font-size:       *tituloPrinc*
              keep-with-next?: #f
              (process-children)
            )
          )

          (element (RECEITA TITULO)
            (make paragraph
              quadding:        'left
              font-size:       *tituloReceita*
              keep-with-next?: #f
              (process-children)
            )
          )

Aqui estão a ser utilizados alguns dos muitos atributos da classe paragraph. Para uma informação mais detalhada sobre as classes e respectivos atributos aconselha-se a leitura da norma.

Por fim, mostra-se um exemplo que exibe o tipo de especificação utilizada para a criação de índices e outros tipos de listas de conteúdos. Neste caso, coloca-se no início do livro de receitas uma lista de todos os ingredientes necessários para a execução de todas as receitas - isto implica uma passagem adicional sobre o documento para a construção desta lista.

          (element RECEITAS
            (make sequence
              (literal "Ingredientes necessários:")
              (make paragraph  
                (with-mode *ingredientes*
                  (process-matching-children "INGREDIENTE")))
              (process-children)
            )
          )

          (mode *ingredientes*
            (element INGREDIENTE
              (if (= (child-number) 1)
                (make sequence
                  font-posture: 'italic
                  (process-children))
                (make sequence
                  font-posture: 'italic
                  (literal " & ")
                  (process-children))))
            (default
              (empty-sosofo)))

Nesta secção, deu-se uma ideia da potencialidade do DSSSL e da metodologia de especificação que lhe é subjacente. Muita coisa ficou fora desta abordagem, no entanto, as características aqui apresentadas permitem concretizar processos de formatação com alguma complexidade.

A Semântica Estática é um assunto completamente novo. Até à data, não houve nenhum estudo que apontasse uma solução para a sua definição e implementação. Neste momento, existem umas propostas em estudo [DCD, WIDL] a nível do World Wide Web Consortium (W3C) - entidade que superintende a criação de novas normas relacionadas com a publicação electrónica e a Internet, mas numa forma ainda muito incipiente.

Como a discussão desta temática reflecte a contribuição mais significativa desta tese, é apresentada num capítulo à parte, o próximo, Capítulo 7.