Research on Scenario Analysis based on Viewpoints

这两年的研究成果如下：1）情景语言的设计情景语言的语法和语义都是基于日语定义的。2）脚本内部表示模式的设计脚本分析器根据设计的模式将脚本转换为内部表示。3）不同视点脚本之间转换方法的建立我们开发了一种从脚本内部表示到以指定视点的演员为主体的脚本的转换方法。基于该方法的原型系统的开发我们在Linux PC机上使用GNU Common Lisp（GCL）语言开发了一个基于该方法的原型系统。5）原型系统的评估和改进我们应用30名研究生编写的实例对原型系统进行了评估，发现了我们的方法的有效性。6）建立了一种由正常场景生成替代场景和异常场景的方法。正常场景用典型方法描述系统的正常行为。替代方案使用非典型方法指定正常系统行为。异常场景指定异常的系统行为。7）原型系统的评价用Java开发了原型系统，并通过实例验证了该方法的有效性。发表了与此相关的研究论文，其中包括日本主要计算机学会的两篇论文。

The research results of these two years are listed below.1) Design of Scenario LanguageBoth the syntax and semantics of scenario language are defined based on Japanese. We have developed an analyzer of the language.2) Design of schema of internal representation of scenarioThe analyzer transforms a scenario into internal representation in accordance with designed schema.3) Establishment of a transformation method between scenarios from different viewpointsWe developed a transformation method from internal representation of a scenario to a scenario whose subject is actor of the specified viewpoint.4) Development of a prototype based on the methodWe have developed a prototype system based on the method using GNU Common Lisp (GCL) on a Linux PC.5) Evaluation and improvement of the prototype systemWe evaluated the prototype system by applying some examples written by 30 graduate students and found the usefulness of our method. Through experiments a couple of problems were pointed out and we improved the prototype to solve them.6) Establishment of a method of generation both alternative scenarios and exceptional scenarios from normal scenarioNormal scenario specifies normal system behaviors with typical methods. Alternative scenarios specify normal system behaviors with non-typical methods. Exceptional scenarios specify abnormal system behaviors. We have established a transformation method from normal scenario to either alternative scenarios or exceptional scenarios.7) Evaluation the prototype systemWe have developed a prototype system with Java and confirmed the usefulness of the method with examples.We have published research papers related to the above including two transaction papers of major computer societies in Japan.