公开(公告)号：JP2009295021A

公开(公告)日：2009-12-17

申请号：JP2008149498

申请日：2008-06-06

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： NAKAMURA HIROAKI ,  ONO KOICHI ,  ISHIKAWA HIROSHI

IPC: G06F9/44

CPC classification number: G06F11/3604 ,  G06F8/20 ,  G06F11/3612

Abstract: PROBLEM TO BE SOLVED: To provide a sequence diagram creation device, a sequence diagram creation method and a computer program for creating a sequence diagram whose only necessary section is modeled while repeatedly detecting branch or the like even if a large scale source code. SOLUTION: A source code is analyzed, and a sequence diagram to specify processing between modules included in the source code is created. The source code is acquired, and the acquired source code is analyzed, and a code for log acquisition for acquiring an execution log is created. A program including the created code for log acquisition is executed, and execution log information as log information for execution time is acquired. On the basis of the acquired execution log information, automaton information related with states and transition between those states is extracted, and the extracted automaton information is converted into sequence diagram constituting element information configuring a sequence diagram. The sequence diagram is generated based on the converted sequence diagram configuring element information. COPYRIGHT: (C)2010,JPO&INPIT

Abstract translation: 要解决的问题：提供一个序列图创建装置，一个序列图创建方法和一个计算机程序，用于创建一个序列图，其唯一必需的部分被建模，同时重复地检测分支等，即使大规模的源代码 。 解决方案：分析源代码，并创建用于指定源代码中包含的模块之间的处理的序列图。 获取源代码，并且分析所获取的源代码，并且创建用于获取执行日志的用于日志获取的代码。 执行包括用于日志获取的创建的代码的程序，并且获取作为执行时间的日志信息的执行日志信息。 基于获取的执行日志信息，提取与状态相关的自动机信息和这些状态之间的转换，并将提取的自动机信息转换为构成序列图的元素信息的序列图。 基于转换的配置元素信息的顺序图生成序列图。 版权所有（C）2010，JPO＆INPIT

公开(公告)号：JP2007179171A

公开(公告)日：2007-07-12

申请号：JP2005374991

申请日：2005-12-27

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： SATO FUMIKO ,  NAKAMURA YUICHI ,  ONO KOICHI

IPC: G06F21/22

CPC classification number: G06F21/54 ,  H04L63/168 ,  H04L63/20

Abstract: PROBLEM TO BE SOLVED: To enable both an application developer and a security developer to perform the setting of Web service security cooperatively with each other without making it necessary for them to independently perform it. SOLUTION: This software development device is provided with: a display device 10 for displaying security annotation to which the privacy retention requirements of a requested service are added with respect to the class figure of application software; an input means 20 for inputting security annotation; a conversion function for converting the class figure into a configuration model in markup language and a configuration file preparing means for preparing the configuration file in the markup language by operating serialization from the configuration model in the markup language. In this case, the security annotation is the token class of a security token as a certificate to declare security requirements and the identity of the client to a server. COPYRIGHT: (C)2007,JPO&INPIT

Abstract translation: 要解决的问题：使应用程序开发人员和安全开发人员能够彼此协作地执行Web服务安全性的设置，而不需要他们独立执行。 解决方案：该软件开发设备具有：显示设备10，用于显示相对于应用软件的类图添加所请求的服务的隐私保持要求的安全性注释; 用于输入安全注释的输入装置20; 用于将类图转换为标记语言的配置模型的转换功能;以及配置文件准备装置，用于通过以标记语言从配置模型中进行串行化来准备标记语言中的配置文件。 在这种情况下，安全注释是作为证书的安全令牌的令牌类，用于向服务器声明安全性要求和客户端的身份。 版权所有（C）2007，JPO＆INPIT

公开(公告)号：JP2001243222A

公开(公告)日：2001-09-07

申请号：JP2000045466

申请日：2000-02-23

Applicant: IBM

Inventor： ONO KOICHI ,  KOYANAGI MITSUO ,  HORI MASAHIRO ,  KONDO TAKESHI

IPC: G06F12/00 ,  G06F17/21 ,  G06F17/22 ,  G06F17/24 ,  G06F17/30 ,  G06F17/27

Abstract: PROBLEM TO BE SOLVED: To visually and automatically prepare display rules of a structured document based on an exemplifying operation. SOLUTION: A first display rule 29 to be a base is generated from document type definition 27 of the structured document 26 and a preliminarily regulated default generation rule 28 by a base display rule generating means 21. A first display document 30 and an inter-element correspondence relation file 31 are generated from the first display rule 29 and the structured document 26 by a display document generating means 22. The first display document 30 is edited by visual display document editing environment 23 and a second display document 32 and an editing operation history file 33 are generated. The second display document 32, the editing operation history file 33, the inter-element correspondence relation file 31 and the structured document 26 are referred to and a second display rule 34 on which the editing contents are reflected is generated in a display rule updating means 24.

