Storage and management of formal specifications for reuse
作者:
PatrickShicheng Chen,
Rolf Hennicker,
Matthias Jarke,
期刊:
Journal of the Chinese Institute of Engineers
(Taylor Available online 1995)
卷期:
Volume 18,
issue 6
页码: 879-888
ISSN:0253-3839
年代: 1995
DOI:10.1080/02533839.1995.9677756
出版商: Taylor & Francis Group
关键词: semanto‐syntactical parsing;specification signature;software maintenance;object‐oriented software database
数据来源: Taylor
摘要:
Formal specifications, which represent the essential syntactic and semantic information of various possible implementations, provide a basis for software reuse. But, to find a reusable component out of thousands of stored specifications is not an easy task. The specifications, like most programs, consist of brief descriptions and specification texts. To achieve a more accurate retrieval, we use a two‐layer strategy in this paper: First, we attach keywords to each specification where we have abstracted keywords using a new method calledsemanto‐syntactical parsingwhich takes into account both the syntactic and semantic aspects of the narrative descriptions of the specifications. Second, we further consider the signatures of the specifications where we have solved some known problems. Storage, retrieval, and maintenance of the software components are supported by the facilities of an object‐oriented database management systems. The benefits obtained from such a strategy are also described.
点击下载:
PDF (734KB)
返 回