ProM Pizza Night #5. October 22th, 2015

Transcription

1 ProM Pizza Night #5 October 22th, 2015 Overview of Topics A New ProM + JRE 7 version on Mac... 2 Search functionalities in Package Manager... 3 ProM Plugin Annotations Added to Existing Plugins... 4 Visualizer Bug Fixed and Canceller Added... 5 Log Visualizer Improved... 6 ProM Bug Reporter (to be continued)... 6 Log Checker (continued)... 6 ProM Pizza Knights: Initials Last name First name A.J. Bolt Iriondo Alfredo E. Gonzalez Lopez de Murillas Edu B.F.A. Hompes Bart S.J.J. Leemans Sander G. Li Guangming X. Lu Xixi F. Mannhardt Felix N. Tax Niek H.M.W. Verbeek Eric S.J. Van Zelst Bas M. de Leoni Massimiliano M. van Eck Maikel P.M. Dixit Alok

2 A New ProM + JRE 7 version on Mac A new ProM App bundle has been created, given that many users struggle to make ProM and Java work properly on Mac. The new bundle includes a Java JRE 7 for 64 bits. Furthermore, there is a new startup message which asks user if ProM or Package Manager should be launched. The new version of the Mac App can be downloaded from this URL: Team in charge: Edu

3 Search functionalities in Package Manager ProM Package Manager A search functionality is added to the ProM package manager, just like the search in ProM, user can now search packages in the package manager. User can find a package by searching for its author, organization, description, maintainer, licence, name, and a newly added property keywords (which user can specify keywords such as clustering, conformance checking, and discovery in the build.xml). Moreover, regular expression can be used, e.g. (Dongen Verbeek). The search is capital insensitive. It is not yet possible to search for plugins in the Package manager. Currently, the description for each package is automatically generated using the information in its build.xml and put online for the ProM Package Manager to find. However, in the build.xml, no information of plugins are added. Two alternatives were discussed. Either users have to put this informatin in the build.xml, or during the Nightly Build of ProM, a list of plugins of each package is generated and put online for the ProM Package Manager to obtain. Team in charge: Bart, Xixi, Guangming, Eric

4 ProM Plugin Annotations Added to Existing Plugins Efforts have been put into completing the descriptions in the plugin annotations of existing ProM plugins, including the attributes keywords and categories that were added to ProM plugin annotation in the previous night. Here below is a list of plugins and their status. AcceptingPetriNet AcceptingPetriNetRedundan tplacesreductor AcceptingPetriNetClassicalR eductor ActivityClusterArray AcceptingPetriNetDecompos er ActivityClusterArrayCreator AlphaMiner Animation ApacheUtils AProMore AcceptingPetriNetMiner ActivityClusterArrayExtracto r BasicUtils BPMN BPMNAnalysis BPMNConversions BPMNMeasures CausalActivityGraph CausalActivityGraphCreator CausalActivityMatrix CausalActivityMatrixCreator CausalActivityMatrixMiner CNet CNetReplayer Compliance ConceptDrift COSAImportExport Cosimulation CPNet DataAwareReplayer DataPetriNets DecomposedMiner DecomposedReplayer DivideAndConquer DottedChart2 EfficientStorage EMF EPC EPCConversion EstablishedPackages ETConformance EvolutionaryTreeMiner FeaturePrediction Flex FlexReplayer Fuzzy GPLv2Utils GraphViz GuideTreeMiner HeuristicsCNetMiner HeuristicsMiner HybridILPMiner ILPMiner InductiveMiner InductiveVisualMiner InteractiveVisualization Log(Niek) LogAbstractions LogAlignment LogDecomposer LogDialog LogMerge LogMetrics LogOverview LogTimeFilter LPEngine LpSolve Murata OperationalSupport OSService PatternAbstractions Performance Petra Petrify PetriNetReplayAnalysis PetriNets PNAnalysis PNetAlignmentAnalysis PNetReplayer PomPomView PPM ProcessLogGenerator ProcessTree Properties PTMerge Saxon ServiceTech SignatureDiscovery SimpleLogOperations SocialNetwork StochasticPetriNets TraceAlignment TraceAlignmentWithGuideTr ee TransitionSystems TSPetrinet Uma Widgets Woflan XESAlignmentExtension XESLite YAWL Already annotated Unsure - check Not Annotated Annotated but not checked in Team in charge: Maikel van Eck, Alok, Niek

5 Visualizer Bug Fixed and Canceller Added Four functionalities were enhanced. (1) After an object is returned by a plugin, ProM selects the first visualizer. When this visualizer fails, there is no option to select any other visualizer. This bug is now fixed. Thus, visualizers that crash do not take the whole framework down anymore. (2) Furthermore, visualizers can now get access to a canceller, this will allow stopping long-running plug-ins. This can be done by adding a third parameter of type ProMCanceller as an input for a visualizer. (3) In addition, the ordering of visualizers are tailored towards subclasses. If there are visualizers for exactly the class of that object, those have the priority. If many, they are still ordered alphabetically. The visualizers of objects of super-classes of that object class come later in the ordering. (4) Finally, the name of the package of the visualizer is added such that user knows where to find the visualizer. Team in charge: Felix, Sander, Alfredo

6 Log Visualizer Improved The functionality and usability of the plugin Log Visualizer have been improved: - The columns in the inspector tab is now resizable. - Moreover, the type of an attribute of each event is now shown in the attribute-view. Team in charge: Bas, Massimiliano ProM Bug Reporter (to be continued) The idea is to have an exception reporter such that if an exception in the code is thrown, the exception is captured and shown to users in a dialog. Team in charge: Bas, Massimiliano Log Checker (continued) There is an additional log checker plugin implemented that checks whether the attributes that have the same key also have the same type. For example, it checks if there is one attribute with key amount which is a double, and an another attribute with the same key amount but having String as type. Team in charge: Eric