In this paper, we propose an approach to reusing requirements specification, called task-based specifications in conceptual graphs (TBCG). In TBCG, task-based specification methodology is used to serve as the mechanism to structure the knowledge captured in conceptual models, and conceptual graphs is adopted as the formalism to express requirements specification. TBCG provides several mechanisms to facilitate the reuse of formal specifications: a contextual retrieval mechanism to support contest-sensitive specifications retrieval and incremental context acquisition, a graph matching mechanism to compute the similarity between two graphs based on the semantic match and fuzzy logic, and a paraphraser to serve as an explanation mechanism for the retrieved specifications.
|Number of pages||8|
|State||Published - 1997|
|Event||Proceedings of the 1997 IEEE Knowledge & Data Engineering Exchange Workshop, KDEX - Newport Beach, CA, USA|
Duration: 4 Nov 1997 → 4 Nov 1997
|Conference||Proceedings of the 1997 IEEE Knowledge & Data Engineering Exchange Workshop, KDEX|
|City||Newport Beach, CA, USA|
|Period||4/11/97 → 4/11/97|