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.

[1]  Klaus Pohl,et al.  The three dimensions of requirements engineering: a framework and its applications , 1994, Inf. Syst..

[2]  John Yen,et al.  A tool for task‐based knowledge and specification acquisition , 1994, Int. J. Intell. Syst..

[3]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[4]  Arne Sølvberg,et al.  Understanding quality in conceptual modeling , 1994, IEEE Software.

[5]  David H. D. Warren,et al.  Generating Conditional Plans and Programs , 1976, AISB.

[6]  Barry W. Boehm,et al.  Verifying and Validating Software Requirements and Design Specifications , 1989, IEEE Software.

[7]  David Chenho Kung,et al.  Conceptual Modeling in the Context of Development , 1989, IEEE Transactions on Software Engineering.

[8]  Robert Balzer,et al.  Principles of good software specification and their implications for specification languages , 1981, AFIPS '81.

[9]  James A. Hendler,et al.  Incremental planning using conceptual graphs , 1992, J. Exp. Theor. Artif. Intell..

[10]  Roger T. Hartley,et al.  The conceptual programming environment, CP , 1992 .

[11]  Jonathan Lee,et al.  Contextual retrieval mechanism for reusing task-based specifications , 1997, Proceedings 1997 IEEE Knowledge and Data Engineering Exchange Workshop.

[12]  Robert M. O'Keefe,et al.  Developing a strategy for expert system verification and validation , 1994, IEEE Trans. Syst. Man Cybern..

[13]  David Chenho Kung,et al.  An executable visual formalism for object-oriented conceptual modeling , 1995, J. Syst. Softw..

[14]  Gruia-Catalin Roman,et al.  A taxonomy of current issues in requirements engineering , 1985, Computer.

[15]  John Yen,et al.  A task-based methodology for specifying expert systems , 1993, IEEE Expert.

[16]  Peter W. Eklund,et al.  Conceptual structures: current research and practice , 1992 .

[17]  Alexander Borgida,et al.  Features Of Languages for the Development of Information Systems at the conceptual Level , 1985, IEEE Software.

[18]  Allen Newell,et al.  R1-Soar: An Experiment in Knowledge-Intensive Programming in a Problem-Solving Architecture , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[19]  B. Chandrasekaran,et al.  Design Problem Solving: A Task Analysis , 1990, AI Mag..

[20]  Itzhak Shemer,et al.  Systems analysis: a systemic analysis of a conceptual model , 1987, CACM.

[21]  R. Shinghal,et al.  Verifying and testing expert system conceptual models , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.

[22]  D.R. Wallace,et al.  Software verification and validation: an overview , 1989, IEEE Software.

[23]  Vipin Kumar,et al.  Algorithms for Constraint-Satisfaction Problems: A Survey , 1992, AI Mag..

[24]  Jonathan Lee,et al.  Task-based specifications through conceptual graphs , 1995, Proceedings the 11th Conference on Artificial Intelligence for Applications.

[25]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[26]  Bjørn N. Freeman-Benson,et al.  An incremental constraint solver , 1990, CACM.

[27]  Jonathan Lee.  Task structures as a basis for modeling knowledge‐based systems , 1997 .

[28]  V. I. Sheidler.  Comments, with reply on 'Third-generation versus fourth-generation software development' by S. Misra and P. Jalics , 1988 .

[29]  H. Delugach.  Dynamic Assertion and Retraction of Conceptual Graphs , 1998 .