【摘 要】
：
UCM模型作为一种图形化的业务场景模型，其场景设计可以表示需求和产生规格，驱动设计和系统演化，UCM模型的正确性影响软件开发的质量．鉴于形式化模型可以验证其正确性，提出了一种利
【机 构】
：
淮阴师范学院计算机科学与技术学院,河海大学计算机与信息学院,淮阴师范学院城市与环境学院
【基金项目】
：
国家自然科学基金资助项目（41471425）,江苏省高校哲学社会科学基金资助项目（2016SJB630122）,淮安市科技支撑计划项目（HAS2015005-1）
论文部分内容阅读
UCM模型作为一种图形化的业务场景模型，其场景设计可以表示需求和产生规格，驱动设计和系统演化，UCM模型的正确性影响软件开发的质量．鉴于形式化模型可以验证其正确性，提出了一种利用扩展的Petri网模型，应用模型驱动实现业务场景模型的形式化方法．该方法通过细化Petri网模型中的Transition结点，从而有效的描述业务场景模型中的路径决策和动态行为．通过对UCM模型和扩展的Petri网模型的抽象语法定义，利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则，并根据其规则设计了映射算
其他文献
通过搭建移动运维监控系统架构平台、开发移动终端APP应用软件,从而实现IT系统综合监控移动运维的目的。系统采用全分布式架构,搭建采集服务器和在被监控设备上安装AGENT,采
受市场经济体制改革逐渐深化的影响,通信市场变化速度越来越快、要求越来越高,在这一大环境下,为有效提升通信企业的核心竞争力,尽快的占领市场。通信企业对通信设备的更新改
文章梳理了高校毕业生党员组织关系管理中存在的党员组织关系不能按时接转、接转过程复杂以及接转期间教育难等主要问题,从多种角度分析了问题产生的原因,并从加强党务工作人
近年来,人们越来越关注通信交换机的维护工作。从通信交换机目前的维护工作现状来看,仍有某些问题对维护效果产生影响,导致通信交换机运行的安全性与可靠性降低,进而影响整个
研究了一类非线性二阶三点边值问题正解的存在性,通过研究非线性项在有界区间上的局部特征.利用Krasnosel’skii不动点定理给出了一个正解存在性定理,该定理的得出避免了讨论
伴随着互联网的高速发展和信息化模型的进步,我国通信工程项目呈现出高速发展的态势,不仅整体管理工作体系更加完整,技术模型的应用实效性也在提升,整体管理机制和控制措施更
随着计算机信息化网络时代的发展,计算机网络的应用范围也越来越广,而人们对于计算机网络的可靠性要求也越来越高。计算机网络起源于上个世纪五六十年代,最初的计算机互联网
在信息时代,高校思政教育工作迎来工作范围更广泛和工作对象更具体的新机遇,同时也面临着大学生易受到网络不良信息的影响和网络成瘾的挑战。在此背景下,高校需将互联网思维
随着经济和社会的飞速发展,人们的生活水平也在不断提升,对生活品质也提高了要求,而物联网技术的应用,极大地方便了人们的生产生活,已经在许多行业中获得了非常广泛的应用。
随着移动通信技术的高速发展,移动通信网络已经成为人们日常生活中不可缺少的部分.通信基站作为移动通信系统的重要组成部分,在移动通信过程中起到了基础和保证性作用.文章着