The Community for Technology Leaders
Engineering of Complex Computer Systems, IEEE International Conference on (2005)
Shanghai, China
June 16, 2005 to June 20, 2005
ISBN: 0-7695-2284-X
TABLE OF CONTENTS
Introduction
Introduction

Organizing Committee (PDF)

pp. xv-xvi
Tutorials

Software Engineering Approaches to Semantic Web (PDF)

J. S. Dong , National University of Singapore
D. Dan , Power Automation Pte Ltd
pp. 2

Multimedia Content Distribution and Protection (PDF)

Paolo Nesi , Universit? degli Studi di Firenze
pp. 3

An Introduction to Self-Healing Web Services (PDF)

Luciano Baresi , Politecnico di Milano
Sam Guinea , Politecnico di Milano
pp. 4
Workshop on SOFL

A Framework for SOFL-Based Program Review (PDF)

Yuting Chen , Hosei University
Shaoying Liu , Hosei University
Fumiko Nagoya , Hosei University
pp. 6-7

Design of a Tool for Specification-Based Program Review (PDF)

Fumiko Nagoya , Hosei University
Shaoying Liu , Hosei University
Yuting Chen , Hosei University
pp. 10-11

A Formal Specification Constructing Tool for SOFL (PDF)

Xiang Xue , Shanghai Jiaotong University
pp. 12-13

Extending SOFL Features for AOP Modeling (PDF)

Yao Shen , Shanghai Jiao Tong University
Haopeng Chen , Shanghai Jiao Tong University
pp. 14-15

Extended SOFL Features for the Modeling of Middleware-Based Transaction Management (PDF)

Hao-peng Chen , Shanghai Jiao Tong University
Yao Shen , Shanghai Jiao Tong University
Jian-wei Jiang , Shanghai Jiao Tong University
pp. 16-17
Workshop on Using Metamodels to Support MDD

Tools for an Extended Object Modelling Environment (Abstract)

Cesar Gonzalez-Perez , University of Technology - Sydney
pp. 20-23

Grammar-Specified Model-Driven Architectures (PDF)

Jun Kong , University of Texas at Dallas
Kang Zhang , University of Texas at Dallas
Jing Dong , University of Texas at Dallas
pp. 24-25

A Strategy for Component-Based Modeling and Refinement (PDF)

Jing Liu , Shanghai University
Huaikou Miao , Shanghai University
pp. 26-27

Principles, Standards and Tools for Model Engineering (PDF)

Jean B?zivin , ATLAS Group (LINA & INRIA)
Fr?d?ric Jouault , ATLAS Group (LINA & INRIA)
David Touzet , ATLAS Group (LINA & INRIA)
pp. 28-29
Keynote Speech

null (PDF)

pp. null

Sequencing Operations and Creating Objects (Abstract)

Cliff B. Jones , University of Newcastle upon Tyne
pp. 33-35
Parallel Session: Software Architecture

Modeling Architecture Based Development in UML (Abstract)

Yali Zhu , Peking University
Gang Huang , Peking University
Hong Mei , Peking University
pp. 56-65
Parallel Session: Analysis and Verification (1)

Analysis and Verification of the Interaction Model in Software Design (Abstract)

Guido Menkhaus , University of Salzburg
Urs Frei , University of Applied Sciences St. Gallen
Jörg Wüthrich , University of Applied Sciences St. Gallen
pp. 67-75

Formal Verification of Concurrent and Distributed Constraint-Based Java Programs (Abstract)

Rafael Ramirez , Pompeu Fabra University
Andrew E. Santosa , National University of Singapore
pp. 76-84

Detecting Malicious JavaScript Code in Mozilla (Abstract)

Oystein Hallaraker , University of California at Santa Barbara
Giovanni Vigna , University of California at Santa Barbara
pp. 85-94
Parallel Session: Formal Methods (1)
Parallel Session: Networks (1)

Ringed Petersen Spheres Connected Hypercube Interconnection Networks (Abstract)

L. Wang , Fujian University of Technology
Z. P. Chen , Fujian University of Technology
X. H. Jiang , Fujian University of Technology
pp. 127-131

A General Model for Non-Markovian Stochastic Decision Discrete-Event Systems (Abstract)

Wen Chen , Shanghai Jiao Tong University
Feiyu Lei , Shanghai Jiao Tong University
Weinong Wang , Shanghai Jiao Tong University
pp. 132-137
Parallel Session: Program Slicing

A Slice Monad Transformer and Its Applications in Program Slicing (Abstract)

Yingzhou Zhang , Southeast University and Jiangsu Institute of Software Quality
Baowen Xu , Southeast University, Jiangsu Institute of Software Quality and National Key Laboratory of Software Engineering in Wuhan University
pp. 147-154

Slicing Component-Based Systems (Abstract)

Yajuan Pan , State University of New York at Albany
Dai Pan , State University of New York at Albany
Mei-Hwa Chen , State University of New York at Albany
pp. 155-164
Parallel Session: Real Time Systems

A Cost-Efficient Server Architecture for Real-Time Credit-Control (Abstract)

