检索结果-维普期刊中文期刊服务平台

基于消息顺序图和Petri网的供应链工作流模型设计被引量：7: 1; 作者石双元张浩《管理学报》 2007年第6期756-759,766,共5页; 根据跨组织工作流的设计思想,在对供应链业务流程进行分析的基础上,提出了一个基于消息顺序图和Petri网的供应链工作流模型设计方案,从而在供应链中建立一个既保证成员的充分合作又使其发挥自主性、集成的业务流程体系,达到提高整个供... 展开更多; 关键词工作流消息顺序图 PETRI网供应链; 在线阅读下载PDF 职称材料

基于消息顺序图和Petri网的移动应用监测平台建模分析被引量：2: 2; 作者纪建伟陈昕黄浩军《计算机科学》 CSCD 北大核心 2016年第11期71-76,共6页; 随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以... 展开更多; 关键词移动应用监测平台消息顺序图 PETRI网; 在线阅读下载PDF 职称材料

基于角色的工作流研究被引量：18: 3; 作者赵卫东黄丽华蔡斌《管理工程学报》 CSSCI 2003年第4期9-13,共5页; 工作流管理系统是集成企业的信息、参与者和资源,实现过程自动化的CSCW系统。面对变化的经营环境,企业的业务过程呈现动态、不确定的特点。工作流管理系统能否有效处理这种动态性直接影响了其应用效果。传统工作流的定义以活动为组成要... 展开更多; 关键词角色工作流消息顺序图; 在线阅读下载PDF 职称材料

CTCS-3级列控系统临时限速服务器建模与形式化验证被引量：11: 4; 作者万勇兵徐中伟梅萌《系统仿真学报》 CAS CSCD 北大核心 2013年第1期132-138,共7页; 临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构... 展开更多; 关键词中国列车运行控制系统临时限速服务器消息顺序图时间自动机 UPPAAL; 在线阅读下载PDF 职称材料

LTE终端小区选择方案设计及实现被引量：4: 5; 作者冯川李小文《电讯技术》北大核心 2010年第3期81-84,共4页; 从LTE终端小区选择的高层协议入手,从适合小区和可接受小区驻留条件出发,分析了小区选择正常过程,并对条件不满足的后续小区选择深入研究,设计了解决方案,给出了相应的设计流程,并利用SDL(规范说明与描述语言)和TTCN(树表结合表示法)协... 展开更多; 关键词 LTE项目小区选择规范说明与描述语言消息顺序图; 在线阅读下载PDF 职称材料

基于MSC的网络游戏软件测试方法研究被引量：1: 6; 作者赵会群苏玉兰孙晶《计算机应用研究》 CSCD 北大核心 2009年第1期146-148,161,共4页; 针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体... 展开更多; 关键词网络游戏消息顺序图测试及测试控制表示法第3版协议一致性测试基于模型的测试; 在线阅读下载PDF 职称材料

基于时间自动机的C3+ATO系统场景建模与验证被引量：3: 7; 作者张振海姚婕《系统仿真学报》 CAS CSCD 北大核心 2021年第4期951-961,共11页; C3+ATO系统目前在我国处于试验发展阶段且具有自动化等级高、安全标准高等特点。为验证具体场景下高速铁路C3+ATO系统功能是否符合对应技术规范,提出一种基于时间自动机的形式化建模与验证方法。选取车站自动发车场景作为建模对象,提取C... 展开更多; 关键词 C3+ATO系统时间自动机 UPPAAL 车站自动发车消息顺序图; 在线阅读下载PDF 职称材料

题名基于消息顺序图和Petri网的供应链工作流模型设计被引量：7: 1; 作者石双元张浩; 机构华中科技大学管理学院; 出处《管理学报》 2007年第6期756-759,766,共5页; 文摘根据跨组织工作流的设计思想,在对供应链业务流程进行分析的基础上,提出了一个基于消息顺序图和Petri网的供应链工作流模型设计方案,从而在供应链中建立一个既保证成员的充分合作又使其发挥自主性、集成的业务流程体系,达到提高整个供应链竞争力的目的。最后,以一个实例对该模型进行了分析论证。; 关键词工作流消息顺序图 PETRI网供应链; Keywords workflow message sequence charts petri nets supply chain; 分类号 C93 [经济管理—管理学]; 在线阅读下载PDF 职称材料

题名基于消息顺序图和Petri网的移动应用监测平台建模分析被引量：2: 2; 作者纪建伟陈昕黄浩军; 机构北京信息科技大学计算机学院武汉大学电子信息学院清华大学信息技术研究院; 出处《计算机科学》 CSCD 北大核心 2016年第11期71-76,共6页; 基金国家973项目(2011CB302601) 国家自然科学基金(61370065 +4 种基金 61502040 61402343 61170290 61222213) 国家科技支撑计划(2015BAK12B03-03)资助; 文摘随着移动互联网的迅猛发展,移动应用的数量呈现井喷式的爆发,对其性能、故障和短板进行实时、有效的监测与分析是保证系统正常运行的关键。统一建模语言(Unified Modeling Language,UML)作为一种功能较强的面向对象的图形建模工具,可以对移动应用监测平台进行建模分析,但在其过程描述中缺乏严格的语义。Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并具有图形方法的直观性和逻辑方法的概括性。通过将基于UML消息顺序图和Petri网的建模方法应用到移动应用监测平台的分析过程中,针对用户下发的监测任务构建系统的消息顺序图和Petri网模型,利用消息顺序图对平台各对象之间在时间顺序上的交互关系进行了验证,并利用Petri网化简规则和状态方程对该模型进行了结构上的正确性验证和可达性分析。; 关键词移动应用监测平台消息顺序图 PETRI网; Keywords Mobile application Monitoring platform Message sequence diagram Petri net; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于角色的工作流研究被引量：18: 3; 作者赵卫东黄丽华蔡斌; 机构复旦大学管理学院; 出处《管理工程学报》 CSSCI 2003年第4期9-13,共5页; 文摘工作流管理系统是集成企业的信息、参与者和资源,实现过程自动化的CSCW系统。面对变化的经营环境,企业的业务过程呈现动态、不确定的特点。工作流管理系统能否有效处理这种动态性直接影响了其应用效果。传统工作流的定义以活动为组成要素,不易表达参与者的交互和动态行为。本文讨论了基于角色的动态工作流,给出了一种消息顺序图和ECA规则的复合表示方法。; 关键词角色工作流消息顺序图; Keywords Role workflow message sequence chart ECA rules; 分类号 C931.6 [经济管理—管理学]; 在线阅读下载PDF 职称材料

