National Changhua University of Education Institutional Repository : Item 987654321/11688
English  |  正體中文  |  简体中文  |  全文筆數/總筆數 : 6507/11669
造訪人次 : 29711634      線上人數 : 299
RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
搜尋範圍 進階搜尋

請使用永久網址來引用或連結此文件: http://ir.ncue.edu.tw/ir/handle/987654321/11688

題名: Task-based specifications through conceptual graphs
作者: Lee, J.;Lai, Lien-Fu;Huang, Wei T.
貢獻者: 資訊工程學系
日期: 1996-08
上傳時間: 2012-07-02T02:01:08Z
出版者: Institute of Electrical and Electronics Engineers Inc.
摘要: Combining conceptual graphs with the task-based specification method to specify software requirements helps capture richer semantics, and integrates requirements specifications tightly and uniformly.Conceptual modeling is an important step toward the construction of user requirements. Requirements engineering is knowledge-intensive and cannot be dealt with using only a few general principles. Therefore, a conceptual model is domain-oriented and should represent the richer semantics of the problem domain. The conceptual model also helps designers communicate among themselves and with users.To capture and represent a conceptual model for the problem domain, we needmechanisms to structure the knowledge of the problem domain at the conceptual level, which has the underlying principles of abstraction and encapsulation; and formalisms to represent the semantics of the problem domain and to provide a reasoning capability for verification and validation.We propose the task-based specification methodology as the mechanism to structure the knowledge captured in conceptual models. TBSM offers four main benefits for constructing conceptual models: First, incorporating the task structure provides a detailed functional-decomposition technique for organizing and refining functional and behavioral specifications.Second, the distinction between soft and rigid conditions lets us specify conflicting functional requirements.Third, with TBSM, not only can we document the expected control flow and module interactions, but we can also verify that the behavioral specification is consistent with the system's functional specification.Fourth, the state model makes it easier to describe complex state conditions. Terminology defined in the state model can easily be reused for specifying the functionality of different tasks. Without such a state model, describing the state conditions before and after a functional unit of an expert system is too cumbersome to be practical.We propose conceptual graphs as the formalism to express task-based specifications where the task structure of problem-solving knowledge drives the specification, the pieces of the specification can be iteratively refined, and verification can be performed for a single layer or between layers. We chose conceptual graphs for their expressive power to represent both declarative and procedural knowledge, and for their assimilation capability--that is, their ability to be combined.
關聯: IEEE Expert, 11(4): 60-70
顯示於類別:[資訊工程學系] 期刊論文

文件中的檔案:

檔案 大小格式瀏覽次數
index.html0KbHTML589檢視/開啟


在NCUEIR中所有的資料項目都受到原著作權保護.

 


DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 回饋