The Community for Technology Leaders
2013 IEEE Seventh International Symposium on Service-Oriented System Engineering (2005)
Beijing, China
Oct. 20, 2005 to Oct. 21, 2005
ISBN: 0-7695-2438-9
TABLE OF CONTENTS
Introduction

list-reviewer (PDF)

pp. xiii
Cover
Introduction

Committees (PDF)

pp. xi-xii
Opening Address

Service-Oriented System Engineering: A New Paradigm (Abstract)

W. T. Tsai , Arizona State University, Tempe
pp. 3-8
Keynote Address
Session 1A: Modeling and Specification I

An Approach to Formally Modeling the Component-based E-commerce System (Abstract)

Huadong Ma , Beijing University of Posts and Telecommunications
Xianli Jin , Beijing University of Posts and Telecommunications
pp. 15-22

A Service Modeling Approach with Business-Level Reusability and Extensibility (Abstract)

Jianwu Wang , Graduate School of Chinese Academy of Sciences
Yanbo Han , Institute of Computing Technology, Chinese Academy of Sciences
Jian Yu , Institute of Computing Technology, Chinese Academy of Sciences
pp. 23-28
Session 1B: Service Discovery

Service Discovery through Multi-Agent Consensus (Abstract)

Chun-Lung Huang , National Chiao Tung University, Taiwan
Jen-Yao Chung , School of MIS, Coventry University, UK
Ying Huang , School of MIS, Coventry University, UK
Chi-Chun Lo , National Chiao Tung University, Taiwan
Yinsheng Li , Fudan University
Kuo-Ming Chao , School of MIS, Coventry University, UK
pp. 37-44

Ontology Assisted Web Services Discovery (Abstract)

Po Zhang , Tsinghua University
Juanzi Li , Tsinghua University
pp. 45-50

Web Services Searching based on Domain Ontology (Abstract)

Zhang Po , Tsinghua University
Wang Yan , Tsinghua University
Xu Bin , Tsinghua University
Li Juanzi , Tsinghua University
pp. 51-58
Keynote Address
Session 2A: Modeling and Specification II

Integrating Service Specifications at Different Levels of Abstraction (Abstract)

J. Hartmann , Technische Universitat Munchen, Germany
A. Fleischmann , Technische Universitat Munchen, Germany
C. Pfaller , Technische Universitat Munchen, Germany
S. Rittmann , Technische Universitat Munchen, Germany
M. Rappl , Technische Universitat Munchen, Germany
D. Wild , Technische Universitat Munchen, Germany
pp. 71-78

On Procedure Strategy of Constructing SOA's Modeling Language (Abstract)

Yanbing Jiang , Tsinghua University
Wei he , Tsinghua University
Chunxiao Xing , Tsinghua University
Jijiang Yang , Tsinghua University
pp. 79-84

Constructing Platform Independent Models of Web Application (Abstract)

Keqing He , Wuhan University
Fei He , Waseda University
Chengwan He , Wuhan University
Wenjie Tu , Wuhan University
pp. 85-92
Session 2B: Service Composition I

Interactive Service Composition in SEWSIP (Abstract)

YANG Wenjun , Tsinghua University
WANG Kehong , Tsinghua University
LI Juanzi , Tsinghua University
pp. 93-98

Design and Implementation of Web Service Integration Tool (Abstract)

Young-Jang Chiou , Tatung University, Taiwan
Tai-Chang Hung , Tatung University, Taiwan
Fu-Chiung Cheng , Tatung University, Taiwan
Te-Chun Chang , Tatung University, Taiwan
pp. 99-104

SEWSIP..Semantic based Web services Integration in P2P (Abstract)

XU Bin , Tsinghua University
ZHANG Po , Tsinghua University
WANG Kehong , Tsinghua University
YANG Wenjun , Tsinghua University
LI Juanzi , Tsinghua University
CHEN Dewei , Tsinghua University
pp. 105-112
Session 3A: Modeling and Specification III

Groovy Service: On-Demand Web Service by Script Language (Abstract)

Zhen Chun , Tsinghua University
Chuan He , Tsinghua University
pp. 113-118

Web Documents Clustering with Interest Links (Abstract)

Junling Xu , Southeast University
Zifeng Cui , Southeast University
Baowen Xu , Wuhan University
Weifeng Zhang , Nanjing University of Posts and Telecommunications
pp. 119-124

Pedagogic Data as a Basis for Web Service Fault Models (Abstract)