题名CTCS-3级列控系统临时限速服务器建模与形式化验证被引量：11: 4; 作者万勇兵徐中伟梅萌; 机构同济大学电子与信息工程学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2013年第1期132-138,共7页; 基金国家自然科学基金(61075002) 国家科技支撑资助项目(2011BAG01B03) 铁道部科技重点资助项目(2009X002-A); 文摘临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证。验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考。; 关键词中国列车运行控制系统临时限速服务器消息顺序图时间自动机 UPPAAL; Keywords CTCS temporary speed restriction server message sequence chart timed automata UPPAAL; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名LTE终端小区选择方案设计及实现被引量：4: 5; 作者冯川李小文; 机构重庆邮电大学通信与信息工程学院; 出处《电讯技术》北大核心 2010年第3期81-84,共4页; 基金国家重大专项(2009ZX03002 -009)~~; 文摘从LTE终端小区选择的高层协议入手,从适合小区和可接受小区驻留条件出发,分析了小区选择正常过程,并对条件不满足的后续小区选择深入研究,设计了解决方案,给出了相应的设计流程,并利用SDL(规范说明与描述语言)和TTCN(树表结合表示法)协议仿真,产生MSC(消息顺序图)。仿真结果表明,该方案有效地完成了协议所要求的小区选择功能。; 关键词 LTE项目小区选择规范说明与描述语言消息顺序图; Keywords LTE project cell selection SDL message sequence chart（MSC）; 分类号 TN929.5 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于MSC的网络游戏软件测试方法研究被引量：1: 6; 作者赵会群苏玉兰孙晶; 机构北方工业大学信息工程学院; 出处《计算机应用研究》 CSCD 北大核心 2009年第1期146-148,161,共4页; 基金北京市自然科学基金资助项目(4062012); 文摘针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。; 关键词网络游戏消息顺序图测试及测试控制表示法第3版协议一致性测试基于模型的测试; Keywords online game message sequence charts testing and test control notation version 3 protocol conformance testing model-based testing; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于时间自动机的C3+ATO系统场景建模与验证被引量：3: 7; 作者张振海姚婕; 机构兰州交通大学自动化与电气工程学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2021年第4期951-961,共11页; 基金国家自然科学基金(61763025) 中国博士后科学基金(167306)。; 文摘 C3+ATO系统目前在我国处于试验发展阶段且具有自动化等级高、安全标准高等特点。为验证具体场景下高速铁路C3+ATO系统功能是否符合对应技术规范,提出一种基于时间自动机的形式化建模与验证方法。选取车站自动发车场景作为建模对象,提取C3+ATO系统规范中的功能需求,建立场景的时间自动机模型,生成对应流程的消息顺序图并对系统功能属性进行验证,在C3+ATO列控仿真平台仿真验证。仿真验证结果证明:模型满足C3 (10)ATO系统的安全功能属性和受限活性需求,为后续系统设计开发、实际应用及相关规范完善提供理论参考。; 关键词 C3+ATO系统时间自动机 UPPAAL 车站自动发车消息顺序图; Keywords C3+ATO system timed automata UPPAAL station automatic departure message sequence chart; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于消息顺序图和Petri网的供应链工作流模型设计	石双元张浩	《管理学报》	2007	7	在线阅读下载PDF 职称材料
2	基于消息顺序图和Petri网的移动应用监测平台建模分析	纪建伟陈昕黄浩军	《计算机科学》 CSCD 北大核心	2016	2	在线阅读下载PDF 职称材料
3	基于角色的工作流研究	赵卫东黄丽华蔡斌	《管理工程学报》 CSSCI	2003	18	在线阅读下载PDF 职称材料
4	CTCS-3级列控系统临时限速服务器建模与形式化验证	万勇兵徐中伟梅萌	《系统仿真学报》 CAS CSCD 北大核心	2013	11	在线阅读下载PDF 职称材料
5	LTE终端小区选择方案设计及实现	冯川李小文	《电讯技术》北大核心	2010	4	在线阅读下载PDF 职称材料
6	基于MSC的网络游戏软件测试方法研究	赵会群苏玉兰孙晶	《计算机应用研究》 CSCD 北大核心	2009	1	在线阅读下载PDF 职称材料
7	基于时间自动机的C3+ATO系统场景建模与验证	张振海姚婕	《系统仿真学报》 CAS CSCD 北大核心	2021	3	在线阅读下载PDF 职称材料