Home

USER`S MANUAL

1. multiplicity node O lt isj y D Case Editor User s Manual Instantiation Fig 21 Multiplicity process D Case Editor User s Manual 6 Parameters 6 1 What are Parameters Parameters are used to abstract modules and or patterns to re use them easily on various D Case systems You can define Parameters and set their values on Pattern node The Parameters you created can be used in a tree having a root node which refers Pattern node by InContextOf link If modularized you can track all parameters by tracking parent modules If multiple parameters have a same name closer node parameters are used 6 2 Parameter Definition and Setting To define Parameters right click a Pattern node and select Parameters Define Parameters as shown in Fig 22 Show Hide Children Parameters set Parameters Select subtree Create Module Show Parameters Set Flags 4 Show Hide Module E Fig 22 Parameter definition menu Then a parameter setting dialogue appears Fig 23 El Widder itusec Fig 23 Parameter setting dialogue Click Add to add parameters by typing parameter name value and type Click Edit to modify the definition of a Parameter Click Delete to erase the Parameter To change values of Parameter right click the Pattern node and select Parameters Set 20 D Case Editor User s Manual Parameters and re type values on a dialo
2. Fig 5 Automatic arrangement of D Case document Also you can click D Case Arrange direction Horizontal to arrange the document automatically and horizontally 4 Modules 4 1 What are Modules A module handles multiple sub trees of D Case to help users easily recognize and manage complicated D Case having large number of nodes 10 D Case Editor User s Manual A module is composed by GMF diagram information file whose suffix is dease model and by GMF model information file whose suffix is dcase model as with normal D Case When you divide a D Case into multiple modules two module files appear one module file includes top node and another module file includes is divided piece 4 2 Modularization There are two ways for modularization One 1s a modularization of D Case subtree you can simplify complicated D Case by substituting subtree s into module s Another 1s setting reference information for a Module node or Goal node so called Away Goal node after adding these nodes To modularize D Case subtree right click a root node on a sub tree and select Create Module as shown in Fig 6 Fat j Add Note File Edit Delete from Diagram Delete from Model Format Create Module rT ace MA Fig 6 Right clicking a root node On a diagram box Fig 7 type your module name and click OK Set Module Name Type Module name Module Name Cancel Fig 7 Mo
3. Option overwrite output model file Cancel Fig 16 File exporting wizard Input a GMF model information file name and text file name for exporting and click Finish Following is the example of the text file It contains one node information on one line node name Desc and Attachment Referent 15 D Case Editor User s Manual Goal SPIN G_11 fault tolerance satisfaction AS G_12 redundancy of all servers AS G_13 RAID1 redundancy of storages Strategy AS S_5 classification of fault tolerance metrics Module M1 an modulel Omitted below 16 D Case Editor User s Manual 5 Pattern 5 1 What is Pattern You can set Patterns for a D Case to be used frequently D Case Editor handles Patterns in D Case pattern project 5 2 Adding Patterns To add a pattern on a diagram right click any position in the diagram and select Add Pattern as shown in Fig 17 aAd select a pattern to be added from a list Calculate the Score Attachment gt Paramete adapten A Redmine gt Fig 17 AddPattern menu for a diagram To add a pattern under a node right click any node and select Add Child Add Pattern to node as shown in Fig 18 and select a pattern to be added from a list ES DY Format Kanrrntarr oF b Add Child sa i b Create New Node b b di Attac
4. D Case EDITOR USER S MANUAL Ver 1 0 1 English Revision History D Case Editor User s Manual Date Version Description Name 1 MAY 2015 1 0 1 Design Layout changed fixing typos Yang DIMENSIONS Related documents changed Subsection 2 1 and 3 3 revised 12 APR 2015 1 0 0 Subsection 1 3 added modified Usuda AXE Section 2 added Section 3 added Subsection 7 3 added 26 NOV 2013 0 9 2 Figure modified in subsection 17 Usuda AXE Section LI DyIV IRMEBSN CME Et A added 7 NOV 2013 0 9 0 Draft Usuda AXE D Case Editor User s Manual INDEX E iIntfodueioii o PRO a dan 4 ll Whatisthis manuak PA A A 4 k2 A a 4 kS Related Docume A A E 4 2 HOWTO a a E E A 5 Dil System ENVIO A A 5 A A o 5 MI A oie et 5 lastain DEC ase Editor Pe ada 5 aa AAA A eta ee a 6 A S a ate elas at oe Seca 7 Sal Creatine NEW PrO lara iii idad 7 32 Cicatme D Case Documenti aa 7 gt cai lla 7 34 Automatie Diagram ATA EME ta 10 Mode 10 Akt Whatare Modules urli 10 A2 O A N 11 4 3 Module Expansion VW ella 12 4d Cancello MOdUlarizatioli ille 13 45 Module Mana MS rn 13 AO Expone Node lia A a 14 Ca 17 A a A ii i ee ie ao 17 i MIE iii aaa 17 SS AN ili nce 17 A A E E S E 20 GA Whatare Parameters earlier 20 602 Parametr Defmibion and SENE aaa 20 63 Pardmeters References rd ia 21 IS RR O 22 TE MANOA SS Seal 22 7 2 Previous Version Compatibility ii 22 Tia CONV
5. 3 079 8 D Case Website http www dcase jp The Eclipse Foundation http www eclipse org JRE java com http java com D Case Editor User s Manual 2 How to Install 2 1 System Environment This manual is based on following system environment to install D Case Editor Note GMF Runtime and OCL Classic SDK will be installed automatically together with D Case Editor Microsoft Windows 7 Professional SP1 Oracle Java SE Runtime Environment 7 Update 75 Eclipse IDE for Java Developers 4 4 2 Luna 32bit Graphical Modeling Framework GMF Runtime 1 8 1 OCL Classic SDK 5 0 2 Pattern project D CasePattern zip Extractor utility for zipped file 2 2 Installation At the beginning prepare a Windows PC in which JRE Java Runtime Environment has been installed Installing Eclipse l Go to Eclipse official website and click Downloads to download Eclipse IDE for Java Developers This manual downloads an archive file for Windows 32bit 2 Unzip the archive file 3 Execute eclipse exe Installing D Case Editor Plugin l Start Eclipse 2 Select Install New Software in Help menu 3 Type http dimensions japan org dcase eclipse in Work with area 4 Check D Case Editor and proceed If it does not appear uncheck Group items by category 5 Click OK when following dialogue appears Security Warning Warning You are installing software t
6. E SAM ii 23 1 Introduction 1 1 D Case Editor User s Manual What is this manual This manual describes how to install and how to use D Case Editor which is an assurance case editor having type checking feature 1 2 Definition Term Description Diagram Visualized representation of D Case D Case Document A file which describes D Case and or its module GMF Diagram Information File A file which represents layout information such as position size or color of each element in D Case and or its module The filename format is D Case name or module name dcase_diagram GMF Model Information File A file which describes logical structiure of each element in D Case and or its module The filename format is D Case name or module name dcase_model Attribute Property information of node or link Ex Name Desc Attachment Userdef001 016 Etc Pallet viewer A functional module which enables users to select nodes or links in D Case Editor visually in Eclipse environment View A functional module which provides tabbed information in Eclipse environment Preference store A data storage area in Eclipse environment which stores plugin settings according individually in Eclipse workspace 1 3 Related Documents Matsuno Yutaka Takai Toshinori Yamamoto Shuichiro D Case for beginners in Japanese Daitec Holdings Co Ltd Free of Charge ISBN978 4 8629
7. cribed in subsection 3 2 you will see the D Case editor as shown in Fig 1 D Case Editor User s Manual v lest Dcaserdefiultdcase diagram Eclipse y E jol x Fila Edit Diapram Mavigata Search Emeat Bun D Case Window Help CERRI aa ii sioner ahars See ca DI r 100 F pi Java li Pockage Explomr El S 790 i defaultdase diagram E SD Mi Task List t o p ni DA ase attom 4 dl A eee ey AA ee al age b SA A a A MA test Dos il default dease diagram default doase model All t Actiat cal Gb Justificati i Assumplion gt LUindevelop PY Connect Mylyn fA Module Connect to your task and n ALM tools or creata a local 3 intenta tagli x i DeGase rae na PMonitoe f tes cal ul n D Patton Action Etema Mi Usorde 002 I Usorde 003 Responsib 4 gt N Unk tion Enor Log E ERRE D Workspace Log Message Pa Wamina The environment variable HOME is not set The following directory will be used to store the Gituser global configuration and to Vaming EGit couldn t detect the installation path gtPrefix of native Git Hence EG can t respect system levelGit settings which mig Error initializing element type DeaseLink00G specified edass does not exist It will be ignored O Error initializing element type DesssLinkO02 specified edass does not esst It will be ignored O Fomr initializino alamant ture Dicasel
8. dule name dialogue box Then a new subtree will be created as a module and the original subtree in the D Case will be substituted as a Module node as shown in Fig 8 OGoakG_23 c Design of Fail wer Function M Module G_23 satisfies the specification Design of Fail Over Function A o 6 satisfies the specification G_23 Evidence E_6 Result of design review Fig 8 Modularization of subtree 11 D Case Editor User s Manual To set reference information for a Module node or Goal node right click the added node and click Attachment Select from Module as shown in Fig 9 Add Child b Convert Node Type bi Attachment Show Hide Children b elecc rom WOTKSpace Parameters b Select from Web DS Bench gt Show Properties View Fig 9 Module selection Select the node from node list to be referred Note that the node to be referred should be Public node You can set a node as Public node by right clicking the node and select Set Public Private Flag Public If you do not want that the node will be referred select Private 4 3 Module Expansion View To see details such as referring module or node contents of a Module node or Away Goal node right click the node and select Show Hide Module Show Module Fig 10 Restore Module Set Flags Show Hide Module j Show Module Adjust Reference Hide Module Show Prop
9. ee all Eclipse menu in Japanese except D Case Editor you also can install Pleiades from following URL http mergedoc sourceforge jp 71 2 Previous Version Compatibility Without file format converting you cannot directly open D Case data GMF diagram information file and GMF model information file created by previous version 1f D Case Editor before version 0 8 15 since previous version has different schematic data from current version To convert the file format from previous version to current version select File Convert File Type From Old GMF to New GMF Model as shown in Fig 25 gag Import A E e O Properties 3 xs Export Convert File Type b From GMF To D Case Model m D i G Properties Alt Enter From D Case To GMF Mode From Old GMF To New GMF Model 1 newsample dcase_diagram D CasePattern From GMF To SACM 2 sub dcase_diagram test20131125 all From GMF To ARM 3 main dstar_diagram test20131125 From GMF To Text 4 functionality dcase_diagram test20 XSL Transform From GMF Model A Exit Fig 25 File format transforming Then the converting wizard appears Fig 26 22 D Case Editor User s Manual Convert Model To New GMF Format Wizard lesa Conversion File Definition Page Enter input model file path Input GMF Format Model File Browne Output GMF Format Model File Option overwrite output file Cancel Fig 26 File converting wizard Type or s
10. elect previous version GMF model information file and set output filename and click Finish After that right click the GMF model information file and select Initialize dcase diagram diagram file as shown in Fig 27 h LEI LUI Ep iii all dcase_model _ Export functionality dcase_rmodi P 38 main dstar_diagram Refresh F5 main dstar_model Assign Working Sets Debug As gt Fig 27 Initializing D Case diagram file To prevent confusion in Modules view or d you should not store both old version file and new version file in a same project 7 3 Converting to SACM To convert D Case document to SACM Structured Assurance Case Metamodel file as shown in Fig 25 select File Convert File Type and select From GMF to SACM If you want to create expanded SACM which supports Parameters select From GMF to ARM 23
11. erties View Fig 10 Module expansion menu Then reference information of the module will appear as shown in Fig 11 It will disappear by clicking Hide Module 12 D Case Editor User s Manual fia Module test3 1 HBBteay test3 1 OGoatc_t He ateaty AF Strategy 5_ 5 ERZ DAUTA MTS O GoabG_12 D Goal G_13 St KY RRA TOS AbFL RAIDITRIEENTUE Fig 11 Module expansion view 44 Canceling Modularization You can cancel a modularization and restore a Module node to an original subtree by right clicking the Module node and select Restore Module as shown in Fig 12 Not that the module file to be referred will not be deleted automatically in this process To delete the module file see next subsection Edit b Delete from Diagram Delete from Model Format b Restore Module N face MA b Fig 12 Canceling modularization 4 5 Module Management The Modules view shows list of modules and public nodes in a D Case project and provides manipulation feature for the listed items It helps users to understand logical relation of nodes To see Modules view Click Window Show View Other and expand D Case Editor menu and click Modules as shown in Fig 13 13 D Case Editor User s Manual type filter text b CVS amp D Case Editor C Benchmark Results O D Case DB O Modules C Requirements D Templates O Test Sce
12. gue 6 3 Parameters References In AttributeDialog Desc attribute is set according to Desc Format String attribute string value written in parameter name formatted text in Desc Format String attribute will also be used in Desc attribute as a parameter value AttributeDialog also lists available parameters in a node as shown in Fig 24 Name A_1 Desc Y more Attachment Status Responsibility Desc Format String Script Name UI FF string s5str test2Msst string g10int 100 int attachmentDoub 100 00 double attachmentRaw aaaa raw Browse test2 U_1 test2 S 5 test2 G 10 testi testi Fig 24 AttributeDialog Set properties The dialogue shows parameter name value type and node information module name node name formatted and does not show parameter information which is not able to be referred Click a parameter to copy the Name onto the clip board Double click the parameter to copy Name onto the clip board that may be useful to set Desc Format String attribute 21 D Case Editor User s Manual 7 Others 7 1 Language Setting D Case Editor is a multilingual application It runs in Japanese or English mode according to your Windows system setting To change the language mode set an option for Eclipse on command line as followings Japanese mode eclipse nl ja English mode eclipse nl en If you want to s
13. hat contains unsigned content The authenticity or validity of this software cannot be established Do you want to continue with the installation D Case Editor User s Manual Importing Pattern Project l Start Eclipse Z Select Import in File menu 3 Open General and select Existing Projects into Workspace Then click Next 4 Check Select archive file and click Browse Then select the archive file of patter project named D CasePattern zip 5 Check Copy projects into workspace and click Finish D Case Editor User s Manual 3 Basic Usage 3 1 Creating New Project You can create new project to handle D Case document by following steps I Click File menu and select New Project 2 Click General and select Project and click Next 3 Type your project name in Project name and click Finish 3 2 Creating D Case Document You can create new D Case document by following steps l Right click the project you just created in subsection 3 1 and select New Other 2 Open D Case Editor and select D Case Diagram and click Next 3 Input filename in File name area and click Next Note that you should not rename the filename extension which is originally set as dcase diagram A Click Finish 3 3 Creating Node and Link Soon after creating D Case document as des
14. hment Add Pattern b d gt Show Hide Children Develo Parameters FFON p Sub goals from the C Va 120 19 75 2056 omponent Diagram Fig 18 Pattern adding menu 5 3 Pattern Node You can add multiple patterns using Pattern node in a subtree having a root node which is linked with the Pattern node by InContextOf link Pattern node has SubType property whose value would be Parameter Loop Choice or Multiplicity For more information about Parameter property see Section 6 Loop property is used to add target subtree as a pattern onto some leaf node repeatedly as shown in Fig 19 You can select the leaf node to be modified by clicking a node and select AttributeDialog LeafNode property A dialogue will ask you the number of loop of pattern addition when you add patters 17 D Case Editor User s Manual Pattern with loop EEA a Instantiation i 1 1 k times lt Fig 9 Loop process Choice property is used to add a part of target subtree as a pattern as shown in Fig 20 where n 1s number of nodes in target subtree You can set n 1 and j properties on AttributeDialog Pattern with choice Instantiation O lt isjsn isksj Fig 20 Choice process Multiplicity is used to add patters by duplicating target subtree as shown in Fig 21 You can set i and j properties on AttributeDialog 18 19 Pattern with multiplicity
15. inkd01 srecified arassa cope not mnst ft will he ionored Fig 1 D Case Editor To add a node select a node you need from Palette list and click any position in a white canvas on the middle of the screen The node will be set on that position To add a link which shows the relation between nodes select a link from Palette list in the same manner Next drag between nodes to be connected Otherwise right click a node and select Add Child Create a New Node and select a new node so that both nodes will be connected each other Fig 2 D Case Editor User s Manual Assumption i PA 9 Undevelop Connect Mylyn OEvidenc a Add E fa Module Connect to your ta Undefined Contract fant tools or create ea eee D Case Edit A Monitor de Outline E Delete from Diagram Pattem E la XA Delete from Model Action Attachment Show Hide Children gt oo Contract Select subtree Di Pattem Create Module i oe External Set Public Private Flag Userdef002 Extemal Commands gt n ie Userdef003 Refresh Link Create Update d ems Javadoc De 55 v E X BZ ce Log D Show Properties View a TT Properties e Remove trom Context A AtAlttS hittt Down aming The environment vanable El ry Will be used to store the Gituser global configuration i aming EGit couldn t detect the installation path Profi of native Git Hence EGit can t respect sy
16. narios gt gt Debug gt General T Bookmarks L Fig 13 Modules view selection Fig 14 shows an example of Modules view Tasks Properties Modules 3 El console CONSE Se Name Node Link Reference 6 main 9 0 main G_1 1 test5 G_9 Fe main2 6 1 main D_1 ia u Fig 14 Modules view Modules view lists module name public node name number of nodes in the module number of links and referring source node module name and node name You can open a module by double clicking it You can delete a module by clicking X only if the module is not referred e g number of links is 0 46 Exporting Node List To export a node list select File Convert File Type From GMF to Text as shown in Fig 15 14 D Case Editor User s Manual y Import LA Export Console E Properties amp O E S1 L MA Convert File Type b From GMF To D Case Model From D Case To GMF Model From Old GMF To New GMF Model From GMF To SACM From GMF To ARM 3 main dstar_diagram test20131125 From GMF To Text 4 functionality dcase_diagram test20 XSL Transform From GMF Model Properties Alt Enter 1 newsample dcase_diagram D CasePattern 2 sub dcase diagram test20131125 a11 Exit Fig 15 Exporting node list Then the wizard will appear Fig 16 Conversion File Definition Page Enter input model file path Input GMF Format Model File Output Text Format File
17. stem levelGit settings whi ror initializing element type DcaseLink003 specified eclass does not exist It will be ignored Fig 2 Adding a child You can double click some node to change properties of the node as shown in Fig 3 lolx Name 1G 1 Desc more a Desc Format String Attachment Responsibility Name Responsibility Address Responsibility Icon Valid Until Scnpt Cancel Otherwise you can also Fig 3 Properties open the properties view by clicking Window Show View gt Other General Properties Fig 4 D Case Editor User s Manual Property Value a Info denved false editable true last modified Apnl 14 2015 at 10 01 17 PM linked false location C Users ma chookpro eclipse_workspace test_Dcase default dcase diagram name default dcase diagram path test Dcase default dcase diagram size 534 bytes Fig 4 Properties view 3 4 Automatic Diagram Arrangement Automatic diagram re arrangement is available for D Case document Click Diagram Arrange All to re arrange the document automatically and vertically Fig 5 OS W G_1 Undefined Dias 1 Undefined DI Jb 6_2 Undefined DI J G_1 Undefined lomsci 1 A Undefined dl O Cc_1 Undefined D2I 1 6 3 Undefined OS G_2 OoT3 G_3 Undefined Undefined

USER`S MANUAL

Contents

Download Pdf Manuals

Related Search

Related Contents