作者:周文博; 刘洪佳; 刘磊; 张鹏; 吕帅服务交互元建模工作流模型消息接口形式语义
摘要:为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社