A Task-Based Approach to Verifying Conceptual Models

Authors:
Jonathan Lee;Lein F. Lai
Affiliations:
-;-
Venue:
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Year:
1996

Citing 6
Cited 0

Conceptual structures: information processing in mind and machine

Conceptual structures: information processing in mind and machine
An incremental constraint solver

Communications of the ACM
Conceptual Modeling in the Context of Development

IEEE Transactions on Software Engineering
Algorithms for constraint-satisfaction problems: a survey

AI Magazine
A Task-Based Methodology for Specifying Expert Systems

IEEE Expert: Intelligent Systems and Their Applications
Features Of Languages for the Development of Information Systems at the conceptual Level

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose the use of task-based specifications in conceptual graphs to construct and verify a conceptual model. Task-based specification methodology is used to serve 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. Verifying a conceptual model is performed on model specifications of a task through constraints satisfaction and relaxation techniques, and on process specifications of the task based on the resolution algorithm and the notion of specificity.