技术编号：6482392
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。本发明属于软件开发，尤其涉及一种验证统一建模语言UML模型 中动态行为与时序契约的一致性的方法。 背景技术面向服务架构(SOA)是一种架构模型，它可以根据需求通过网络对松散耦 合的粗颗粒应用组件进行分布式部署，组合和使用。服务层是SOA的基础，而 SOA服务必须由契约，接口和实现组成。而契约是服务共享和重用得以实现的 基础，契约式设计和SOA的结合为软件开发和重用带来了诸多益处。统一建模语言(UML)是现今分析和设计软件系统最为常用和有效的方法之 一，通过...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。