【摘 要】
：
UML是一种广泛使用的面向对象建模语言,但UML的一个不足之处是它缺乏精确的数学语义,因而不能对模型的性质进行严格的分析。本文提出了一种基于时间Petri网(简称TPN)的服务组合验证方法。通过对UML活动图的时间扩展来描述服务组合的业务流程,并在此基础上给出了UML模型到TPN的映射方法,进而用得到的TPN模型来验证服务组合的正确性。最后,运用实例说明了UML服务模型组合验证方法的有效性。
【机 构】
：
华东理工大学计算机科学与工程系 上海 200237
论文部分内容阅读
UML是一种广泛使用的面向对象建模语言,但UML的一个不足之处是它缺乏精确的数学语义,因而不能对模型的性质进行严格的分析。本文提出了一种基于时间Petri网(简称TPN)的服务组合验证方法。通过对UML活动图的时间扩展来描述服务组合的业务流程,并在此基础上给出了UML模型到TPN的映射方法,进而用得到的TPN模型来验证服务组合的正确性。最后,运用实例说明了UML服务模型组合验证方法的有效性。
其他文献
网格计算技术是面向Internet的分布式计算的一种主流模式,近年来在分布式异构海量数据资源集成领域中应用广泛。CRCWN服务网格系统是北京航空航天大学自主开发的完整网格计算组件,为分布式异构资源集成提供了理想解决方案。本文设计并实现了CROWN服务网格系统中的元数据管理服务CROWN-MDS,它符合OGSA/WSRF规范,可以被方便地扩展和部署。同时,通过定义逻辑标识符和本地标识符之间一对多映射
桌面网格是灵活地利用互联网上大量PC资源的闲置时间的计算能力去完成计算任务。对于桌面网格系统,如何为非专业用户提供更美观易用的网格终端,如何保证作业既能充分利用资源又不过度消费资源,以及如何从外部访问无独立IP节点的资源等是亟待解决的问题。本文介绍了一个新的桌面网格系统CROWN Home,给出了针对上述问题的一种解决方案。CROWN Home利用RCP技术封装了网格服务容器,利用J2SE 5.0
重构,是指在不改变软件应用系统外部行为的前提下,通过改变其内部结构以改善系统质量的一种软件维护活动。目前,重构方案的获取与实施一般由技术人员完成。为了提高重构的自动化程度,本文提出了一种基于中间件的应用系统的在线重构方案的自动获取与实施的方法。该方法在不中断应用系统正常运行的前提下,通过中间件自动完成重构工作。首先,用UML,建模不良模式与对应的良好模式,通过不良模式定位系统的不良结构,综合分析不
针对JUFrame应用服务器性能衰退情况,设计了多种类型的客户请求程序和服务器端程序,记录了各种参数共计5类36个参数;先用主成分分析方法(PCA)进行降阶处理,然后对影响应用服务器中间件性能的主要指标采用多维时间序列分析(ARX)的方法建模。实测数据进行统计分析的结果表明,用所建健康模型得到的预测值能很好地拟合原始数据,与一维AR模型相比,预测精度有明显提高,该模型可以用于系统运行时的实时预测,
随着面向对象和组件复用技术的成熟,软件可靠性模型也从过去的黑盒模型发展到了基于组件的白盒模型。论文提出了一个基于组件和离散时间马尔可夫链的软件可靠性估计模型。相比于一般的马尔可夫模型,该模型更进一步贴近了软件的客观本质,探索了在假设组件之间可靠性并不独立,软件的初始状态也不唯一的复杂情况下,软件可靠性计算的问题。在计算中,引入了软件可靠性期望值的泰勒二阶近似表达式,提高了计算的精确性。
One2One营销优化问题是一个大规模优化问题,而生成MPS文件的速度是优化模型生成的一个瓶颈问题。提出使用二进制文件存储约束矩阵,改变MPS文件的写入方式。大量测试结果表明,采用这两种方法生成MPS格式的One2One营销优化模型的速度得到了飞速的提高,并且优化模型具有良好的复用性和移植性,为实现One to One营销优化奠定了坚实的基础。
以项目已定义的工作分解结构(WBS)和生命周期为基础,通过对质量目标的三维正交分解建立项目的质量模型。应用该模型,在生命周期的早期阶段根据有效、真实、及时、合理的度量数据对产品构件的质量分别进行控制,可以有效保证项目约束条件下最终产品的质量。论述了质量模型的构建基础、构建算法、构建过程中使用的修正系数以及在项目实施过程中该模型的使用方法。
本文针对TTCN-3测试系统代码的维护、改进和复用问题,开展面向TTCN-3测试系统的逆向模型发现研究。基于模型驱动测试的思想,使用U2TP为TTCN-3测试系统设计元模型,同时借鉴传统的逆行工程方法对TTCN-3测试脚本进行逆向分析,从中识别出U2TP定义的测试系统中的各个组成部分,其中包括测试配置、测试数据等,从而建立测试系统模型。
随着软件产业的快速发展,对于行之有效的软件规模预测方法的需求日益迫切。近年来,基于用例点的软件规模预测方法在实践中取得了一定的效果,适用于使用UML建模的面向对象系统。但现有的基于用例点的软件规模预测方法在实际应用中存在主观性因素较大、缺乏统一客观尺度的问题,也就造成这一方法的有效性难以保证。本文基于用例点的软件规模预测方法,利用多元线性回归模型对其参数进行校准,从而提出了一种面向具体企业应用的软
针对移动Ad hoc网络的动态拓扑、链路易变、资源有限等特点,本文提出了一种新的QOS路由协议。该协议在按需距离矢量路由(AODV)协议的基础上进行改进,定义了"路径可用时间",并将其和带宽共同作为路由的约束条件,从而使得路径的稳定性增强,路由的重建次数减少,同时保证了链路容量。实验证明该协议能够提高路径质量,增大端到端的数据吞吐量,较大的改善网络的性能和数据传输效率,所以能够为实时业务提供更好的