• 
  10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China. IEEE Computer Society 2005 ISBN 0-7695-2284-X

Introduction

• 
  Message from the General Chairs.
• 
  Welcome from the Program Chairs.
• 
  Organizing Committee.
• 
  Additional Reviewers.

Tutorials

• 
  Jin Song Dong, D. Dan: Software Engineering Approaches to Semantic Web. 2
• 
  Paolo Nesi: Multimedia Content Distribution and Protection. 3
• 
  Luciano Baresi, Sam Guinea: An Introduction to Self-Healing Web Services. 4

Workshop on SOFL

• 
  Yuting Chen, Shaoying Liu, Fumiko Nagoya: A Framework for SOFL-Based Program Review. 6-7
• 
  Jianping Yao: An Introduction to Three Perspectives on Formal Specification Review. 8-9
• 
  Fumiko Nagoya, Shaoying Liu, Yuting Chen: Design of a Tool for Specification-Based Program Review. 10-11
• 
  Xiang Xue: A Formal Specification Constructing Tool for SOFL. 12-13
• 
  Yao Shen, Haopeng Chen: Extending SOFL Features for AOP Modeling. 14-15
• 
  Haopeng Chen, Yao Shen, Jian-wei Jiang: Extended SOFL Features for the Modeling of Middleware-Based Transaction Management. 16-17

Workshop on Using Metamodels to Support MDD

• 
  Cesar Gonzalez-Perez: Tools for an Extended Object Modelling Environment. 20-23
• 
  Jun Kong, Kang Zhang, Jing Dong: Grammar-Specified Model-Driven Architectures. 24-25
• 
  Jing Liu, Huaikou Miao: A Strategy for Component-Based Modeling and Refinement. 26-27
• 
  Jean Bézivin, Frédéric Jouault, David Touzet: Principles, Standards and Tools for Model Engineering. 28-29
• 
  Dae-Kyoo Kim: Evaluating Conformance of UML Models to Design Patterns. 30-31

Parallel Session: Software Architecture

• 
  Yali Zhu: Modeling Diverse and Complex Interactions Enabled by Middleware as Connectors in Software Architectures. 37-46
• 
  Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao: Secure Software Architectures Design by Aspect Orientation. 47-55
• 
  Yali Zhu, Gang Huang, Hong Mei: Modeling Architecture Based Development in UML. 56-65

Parallel Session: Analysis and Verification (1)

• 
  Guido Menkhaus, Urs Frei, Jorg Wuthrich: Analysis and Verification of the Interaction Model in Software Design. 67-75
• 
  Rafael Ramirez, Andrew E. Santosa: Formal Verification of Concurrent and Distributed Constraint-Based Java Programs. 76-84
• 
  Oystein Hallaraker, Giovanni Vigna: Detecting Malicious JavaScript Code in Mozilla. 85-94

Parallel Session: Formal Methods (1)

• 
  Jun Sun, Jin Song Dong: Extracting FSMs from Object-Z Specifications with History Invariants. 96-105
• 
  Peiyi Tang: Formal Methods to Generate Parallel Iterative Codes for PDE-Based Applications. 106-115
• 
  James L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin: Formal Requirements-Based Programming for Complex Systems. 116-125

Parallel Session: Networks (1)

• 
  Lei Wang, Zhiping P. Chen, Xinhua H. Jiang: Ringed Petersen Spheres Connected Hypercube Interconnection Networks. 127-131
• 
  Wen Chen, Feiyu Lei, Weinong Wang: A General Model for Non-Markovian Stochastic Decision Discrete-Event Systems. 132-137

Parallel Session: Program Slicing

• 
  Yingzhou Zhang, Baowen Xu: A Slice Monad Transformer and Its Applications in Program Slicing. 147-154
• 
  Yajuan Pan, Dai Pan, Mei-Hwa Chen: Slicing Component-Based Systems. 155-164

Parallel Session: Real Time Systems

• 
  Piotr Tomaszewski, Lars Lundberg, Jim Håkansson, Daniel Häggander: A Cost-Efficient Server Architecture for Real-Time Credit-Control. 166-175
• 
  Jun Li, Fumin Yang, Yansheng Lu: A Feasible Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems. 176-183
• 
  Anton Wijs, Wan Fokkink: From chi-t to µCRL: Combining Performance and Functional Analysis. 184-193

Parallel Session: Analysis and Verification (2)

• 
  Siv Hilde Houmb, Geri Georg, Robert B. France, James M. Bieman, Jan Jürjens: Cost-Benefit Trade-Off Analysis Using BBN for Aspect-Oriented Risk-Driven Development. 195-204
• 
  Pierfrancesco Bellini, Ivan Bruno, Paolo Nesi, Davide Rogai: Comparing Fault-Proneness Estimation Models. 205-214

Parallel Session: Security

• 
  Gansen Zhao, David W. Chadwick: Evolving Messaging Systems for Secure Role Based Messaging. 216-223
• 
  Jan Jürjens, Markus Lehrhuber, Guido Wimmel: Model-Based Design and Analysis of Permission-Based Security. 224-233
• 
  Viktoria Felmetsger, Giovanni Vigna: Exploiting OS-Level Mechanisms to Implement Mobile Code Security. 234-243

Parallel Session: Web Systems

• 
  Gaoliang Peng, Wenjian Liu, Xutang Zhang: An Internet-Based System for Setup Planning in Machining Operations. 245-251
