COMBINING FORMAL SPECIFICATION AND CORE - AN EXPERIMENTAL INVESTIGATION

CORE is an established requirements modelling method which employs dia grams and natural language supporting text to express the requirements of a system. The paper reports on a project that has investigated the use of formal specification techniques to strengthen CORE. It focuses on the use of the Vienna development method (VDM) with CORE and outli nes an experimental investigation of a proposed CORE/VDM approach with in the air traffic control domain. In addition, the role of communicat ing sequential processes (CSP) with CORE is discussed. The paper concl udes that VDM complements CORE by improving the semantic definition of the resultant requirements model and also suggests that CSP may be us ed to complement VDM in order to portray the dynamic and compositional aspects of a CORE model.