Abstract: Provided is a computer-implemented method for updating a 3D model. The method comprises providing an operation undergone by the 3D model, an old input graph of the 3D model before undergoing the operation, an old output graph of the 3D model corresponding to an application of the operation to the old input graph, and a new input graph of the operation. The new input graph is generated as a result of a modification of the 3D model. The method also comprises computing a double push-out rewriting rule that specifies a part of the old input graph to be replaced, a part of the new input graph to replace the part of the old input graph. The rewriting rule also specifies an interface which is a part common to the part of the old input graph, the part of the new input graph, and the old output graph. The method further comprises applying the rewriting rule directly on the old output graph. This transforms the old output graph to a new output graph representing an updated 3D model of the real world object.

Abstract: A computer-implemented method for updating a modeled object comprises providing an old operand of an operation, a result of applying the operation to the old operand, wherein applying the operation to the old operand includes computing old sub-results, each old sub-result being determined by a respective old sub-operand of the old operand, and a new operand including a first set of sub-operands of the new operand at least partially identical to old sub-operands of the old operand, and a second set of new sub-operands. The method further comprises applying the operation on the new operand, including computing new sub-results determined by a respective sub-operand of the second set; and retrieving the old sub-results determined by the old sub-operands of the old operand to which sub-operands of the first set are at least partially identical. Such a method improves the update of the modeled object.

Abstract: A computer-implemented method for updating a modeled object comprises providing an old operand of an operation, a result of applying the operation to the old operand, wherein applying the operation to the old operand includes computing old sub-results, each old sub-result being determined by a respective old sub-operand of the old operand, and a new operand including a first set of sub-operands of the new operand at least partially identical to old sub-operands of the old operand, and a second set of new sub-operands. The method further comprises applying the operation on the new operand, including computing new sub-results determined by a respective sub-operand of the second set; and retrieving the old sub-results determined by the old sub-operands of the old operand to which sub-operands of the first set are at least partially identical. Such a method improves the update of the modeled object.

Abstract: It is provided a computer-implemented method for updating a modeled object. The method comprises providing an operation, an old input graph of the operation, an old output graph corresponding to an application of the operation to the old input graph, a new input graph of the operation. The method also comprises computing a rewriting rule that specifies a replaced which is a part of the old input graph to be replaced, a replacement which is a part of the new input graph to replace the replaced, an interface which is a part common to the replaced, the replacement and the old output graph. The method further comprises applying the rewriting rule to the old output graph. The method is an improvement to updating a modeled object.