Specification of information systems operations in INFOMOD

摘要

A user-friendly language, INFOMOD, intended for information modelling, with forms for specifying manipulation of the contents of information systems and interaction with the environment of an information system are described. These form part of an overall Conceptual Schema Language based on predicate logic. The operations model permits specification of operations, the semantics of messages from the information systems environment, and the coordination of actions on the information systems contents.