一种服务消息交互行为的元建模方法

摘要

为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性.