[发明专利]一种网络服务交互行为形式化建模和死锁定位方法

摘要

一种网络服务交互行为形式化建模和死锁定位方法，对现有的规则进行分类，并对各分类进行扩充；对尚不存在的规则进行建立，使转换规则数据库能够适应快速发展的形式化描述语言。介于现有的建模工具需要人工参与，不能实现自动建模，并且整个建模过程对用户是不可见的，如果流程出现错误，用户无法确定异常发生的位置。利用扩充或建立得到的转换规则数据库，对形式化建模语言描述的网络服务交互行为进行自动建模，并选取具有代表性的案例对建立的模型进行验证，证明模型的正确性以及转换规则的正确性。采用前向查找方法对出现异常的环节进行重现和定位，实现建模、验证、定位全自动。

主权项

一种网络服务交互行为形式化建模和死锁定位方法，其特征在于该方法中用来建模和分析的文档都是可扩展标记语言XML格式的，即必须保证构建的用于对由进程代数描述的网络服务交互行为进行自动建模的HXML工具打开的文件是可扩展标记语言XML格式的，实现所包含的步骤为：步骤1) 导入所需验证的文档，这里的文档必须是可扩展标记语言XML格式的，可以在导入文件的过程中忽略各种语言的语言特性，那么文件导入其实就是导入可扩展标记语言XML文档；步骤2) 对可扩展标记语言XML文档进行解析，采用文档对象模型DOM树分析，文档对象模型DOM接口提供了一种通过分层对象模型来访问可扩展标记语言XML文档信息的方式，这些分层对象模型依据可扩展标记语言XML的文档结构形成了一棵节点树，无论可扩展标记语言XML文档中所描述的是什么类型的信息，即便是制表数据、项目列表或一个文档，利用文档对象模型DOM所生成的模型都是节点树的形式；也就是说，文档对象模型DOM强制使用树模型来访问可扩展标记语言XML文档中的信息，具体的实现过程如下：步骤2.1）建立一个解析器工厂，并通过这个工厂来获得一个具体的解析器对象；步骤2.2）使用解析器工厂的静态方法获得一个具体的文档对象模型DOM解析器；步骤2.3）利用这个解析器对可扩展标记语言XML文档进行解析，步骤3）对可扩展标记语言XML文档进行建模，根据各类语言的建模规则，并将建模结构进行有机的结合，具体实现过程如下：步骤3.1）读取整个流程的起始标志，开始对文件建模，    步骤3.2）读取关键元素并进行判断，如果是结束标志，则建模结束；    步骤3.3）如果不是结束标志，与接收活动、响应活动、调用活动、赋值活动、空活动、等待活动、终止活动、抛出异常、顺序活动、分支活动、选择活动、流活动进行匹配，按照匹配成功的活动建模规则进行建模，步骤3.4）继续执行步骤3.2）与步骤3.3），直到读取到；步骤4）对步骤3)建立的模型进行验证，具体实现过程如下：    步骤4.1）从模型中读取所有单一网络服务的输入和输出；步骤4.2）根据网络服务的交互的先后顺序，检测上一步的输出是否为下一步的输入；步骤4.3）如果判定为是，则依次入栈，直到最后一个元素入栈；步骤4.4）如果判定为否，发出报告“模型中存在死锁”，并停止入栈，步骤5）死锁定位，若步骤4）中报告不存在死锁，则步骤5）可省略，否则，若存在死锁，则根据最后入栈的情况进行定位，具体实现过程如下：    步骤5.1）到数据库查找与可扩展标记语言XML文档相对应的形式化描述语言的建模规则；    步骤5.2）收集步骤4）中入栈的元素，并找到其对应的转换规则；    步骤5.3）步骤4）中栈中的元素依次出栈，同时根据第二步找到的转换规则进行逆转换；    步骤5.4）将逆转换后得到的可扩展标记语言XML语句放到原可扩展标记语言XML文档中进行定位，发出准确的位置信息给用户。