Piotr Tomaszewski , Blekinge Institute of Technology
Lars Lundberg , Blekinge Institute of Technology
Jim H?kansson , Blekinge Institute of Technology
Daniel H?ggander , Blekinge Institute of Technology
pp. 166-175

A Feasible Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems (Abstract)

Jun Li , Huazhong University of Science and Technology
Fumin Yang , Huazhong University of Science and Technology
Yansheng Lu , Huazhong University of Science and Technology
pp. 176-183

From χt to ?CRL: Combining Performance and Functional Analysis (Abstract)

Wan Fokkink , Vrije Universiteit Amsterdam
pp. 184-193
Parallel Session: Analysis and Verification (2)

Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development (Abstract)

Siv Hilde Houmb , Norwegian University of Science and Technology
Geri Georg , Colorado State University
Robert France , Colorado State University
James Bieman , Colorado State University
Jan Jürjens , Technical University of Munich
pp. 195-204

Comparing Fault-Proneness Estimation Models (Abstract)

P. Bellini , University of Florence
I. Bruno , University of Florence
P. Nesi , University of Florence
D. Rogai , University of Florence
pp. 205-214
Parallel Session: Security

Evolving Messaging Systems for Secure Role Based Messaging (Abstract)

Gansen Zhao , University of Kent
David W. Chadwick , University of Kent
pp. 216-223

Model-Based Design and Analysis of Permission-Based Security (Abstract)

Jan J?rjens , Technische Universit?t M?nchen
Markus Lehrhuber , Technische Universit?t M?nchen
Guido Wimmel , Technische Universit?t M?nchen
pp. 224-233

Exploiting OS-Level Mechanisms to Implement Mobile Code Security (Abstract)

Viktoria Felmetsger , University of California at Santa Barbara
Giovanni Vigna , University of California at Santa Barbara
pp. 234-243
Parallel Session: Web Systems

An Internet-Based System for Setup Planning in Machining Operations (Abstract)

Gaoliang Peng , Harbin Institute of Technology
Wenjian Liu , Harbin Institute of Technology
Xutang Zhang , Harbin Institute of Technology
pp. 245-251

A B2B Conversational Architecture for Semantic Web Services Based on BPIMS-WS (Abstract)

Juan Miguel G?mez , National University of Ireland
Giner Alor Hernandez , Research and Advanced Studies Center of IPN (CINVESTAV)
Jose Oscar Olmedo , Research and Advanced Studies Center of IPN (CINVESTAV)
Christoph Bussler , National University of Ireland
pp. 252-259
Keynote Speech

null (PDF)

pp. null
Parallel Session: Component-Based Technologies

A Component-Based Approach for JavaCard Runtime System Development (Abstract)

Ching-Cheng Lee , California State University at Hayward
Sudeshna Ghosh , California State University at Hayward
pp. 274-282

Customizable Framework for Managing Trusted Components Deployed on Middleware (Abstract)

Minghui Zhou , Peking University
Wenpin Jiao , Peking University
Hong Mei , Peking University
pp. 283-291

Behavior Capture and Test: Automated Analysis of Component Integration (Abstract)

Leonardo Mariani , Università degli Studi di Milano Bicocca
Mauro Pezzè , Università degli Studi di Milano Bicocca
pp. 292-301
Parallel Session: Formal Methods (2)

Formal Semantics and Verification for Feature Modeling (Abstract)

Jing Sun , University of Auckland
Hongyu Zhang , RMIT University
Yuan Fang Li , National University of Singapore
Hai Wang , University of Manchester
pp. 303-312

Verifying Parameterized Refinement (Abstract)

Maty Sylla , Wayne State University
Frank Stomp , Wayne State University
Willem-Paul de Roever , Christian-Albrechts-Universität zu Kiel
pp. 313-321

Mediation Systems Modeling and Verification (Abstract)

Li Yang , Florida International University
Raimund K. Ege , Florida International University
Huiqun Yu , East China University of Science & Technology
pp. 322-331
Parallel Session: Networks (2)

Robust H∞ Filter Design for Networked Control System with Random Time Delays (Abstract)

Zhihong Huo , Huazhong University of Science and Technology
Huajing Fang , Huazhong University of Science and Technology
pp. 333-340

Fluid-Based Stability Analysis of Mixed TCP and UDP Traffic under RED (Abstract)

Li Wang , Xian Jiaotong University
Zeng-zhi Li , Xian Jiaotong University
Yan-ping Chen , Xian Jiaotong University
Ke Xue , Xian Jiaotong University
pp. 341-348

A Formal General Framework and Service Access Model for Service Grid (Abstract)

Deqing Zou , Huazhong University of Science and Technology
Weizhong Qiang , Huazhong University of Science and Technology
Xuanhua Shi , Huazhong University of Science and Technology
pp. 349-356
Parallel Session: Software Systems

Notice of Violation of IEEE Publication Principles: An Intrusion Detection System for AODV (Abstract)