公开(公告)号：JP2010009523A

公开(公告)日：2010-01-14

申请号：JP2008171248

申请日：2008-06-30

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： MIYASHITA TAKASHI ,  ONO KOICHI ,  KAWAHARA AKIRA

IPC: G06F17/21 ,  G06F3/048

Abstract: PROBLEM TO BE SOLVED: To provide a system, method and program for automatically preparing and editing a table obtained by reflecting a specific relation of points (vertexes) constituting a graph.
SOLUTION: A data conversion part 110 searches points and edges constituting a graph to be processed, extracts parts forming tree structures, associates a first target point being a specific point in an extracted first tree structure with a second target point being a specific point in a second tree structure, and stores information of the associated points in a storing means, then reads the information of the associated points from the storing means, respectively arranges the information of the first target point and the information of the second target point while maintaining a correspondence relation between the points, and prepares a table recorded in a cell.
COPYRIGHT: (C)2010,JPO&INPIT

Abstract translation: 要解决的问题：提供一种用于自动准备和编辑通过反映构成图形的点（顶点）的特定关系而获得的表的系统，方法和程序。 解决方案：数据转换部分110搜索构成要处理的图形的点和边，提取形成树结构的部分，将作为提取的第一树结构中的特定点的第一目标点与作为特定的第二目标点的第二目标点相关联 指向第二树结构，并将关联点的信息存储在存储装置中，然后从存储装置读取相关点的信息，分别布置第一目标点的信息和第二目标点的信息，同时 保持点之间的对应关系，并准备记录在单元格中的表。 版权所有（C）2010，JPO＆INPIT

公开(公告)号：JP2009176246A

公开(公告)日：2009-08-06

申请号：JP2008016771

申请日：2008-01-28

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： ONO KOICHI ,  NAKAMURA HIROAKI

IPC: G06F11/28

CPC classification number: G06F11/3612

Abstract: PROBLEM TO BE SOLVED: To provide a system and method for observing and verifying the operation of a system to be verified while determining various inspection conditions.
SOLUTION: The system for verifying the operation of a target system to be verified comprises an abstract binary tree generating unit 110 and a matching unit 130. The abstract binary tree generating unit 110 obtains information about a functional specification of the target system and generates abstract binary trees that associate states that can occur in the target system with respective nodes and that associate state transitions of objects constituting the target system and interactions between the objects with connection relationships between the nodes. The matching unit 130 receives an event sequence in an application model of the target system obtained based on the operation of the target system, and matches the event sequence against the abstract binary trees generated by the abstract binary tree generating unit 110.
COPYRIGHT: (C)2009,JPO&INPIT

Abstract translation: 要解决的问题：提供一种用于在确定各种检查条件的同时观察和验证待验证系统的操作的系统和方法。 解决方案：用于验证要验证的目标系统的操作的系统包括抽象二进制树生成单元110和匹配单元130.抽象二叉树生成单元110获得关于目标系统的功能规范的信息，以及 生成将目标系统中可能发生的状态与相应节点相关联的抽象二进制树，并且将与目标系统的对象的状态转换和对象之间的交互与节点之间的连接关系相关联。 匹配单元130接收基于目标系统的操作获得的目标系统的应用模型中的事件序列，并且将事件序列与由抽象二叉树生成单元110生成的抽象二叉树进行匹配。 （C）2009，JPO＆INPIT

公开(公告)号：JP2004234354A

公开(公告)日：2004-08-19

申请号：JP2003022380

申请日：2003-01-30

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： ABE MARI ,  HORI MASAHIRO ,  ONO KOICHI ,  KOYANAGI MITSUO

IPC: G06F17/21 ,  G06F17/30

CPC classification number: G06F17/30958 ,  Y10S707/99936 ,  Y10S707/99942 ,  Y10S707/99943 ,  Y10S707/99944 ,  Y10S707/99945

