Paper Info
Title
A Task-Based Approach to Verifying Conceptual Models
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.
Year
DOI
Venue
1996
10.1109/CMPSAC.1996.544148
COMPSAC
Keywords
Field
DocType
model specification,constraints satisfaction,conceptual graph,task-based specification methodology,conceptual model,task-based approach,process specification,task-based specification,verifying conceptual models,relaxation technique,resolution algorithm,petroleum,formal specification,constraint satisfaction,petri nets,programming,graph theory,erbium
Graph theory,Constraint satisfaction,Petri net,Task analysis,Systems engineering,Conceptual model,Computer science,Formal specification,Theoretical computer science,Formalism (philosophy),Conceptual model (computer science)
Conference
Volume
ISSN
Citations 
20
0730-3157
0
PageRank 
References 
Authors
0.34
7
3
Name
Order
Citations
PageRank
joiiatlian lee100.34
Lein F. Lai2387.74
wei t huang3226.65