Modelling the “Information Aspect” of Human Purposeful Activities

  • Jun-Kang Feng


The process of information systems development seems lacking an information modelling stage, which requires a concrete expression of information. This paper suggests to use predicate logic to express items of information, and to use Barwise and Devlin’s situation theory to model the information aspect of a human purposeful activity as a remedy of the problem. The idea is to capture the information flow in a human purposeful activity from the point of view of the ‘actor’, an agent who performs the activity, by means of a set of formal concepts. This ‘information aspect’ will capture the information requirements of the actor for accomplishing the activity, and provides a basis for objects and data identification.


Predicate Logic Situation Type Info Element Info Unit Free Occurrence 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Barwise, J., and Seligman, J., (1997), “Information Flow—the logic of distributed systems, ” Cambridge University Press, Cambridge.CrossRefGoogle Scholar
  2. Devlin, K., (1991), “Logic and Information,” Cambridge University Press, Cambridge.Google Scholar
  3. Woodcock, J., and Loomes, M., (1988), “Software Engineering Mathematics,” Pitman, London.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Jun-Kang Feng
    • 1
  1. 1.Department of Computing and Information SystemsUniversity of PaisleyScotland

Personalised recommendations