A Study on Integration and Improvement of CASE Tools for Practical System Analysis and IT engineer Education

为了改善日本经济，信息技术应该更多地应用于工业。然而，我们可以看到许多由信息系统引起的重大社会问题，例如合并大型银行。因此，大型信息系统开发的实践能力似乎并不优秀。对于业务重组的系统分析能力和大型系统开发的项目管理能力尤为重要。当然，优秀的IT工程师的教育是在e-Japan计划的。然而，大规模信息系统开发实践能力的培养方法尚未形成。因此，我们研究了以下主题：(1)UML和大规模规范的综合：我们研究了一个松散耦合的软件工具，用于支持用UML描述的大规模规范的审查。在评估该工具时，我们发现UML的动态模型对于综合规范是不够的。因此，我们对基于规则的动态模型描述方法进行了更多的研究。我们还研究了用于理解事件驱动系统的大规模规范的抽象结构。(2)系统分析：首先利用精益方法对业务流程建模进行了研究。然后，我们运用约束理论（TOC）对一家小公司的业务流程进行了研究。最近，以项目为基础的业务越来越多。因此，我们研究了关键链项目管理（CCPM）的应用，并开发了一个关键链项目管理中缓冲区管理的软件工具。本文还研究了嵌入式软件意外障碍的分析方法。(3)项目管理：开发了用于管理项目需求价值的ERVM（挣得需求价值管理）模型，并开发了实现该模型的软件工具。此外，通过将模型扩展到软件开发的上层过程，我们研究了质量管理，特别是风险管理的可追溯性模型。少

For improving the economy of Japan, IT should be applied still more to the industry. However, we can see many big social problems caused by information systems, such as in merging large banks. Thus, the practical ability of large scale information system development does not seem to be excellent. The abilities of system analysis for business reengineering and project management for large scale system development are especially important. Of course, the education of excellent IT engineers is planed in the e-Japan. However, the method for educating the practical ability of large scale information system development has not yet been developed. Therefore, we have studied the following theme :(1)UML and large scale specification synthesis : We have studied a loosely coupled software tool for supporting the review of large scale specifications described with UML. In evaluating the tool, we found that the dynamic model of UML is insufficient for synthesizing specifications. Therefore, we have … More studied a rule-base description method for the dynamic model. We have also studied an abstract structure for understanding large scale specifications of event-driven systems.(2)System analysis : We firstly studied the business process modeling using the lean method. Then, we investigated a business process of a small company by applying the TOC (Theory Of Constraints). Recently, project-based business has been increasing in umber. Therefore, we have studied CCPM (Critical Chain Project Management) application, and developed a software tool for buffer management in CCPM. We have also studied an analysis method for unexpected obstacles of embedded software.(3)Project management : We developed the model of ERVM (Earned Requirement Value Management) for managing the value of project requirements, and a software tool which implemented the model. Moreover, by extending the model to the upper process of software development, we have studied the traceability model for quality management, especially, risk management. Less