<html><link rel="stylesheet" href="default.css" type="text/css"><H1>Import Export of ReqIF elements into Papyrus</H1><pre id ="_0D1yALHxEeSvo7o7Iu6GQQ">This model explains the functionality in Papyrus Req in order to import or export ReqIF files into Papyrus (OMG Document Number: formal/2013-10-01 Standard document URL: http://www.omg.org/spec/ReqIF/1.1)<BR/></pre><H2 id ="_0D3nMbHxEeSvo7o7Iu6GQQ">Table of Contents</H2><ul><a href="#_0D5cYbHxEeSvo7o7Iu6GQQ">Requirements</a></ul><ul><a href="#_0EZysbHxEeSvo7o7Iu6GQQ">Use Cases</a><li><a href="#_0HJksLHxEeSvo7o7Iu6GQQ"> ReqIfModule</a></li><ul><li><a href="#_0HKy0bHxEeSvo7o7Iu6GQQ"> Import ReqIF file</a></li><ul><li><a href="#_0Lq4UbHxEeSvo7o7Iu6GQQ"> How to</a></li><ul></ul></ul><li><a href="#_0MBdobHxEeSvo7o7Iu6GQQ"> Import DataType Enumeration</a></li><ul></ul><li><a href="#_0MD54bHxEeSvo7o7Iu6GQQ"> Import SpecObjectTypes</a></li><ul></ul><li><a href="#_0MG9MLHxEeSvo7o7Iu6GQQ"> Import SpecObjects</a></li><ul></ul><li><a href="#_0MJZcLHxEeSvo7o7Iu6GQQ"> Export UML Model to ReqIF File</a></li><ul><li><a href="#_0P2NsbHxEeSvo7o7Iu6GQQ"> How to</a></li><ul></ul></ul><li><a href="#_0QE3MLHxEeSvo7o7Iu6GQQ"> export DataType</a></li><ul></ul><li><a href="#_0QHTcLHxEeSvo7o7Iu6GQQ"> Export Stereotypes</a></li><ul></ul><li><a href="#_0QJvsLHxEeSvo7o7Iu6GQQ"> Export Stereotyped Elements</a></li><ul></ul><li><a href="#_0QML8LHxEeSvo7o7Iu6GQQ"> Re-Import</a></li><ul></ul><li><a href="#_0QOoMbHxEeSvo7o7Iu6GQQ"> Re-Export</a></li><ul></ul><li><a href="#_0QRrgLHxEeSvo7o7Iu6GQQ"> Adavanced ReqIFile Import</a></li><ul></ul><li><a href="#_0QS5obHxEeSvo7o7Iu6GQQ"> Import SpecRelation</a></li><ul></ul><li><a href="#_0QUu0LHxEeSvo7o7Iu6GQQ"> ImportspecRelationType</a></li><ul></ul></ul></ul><ul><a href="#_0QVV4bHxEeSvo7o7Iu6GQQ">Design</a><li><a href="#_0SvwsbHxEeSvo7o7Iu6GQQ"> com.cea.darwin.reqif</a></li><ul><li><a href="#_0S0CILHxEeSvo7o7Iu6GQQ"> assistant</a></li><ul><li><a href="#_0S13ULHxEeSvo7o7Iu6GQQ"> ReqIFNewFilePage</a></li><ul></ul><li><a href="#_0S3FcbHxEeSvo7o7Iu6GQQ"> ReqIFSelectionPage</a></li><ul></ul><li><a href="#_0S4TkbHxEeSvo7o7Iu6GQQ"> CreateOrSelectProfileDialog</a></li><ul></ul></ul><li><a href="#_0S5hsbHxEeSvo7o7Iu6GQQ"> integration</a></li><ul><li><a href="#_0S6v0bHxEeSvo7o7Iu6GQQ"> assistant</a></li><ul><li><a href="#_0S798bHxEeSvo7o7Iu6GQQ"> AbstractWizardForPapyrus</a></li><ul></ul><li><a href="#_0S9MEbHxEeSvo7o7Iu6GQQ"> ChooseReqIFTypeDialog</a></li><ul></ul><li><a href="#_0S-aMbHxEeSvo7o7Iu6GQQ"> ReqIFImportWizard</a></li><ul></ul><li><a href="#_0S_oUbHxEeSvo7o7Iu6GQQ"> ReqIFExportWizard</a></li><ul></ul></ul><li><a href="#_0TA2cbHxEeSvo7o7Iu6GQQ"> transformation</a></li><ul><li><a href="#_0TCEkbHxEeSvo7o7Iu6GQQ"> ReqIFImporterServiceEdit</a></li><ul></ul></ul><li><a href="#_0TDSsbHxEeSvo7o7Iu6GQQ"> command</a></li><ul><li><a href="#_0TEg0bHxEeSvo7o7Iu6GQQ"> DefineProfileCommand</a></li><ul></ul></ul></ul><li><a href="#_0TFu8bHxEeSvo7o7Iu6GQQ"> transformation</a></li><ul><li><a href="#_0TG9EbHxEeSvo7o7Iu6GQQ"> ReqIFImporter</a></li><ul></ul><li><a href="#_0TILMbHxEeSvo7o7Iu6GQQ"> ReqIFBaseTransformation</a></li><ul></ul><li><a href="#_0TJZUbHxEeSvo7o7Iu6GQQ"> ReqIFExporter</a></li><ul></ul></ul></ul></ul><ul><a href="#_0TKncbHxEeSvo7o7Iu6GQQ">Tests</a><li><a href="#_0TL1kbHxEeSvo7o7Iu6GQQ"> TestImport</a></li><ul></ul><li><a href="#_0TOR0bHxEeSvo7o7Iu6GQQ"> TestExport</a></li><ul></ul></ul><ul><a href="#_0TPf8bHxEeSvo7o7Iu6GQQ">Requirements Coverage</a></ul><H2 id ="_0D5cYbHxEeSvo7o7Iu6GQQ">Requirements</H2><pre id ="_0D8fsLHxEeSvo7o7Iu6GQQ">- ReqIfImport (id=ReqIF_001): <BR/> Darwin shall allow importation of Reqif elements to SysML Model</pre><pre id ="_0D_jALHxEeSvo7o7Iu6GQQ">- Import SpecObjects (id=ReqIF_001_001): <BR/> The user shall be able to import spec object</pre><pre id ="_0ECmULHxEeSvo7o7Iu6GQQ">- Two  Kind of Users (id=ReqIF_001_002): <BR/> The simple User can only import SpecObject by choosing domain. The AdvancedUser can import Types and DataTypes. </pre><pre id ="_0EFpoLHxEeSvo7o7Iu6GQQ">- Import DataType Enumeration (id=ReqIF_001_003): <BR/> The advanced user shall be able to import DataType and enumeration</pre><pre id ="_0EIF4LHxEeSvo7o7Iu6GQQ">- Import SpecObjectTypes (id=ReqIF_001_004): <BR/> The advanced user shall be able to import specObjectType</pre><pre id ="_0EKiILHxEeSvo7o7Iu6GQQ">- Import SpecRelationType (id=ReqIF_001_005): <BR/> The advanced user  shall be able to import SpecRelationType</pre><pre id ="_0EM-YLHxEeSvo7o7Iu6GQQ">- Import SpecRelation (id=ReqIF_001_006): <BR/> Papyrus Req shall import SpecRelation</pre><pre id ="_0EPaoLHxEeSvo7o7Iu6GQQ">- ReqIFExport (id=ReqIF_002): <BR/> Darwin shall enable export of SysML requirement to ReqIF Model</pre><pre id ="_0ERP0LHxEeSvo7o7Iu6GQQ">- ControlMode (id=ReqIF_003): <BR/> The managment with ReqIf must support Control Mode</pre><pre id ="_0EUTILHxEeSvo7o7Iu6GQQ">- WihtoutUI (id=ReqIF_004): <BR/> The export can be done programmatically, without GUI, in order to test it, or to be enable to pilot it programmatically</pre><pre id ="_0EWIULHxEeSvo7o7Iu6GQQ">- Re-Export (id=ReqIF_005): <BR/> Papyrus shall re-export requirements in existing reqIF file</pre><pre id ="_0EYkkLHxEeSvo7o7Iu6GQQ">- Re-Import (id=ReqIF_006): <BR/> Papyrus shall re-Import requirement from a ReqIF file</pre><H2 id ="_0EZysbHxEeSvo7o7Iu6GQQ">Use Cases</H2><P align="middle"><img src=./imgDOC/UseCases_Diagram.png alt=UseCases Diagram ></P><P align="middle">UseCases Diagram</P></BR><H3 id ="_0HJksLHxEeSvo7o7Iu6GQQ">ReqIfModule</H3><H4 id ="_0HKy0bHxEeSvo7o7Iu6GQQ">Import ReqIF file</H4><pre id ="_0HMA8bHxEeSvo7o7Iu6GQQ">In order to import ReqFile into UMLModel, first analysis will be done:<BR/>- All existing SpecObjectTypes will be listed. From the list, the user chooses interesting Types. (In fact types may be purely information as title, chapter...)<BR/>- All stereotypes from applied profiles will be also listed.<BR/>Because each SpecType becomes a stereotype based on Requirement, if the two lists are equals no stereotypes will be created. </pre><P align="middle"><img src=./imgDOC/Import_Activity.png alt=Import Activity ></P><P align="middle">Import Activity</P></BR><pre id ="_0LnN8bHxEeSvo7o7Iu6GQQ">If stereotypes need to be created, a dialog is opened  in order to ask to the user if a profile must be created.<BR/>After importing types, elements of ReqIF file are imported  <BR/></pre><pre id ="_0LocEbHxEeSvo7o7Iu6GQQ">Before import requirement fro ReqIF file, the kinf of User has to be verified.<BR/><BR/>There are two kind of users:<BR/><BR/>	- Simple User: he can only import instance of requirements inside the Papyrus tool.<BR/><BR/>	- Advancerd User: he can importe new types of requirements and instance of requirement inside  the Papyrus tool <BR/><BR/>To verify it, go to window--> preferences--> Papyrus--> ReqIF Import</pre><P align="middle"><img src=./imgDOC/Userkind.png alt=Two kinds of user ></P><P align="middle">Two kinds of user</P></BR><pre id ="_0L7XAbHxEeSvo7o7Iu6GQQ">When the current user is a "Simple User", he can only import instances of requirements by choosen predefined types contained in the profile.<BR/>If the profile does not contain all needed types, the import is not done and a message is displayed on the screen. </pre><P align="middle"><img src=./imgDOC/Choose_Predefined_Profile.png alt=Choose predefined type contained in profile ></P><P align="middle">Choose predefined type contained in profile</P></BR><P align="middle"><img src=./imgDOC/CannotImport.png alt=The import cannot be done if the profile is not complete. ></P><P align="middle">The import cannot be done if the profile is not complete.</P></BR><H5 id ="_0Lq4UbHxEeSvo7o7Iu6GQQ">How to</H5><pre id ="_0LsGcbHxEeSvo7o7Iu6GQQ">First the User must have a SysML model. Select the package where ReqIF elements will be imported.<BR/></pre><P align="middle"><img src=./imgDOC/import_1.png alt=Import SysMLModel ></P><P align="middle">Import SysMLModel</P></BR><pre id ="_0LuisbHxEeSvo7o7Iu6GQQ">Select the menu Import  of Eclipse.</pre><P align="middle"><img src=./imgDOC/import_2.png alt=Select import Menu of Eclipse ></P><P align="middle">Select import Menu of Eclipse</P></BR><pre id ="_0Lw-8bHxEeSvo7o7Iu6GQQ">Select the menu Import ReqIF from Papyrus Categories</pre><P align="middle"><img src=./imgDOC/import_3.png alt=Import ReqIF ></P><P align="middle">Import ReqIF</P></BR><pre id ="_0LzbMbHxEeSvo7o7Iu6GQQ">Select the ReqIF file to import</pre><P align="middle"><img src=./imgDOC/import_4.png alt=ReqIF file Selection ></P><P align="middle">ReqIF file Selection</P></BR><pre id ="_0L13cbHxEeSvo7o7Iu6GQQ">Select Types of ReqIFElement that you want to import</pre><P align="middle"><img src=./imgDOC/import_5.png alt=SpecObject Type selection ></P><P align="middle">SpecObject Type selection</P></BR><pre id ="_0L4TsbHxEeSvo7o7Iu6GQQ">When the current user is an "Advanced User", he can import Requirement types and all requirements from ReqIF , if needed he can select or create the profile that will contain imported types</pre><P align="middle"><img src=./imgDOC/import_6.png alt=Create or select Profile ></P><P align="middle">Create or select Profile</P></BR><pre id ="_0L_BYbHxEeSvo7o7Iu6GQQ">The model has now imported requirements with relations. Note that a comment explains the origin of the import.</pre><P align="middle"><img src=./imgDOC/import7.png alt=Resulted model ></P><P align="middle">Resulted model</P></BR><H4 id ="_0MBdobHxEeSvo7o7Iu6GQQ">Import DataType Enumeration</H4><pre id ="_0MCrwbHxEeSvo7o7Iu6GQQ">Each Datatype Definition  Enumeration in a ReqFIle is transformed to UML Eneumeration in a profile.<BR/></pre><H4 id ="_0MD54bHxEeSvo7o7Iu6GQQ">Import SpecObjectTypes</H4><pre id ="_0MFvELHxEeSvo7o7Iu6GQQ">Each SpecObjectType choosen in the ReqIFile is transformed to stereotype that inherits of SysML Requirement in a profile.<BR/>Each SpecRelationType of the ReqIF file is transformed in to Stereotype based on dependency Metaclass.<BR/>Each attribute  is transformed to equivalent attribute in Stereotype. Only XTML attributes are transformed into String typed attributes in profile.<BR/></pre><H4 id ="_0MG9MLHxEeSvo7o7Iu6GQQ">Import SpecObjects</H4><pre id ="_0MILULHxEeSvo7o7Iu6GQQ">Each SpecObjectNode is transformed to class with a corresponded applied stereotype. During the creation, SpecHierarchy ared used in order to structure the SysML files.<BR/>Each Specification becomes a package.<BR/>Each SpecRelation becomes a stereotyped dependency. if the souce or target of this object are not created, the spec relation will be not imported.<BR/></pre><H4 id ="_0MJZcLHxEeSvo7o7Iu6GQQ">Export UML Model to ReqIF File</H4><pre id ="_0MVmsLHxEeSvo7o7Iu6GQQ">The goal is to export all requirements and links into ReqIF.<BR/>To do that, the tool lists all applied stereotypes that inherits of SysML::Requirement and that inherits of dependencies.<BR/>From this list, the tool constructs, in ReqIF File, correponding specObjects Tyoes and SpecRelationsTypes<BR/>Then from all stereotyped elements, it constructs the corresponding hierarchy. <BR/><BR/></pre><P align="middle"><img src=./imgDOC/Export_Activity.png alt=Export Activity ></P><P align="middle">Export Activity</P></BR><H5 id ="_0P2NsbHxEeSvo7o7Iu6GQQ">How to</H5><pre id ="_0P3b0bHxEeSvo7o7Iu6GQQ">Select the SysML that you want to export<BR/></pre><P align="middle"><img src=./imgDOC/export1.png alt=SysML Model ></P><P align="middle">SysML Model</P></BR><pre id ="_0P6fILHxEeSvo7o7Iu6GQQ">Select the export Menu from Eclipse menu.</pre><P align="middle"><img src=./imgDOC/export2.png alt=Export Menu ></P><P align="middle">Export Menu</P></BR><pre id ="_0P87YbHxEeSvo7o7Iu6GQQ">Select the menu export ReqIF form the papyrus Category</pre><P align="middle"><img src=./imgDOC/export3.png alt=Import ReqIF file ></P><P align="middle">Import ReqIF file</P></BR><pre id ="_0P_XobHxEeSvo7o7Iu6GQQ">Choose the name of the reqif file.</pre><P align="middle"><img src=./imgDOC/export5.png alt=Choose ReqIF File name ></P><P align="middle">Choose ReqIF File name</P></BR><pre id ="_0QBz4bHxEeSvo7o7Iu6GQQ">At the end, a reqFile is generated. The header has an information that explain that the result comes from UML file.<BR/></pre><P align="middle"><img src=./imgDOC/Export4.png alt=Result in the ReqIf file ></P><P align="middle">Result in the ReqIf file</P></BR><H4 id ="_0QE3MLHxEeSvo7o7Iu6GQQ">export DataType</H4><pre id ="_0QGFULHxEeSvo7o7Iu6GQQ">In a reqFile, all basic types must be created; that is why data type definition string, integer, Real, boolean and XHTML are created.<BR/>Moreover, all Enumerations in applied profiles become DataTypeDefinitionEnumerations in the ReqIF file.<BR/></pre><H4 id ="_0QHTcLHxEeSvo7o7Iu6GQQ">Export Stereotypes</H4><pre id ="_0QIhkLHxEeSvo7o7Iu6GQQ">From all stereotypes, all SpecObject Types and all SpecRelationTypes will be created. If an attribute of a stereotype is typed by a primitiveType named XHTML, the attribute of the SpecObjecType will be XHTML. </pre><H4 id ="_0QJvsLHxEeSvo7o7Iu6GQQ">Export Stereotyped Elements</H4><pre id ="_0QKWwbHxEeSvo7o7Iu6GQQ">From all packages that contains Requirements, a specification will be created. Then a hierarchy will be created by taking in account the structure of requirements. Finally SpecObject and SpecRelation are created.<BR/></pre><H4 id ="_0QML8LHxEeSvo7o7Iu6GQQ">Re-Import</H4><pre id ="_0QNaELHxEeSvo7o7Iu6GQQ">When a ReqIfile has been already imported, Papyrus shall update contents during Re-import<BR/></pre><H4 id ="_0QOoMbHxEeSvo7o7Iu6GQQ">Re-Export</H4><pre id ="_0QP2UbHxEeSvo7o7Iu6GQQ">When a UML model has been already exported, PapyrusReq must only update the content of the file.<BR/></pre><H4 id ="_0QRrgLHxEeSvo7o7Iu6GQQ">Adavanced ReqIFile Import</H4><H4 id ="_0QS5obHxEeSvo7o7Iu6GQQ">Import SpecRelation</H4><H4 id ="_0QUu0LHxEeSvo7o7Iu6GQQ">ImportspecRelationType</H4><H2 id ="_0QVV4bHxEeSvo7o7Iu6GQQ">Design</H2><P align="middle"><img src=./imgDOC/Architecture_of_ReqIF_Import-Export.png alt=Architecture of ReqIF Import-Export ></P><P align="middle">Architecture of ReqIF Import-Export</P></BR><pre id ="_0SuikLHxEeSvo7o7Iu6GQQ">The architecture is quite simple. There are wizard for import and export,  two classes to realize the job and differents assistants or dialogs.<BR/>Nevertheless, two layers can be distinguished in the code:<BR/>	- one layer independent of the papyrus<BR/>	- one layer called integration dependent of papyrus.<BR/>Efforts have been made to be more independant of papyurs in order to facilitate the maintenance of the algorithm for import export.<BR/>The layer integration contains specializations to create elements by using service edit or use some facilities as advanced dialog.<BR/><BR/></pre><H3 id ="_0SvwsbHxEeSvo7o7Iu6GQQ">com.cea.darwin.reqif</H3><pre id ="_0SyM8LHxEeSvo7o7Iu6GQQ">independant of Papyrus</pre><H4 id ="_0S0CILHxEeSvo7o7Iu6GQQ">assistant</H4><H5 id ="_0S13ULHxEeSvo7o7Iu6GQQ">ReqIFNewFilePage</H5><H5 id ="_0S3FcbHxEeSvo7o7Iu6GQQ">ReqIFSelectionPage</H5><H5 id ="_0S4TkbHxEeSvo7o7Iu6GQQ">CreateOrSelectProfileDialog</H5><H4 id ="_0S5hsbHxEeSvo7o7Iu6GQQ">integration</H4><H5 id ="_0S6v0bHxEeSvo7o7Iu6GQQ">assistant</H5><H6 id ="_0S798bHxEeSvo7o7Iu6GQQ">AbstractWizardForPapyrus</H6><H6 id ="_0S9MEbHxEeSvo7o7Iu6GQQ">ChooseReqIFTypeDialog</H6><H6 id ="_0S-aMbHxEeSvo7o7Iu6GQQ">ReqIFImportWizard</H6><H6 id ="_0S_oUbHxEeSvo7o7Iu6GQQ">ReqIFExportWizard</H6><H5 id ="_0TA2cbHxEeSvo7o7Iu6GQQ">transformation</H5><H6 id ="_0TCEkbHxEeSvo7o7Iu6GQQ">ReqIFImporterServiceEdit</H6><H5 id ="_0TDSsbHxEeSvo7o7Iu6GQQ">command</H5><H6 id ="_0TEg0bHxEeSvo7o7Iu6GQQ">DefineProfileCommand</H6><H4 id ="_0TFu8bHxEeSvo7o7Iu6GQQ">transformation</H4><H5 id ="_0TG9EbHxEeSvo7o7Iu6GQQ">ReqIFImporter</H5><H5 id ="_0TILMbHxEeSvo7o7Iu6GQQ">ReqIFBaseTransformation</H5><H5 id ="_0TJZUbHxEeSvo7o7Iu6GQQ">ReqIFExporter</H5><H2 id ="_0TKncbHxEeSvo7o7Iu6GQQ">Tests</H2><H3 id ="_0TL1kbHxEeSvo7o7Iu6GQQ">TestImport</H3><pre id ="_0TNDsbHxEeSvo7o7Iu6GQQ">The goal is to test the import of a reIF file<BR/></pre><H3 id ="_0TOR0bHxEeSvo7o7Iu6GQQ">TestExport</H3><H2 id ="_0TPf8bHxEeSvo7o7Iu6GQQ">Requirements Coverage</H2><table style="border-collapse: collapse;"><caption style="caption-side: bottom;">RequirementsCoverageTable</caption><tr><th style="border: 1px solid black">Id</th><th style="border: 1px solid black">Satisfy by</th><th style="border: 1px solid black">Verify by</th></tr><tr><td style="border : 1px solid black"><a href="#_0D8fsLHxEeSvo7o7Iu6GQQ" title="ReqIfImport">ReqIF_001</a></BR></td><td style="border : 1px solid black">Import ReqIF file, 
</BR>Import DataType Enumeration, 
</BR>Import SpecObjects, 
</BR>Import SpecObjectTypes</BR></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0D_jALHxEeSvo7o7Iu6GQQ" title="Import SpecObjects">ReqIF_001_001</a></BR></td><td style="border : 1px solid black"></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0ECmULHxEeSvo7o7Iu6GQQ" title="Two  Kind of Users">ReqIF_001_002</a></BR></td><td style="border : 1px solid black"></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0EFpoLHxEeSvo7o7Iu6GQQ" title="Import DataType Enumeration">ReqIF_001_003</a></BR></td><td style="border : 1px solid black"></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0EIF4LHxEeSvo7o7Iu6GQQ" title="Import SpecObjectTypes">ReqIF_001_004</a></BR></td><td style="border : 1px solid black"></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0EKiILHxEeSvo7o7Iu6GQQ" title="Import SpecRelationType">ReqIF_001_005</a></BR></td><td style="border : 1px solid black"></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0EM-YLHxEeSvo7o7Iu6GQQ" title="Import SpecRelation">ReqIF_001_006</a></BR></td><td style="border : 1px solid black"></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0EPaoLHxEeSvo7o7Iu6GQQ" title="ReqIFExport">ReqIF_002</a></BR></td><td style="border : 1px solid black">export DataType, 
</BR>Export UML Model to ReqIF File, 
</BR>Export Stereotypes, 
</BR>Export Stereotyped Elements</BR></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0ERP0LHxEeSvo7o7Iu6GQQ" title="ControlMode">ReqIF_003</a></BR></td><td style="border : 1px solid black"></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0EUTILHxEeSvo7o7Iu6GQQ" title="WihtoutUI">ReqIF_004</a></BR></td><td style="border : 1px solid black"></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0EWIULHxEeSvo7o7Iu6GQQ" title="Re-Export">ReqIF_005</a></BR></td><td style="border : 1px solid black">Re-Export</BR></td><td style="border : 1px solid black"></td></tr><tr><td style="border : 1px solid black"><a href="#_0EYkkLHxEeSvo7o7Iu6GQQ" title="Re-Import">ReqIF_006</a></BR></td><td style="border : 1px solid black">Re-Import</BR></td><td style="border : 1px solid black"></td></tr></table><pre id ="_0TQuErHxEeSvo7o7Iu6GQQ">Unsatisfied requirements (8 out of 12) : </pre><a href="#_0D_jALHxEeSvo7o7Iu6GQQ" title="Import SpecObjects">ReqIF_001_001, </a><a href="#_0ECmULHxEeSvo7o7Iu6GQQ" title="Two  Kind of Users">ReqIF_001_002, </a><a href="#_0EFpoLHxEeSvo7o7Iu6GQQ" title="Import DataType Enumeration">ReqIF_001_003, </a><a href="#_0EIF4LHxEeSvo7o7Iu6GQQ" title="Import SpecObjectTypes">ReqIF_001_004, </a><a href="#_0EKiILHxEeSvo7o7Iu6GQQ" title="Import SpecRelationType">ReqIF_001_005, </a><a href="#_0EM-YLHxEeSvo7o7Iu6GQQ" title="Import SpecRelation">ReqIF_001_006, </a><a href="#_0ERP0LHxEeSvo7o7Iu6GQQ" title="ControlMode">ReqIF_003, </a><a href="#_0EUTILHxEeSvo7o7Iu6GQQ" title="WihtoutUI">ReqIF_004</a><pre id ="_0TR8MbHxEeSvo7o7Iu6GQQ">Unverified requirements (12 out of 12) : </pre><a href="#_0D8fsLHxEeSvo7o7Iu6GQQ" title="ReqIfImport">ReqIF_001, </a><a href="#_0D_jALHxEeSvo7o7Iu6GQQ" title="Import SpecObjects">ReqIF_001_001, </a><a href="#_0ECmULHxEeSvo7o7Iu6GQQ" title="Two  Kind of Users">ReqIF_001_002, </a><a href="#_0EFpoLHxEeSvo7o7Iu6GQQ" title="Import DataType Enumeration">ReqIF_001_003, </a><a href="#_0EIF4LHxEeSvo7o7Iu6GQQ" title="Import SpecObjectTypes">ReqIF_001_004, </a><a href="#_0EKiILHxEeSvo7o7Iu6GQQ" title="Import SpecRelationType">ReqIF_001_005, </a><a href="#_0EM-YLHxEeSvo7o7Iu6GQQ" title="Import SpecRelation">ReqIF_001_006, </a><a href="#_0EPaoLHxEeSvo7o7Iu6GQQ" title="ReqIFExport">ReqIF_002, </a><a href="#_0ERP0LHxEeSvo7o7Iu6GQQ" title="ControlMode">ReqIF_003, </a><a href="#_0EUTILHxEeSvo7o7Iu6GQQ" title="WihtoutUI">ReqIF_004, </a><a href="#_0EWIULHxEeSvo7o7Iu6GQQ" title="Re-Export">ReqIF_005, </a><a href="#_0EYkkLHxEeSvo7o7Iu6GQQ" title="Re-Import">ReqIF_006</a></html>