Typical methods for representing business engineering and manufacturing processes represent process information by means of rather restricted often graphical languages These languages are often fine as far as they go, but for many purposesinformation sharing, in particularmuch more precise, detailed representations of enterprise processes are required In this paper, we develop an approach to the rigor ous representation of process information based on situation theory We begin with an informal account of the semantic categories of the ap proach including situations, infons types activities, and processes, as well as the central relations that can hold between them A frame workknown as ST based roughly on the Knowledge Interchange Format (KIF) is introduced for expressing information in these terms The use of ST is then illustrated in detail by means of a series of examples Finally the formal semantics for ST is sketched and the language and basic logic of ST is formally defined
