Abstract: Automatic verification of changes in a UML model made based on a change plan using a learning mode and a verification mode. In the learning mode, UML model differences are obtained between the UML model prior to the change and after the change, difference mapping is defined and a mapping metamodel is automatically extracted from the difference mapping. In the verification mode, planned difference mapping is created based on applying the mapping metamodel in the learning mode to a design change plan. Actual difference mapping based on the design change work is created and the planned difference mapping is compared to the actual difference mapping to see if additional changes to the mapping metamodel are needed.

Abstract: Automatic verification of changes in a UML model made based on a change plan using a learning mode and a verification mode. In the learning mode, UML model differences are obtained between the UML model prior to the change and after the change, difference mapping is defined and a mapping metamodel is automatically extracted from the difference mapping. In the verification mode, planned difference mapping is created based on applying the mapping metamodel in the learning mode to a design change plan. Actual difference mapping based on the design change work is created and the planned difference mapping is compared to the actual difference mapping to see if additional changes to the mapping metamodel are needed.

Abstract: In a model editing apparatus, a model transformation function transforms SM (source model) 0 into TM (target model) 0, and generates TDM (transformation dependency model) 0. Moreover, when an SM editor generates SM1 by updating SM0, the model transformation function transforms SM1 into TM1 and generates TDM1. When a TM editor generates TM0_n by editing TM0 independently of the change in SM0, a Change element registration function registers a difference ?2 between TM0 and TM0_n in TDM0, thereby generating TDM0_n. Then, in response to a call, a merge function merges a difference ?1 between TDM0 and TDM1 extracted by a ?1 extraction function, and a difference ?2 extracted from TDM0_n, according to prestored processing patterns.

Abstract: A system includes a structure information obtaining unit which obtains structure information containing information on components of a development target in a project and on dependency relationships between the components, the structure information described, e.g., in SysML, a work item determining unit which determines work items and a work execution order based on the structure information obtained by the structure information obtaining unit; a detailed item determining unit; a date scheduling unit and a WBS storage which manages the determined work items and work execution order as work schedule definition information. The work item determining unit determines a work item related to a leaf component, which is a component not including any other component, and determines, in a case where all of the multiple components included in a single predetermined component are leaf components, a work item related to a coupling relationship between the leaf components.

Abstract: An automatic designing system includes: a rule storage unit storing sets of rewrite rules for rewriting variable nodes of a hierarchically structured graph in a design architecture for the system; a search unit sequentially determining variable nodes as application targets for the rewrite rules by searching the graph, including components in the design architecture for the system to be designed, using a search tree; a judgment unit judging whether the rewrite rule is applicable to the determined variable node; and a rule application unit replacing the determined variable node with a partial graph, including at least one of fixed and variable nodes, according to the rewrite rule, in response to a judgment that the rewrite rule is applicable. The search unit performs the searching until an undefined variable node no longer exists in the graph to be designed, and performs backtracking on condition that no variable node is found.

Abstract: Differencing and merging tree-structured documents, such as eXtensible Markup Language (XML) documents, is disclosed. A differencing-and-merging system for tree-structured documents of one embodiment of the invention includes a difference processing unit and a merging processing unit. The differencing processing unit performs a difference operation on at least two tree-structured documents, in accordance with difference configuration information regarding the documents. The merging processing unit performs a merging operation on the tree-structured documents from correspondence information generated by the difference processing unit, based on the difference operation configuration information regarding the documents. The correspondence information indicates differences among nodes of the documents.

Abstract: An automatic designing system includes: a rule storage unit storing sets of rewrite rules for rewriting variable nodes of a hierarchically structured graph in a design architecture for the system; a search unit sequentially determining variable nodes as application targets for the rewrite rules by searching the graph, including components in the design architecture for the system to be designed, using a search tree; a judgment unit judging whether the rewrite rule is applicable to the determined variable node; and a rule application unit replacing the determined variable node with a partial graph, including at least one of fixed and variable nodes, according to the rewrite rule, in response to a judgment that the rewrite rule is applicable. The search unit performs the searching until an undefined variable node no longer exists in the graph to be designed, and performs backtracking on condition that no variable node is found.

Abstract: Differencing and merging tree-structured documents, such as eXtensible Markup Language (XML) documents, is disclosed. A differencing-and-merging system for tree-structured documents of one embodiment of the invention includes a difference processing unit and a merging processing unit. The differencing processing unit performs a difference operation on at least two tree-structured documents, in accordance with difference configuration information regarding the documents. The merging processing unit performs a merging operation on the tree-structured documents from correspondence information generated by the difference processing unit, based on the difference operation configuration information regarding the documents. The correspondence information indicates differences among nodes of the documents.

