| A strategy for service realization in service-oriented design |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划);国家自然科学基金;上海市自然科学基金;国家211工程项目 |
| |
| 摘 要： | Recently service orientation is becoming a mainstream approach for building large scale software systems. A key requirement in service-oriented design is the de- pendability of service. It stipulates that the behavior of services is controllable. Formal models can aid in constructing software in a dependable manner. They can describe ser- vices precisely and compose them together consistently. This paper presents a strategy for service realization based on a novel layered formal model. When a service is provided or required via internet, the semantic consistency becomes critical issue. Our architecture tackles the issue by proposing a novel scheme: defining contract of a service to keep semantic information. Although service-oriented design is our prime target, the contract models, to a large extent, are independent of the framework of design and therefore ap- plicable to large scale software design in general.
|
| 收稿时间： | 2006-04-30 |
| 修稿时间： | 2006-09-04 |
A strategy for service realization in service-oriented design |
| |
| LIU Jing,HE Jifeng,LIU Zhiming. A strategy for service realization in service-oriented design[J]. Science in China(Information Sciences), 2006, 49(6): 864-884. DOI: 10.1007/s11432-006-2033-3 |
| |
| Authors: | LIU Jing HE Jifeng LIU Zhiming |
| |
| Affiliation: | 1. Software Engineering Institute, East China Normal University, Shanghai 200062, China
2. International Institute of Software Technology, United Nations University, Macao, China |
| |
| Abstract: | Recently service orientation is becoming a mainstream approach for building large scale software systems. A key requirement in service-oriented design is the de- pendability of service. It stipulates that the behavior of services is controllable. Formal models can aid in constructing software in a dependable manner. They can describe ser- vices precisely and compose them together consistently. This paper presents a strategy for service realization based on a novel layered formal model. When a service is provided or required via internet, the semantic consistency becomes critical issue. Our architecture tackles the issue by proposing a novel scheme: defining contract of a service to keep semantic information. Although service-oriented design is our prime target, the contract models, to a large extent, are independent of the framework of design and therefore ap- plicable to large scale software design in general. |
| |
| Keywords: | service-oriented design interface contract component. |
| 本文献已被 万方数据 SpringerLink 等数据库收录！ |
