Combining formal specification and CORE: an experimental investigation

CORE is an established requirements modelling method which employs diagrams 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 outlines an experimental investigation of a proposed CORE/VDM approach within the air traffic control domain. In addition, the role of communicating sequential processes (CSP) with CORE is discussed. The paper concludes that VDM complements CORE by improving the semantic definition of the resultant requirements model and also suggests that CSP may be used to complement VDM in order to portray the dynamic and compositional aspects of a CORE model