论文部分内容阅读
提出了一种用Petrinet对服务行为和服务质量进行统一建模的框架.基于该框架所提出的统一的服务行为和服务质量的一致性规则可以在服务的查找和替换中综合判断服务行为和服务质量的一致性.自行开发的SOBECA（service-oriented,behavior and capability support architecture）中间件系统在现有的Web服务标准上增加了服务行为和服务质量的描述,可以更好地自动化支持服务行为和服务质量的一致性检查,同时也验证了上述框架的合理性.