摘要 |
PURPOSE: An identifier for a language of a temporal ordering specification(LOTOS) is provided to confirm a functional request specification of a system drawn as the LOTOS with various methods such as a step simulation, a specification extension, and a source estimation. The identifier is provided to detect an error on the specification in an initial development by supporting confirmation and analysis of a request specification which is expressed as the LOTOS and worked as one system, with the various methods. CONSTITUTION: An identifier for a language of a temporal ordering specification(LOTOS) comprises an action movement processor(102), step simulator(103), specification extender(104), and a source estimator(105). The action move processor(102) moves an inner focus to an interested partial action, and includes an action move dialog. The step simulator(103) progresses a state transit by an each step interaction with a user, and includes a simulation dialog and a graphic extension tree. The specification extender(104) extends a given LOTOS action specification as deep as the user requests. The source estimator(105) verifies the LOTOS source specification, and includes a term rewriting system and a finish procedure.
|