Communicating Software Specifications using XML: OpenSpec

Dr. Martin v. Mohrenschildt


Abstract

In an ideal world, software specifications are machine readable (can be parsed) much of the tedious verification tasks could be automated by tools. But even if the specification can be processed by one specific tool it is often worthless to other tools not to mention that machine readable specifications are normally not easily read by humans.

The first step to solve these obstacles is to develop and define a standard which allows communicate, meaning exchange semantical as well as typesetting information of software specifications, between different tools and word processing systems including browsers.

The Extensible Markup Language XML allows to represent semantical as well as formatting information of a document. Purpose of this paper is to propose a standard called OpenSpec based on XML.

The OpenSpec standard is designed to communicate formal and semi formal software specifications. Further, OpenSpec allows to have different ''views" of the same document. The presented approach is not restricted to one particular type of specification notation but is intended to be acceptable to ``all" approaches to formal and informal specifications. Special consideration is given to support tabular specifications. We developed several software tools to support parsing writing and transforming OpenSpec documents.