INTEGRATING SEMIFORMAL AND FORMAL SOFTWARE SPECIFICATION TECHNIQUES

In this paper, we report on the integration of informal, semiformal an d formal system specification techniques. We present a framework for s ystem specification called TRADE, within which several well-known semi formal specification techniques are placed. TRADE is based on an analy sis of structured and object-oriented requirements specification metho ds. In this paper, we combine TRADE with the logic-based specification language Albert II and show that this leads to a coherent formal and semiformal requirements specification. We illustrate our approach with examples taken from a large distributed telecommunication application case study, performed in the context of the Esprit project 2RARE. (C) 1998 Elsevier Science Ltd. All rights reserved.