- #Omnigraffle applescript for mac os
- #Omnigraffle applescript mac os x
- #Omnigraffle applescript pro
- #Omnigraffle applescript professional
Download the latest sources from package and follow the installation instructions. The pi-calculus reasoning tools currently compatible are MWB and ABC (both are free available).
#Omnigraffle applescript mac os x
Both require Ruby 1.8.2 (preinstalled on Mac OS X 10.4). The Ruby script for checking business processes contained in the XML document to be structural sound and for converting the XML document to a pi-calculus ASCII notation can be found here. Structural and Lazy Soundness Pi-Calculus Converter While you have OmniGraffle as the active application, you should find an entry labeled OmniGraffle BPMN-Exporter in your scripts menu. Enable your AppleScript menu by browsing to /Applications/Apple Script/ and start Apple Script Utilility.
#Omnigraffle applescript pro
Please place it in your /Library/Scripts/Application/OmniGraffle or Library/Scripts/Application/OmniGraffle Pro folder, depending on your version of OmniGraffle. The AppleScript for exporting BPMN diagrams from OmniGraffle 4 to XML can be found here. The following subset of the BPMN is currently supported: Please unzip and place them into your /Library/Application Support/OmniGraffle/Stencils folder. The BPMN stencils for OmniGraffle 4 can be found here. The stencils and scripts have been tested with version 4.1.1.
#Omnigraffle applescript for mac os
OmniGraffle is a commercial diagramming application for Mac OS X. Tool Chain OmniGraffle (Graphical Editor) Both are also available on various platforms. The pi-calculus tools compatible with our scripts are MWB and ABC, the two major reasoners for pi-calculus. The pi-calculus converter and the structural soundness checker have been implemented as Ruby scripts, so they are OS-independent. Both-OmniGraffle and AppleScript-provide an easy and convenient way of designing and exporting business process diagrams. OmniGraffle is fully programmable using AppleScript, which we used for implementing the XML exporter.
#Omnigraffle applescript professional
We used OmniGraffle Professional as a graphical editor. Technically, our feasibility study has been developed on Mac OS X. The file containing the pi-calculus processes can then directly be used as an input for existing pi-calculus tools for reasoning. Furthermore, it can be used as input for a pi-calculus converter script that maps the XML file to a proprietary ASCII notation representing pi-calculus processes. The XML representation of the business process can already be analyzed for structural soundness by a structural soundness checker script. Based on this information, an XML exporter script is able to generate an XML description of the business process diagram by interacting with the editor. The editor is equipped with a set of BPMN stencils that are annotated with additional information. The components developed by us are shown inside the dotted area.įirst of all, we use a graphical editor for creating business process diagrams. Tools or scripts are shown as rectangles, whereas documents are denoted as notes. The figure below depicts the tool dependencies and document flows in the tool chain. Lazy soundness can be informally described as follows:Ī structural sound business process is lazy sound if in any case a result is provided exactly once. Structural soundness analyzes the graph-structure of the business process and can be informally described as follows:Ī business process is structural sound if it has exactly one initial node, exactly oneįinal node, and all other nodes lie on a path between the initial and the final node. The business processes contained in the XML file can be analyzed for structural and lazy soundness. A corresponding paper can be found here.Īpproach: The toolchain provides extensions for OmniGraffle to export BPMN diagrams into an XML file. This page contains a prototypic proof-of-concept implementation of a tool chain for proving lazy soundness for business process diagrams using pi-calculus. Lazy Soundness Reasoning Tool Chain Introduction
0 kommentar(er)
