Departmental Bulletin Paper Development of Software Components for Extracting Details from SOFL Formal Specifications

Liang, Bing

102015-03-24 , 法政大学大学院情報科学研究科
SOFL(Structured Object-Oriented Formal Language) formal specifications are useful and expressive in describing functional requirements for software development. Currently, the specifications can be specified and compiled by the SOFL tool and stored in an XML file, but the structure of the generated XML file is considerably complicated, which leads to the difficulty in reusing the XML file for developing other applications. To address this problem, software components which can extract details from the XML file to support reusing them is necessary. This paper introduces the software components which encapsulate a set of certain functionalities toextract details from compiled SOFL formal specifications. It can provide the extracted information in certain data structure. The implementation of the software components is also described. An example is presented to demonstrate the effectiveness of thecomponents.

Number of accesses :  

Other information