Template:CombinedMentalModel

From PKC
Jump to navigation Jump to search


A Combined Mental Model, or a Denotational Cognitive Model, must include an Abstract Specification, and at least one Concrete Specification.

It can be organized in the following table:


Denotational Cognitive Model (Denotational Cognitive Model)


Abstract Specification
Context Denotational Cognitive Model/Context
Goal Denotational Cognitive Model/Goal
Success Criteria (Liveness) Denotational Cognitive Model/Criteria
Concrete Implementation(s)
Outputs Process Inputs
Denotational Cognitive Model/Output Denotational Cognitive Model/Process

Inputs can be in the following forms:

  1. Submitted forms: (Form example)
  2. Uploaded files: (File upload page)
  3. Triggered Services: (Service Triggering Link)
Boundary Conditions of Denotational Cognitive Model/(Safety Conditions)
  1. Some statements about Denotational Cognitive Model1.
  2. Some statements about Denotational Cognitive Model2.
  3. Some statements about Denotational Cognitive Model3.