Method For Verifying Rules On Uml Models

• US 20070240097A1
• Filed: 12/09/2004
• Published: 10/11/2007
• Est. Priority Date: 12/19/2003
• Status: Abandoned Application

• Current Assignee: Thales SA
• Original Assignee: Thales SA
• Inventors: Le-Saux, Thierry, Bailleul, Arnaud
• Application Number:
  US10/583,137
• Publication Number:
  US 20070240097A1
• Time in Patent Office: Days
• US Class Current: 717/104
• CPC Class Codes: G06F 8/10 Requirements analysis; Specification techniques

Abstract

The method in accordance with the invention is characterized in that after having established a model, the data of the model are structured so as to render them utilizable by the “Model In Action” tool (“MIA”), this tool is made to produce a verification file and a verification report readable by a user is produced on the basis of this file.

Claims

1. A method for verifying rules on UML models, wherein after having established a model, the data of the model are structured so as to render them utilizable by the “

Model In Action”

tool MIA, this tool is made to produce a verification file and a verification report readable by a user is produced on the basis of this file.

2. The method as claimed in claim 1, wherein the verified rules are one at least of the rules relating:

to the code generator

to the consistency of the model,

to the consistency of the code,

to the correct modeling,

to the dimensioning measurements,

to the modeling progress measurements,

to the quality of the model.

3. The method as claimed in claim 1, wherein the file of the model, established in the UML format, is exported in the XMI format to the MIA tool.

4. The method as claimed in claim 1, wherein the report file produced by the MIA tool is in the XML format.

5. The method as claimed in claim 4, wherein the file in the XML format produced by the tool is converted into the XSLT format so as to be transformed into a document file of another appropriate format.

6. The method as claimed in claim 2, wherein the file of the model, established in the UML format, is exported in the XMI format to the MIA tool.

7. The method as claimed in 2, wherein the report file produced by the MIA tool is in the XML format.

8. The method as claimed in 3, wherein the report file produced by the MIA tool is in the XML format.