Abstract: PROBLEM TO BE SOLVED: To provide a structural pattern candidate creating system which automatically creates candidates for several complicated structural patterns and facilitates the selection of a purposive structural pattern.
SOLUTION: When the system receives a structural pattern which indicates an element or an element group in a document logical structure of a structuralized document and is designated by a user, an edit object item determining means determines edit object items to be edited among items constituting the structural pattern. A structural pattern candidate creating means edits the edit object items into differently-expressed items based on document logical structure information of the structuralized document, and creates structural patter candidates. A structural pattern candidate list creating means sorts the created structural pattern candidates in accordance with a display index for providing the user with a selection standard, and creates a list of the structural pattern candidates. When the system receives desired edit items designated for the structural pattern by the user, the edit object item determining means determines the desired edit items as the edit object items.
COPYRIGHT: (C)2004,JPO&NCIPI

公开(公告)号：JP2010198133A

公开(公告)日：2010-09-09

申请号：JP2009039904

申请日：2009-02-23

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： ONO KOICHI

IPC: G06F11/34 ,  G06F11/28

Abstract: PROBLEM TO BE SOLVED: To provide a method of automatically selecting functions more highly contributing to performance evaluation based on the program operation history of a computer system. SOLUTION: A method of extracting executed functions included in the operation history of a computer program includes: a step of accepting an operation history; a step of assigning the functions to the nodes of a tree structure by using the calling relation of the functions included in the accepted operation history; and a step of dealing with the execution time or memory usage as quantitative information, and extracting the functions under such conditions that the total of the quantitative information accessory to the functions exceeds the product of the quantitative information accessory to the whole and a prescribed rate. The step of extracting the functions may extract the functions under such conditions that the number of the functions exceeds a lower limit, and does not exceed an upper limit. Furthermore, this method of extracting the functions may include a step of generating an execution trace by using the extracted functions. COPYRIGHT: (C)2010,JPO&INPIT

Abstract translation: 要解决的问题：提供一种基于计算机系统的程序操作历史来自动选择对性能评估更有贡献的功能的方法。 解决方案：提供包括在计算机程序的操作历史中的执行功能的方法包括：接受操作历史的步骤; 通过使用包含在所接受的操作历史中的功能的调用关系将功能分配给树结构的节点的步骤; 处理作为定量信息的执行时间或存储器使用的步骤，并且在功能附加的定量信息的总和超过整个附加的定量信息的乘积和规定的速率的条件下提取功能。 提取功能的步骤可以在功能数超过下限的条件下提取功能，并且不超过上限。 此外，这种提取功能的方法可以包括通过使用提取的功能来生成执行跟踪的步骤。 版权所有（C）2010，JPO＆INPIT

公开(公告)号：JP2004046745A

公开(公告)日：2004-02-12

申请号：JP2002206202

申请日：2002-07-15

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： ABE MARI ,  KOYANAGI MITSUO ,  ONO KOICHI ,  HORI MASAHIRO ,  NAKAIKE TAKUYA

IPC: G06F17/21 ,  G06F15/00 ,  G06F17/22 ,  G06F17/30

CPC classification number: G06F17/2247 ,  G06F17/2211

Abstract: PROBLEM TO BE SOLVED: To continuously and properly indicate a desired element regardless of a change in a structured document when the prescribed element is indicated in the structured document. SOLUTION: An indication information generating system includes: a difference calculating part 20 for calculating a difference between the structured documents; and an X-path updating part 30 for generating indication information which indicates a corresponding part in the other structured document from indication information which indicates a prescribed part in the prescribed structured document, based on information concerning the difference calculated by the difference calculating part 20. COPYRIGHT: (C)2004,JPO

公开(公告)号：JP2007257139A

公开(公告)日：2007-10-04

申请号：JP2006078568

申请日：2006-03-22

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： SATO FUMIKO ,  NAKAMURA YUICHI ,  ONO KOICHI

IPC: G06F21/20 ,  G09C1/00

CPC classification number: H04L63/0815 ,  G06F21/33

Abstract: PROBLEM TO BE SOLVED: To provide an information processing apparatus which allows service developers who are required to have confidentiality in a service-oriented architecture to easily set authentication for the service model. SOLUTION: The information processing apparatus which is used for developing services required to have confidentiality in the service-oriented architecture has an input means for inputting annotations related to services, a storage part that stores an authentication base model for machine nodes at which services are executed, and an authentication policy generation part that generates an authentication policy based on the annotations and the authentication base model. COPYRIGHT: (C)2008,JPO&INPIT

Abstract translation: 要解决的问题：提供一种信息处理设备，其允许在面向服务的架构中要求具有机密性的服务开发者容易地设置用于服务模型的认证。 解决方案：用于开发在面向服务架构中具有机密性的服务的信息处理设备具有用于输入与服务相关的注释的输入装置，存储用于机器节点的认证基础模型的存储部件， 执行服务，以及基于注释和认证基础模型生成认证策略的认证策略生成部。 版权所有（C）2008，JPO＆INPIT