“…A considerable number of formal language based approaches have been proposed in the literature to overcome the ambiguity of informal documentation used in the industry. For example, [7,9,22,24] use finite state machines (FSMs), [2,8] interface automata, [1,4,6] process algebra, [21] regular expressions, [3] Petri nets, and [5] description logics. The benefit of using a well-developed language is that many analysis In contrast, our specification approach is designed for use by software practitioners.…”