• 
  Juan Miguel Gómez, Giner Alor-Hernández, José Oscar Olmedo-Aguirre, Christoph Bussler: A B2B Conversational Architecture for Semantic Web Services Based on BPIMS-WS. 252-259

Keynote Speech

• 
  Tetsuo Tamai: Conquering the Eight-Tailed Dragon - An Attempt to Deal with Structural and Behavioral Complexities. 261-272

Parallel Session: Component-Based Technologies

• 
  Ching-Cheng Lee, Sudeshna Ghosh: A Component-Based Approach for JavaCard Runtime System Development. 274-282
• 
  Minghui Zhou, Wenpin Jiao, Hong Mei: Customizable Framework for Managing Trusted Components Deployed on Middleware. 283-291
• 
  Leonardo Mariani, Mauro Pezzè: Behavior Capture and Test: Automated Analysis of Component Integration. 292-301

Parallel Session: Formal Methods (2)

• 
  Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang: Formal Semantics and Verification for Feature Modeling. 303-312
• 
  Maty Sylla, Frank A. Stomp, Willem P. de Roever: Verifying Parameterized Refinement. 313-321
• 
  Li Yang, Raimund K. Ege, Huiqun Yu: Mediation Systems Modeling and Verification. 322-331

Parallel Session: Networks (2)

• 
  Zhihong Huo, Huajing Fang: Robust H-infinity Filter Design for Networked Control System with Random Time Delays. 333-340
• 
  Li Wang, Zeng-zhi Li, Yanping Chen, Ke Xue: Fluid-Based Stability Analysis of Mixed TCP and UDP Traffic under RED. 341-348
• 
  Deqing Zou, Weizhong Qiang, Xuanhua Shi: A Formal General Framework and Service Access Model for Service Grid. 349-356

Parallel Session: Software Systems

• 
  Baolin Sun, Hua Chen, Layuan Li: An Intrusion Detection System for AODV. 358-365
• 
  Zhiming Zhao, G. Dick van Albada, Peter M. A. Sloot: Rapid Prototyping of Complex Interactive Simulation Systems. 366-375

Parallel Session: Wireless Communication

• 
  Zhi-gang Liao, Zeng-zhi Li, Yan Chen, Tao Zhan: A Study of Secure Communications between Mobile Objects. 377-383
• 
  Mohammad Zib Beiroumi, Villy Bæk Iversen: Recovery Method Based on Communicating Extended Finite State Machine (CEFSM) for Mobile Communications. 384-393
• 
  Zhigang Zhao, Changqing Gong, Guangxing Wang: Identification of Faulty Links in LEO/MEO Satellite Communication Networks. 394-400

Parallel Session: Analysis and Verification (3)

• 
  Xuefeng Zhu, Zhi Jin: Inconsistency Measurement of Software Requirements Specifications: An Ontology-Based Approach. 402-410
• 
  Xiaoshan Li, Zhiming Liu, Jifeng He: Consistency Checking of UML Requirements. 411-420
• 
  Wuwei Shen, Weng Liong Low: Using the Metamodel Mechanism to Support Class Refinement. 421-430

Parallel Session: Testing (1)

• 
  Cheng-Ying Mao, Yan-Sheng Lu: Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing. 432-439
• 
  Xin Wang, Zhi-Chang Qi, Shuhao Li: An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification. 440-449
• 
  Hui Liang: Regression Testing of Classes Based on TCOZ Specification. 450-457

Parallel Session: Design

• 
  P. Mattias Weckstén, Magnus Jonsson, Jonas Vasell: Derivation of Implementation Constraints - Implementation Simulation and Treatment of Multiple Design Choices. 459-466
• 
  Alexander Lau, Rudolph E. Seviora: Design Patterns for Software Health Monitoring. 467-476
• 
  Wenpin Jiao, Hong Mei: Dynamic Architectural Connectors in Cooperative Software Systems. 477-486

Parallel Session: Formal Methods (3)

• 
  Jin Song Dong, Roger Duke, Ping Hao: Integrating Object-Z with Timed Automata. 488-497
• 
  Ling Liu, Huaikou Miao: Mutation Operators for Object-Z Specification. 498-506
• 
  Robert Colvin, Lindsay Groves: Formal Verification of an Array-Based Nonblocking Queue. 507-516

Parallel Session: Testing (2)

• 
  Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews: A Tool-Supported Approach to Testing UML Design Models. 519-528
• 
  Jun Sun, Jin Song Dong: Model Checking Live Sequence Charts. 529-538
• 
  W. Eric Wong, Yu Lei, Xiao Ma: Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. 539-548

Parallel Session: Evaluation and Measurement

• 
  Frans Mårtensson, Håkan Grahn, Michael Mattsson: Evaluating Software Quality Attributes of Communication Components in an Automated Guided Vehicle System. 550-558
• 
  Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge: Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools. 559-568
• 
  Mauro Pezzè, Davide Tosi, Gian Pietro Picco: Scavenging Complex Genomic Information Using Mobile Code: An Evaluation. 569-578

Parallel Session: Evolution

• 
  Jianmin Jiang, Jinzhao Wu: The Preservation of Interleaving Equivalences. 580-589
• 
  Mahadevan Subramaniam: Preserving Consistency of Runtime Monitors across Protocol Changes. 590-599
• 
  Lei Wu, Houari A. Sahraoui, Petko Valtchev: Coping with Legacy System Migration Complexity. 600-609