Domain Modelling: Resource Management Strategics, Tactics & Operations Decision Support and Algorithmic Software - A Contribution to Programming Methodology

In this contribution to the symposium in honour of Tony Hoare, marking his retirement from Oxford University, we examine and illustrate programming methodological issues of domain modelling --- an activity we see as logically, if not temporally, preceeding those of requirements engineering and software design. We identify such method principles and techniques as domain perspective, intrinsics, support technology, rules & regulations and human behaviour modelling. The main body of the paper is an exmaple. That example allows us to illustrate four different things: (i) domain modelling, (ii) strategic, tactical and operational resource management, (iii) an interface between computing science and operations research, and (iv) a spectrum of software: From decision support software to algorithmic software