Is a
Patent attributes
Patent Jurisdiction
Patent Number
Patent Inventor Names
Ryosuke Oishi0
Akio Matsuda0
Qiang Zhu0
Date of Patent
March 8, 2011
Patent Application Number
11543025
Date Filed
October 5, 2006
Patent Primary Examiner
Patent abstract
A method of generating a scenario includes generating a specification model by describing a specification in a predetermined descriptive language, extracting a plurality of operations from the specification model, generating a plurality of operation descriptions, each of which corresponds to one of the operations and includes an operation name and a constraint condition, generating at least one cause-effect graph that combines the operations based on the operation descriptions, and extracting as a scenario a series of operations from the cause-effect graph.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