N. Looker , Durham University, UK
J. Xu , University of Leeds, UK
L. Burd , Durham University, UK
M. Munro , Durham University, UK
S. Drummond , Durham University, UK
pp. 125-136
Session 3B: Service Composition II

Interaction Pattern Gathering in Service-oriented Applications (Abstract)

A. M. Silva Filho , CESAR Research Institute
H. K. E. Liesenberg , University of Campinas
R. S. M. Barros , University of Pernambuco
pp. 137-142

Developing Distributed Virtual Machines for the Tri-Integration-Pattern Based Platform (TIPBP) (Abstract)

Hua Zhou , Yunnan University
Hongji Yang , De Montfort University, Leicester, UK
Zhihong Liang , Yunnan University
Hongzhi Liao , Yunnan University
Qing Duan , Yunnan University
pp. 143-148

Dynamic Selection of Composite Web Services Based on a New Structured TCNN (Abstract)

Yu Dai , Northeastern University, China
Bin Zhang , Northeastern University, China
Lei Yang , Northeastern University, China
Yan Gao , Northeastern University, China
pp. 149-158
Keynote Addresses
Session 4A: Testing and Evaluation I

A Robust Testing Framework for Verifying Web Services by Completeness and Consistency Analysis (Abstract)

X. Wei , Arizona State University
R. Paul , Arizona State University
W. T. Tsai , Arizona State University
Y. Chen , Arizona State University
pp. 159-166

Trustworthy Web Services Based on Testing (Abstract)

Weider D. Yu , San Jose State University
Passarawarin Supthaweesuk , San Jose State University
Dhanya Aravind , San Jose State University
pp. 167-177

Multi-Chain Multi-Leader Based Data Aggregationand and the Evaluation Metric QoDA (Abstract)

Xu Wen-bo , Southern Yangtze University
Zhang Xi-huang , Southern Yangtze University
pp. 178-184
Session 4B: QoS

Numerical Software Quality Control in Object Oriented Development (Abstract)

Tsuneo Yamaura , Hitachi Software Engineering Co., Ltd.
Akira K. Onoma , Hosei University
pp. 185-190

Service-oriented Mobile Calculus Technology in M-Business interoperability between Customer and e-Shop (Abstract)

Jinxiang Dong , Zhejiang University
Memon Abdul Ghafoor , Zhejiang University
Maree Mujeeb-u-Rehman , Zhejiang University
Jianwei Yin , Zhejiang University
pp. 191-198
Keynote Address
Session 5A: Testing and Evaluation II

A Framework for Testing Web Services and Its Supporting Tool (Abstract)

Hong Mei , Engineering and Computer Science, Peking University
Lu Zhang , Engineering and Computer Science, Peking University
pp. 207-214

WSDL-Based Automatic Test Case Generation for Web Services Testing (Abstract)

Wei-Tek Tsai , Arizona State University
Wenli Dong , Tsinghua University
Xiaoying Bai , Tsinghua University
Yinong Chen , Arizona State University
pp. 215-220

Web Service Group Testing with Windowing Mechanisms (Abstract)

Yinong Chen , Arizona State University
Xinyu Zhou , Arizona State University
Xiaoying Bai , Tsinghua University
Xinyu Zhou , Arizona State University
Wei-Tek Tsai , Arizona State University
pp. 221-226

Toward QoS Analysis of Adaptive Service-Oriented Architecture (Abstract)

Farokh Bastani , University of Texas at Dallas
Wei-Tek Tsai , Arizona State University
I-Ling Yen , University of Texas at Dallas
Tong Gao , University of Texas at Dallas
Hui Ma , University of Texas at Dallas
pp. 227-236
Session 5B: Semantic Web

Web Service Annotation Using Ontology Mapping (Abstract)

Li Juan-Zi , Tsinghua University
Xu Bin , Tsinghua University
Zhang Duo , Tsinghua University
pp. 243-250

Operational Semantics of Ambient Calculus (Abstract)

Liu Lei , College of Computer Science and Technology,Jilin University, China
Jin Ying , College of Computer Science and Technology,Jilin University, China
Zhang Jing , College of Computer Science and Technology,Jilin University, China
Guo De-Gui , College of Computer Science and Technology,Jilin University, China
Jin Cheng-Zhi , College of Computer Science and Technology,Jilin University, China
pp. 251-258
Author Index

Author Index (Abstract)

pp. 259
106 ms
(Ver 3.1 (10032016))