【摘 要】
：
本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型.首先,业务逻辑实例和网络实体被认为交互消息集合的子序列
【机 构】
：
中国石油大学（华东）计算机与通信工程学院,北京邮电大学交换技术与通信网国家重点实验室
论文部分内容阅读
本文通过对业务在执行过程中,业务逻辑实例与外部实体交互消息的分析,提出一个基于消息序列语义的特征交互形式模型.首先,业务逻辑实例和网络实体被认为交互消息集合的子序列,从业务逻辑实例与外部实体交互消息的语法和语义不同角度出发,分别对不确定性、特征违反类和活锁类等不同类型的特征交互给出具体的动态检测形式模型.并在此基础上进一步讨论:在特性违反类特征交互的动态检测中,若直接使用消息序列检测特征交互将是不充分的,本文在最后给出一种简单的特性违反类特征交互动态检测时的补救方法.
其他文献
过上好的生活或“善”的生活，是从古至今人生追求的目的之一。现代人陶醉于“我与它”的世界中，认为物质充沛的生活才是真正的好生活。虽然人的生活不能脱离“我与它”的生活世
近距动态电磁感应装置发射磁场的强度和均匀度直接影响收、发系统间信息传递的有效性和稳定性．该文以高射炮引信电磁感应装定系统为平台，依据电磁场理论完成了装备于炮口的有限
随着我国医疗卫生体制改革进入深水区,医患关系呈现错综复杂的利益格局,有效地控制和化解医患纠纷成为一项重要议题。医患之间信息不对称导致了错误选择、道德风险和片面判断
基于SAR图像的稀疏先验,提出了一种基于lk范数的复图像域正则化方法,用于SAR复图像的噪声抑制和目标特征提取.文中通过算法设计及其收敛性的研究,保证了该方法的可行性和稳健
文章提出了基于最小方差谱估计的多循环频率到达角估计方法.通过对指数函数进行Jacobi-Anger展开,将目标方向矩阵近似分解为两个独立矩阵相乘的形式,并构造相应的变换矩阵,将
水资源租、税、费分别体现了水资源的产权价值、生态价值、劳动价值,它们的征收理念、征收依据、征收客体、在国民收入分配中的环节、支出方向都各不相同。在我国水资源税试
本文研究多载波垂直分层空时(MC V-BLAST)系统的下行频率选择性衰落多输入多输出(MIMO)无线信道估计问题.本文首先为MC V-BLAST系统提出了一种新颖的移不变性编码方法.利用上
对高维海量数据,为解决准确率与泛化能力之间的矛盾,提出机器学习中的多侧面递进算法MIDA(Multi-side Increase by Degrees Algorithm),该算法将样本集分成几个部分,对各部分
本文研究功率放大器非线性失真对Chirp信号幅频和相频特性的影响及预补偿方法.在雷达系统中,为了获得足够的作用距离,需要增加发射机的发射功率.对输出功率的要求越高,功率放
目前舰艇电子装备试航试验测试仍采用人工记录数据、事后处理数据的传统测试方法,存在效率低、测试精度差和实时性差等问题.研究基于LXI(LAN eXtensions for Instrumentation)总线的舰艇电子装备试验自动测试系统的网络接口与数据过滤筛选技术、动态数据实时监测与录取技术和报表实时生成打印技术,实时地采集多设备参数、分析误差和输出测试报表,实时和客观地反映装备性能,能达到提高舰