MillSim Manual
Contents
1. A specific vertex in a graph either a joint or a node e Joint A specific non labeled vertex The type of vertex that can have connected links in a MillForest e Node A specific labeled vertex The type of vertex that can have more than one children Nodes are labeled from and created by a symbol e Symbol A tuple of module label and rank within a MillSystem Can instantiate nodes 1 2 Starting MillSim MillSim is distributen as a executable JAR file called millsim_build xxxxxxxx jar where the x s is the build number The latest version is available at http www acc umu se of fer millsim Java Runtime Environment JRE 1 7 or higher is necessary to execute MillSim which is available for most desktop operating systems Run MillSim by execute the file or by typing java jar millsim_build XXXXXXXX jar in a terminal If the JAR file is placed where the user have write access it will create a logfile millsim log By running MillSim from a terminal equivalent information will displayed there stderr 1 3 Creating a MillSystem The user must follow a specific order when creating a new MillSystem repre senting a Millstream system When starting MillSim or selecting New MillSystem in the File menu the user is presented an empty list in the Modules tab See Figure 1 The user should now add module by typing their unique names in the text box and press Add The module name must be a string of any letter space2. UMEA UNIVERSITET October 24 2012 Department of Computing Science Manual From the Master Thesis Prototype of Incremental Millstream Simulator MillSim Manual Name Offer E mail offer acc umu se Path http www acc umu se offer millsim File Modules Startgraph Derivations Peter Apply word Reset derivations Export j Word matched 1 rules and of them 1 LHS matched They were applied and added to the derivation forest MiLLSIM MANUAL CONTENTS Contents 1 User manual 1 LD Word list er dp hh o pe 1 1 2 Starting MIS 2 Sois rr dde de liada Ge a 1 1 3 Creating a MillSystem o o 1 1 4 Modifying a MillSysteM o e o 3 1 5 Running a derivation e o 3 1 6 Saving a MillSysteM o o 3 1 7 Exporting graphs or rules o o 4 r8 Shortcuts a ae II A ae a da 4 1 9 Known bugs and problems o o 4 Offer offer acc umu se i October 24 2012 MiLLSIM MANUAL 1 USER MANUAL 1 User manual 1 1 Word list Within MillSim a specific terminology is used e MillSim The prototype application e MillSystem A tuple of modules symbols rules and startgraph Loaded in MillSim or saved as an XML file e MillForest The type of graph representing a forest with joints and nodes with possible links between joints e Vertex
3. ace to add vertices of the chosen type To delete vertices right click on it and select Delete Vertex To create an edge between two vertices the user should click on one vertex and drag to the vertex that is supposed to be its child The Millstream system structure is enforced which forbids any edge between two joints or two nodes To add links between joints the user holds shift while creating the edge When edges are created the layout will be updated so the vertices position themselves in appropriate positions To disable this behaviors check the Lock check box below the graph To decide which vertices and edges links that should be on the left hand side of a rule select them by holding shift and alt while clicking on them Click the button Add to LHS for adding and Remove from LHS for removing Edges and links between two LHS vertices are automatically added to LHS as well Note Sometimes this functionality stops working then just click on another rule and reselect the rule By pressing the and buttons the graph will be zoomed accordingly By pressing Deselect click and drag on any empty space will move the viewing area Startgraphs are created in the same way except that they are not associated with a word and not have the LHS buttons 1 4 Modifying a MillSystem A MillSystem can be opened by selecting Open MillSystem in the File menu Be cautious when deleting modules or symbols since unexpected behavior can occur if th
4. ey are used in a symbol rule or startgraph You can be asked for save the system even if you have not modified it 1 5 Running a derivation When a MillSystem is defined or opened it is possible to run a derivation Go to the Derivation tab From the beginning a horizontal line of root vertices are present in the derivation forest These represents the defined startgraphs of the MillSystem Select the word text box in the lower left corner and type a word When pressing enter or clicking on the Apply word button MillSim will try to apply rules matching that word In the status bar it will report how many rules that was associated with that word and in that case how many of the rules that was matched according to its left hand side If at least one rule was matched the derivation forest will be extended with that those configuration s The user can click on any vertex in the derivation forest to see that configuration to the right To start over with a derivation click the button Reset derivation 1 6 Saving a MillSystem By selecting Save MillSystem in the File menu or try to close MillSim or open another MillSystem you will be asked to save the system It should Offer offer acc umu se 3 October 24 2012 MiLLSIM MANUAL 1 USER MANUAL preferably have the extension rml Note The saved system does not include any derivation only modules symbols rules and startgraphs 1 7 Exporting graphs or rules All graphs shown vis
5. hyphen underscore and normal parenthesis The modules should be added in the way they should be presented visually from left to right Note Modules should not be removed when there exist symbols with that module This could lead to unexpected behavior The next step is to add the symbols Switch to the Symbols tab New symbols are added by right click on any empty space and select Add symbol Select a Offer offer acc umu se 1 October 24 2012 MiLLSIM MANUAL 1 USER MANUAL File Modules Symbols Rules Startgraph Derivations Add the modules in the order you want to represent them Figure 1 MillSim started with an empty MillSystem module from the list Type a label which must be a string of any letter space hyphen underscore and normal parenthesis Type a non negative integer as a rank The rank represents the number of child that the symbol will have Tf these three parts are consistent the consistent check box will be checked as seen in Figure 2 All symbols must be unique Uniqueness is defined as a unique combination of module label and rank To get a better overview the symbols can be sorted by any column by clicking on the column header Symbols are removed by right click on the symbol and select Delete symbol Note Symbols should not be removed when there exist rules or startgraphs with that symbol This could lead to wnexpected behavior File Modules Symbols I Rules Startgraph Deri
6. ove vertices to the LHS when creating modifying rules Solution Select another rule and then return again Sometimes it helps to add a few neighboring vertices a time Offer offer acc umu se 4 October 24 2012 MiLLSIM MANUAL 1 USER MANUAL Problem I created a MillSystem but ordered the modules in the wrong way Solution Open the XML file in a text editor and change the order of the lines that looks like lt module gt First module lt module gt Problem Sometimes the children are sorted incorrectly Solution Remove the edges to the children and create them in the desired order Problem I cannot load my XML file Solution Run MillSim from a terminal and look at the output when trying to open the file it will probably give you a hint for fixing the XML file manually If no insufficient output change the level of log4 logger millsim io to a lower level in the logconfig file See logconfig for more info For advanced users see Appendix for the XSD schema Offer offer acc umu se 5 October 24 2012
7. ually in MillSim can be exported By clicking on the Export button below a graph a export dialog will occur Normally the formats will crop the picture according to how it looks in the window so it can be an idea to zoom move and change window size before exporting The tikz figure in LaTeX option will export the whole graph rule to a LaTeX document For some formats there exists options available from the Options button The default location for saved files is in the users directory To change that or the filename enter another path or select by pressing the button Browse 1 8 Shortcuts There exists several shortcuts in MillSim and in its tabs e Ctrl N Create a new MillSystem e Ctrl O Open a MillSystem e Ctrl S Open a MillSystem e Ctrl W Close MillSim e Ctrl Tab Switch to next tab e Ctrl Shift Tab Switch to previous tab e In Modules Ctrl L Focus on new module name e In Rules Ctrl L Focus on new rule name e In Derivation Ctrl L Focus on word text box and Enter to apply word 1 9 Known bugs and problems Problem When creating rules or startgraphs sometimes all vertices moves to the upper left corner of the area Solution Select another rule or startgraph and return again This is a unresolved bug in JUNG Problem The graph visualization does not update in rules startgraphs or derivations Solution Change tab and go back If it does not work restart MillSim Problem T cannot add rem
8. vations Module Label Rank Consistent SYN loves 0 vi SYN Mary 0 pa SYN NP 1 ra SYN Peter 0 LA SYN S 2 CA SYN Y 1 CA SYN VP 2 v SEM loving ed CA SEM Mary 0 CA SEM Peter D v SEM refers_to 1 CA z 1 Successfully 2M 3W 11S 3R 15G Figure 2 MillSim indicates the consistency of each symbol Now rules and startgraphs should be created These steps can be done in any order A rule is created by switching to the Rules tab and clicking on the text area to the lower left corner Write the word that should be associated with the new rule A word must be a string of any letter space hyphen underscore and normal parenthesis Normally it is just one word Click New to create the rule and a empty space will occur on the large middle area of the GUI A graph is created by left click to add vertices and click and drag between two vertices to create an edge To add a vertex a symbol must be selected Select a symbol from one of the modules listed to the right The first symbol in each module is named MODULE Joint and are used to simulate the hypergraph Offer offer acc umu se 2 October 24 2012 MiLLSIM MANUAL 1 USER MANUAL used in real Millstream graphs The rest of the symbols can be selected to create nodes of that type which are defined in the Symbols tab Click on the empty sp
Download Pdf Manuals
Related Search