Specification verification method, program and system

摘要

PROBLEM TO BE SOLVED: To provide a specification verification technique that is suitable for a document-centric architecture.SOLUTION: Documents are managed as "abstract documents" that are separated by ranges of values of metadata. The system of the present invention prepares a logical "document box", inserts multiple abstract documents of an initial condition into the document box, and applies operations that are possible for them. Separation and unification of the abstract documents are performed as required during the application of the operations. The operations are repeatedly applied to an abstract document group, and with respect to a state transition diagram at the point in time when the applied operations no longer make any change, it is verified whether all abstract documents reach a completion condition.