Baolin Sun , Wuhan University of Science and Engineering
Hua Chen , Wuhan University of Science and Engineering
Layuan Li , Wuhan University of Technology
pp. 358-365

Rapid Prototyping of Complex Interactive Simulation Systems (Abstract)

Zhiming Zhao , University of Amsterdam
Dick van Albada , University of Amsterdam
Peter Sloot , University of Amsterdam
pp. 366-375
Parallel Session: Wireless Communication

A Study of Secure Communications between Mobile Objects (Abstract)

Zhigang Liao , Xi?an Jiaotong University
Zengzhi Li , Xi?an Jiaotong University
Yan Chen , Xi?an Jiaotong University
Tao Zhan , Northwest Polytechnical University
pp. 377-383

Identification of Faulty Links in LEO/MEO Satellite Communication Networks (Abstract)

Zhigang Zhao , Ministry of Education and Northeastern University
Changqing Gong , Ministry of Education and Northeastern University
Guangxing Wang , Ministry of Education and Northeastern University
pp. 394-400
Parallel Session: Analysis and Verification (3)

Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach (Abstract)

Xuefeng Zhu , Chinese Academy of Sciences
Zhi Jin , Chinese Academy of Sciences
pp. 402-410

Consistency Checking of UML Requirements (Abstract)

Xiaoshan Li , University of Macau
Zhiming Liu , United Nations University
Jifeng He , United Nations University
pp. 411-420

Using the Metamodel Mechanism to Support Class Refinement (Abstract)

Wuwei Shen , Western Michigan University
Weng Liong Low , Western Michigan University
pp. 421-430
Parallel Session: Testing (1)

Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing (Abstract)

Cheng-Ying Mao , Huazhong University of Science & Technology
Yan-Sheng Lu , Huazhong University of Science & Technology
pp. 432-439

An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification (Abstract)

Xin Wang , National Laboratory for Parallel and Distributed Processing
Zhi-Chang Qi , National Laboratory for Parallel and Distributed Processing
Shuhao Li , National Laboratory for Parallel and Distributed Processing
pp. 440-449

Regression Testing of Classes Based on TCOZ Specification (Abstract)

Hui Liang , National University of Singapore
pp. 450-457
Parallel Session: Design

Design Patterns for Software Health Monitoring (Abstract)

Alexander Lau , University of Waterloo
Rudolph E. Seviora , University of Waterloo
pp. 467-476

Dynamic Architectural Connectors in Cooperative Software Systems (Abstract)

Wenpin Jiao , Peking University
Hong Mei , Peking University
pp. 477-486
Parallel Session: Formal Methods (3)

Integrating Object-Z with Timed Automata (Abstract)

J. S. Dong , National University of Singapore
R. Duke , University of Queensland
P. Hao , National University of Singapore
pp. 488-497

Mutation Operators for Object-Z Specification (Abstract)

Ling Liu , Shanghai University
Huaikou Miao , Shanghai University
pp. 498-506

Formal Verification of an Array-Based Nonblocking Queue (Abstract)

Robert Colvin , Victoria University of Wellington
Lindsay Groves , Victoria University of Wellington
pp. 507-516
Keynote Speech

null (PDF)

pp. null
Parallel Session: Testing (2)

A Tool-Supported Approach to Testing UML Design Models (Abstract)

Trung Dinh-Trong , Colorado State University
Nilesh Kawane , Colorado State University
Sudipto Ghosh , Colorado State University
Robert France , Colorado State University
Anneliese A. Andrews , Washington State University
pp. 519-528

Model Checking Live Sequence Charts (Abstract)

Jun Sun , National University of Singapore
Jin Song Dong , National University of Singapore
pp. 529-538

Effective Generation of Test Sequences for Structural Testing of Concurrent Programs (Abstract)

W. Eric Wong , University of Texas at Dallas
Yu Lei , University of Texas at Arlington
Xiao Ma , University of Texas at Dallas
pp. 539-548
Parallel Session: Evaluation and Measurement

Evaluating Software Quality Attributes of Communication Components in an Automated Guided Vehicle System (Abstract)

Frans M?rtensson , Blekinge Institute of Technology
H?kan Grahn , Blekinge Institute of Technology
Michael Mattsson , Blekinge Institute of Technology
pp. 550-558

Scavenging Complex Genomic Information Using Mobile Code: An Evaluation (Abstract)

Mauro Pezzè , University of Milano-Bicocca
Davide Tosi , University of Milano-Bicocca
Gian Pietro Picco , Politecnico di Milano
pp. 569-578
Parallel Session: Evolution

The Preservation of Interleaving Equivalences (Abstract)

Jianmin Jiang , Chinese Academy of Sciences and Chongqing Technology and Business University
Jinzhao Wu , Chinese Academy of Sciences and Universitat Mannheim
pp. 580-589

Coping with Legacy System Migration Complexity (Abstract)

Lei Wu , University of Montreal
Houari Sahraoui , University of Montreal
Petko Valtchev , University of Montreal
pp. 600-609
Author Index

Author Index (PDF)

pp. 611-612
81 ms
(Ver 3.3 (11022016))