关键词: 服务逻辑, 服务矩阵, 合成服务建模, Jena

Abstract: Service-oriented architecture promotes the construction of applications by composing distributed services that are advertised in an open service environment. In such an environment， individual service may change and evolve dynamically， requiring composite services to adapt to such changes. The intrinsic characteristic brings huge challenges to SOA， for example， lack of formal representations of service systems， uncertainty， conflict/chaos， etc. The foundational theory for service system on composition services is presented in this paper. Service algebra， modeling of service composition using Petri net， validation of service composition， service matrix， concurrent， asynchronous， and/or stochastic， conflict/chaos relations among services are explored. To expatiate on these problems， a case on programming architecture is introduced briefly at the last section.

Key words: service logic, service matrix, composite services modeling, Jena