sign in
english version rss feed

inria-00000750, version 1

Anchoring modularity in HTML.

Claude Kirchner 1, Hélène Kirchner 1, Anderson Santana De Oliveira () 1

1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05 (2005) 139-151

Abstract: Modularity is a key feature at design, programming, proving, testing, and maintenance time, as well as a must for reusability. Most languages and systems provide built-in facilities for encapsulation, importation or parameterization. Nevertheless there exists also languages, like HTML, with poor support for modularization. A natural idea is therefore to provide generic modularization primitives. To extend an existing language with additional and possibly formal capabilities, the notion of \textit{anchorage} and \textit{Formal Island} has been introduced recently. TOM for example, provides generic matching, rewriting and strategy extensions to JAVA and~C. In this paper, we show on the HTML example, how to add modular features by anchoring modularization primitives in HTML. This allows one to write modular HTML descriptions, therefore facilitating their design, reusability, and maintenance, as well as providing an important step towards HTML validity checking.

  • 1:  PROTHEO (INRIA Lorraine - LORIA)
  • INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine
  • Domain : Computer Science/Programming Languages
  • Keywords : Modularization – parameterization – HTML – TOM – MHTML – formal island – feature anchorage
 
  • inria-00000750, version 1
  • oai:hal.inria.fr:inria-00000750
  • From: 
  • Submitted on: Wednesday, 16 November 2005 11:50:22
  • Updated on: Tuesday, 10 October 2006 15:15:59
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...