A new approach to verifying conceptual models

Jonathan Lee, Lein F. Lai

Research output: Contribution to journalArticle

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.

Original languageEnglish
Pages (from-to)347-367
Number of pages21
JournalJournal of Information Science and Engineering
Volume14
Issue number2
Publication statusPublished - 1998 Jun 1

Fingerprint

Specifications
methodology

All Science Journal Classification (ASJC) codes

  • Software
  • Human-Computer Interaction
  • Hardware and Architecture
  • Computational Theory and Mathematics
  • Library and Information Sciences

Cite this

@article{e61f46c6d8b94c818526a2079cedffa2,
title = "A new approach to verifying conceptual models",
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.",
author = "Jonathan Lee and Lai, {Lein F.}",
year = "1998",
month = "6",
day = "1",
language = "English",
volume = "14",
pages = "347--367",
journal = "Journal of Information Science and Engineering",
issn = "1016-2364",
publisher = "Institute of Information Science",
number = "2",

}

A new approach to verifying conceptual models. / Lee, Jonathan; Lai, Lein F.

In: Journal of Information Science and Engineering, Vol. 14, No. 2, 01.06.1998, p. 347-367.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A new approach to verifying conceptual models

AU - Lee, Jonathan

AU - Lai, Lein F.

PY - 1998/6/1

Y1 - 1998/6/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0032097290&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032097290&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0032097290

VL - 14

SP - 347

EP - 367

JO - Journal of Information Science and Engineering

JF - Journal of Information Science and Engineering

SN - 1016-2364

IS - 2

ER -