Practical Foundations of Business System Specifications

The essentials of comprehensible specifications of business and of system artefacts ought to be used by, and therefore understandable to, all customers of these specifications - business subject matter experts, decision makers, analysts, IT architects and developers. These documents have to be understood in the same manner by all stakeholders. And, as C.A.R. Hoare observed, only abstraction "enables a chief programmer or manager to exert real technical control over his teams, without delving into the morass of technical detail with which his programmers are often tempted to overwhelm him". The book brings together theoreticians and practitioners to report their experience with making semantics precise, clear, concise and explicit in business specifications, business designs, and system specifications. It includes both theoretical and very pragmatic papers based on solid and clearly specified foundations. These seemingly different papers address different aspects of a single problem - they are all about understanding of business enterprises and of information systems (computer-based or not) that these enterprises rely upon. A substantial number of papers demonstrate that good business (and IT) specifications ought to start with the stable basics of the relevant business domains, thus providing a foundation for describing and evaluating the details of apparently "always changing" requirements.