| 服务建模基础理论研究 |
| |
| 引用本文： | 陈福,YANG Yang,熊曾刚. 服务建模基础理论研究[J]. 计算机科学与探索, 2008, 2(4): 439-448. DOI: 10.3778/j.issn.1673-9418.2008.04.010 |
| |
| 作者姓名： | 陈福 YANG Yang 熊曾刚 |
| |
| 作者单位： | 北京科技大学,计算机科学与技术系,北京,100084;Department of Computer Science and Technology, University of Science and Technology Beijing, Beijing 100084, China |
| |
| 摘 要： | 面向服务的体系结构(SOA)通过发布在开放环境中的服务构造应用系统。在这样的环境中各个服务高度动态变化,需要基于服务形成的系统能够适应这种变化,这种本质特点给SOA带来巨大挑战。目前缺乏对服务系统形式化表述的理论基础。文章主要关注服务系统的基础理论,包括服务代数、基于Petrinet的服务系统建模、并发系统、冲突、混或系统、服务矩阵等。结束部分给出了具体实现的体系结构和案例。
|
| 关 键 词： | 服务逻辑 服务矩阵 合成服务建模 Jena |
| 修稿时间： | |
A Study of Fundamental Theory on Service Logic Modeling |
| |
| CHEN Fu,YANG Yang,XIONG Zenggang. A Study of Fundamental Theory on Service Logic Modeling[J]. Journal of Frontier of Computer Science and Technology, 2008, 2(4): 439-448. DOI: 10.3778/j.issn.1673-9418.2008.04.010 |
| |
| Authors: | CHEN Fu YANG Yang XIONG Zenggang |
| |
| Affiliation: | Department of Computer Science and Technology， University of Science and Technology Beijing， Beijing 100084， China |
| |
| Abstract: | Service-oriented architecture promotes the construction of applications by composing distributed ser-vices 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 charac-teristic brings huge challenges to SOA, for example, lack of formal representations of service systems, un-certainty, 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 composi-tion, 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. |
| |
| Keywords: | Jena service logic service matrix composite services modeling Jena |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载免费的PDF全文 |
|
