Task-based approach to verifying conceptual models

Jonathan Lee, Lein F. Lai, Wei T. Huang

Research output: Contribution to journalConference article

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.

Original languageEnglish
Pages (from-to)132-137
Number of pages6
JournalProceedings - IEEE Computer Society's International Computer Software & Applications Conference
Publication statusPublished - 1996 Jan 1
EventProceedings of the 1996 IEEE 20th Annual International Computer Software & Applications Conference, COMPSAC'96 - Seoul, S Korea
Duration: 1996 Aug 211996 Aug 23

Fingerprint

Specifications

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Science Applications

Cite this

@article{cd9a13e0971444689748d65b1d8b9d91,
title = "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.",
author = "Jonathan Lee and Lai, {Lein F.} and Huang, {Wei T.}",
year = "1996",
month = "1",
day = "1",
language = "English",
pages = "132--137",
journal = "Proceedings - IEEE Computer Society's International Computer Software and Applications Conference",
issn = "0730-6512",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

Task-based approach to verifying conceptual models. / Lee, Jonathan; Lai, Lein F.; Huang, Wei T.

In: Proceedings - IEEE Computer Society's International Computer Software & Applications Conference, 01.01.1996, p. 132-137.

Research output: Contribution to journalConference article

TY - JOUR

T1 - Task-based approach to verifying conceptual models

AU - Lee, Jonathan

AU - Lai, Lein F.

AU - Huang, Wei T.

PY - 1996/1/1

Y1 - 1996/1/1

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

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

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

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

M3 - Conference article

AN - SCOPUS:0029725237

SP - 132

EP - 137

JO - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

JF - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

SN - 0730-6512

ER -