摘要:
Methods, apparatus and systems to keep a desired element properly addressed in a structured document in which particular elements are addressed, even if the structured document is modified. In an example embodiment, the invention comprises a difference computation unit for computing a difference between structured documents, and an XPath update unit for generating addressing information from addressing information that addresses a part of a particular structured document based on information on the difference computed by the difference computation unit, the generated addressing information addressing a corresponding part of the other structured document.
摘要:
A structure pattern candidate generating system is disclosed for automatically generating many kinds of complicated structure pattern candidates and facilitating selection of a structure pattern suitable for the purpose. When the system is provided with a structure pattern pointing to an element or an element set in a document logical structure of a structured document, that has been specified by a user, a method for determining an item to be edited determines an item to be edited among the items composing the structure pattern. A method for generating structure pattern candidates replaces the item to be edited with items in different expressions based on the document logical structure information about the structured document to generate structure pattern candidates. A method for generating a structure pattern candidate list arranges the generated structure pattern candidates based on a condition and index for display for giving selection criteria to the user to generate a structure pattern candidate list. If the system is provided with an item desired to be edited, that has been specified by the user for the structure pattern, the method for determining an item to be edited determines the item desired to be edited as the item to be edited.
摘要:
A technique is provided for automatically and visually generating a display rule for a structured document based on an exemplary operation. Base display rule generation means 21 generates a first display rule 29, which is a base, by using a document type definition 27 for a structured document 26 and a default generation rule 28 that is determined in advance. Display document generation means 22 employs the first display rule 29 and the structured document 26 to generate a first display document 30 and an element correlation file 31. Tie first display document 30 is edited in a display document visual editing environment 23, and a second display document 32 and an editing operation history file 33 are generated. Display rule updating means 24 refers to the second display document 32, the editing operation history file 33, the element correlation file 31 and the structured document 26 to generate a second display rule 34 that reflects the editing contents.
摘要:
A system, a computer readable article of manufacture, and a method for verifying operation of a target system to be inspected. The system includes an abstract binary tree generation unit and a matching unit. The abstract binary tree generation unit obtains information about a functional specification of the target system and generates one or more binary trees that associate one or more 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 receives an event sequence in an application model of the target system obtained in response to the operation of the target system and matches the event sequence against the binary trees generated by the abstract binary tree generation unit. The method includes steps for accomplishing the functionality of the system.
摘要:
A system and method for verifying operation of a target system to be inspected. The system includes an abstract binary tree generation unit and a matching unit. The abstract binary tree generation unit obtains information about a functional specification of the target system and generates one or more binary trees that associate one or more 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 receives an event sequence in an application model of the target system obtained in response to the operation of the target system and matches the event sequence against the binary trees generated by the abstract binary tree generation unit. The method includes steps for accomplishing the functionality of the system.
摘要:
A fixing device is operable through start-up and warm-up stages and has a rotatable fixing member to fix an unfixed toner image borne on a recording medium, an opposing member to press against the fixing member and form a nip on the fixing member, a temperature detector to detect temperature of the fixing member, and a heater controlled in accordance with the temperature of the fixing member to heat the fixing member. The heater is further controlled during the warm-up stage in accordance with at least one of if the fixing member is rotating and if the detected temperature has ever arrived at a prescribed target temperature in the warm-up stage.
摘要:
A fixing device is operable through start-up and warm-up stages and has a rotatable fixing member to fix an unfixed toner image borne on a recording medium, an opposing member to press against the fixing member and form a nip on the fixing member, a temperature detector to detect temperature of the fixing member, and a heater controlled in accordance with the temperature of the fixing member to heat the fixing member. The heater is further controlled during the warm-up stage in accordance with at least one of if the fixing member is rotating and if the detected temperature has ever arrived at a prescribed target temperature in the warm-up stage.