Abstract
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.
Original language | English |
---|---|
Pages | 148-155 |
Number of pages | 8 |
Publication status | Published - 1997 Dec 1 |
Event | Proceedings of the 1997 IEEE Knowledge & Data Engineering Exchange Workshop, KDEX - Newport Beach, CA, USA Duration: 1997 Nov 4 → 1997 Nov 4 |
Other
Other | Proceedings of the 1997 IEEE Knowledge & Data Engineering Exchange Workshop, KDEX |
---|---|
City | Newport Beach, CA, USA |
Period | 97-11-04 → 97-11-04 |
All Science Journal Classification (ASJC) codes
- Engineering(all)