Modeling wing level operations using formal object models

This paper describes the application of Knowledge Based Software Engineering (KBSE) techniques to model an Air Force fighter wing´s mission performance under differing personnel assignments and levels of automation. A formal domain model of the mission of an Air Force fighter wing was developed and the feasibility that such a model can be used to determine the effect of automation on unit readiness and unit was demonstrated. A prototype tool was written in Ada to demonstrate assessing the impact of both worker and automated tool assignments on the overall performance of processing a complex task. Additionally, since the resulting task model not only models the general behavior of an Air Force fighter wing, but with an appropriate detailing of the specific tasks. Workers, and tools, along with the rules for determining task performance, the model developed here could find application in many domains