LTLChecker:LTL Checker，ProM 框架插件
LTL Checker，ProM 框架插件
2004 年，作为我在(TU/e)计算机科学与工程硕士学位的一部分，我在技术与社会系 (TeMa) 的信息系统组实习。 该小组致力于流程挖掘，即从流程生成的事件日志中提取有价值信息的过程。 该小组用 Java 开发了一个名为的工具，用于挖掘（大型）基于 XML 的流程日志。
在我的实习中，我为他们的 ProM 框架开发了一个插件，用于检查事件日志中是否符合或不符合(LTL) 中指定的某些属性的跟踪。 在 LTL 中，可以指定以下属性：
步骤 X 始终跟随步骤 Y
所有价值超过 $45.000 的案件均由经理 B 处理
周末创建的所有问题最多在两天内得到确认
等等。
有关此插件的更多信息，请参阅其以及与我的指导教授合着的论文：WMP van der Aalst 和 HT de Beer 和 BF van Dongen (2005) Proc
文件下载
资源详情
[{"title":"（ 183 个子文件 3.77MB ） LTLChecker:LTL Checker，ProM 框架插件","children":[{"title":"framework-log-and-results-and-ltl-analyse.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"framework-log-and-ltl-defaultmenu.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"framework-log-and-ltl-minemenu.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"framework-log-and-ltl-analyse.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"framework-results-defaultmenu.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"framework-results-exportmenu.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"ltlchecker-choose-formula.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"ltlchecker-valuate-params.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"ltlchecker-check-results.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"framework-import-opened.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"framework-log-and-ltl.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"framework-import-menu.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"framework-start.eps <span style='color:#111;'> 4.39MB </span>","children":null,"spread":false},{"title":"ltlchecker-valuate-params-cutted.eps <span style='color:#111;'> 2.97MB </span>","children":null,"spread":false},{"title":"framework-log-and-results-and-ltl-analyse-cutted.eps <span style='color:#111;'> 2.95MB </span>","children":null,"spread":false},{"title":"ltlchecker-choose-formula-cutted.eps <span style='color:#111;'> 2.94MB </span>","children":null,"spread":false},{"title":"framework-log-and-ltl-cutted.eps <span style='color:#111;'> 2.92MB </span>","children":null,"spread":false},{"title":"ltlchecker-check-results-cutted.eps <span style='color:#111;'> 2.69MB </span>","children":null,"spread":false},{"title":"current-process-instance.eps <span style='color:#111;'> 2.56MB </span>","children":null,"spread":false},{"title":"framework-import-opened-cutted.eps <span style='color:#111;'> 2.49MB </span>","children":null,"spread":false},{"title":"framework-log-and-ltl-analyse-cutted.eps <span style='color:#111;'> 2.45MB </span>","children":null,"spread":false},{"title":"framework-import-opendialog.eps <span style='color:#111;'> 1.46MB </span>","children":null,"spread":false},{"title":"ltlchecker-checking-cutted.eps <span style='color:#111;'> 1.31MB </span>","children":null,"spread":false},{"title":"ltlchecker-checking.eps <span style='color:#111;'> 1.31MB </span>","children":null,"spread":false},{"title":"framework-log-and-ltl-minemenu-cutted.eps <span style='color:#111;'> 1.27MB </span>","children":null,"spread":false},{"title":"log-diagram.eps <span style='color:#111;'> 1.02MB </span>","children":null,"spread":false},{"title":"framework-results-exportmenu-cutted.eps <span style='color:#111;'> 907.84KB </span>","children":null,"spread":false},{"title":"framework-log-and-ltl-defaultmenu-cutted.eps <span style='color:#111;'> 779.65KB </span>","children":null,"spread":false},{"title":"framework-import-menu-cutted.eps <span style='color:#111;'> 605.74KB </span>","children":null,"spread":false},{"title":"framework-results-defaultmenu-cutted.eps <span style='color:#111;'> 440.86KB </span>","children":null,"spread":false},{"title":"ltlchecker.jar <span style='color:#111;'> 110.61KB </span>","children":null,"spread":false},{"title":"ltltemplate.jar <span style='color:#111;'> 2.44KB </span>","children":null,"spread":false},{"title":"LTLParser.java <span style='color:#111;'> 64.33KB </span>","children":null,"spread":false},{"title":"LTLParserTokenManager.java <span style='color:#111;'> 36.65KB </span>","children":null,"spread":false},{"title":"TreeBuilder.java <span style='color:#111;'> 16.20KB </span>","children":null,"spread":false},{"title":"TemplateGui.java <span style='color:#111;'> 13.71KB </span>","children":null,"spread":false},{"title":"SimpleCharStream.java <span style='color:#111;'> 9.46KB </span>","children":null,"spread":false},{"title":"LTLVerificationResult.java <span style='color:#111;'> 9.31KB </span>","children":null,"spread":false},{"title":"SetsSet.java <span style='color:#111;'> 6.48KB </span>","children":null,"spread":false},{"title":"ParseException.java <span style='color:#111;'> 6.24KB </span>","children":null,"spread":false},{"title":"ParamData.java <span style='color:#111;'> 5.87KB </span>","children":null,"spread":false},{"title":"SimpleNode.java <span style='color:#111;'> 5.33KB </span>","children":null,"spread":false},{"title":"Attribute.java <span style='color:#111;'> 4.84KB </span>","children":null,"spread":false},{"title":"DefaultLTLChecker.java <span style='color:#111;'> 4.35KB </span>","children":null,"spread":false},{"title":"DateAttribute.java <span style='color:#111;'> 4.14KB </span>","children":null,"spread":false},{"title":"TokenMgrError.java <span style='color:#111;'> 4.14KB </span>","children":null,"spread":false},{"title":"NumberAttribute.java <span style='color:#111;'> 4.12KB </span>","children":null,"spread":false},{"title":"SetAttribute.java <span style='color:#111;'> 3.59KB </span>","children":null,"spread":false},{"title":"LTLChecker.java <span style='color:#111;'> 3.58KB </span>","children":null,"spread":false},{"title":"StringAttribute.java <span style='color:#111;'> 3.58KB </span>","children":null,"spread":false},{"title":"NumberValueNode.java <span style='color:#111;'> 3.50KB </span>","children":null,"spread":false},{"title":"NumberCompNode.java <span style='color:#111;'> 3.28KB </span>","children":null,"spread":false},{"title":"DateCompNode.java <span style='color:#111;'> 3.27KB </span>","children":null,"spread":false},{"title":"SetCompNode.java <span style='color:#111;'> 3.22KB </span>","children":null,"spread":false},{"title":"StringCompNode.java <span style='color:#111;'> 3.13KB </span>","children":null,"spread":false},{"title":"JJTLTLParserState.java <span style='color:#111;'> 3.00KB </span>","children":null,"spread":false},{"title":"Substitutes.java <span style='color:#111;'> 2.75KB </span>","children":null,"spread":false},{"title":"Token.java <span style='color:#111;'> 2.63KB </span>","children":null,"spread":false},{"title":"LTLParserConstants.java <span style='color:#111;'> 2.40KB </span>","children":null,"spread":false},{"title":"SetValueNode.java <span style='color:#111;'> 2.19KB </span>","children":null,"spread":false},{"title":"AttributeSet.java <span style='color:#111;'> 1.75KB </span>","children":null,"spread":false},{"title":"LTLTemplateImport.java <span style='color:#111;'> 1.67KB </span>","children":null,"spread":false},{"title":"DateValueNode.java <span style='color:#111;'> 1.63KB </span>","children":null,"spread":false},{"title":"UntilNode.java <span style='color:#111;'> 1.63KB </span>","children":null,"spread":false},{"title":"AlwaysNode.java <span style='color:#111;'> 1.63KB </span>","children":null,"spread":false},{"title":"StringValueNode.java <span style='color:#111;'> 1.62KB </span>","children":null,"spread":false},{"title":"EventuallyNode.java <span style='color:#111;'> 1.56KB </span>","children":null,"spread":false},{"title":"CheckResult.java <span style='color:#111;'> 1.54KB </span>","children":null,"spread":false},{"title":"CheckResultModel.java <span style='color:#111;'> 1.51KB </span>","children":null,"spread":false},{"title":"NexttimeNode.java <span style='color:#111;'> 1.41KB </span>","children":null,"spread":false},{"title":"ValueNode.java <span style='color:#111;'> 1.24KB </span>","children":null,"spread":false},{"title":"LTLTemplateFileResult.java <span style='color:#111;'> 1.19KB </span>","children":null,"spread":false},{"title":"LTLParserTreeConstants.java <span style='color:#111;'> 1.16KB </span>","children":null,"spread":false},{"title":"ForallNode.java <span style='color:#111;'> 1.12KB </span>","children":null,"spread":false},{"title":"ExistsNode.java <span style='color:#111;'> 1.12KB </span>","children":null,"spread":false},{"title":"BiimpliesNode.java <span style='color:#111;'> 1.07KB </span>","children":null,"spread":false},{"title":"Node.java <span style='color:#111;'> 1.04KB </span>","children":null,"spread":false},{"title":"ImpliesNode.java <span style='color:#111;'> 1.02KB </span>","children":null,"spread":false},{"title":"BinaryNode.java <span style='color:#111;'> 1024B </span>","children":null,"spread":false},{"title":"AndNode.java <span style='color:#111;'> 1020B </span>","children":null,"spread":false},{"title":"OrNode.java <span style='color:#111;'> 1014B </span>","children":null,"spread":false},{"title":"NotNode.java <span style='color:#111;'> 953B </span>","children":null,"spread":false},{"title":"FormulaNode.java <span style='color:#111;'> 923B </span>","children":null,"spread":false},{"title":"CompNode.java <span style='color:#111;'> 901B </span>","children":null,"spread":false},{"title":"RootNode.java <span style='color:#111;'> 777B </span>","children":null,"spread":false},{"title":"ASTComparison.java <span style='color:#111;'> 748B </span>","children":null,"spread":false},{"title":"QuantorNode.java <span style='color:#111;'> 733B </span>","children":null,"spread":false},{"title":"UnaryNode.java <span style='color:#111;'> 679B </span>","children":null,"spread":false},{"title":"ASTStringList.java <span style='color:#111;'> 627B </span>","children":null,"spread":false},{"title":"AttributeNoValueException.java <span style='color:#111;'> 556B </span>","children":null,"spread":false},{"title":"ParseAttributeException.java <span style='color:#111;'> 556B </span>","children":null,"spread":false},{"title":"ASTFormulaCall.java <span style='color:#111;'> 549B </span>","children":null,"spread":false},{"title":"ASTformulaDefinition.java <span style='color:#111;'> 502B </span>","children":null,"spread":false},{"title":"ASTTemplateFormula.java <span style='color:#111;'> 489B </span>","children":null,"spread":false},{"title":"ASTLiteral.java <span style='color:#111;'> 484B </span>","children":null,"spread":false},{"title":"ASTFinalFormula.java <span style='color:#111;'> 479B </span>","children":null,"spread":false},{"title":"ASTQuantification.java <span style='color:#111;'> 477B </span>","children":null,"spread":false},{"title":"TreeNode.java <span style='color:#111;'> 462B </span>","children":null,"spread":false},{"title":"ASTFormula.java <span style='color:#111;'> 456B </span>","children":null,"spread":false},{"title":"ASTExpr.java <span style='color:#111;'> 452B </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多，未全部展示</span>","children":null,"spread":false}],"spread":true}]
评论信息
其他资源
- 台球游戏源代码
- PCap01标准固件
- 常用6500汉字（txt) 可用于Unity3d制作TextMesh Pro字体资源
- 基于C语言的RS232串行接口通信实现
- 鸟叔的Linux私房菜第四版
- 基于Qt开发的人事管理系统代码
- open62541开发文档
- DO-214AC封装库
- MFC仿QQ局域网聊天软件
- ADS1118的STM32驱动程序
- MPC相关例子
- 蔡氏电路的仿真
- c#版《植物大战僵尸》源码.zip
- WPS 2019 潮汕软件.rar
- ansible.tar.gz
- VC6.0将ListCtrl中数据写入到Excel
- Qt5.9 c++开发指南.part3.rar
- stdbool.h头文件
- 【传智播客.NET培训第24期_2015最新就业班】
- 数码管 LED字体（lcdD.TTF)
- gdal-1.9.2基于vs2010已编译好的c++
- 万能门禁卡破解版
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明