National Changhua University of Education Institutional Repository : Item 987654321/11689
English  |  正體中文  |  简体中文  |  Items with full text/Total items : 6489/11651
Visitors : 29421590      Online Users : 228
RC Version 3.2 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Adv. Search

Please use this identifier to cite or link to this item:

Title: A new approach to verifying conceptual models
Authors: Lee, J.;Lai, Lien-Fu
Contributors: 資訊工程學系
Date: 1998-01
Issue Date: 2012-07-02T02:01:11Z
Publisher: 中央研究院資訊科學研究所
Abstract: In this paper, we propose the use of task-based specifications in conceptual graphs (TBCG) to construct and verify a conceptual model. Task-based specification methodology a serves as the mechanism to structure the knowledge captured in the conceptual model whereas conceptual graphs are adopted as the formalism to express task-based specifications. Verification of a conceptual model is performed on model specifications of a task through constraint satisfaction and relaxation techniques, and on process specifications of the task based on the resolution algorithm and the notion of specificity.
Relation: Journal of Information Science and Engineering, 14: 347-367
Appears in Collections:[Department and Graduate Institute of Computer Science and Information Engineering] Periodical Articles

Files in This Item:

File SizeFormat
2050400710001.pdf82KbAdobe PDF467View/Open

All items in NCUEIR are protected by copyright, with all rights reserved.


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