提出了一种用Petrinet对服务行为和服务质量进行统一建模的框架.基于该框架所提出的统一的服务行为和服务质量的一致性规则可以在服务的查找和替换中综合判断服务行为和服务质量的一致性.自行开发的SOBECA(service-oriented,behavior and capability support architecture)中间件系统在现有的Web服务标准上增加了服务行为和服务质量的描述,可以更好地自动化支持服务行为和服务质量的一致性检查,同时也验证了上述框架的合理性.
A unified framework based on Petri-net for the modeling of service behavior and QoS is proposed. Based on this framework a set of service consistency rules are derived to improve the accuracy of service discovery and to ensure the system consistency in service substitution. A middleware named SOBECA (service-oriented, behavior and capability support architecture) compatible with current Web services standards is developed to make a proof of concept of the framework. In SOBECA the service description is extended with behavior and quality attributes which can be automatically checked against current requirements.