10. ICECCS 2005: Shanghai, China

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