Abstract: Differencing and merging tree-structured documents, such as eXtensible Markup Language (XML) documents, is disclosed. A differencing-and-merging system for tree-structured documents of one embodiment of the invention includes a difference processing unit and a merging processing unit. The differencing processing unit performs a difference operation on at least two tree-structured documents, in accordance with difference configuration information regarding the documents. The merging processing unit performs a merging operation on the tree-structured documents from correspondence information generated by the difference processing unit, based on the difference operation configuration information regarding the documents. The correspondence information indicates differences among nodes of the documents.

Abstract: A system includes a structure information obtaining unit which obtains structure information containing information on components of a development target in a project and on dependency relationships between the components, the structure information described, e.g., in SysML, a work item determining unit which determines work items and a work execution order based on the structure information obtained by the structure information obtaining unit; a detailed item determining unit; a date scheduling unit and a WBS storage which manages the determined work items and work execution order as work schedule definition information. The work item determining unit determines a work item related to a leaf component, which is a component not including any other component, and determines, in a case where all of the multiple components included in a single predetermined component are leaf components, a work item related to a coupling relationship between the leaf components.

Abstract: In a model editing apparatus, a model transformation function transforms SM (source model) 0 into TM (target model) 0, and generates TDM (transformation dependency model) 0. Moreover, when an SM editor generates SM1 by updating SM0, the model transformation function transforms SM1 into TM1 and generates TDM1. When a TM editor generates TM0_n by editing TM0 independently of the change in SM0, a Change element registration function registers a difference ?2 between TM0 and TM0_n in TDM0, thereby generating TDM0_n. Then, in response to a call, a merge function merges a difference ?1 between TDM0 and TDM1 extracted by a ?1 extraction function, and a difference ?2 extracted from TDM0_n, according to prestored processing patterns.

Abstract: Differencing and merging tree-structured documents, such as eXtensible Markup Language (XML) documents, is disclosed. A differencing-and-merging system for tree-structured documents of one embodiment of the invention includes a difference processing unit and a merging processing unit. The differencing processing unit performs a difference operation on at least two tree-structured documents, in accordance with difference configuration information regarding the documents. The merging processing unit performs a merging operation on the tree-structured documents from correspondence information generated by the difference processing unit, based on the difference operation configuration information regarding the documents. The correspondence information indicates differences among nodes of the documents.

Abstract: A system, method, and computer program product for generating a web application, including objects and web pages dynamically generated on a server, which can be used to generate a web application model to support a change or reconstruction of the system. A classification processing section analyzes and classifies the configuration of static HTML contents captured by executing a web application. A template extracting section extracts a template for dynamic HTML contents from the web application using the results of the classification. On the basis of the results of the classification by the classification processing section and access information obtained by capturing the static HTML contents, a transition extracting section extracts transition information on the web application to be processed. Then, on the basis of the extracted template and transition information, model generating means renders an HTML document generating a model of the web application, to generate an image.

Abstract: Differencing and merging tree-structured documents, such as extensible Markup Language (XML) documents, is disclosed. A differencing-and-merging system for tree-structured documents of one embodiment of the invention includes a difference processing unit and a merging processing unit. The differencing processing unit performs a difference operation on at least two tree-structured documents, in accordance with difference configuration information regarding the documents. The merging processing unit performs a merging operation on the tree-structured documents from correspondence information generated by the difference processing unit, based on the difference operation configuration information regarding the documents. The correspondence information indicates differences among nodes of the documents.

Abstract: Differencing and merging tree-structured documents, such as extensible Markup Language (XML) documents, is disclosed. A differencing-and-merging system for tree-structured documents of one embodiment of the invention includes a difference processing unit and a merging processing unit. The differencing processing unit performs a difference operation on at least two tree-structured documents, in accordance with difference configuration information regarding the documents. The merging processing unit performs a merging operation on the tree-structured documents from correspondence information generated by the difference processing unit, based on the difference operation configuration information regarding the documents. The correspondence information indicates differences among nodes of the documents.

Abstract: The present invention provides methods, systems and tools for analyzing a consistency and an inconsistency between a JSP page and a component related to the page, and verifying them automatically. In an example embodiment, the present invention includes a monitor for monitoring execution of a component invocation in a web page in which contents are generated dynamically, and extracting information on the component invocation; and a consistency verification unit for verifying the consistency between the component invocation and the component which is a target of it, based on the information on the component invocation extracted by the monitor.

Abstract: A system, method, and computer program product for generating a web application, including objects and web pages dynamically generated on a server, which can be used to generate a web application model to support a change or reconstruction of the system.