A language for specifying functionality of data intensive applications

We are building an application generation environment to provide user friendly means for rapid development of interactive information systems. The environment consists of two closely integrated subsystems: one for specifying the functionality of an application and the other for defining its user interfaces. This paper concentrates on the former and introduces an operational specification language that combines pattern driven input/output actions with simple relational operations. The description of the main concepts of the language is embedded in a running example that illustrates the usefulness of the approach.