Verifying task-based specifications in conceptual graphs

Lee Jonathan, Lein F. Lai

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

A conceptual model is a model of real world concepts and application domains as perceived by users and developers. It helps developers investigate and represent the semantics of the problem domain, as well as communicate among themselves and with users. 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 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 and to provide a reasoning capability for the purpose of verification. 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 operators and rules of inference inherited in conceptual graphs.

Original languageEnglish
Pages (from-to)913-923
Number of pages11
JournalInformation and Software Technology
Volume39
Issue number14-15
Publication statusPublished - 1998 Feb 1

Fingerprint

Specifications
Semantics

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Science Applications

Cite this

@article{f215ed4b14774a41a49f15eed5bc06ac,
title = "Verifying task-based specifications in conceptual graphs",
abstract = "A conceptual model is a model of real world concepts and application domains as perceived by users and developers. It helps developers investigate and represent the semantics of the problem domain, as well as communicate among themselves and with users. 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 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 and to provide a reasoning capability for the purpose of verification. 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 operators and rules of inference inherited in conceptual graphs.",
author = "Lee Jonathan and Lai, {Lein F.}",
year = "1998",
month = "2",
day = "1",
language = "English",
volume = "39",
pages = "913--923",
journal = "Information and Software Technology",
issn = "0950-5849",
publisher = "Elsevier",
number = "14-15",

}

Verifying task-based specifications in conceptual graphs. / Jonathan, Lee; Lai, Lein F.

In: Information and Software Technology, Vol. 39, No. 14-15, 01.02.1998, p. 913-923.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Verifying task-based specifications in conceptual graphs

AU - Jonathan, Lee

AU - Lai, Lein F.

PY - 1998/2/1

Y1 - 1998/2/1

N2 - A conceptual model is a model of real world concepts and application domains as perceived by users and developers. It helps developers investigate and represent the semantics of the problem domain, as well as communicate among themselves and with users. 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 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 and to provide a reasoning capability for the purpose of verification. 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 operators and rules of inference inherited in conceptual graphs.

AB - A conceptual model is a model of real world concepts and application domains as perceived by users and developers. It helps developers investigate and represent the semantics of the problem domain, as well as communicate among themselves and with users. 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 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 and to provide a reasoning capability for the purpose of verification. 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 operators and rules of inference inherited in conceptual graphs.

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

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

M3 - Article

AN - SCOPUS:0031998143

VL - 39

SP - 913

EP - 923

JO - Information and Software Technology

JF - Information and Software Technology

SN - 0950-5849

IS - 14-15

ER -