YAWL - User Manual - Polytechnic of Namibia - Mirrors

46 CHAPTER 4. THE EDITORSettingsThis menu contains the following items:• Engine Connection: The Editor must connect to a running Engine to obtain a list of the available servicesthat a task can be assigned to (amongst other things discussed in later sections). This menu item allowsyou to set the parameters for a connection to the Engine and to proceed with a connection.• Resource Service Connection: The Editor must connect to a running Resource Service to obtain a list ofthe available resources that task can be allocated to (amongst other things discussed in later sections).This menu item allows you to set the parameters for a connection to the Resource Service and toproceed with a connection.• Specification Analysis: This item will display a dialog where various verification and analysis techniquesmay be chosen. In addition, if the wofyawl analysis utility is available, the configuration dialogwill allow process designers to configure and use wofyawl for additional specification analysis 1 .• Process Configuration: This item will display a dialog where the desired process configuration settingsmay be chosen.• External File Paths: This item will display a dialog where the disk locations of the following componentsmay be specified:– User-defined extended attributes for decompositions;– User-defined extended attributes for variables;– User-supplied icons for tasks;– the WofYAWL tool (for specification analysis);– the Wendy tool (for process configuration).ViewYou can use this menu to toggle:• Tooltips, which provide useful hints when your mouse is positioned over various items;• Anti-aliasing of graphical components; and• Grid on the canvas background – useful for aligning objects visually.This menu also provides options to set the font size used for element labels, the default background colourfor nets, and the default background colour for elements (i.e. tasks and conditions). Finally, it shows a listof all the nets of the loaded specification, allowing the selection of one from those available for editing.HelpThe Help Menu provides an “About the Editor” dialog, describing components used in the editor’s construction,a list of source code contributors, and the version and build date of the Editor in use.4.2.3 Workflow Elements and ToolsThe Workflow Elements and Tools panel contains seven selectable buttons – five YAWL language icons andtwo selection tools – that assist with creation, selection and positioning of objects within your specification.This panel is also accessible by right-clicking on any blank area of the canvas.Once an element is selected, it is possible to place objects of that type on the canvas by left-clicking themouse button at the desired location.1 Only available when installed in a Windows environment.