The Community for Technology Leaders
Quality Software, International Conference on (2005)
Melbourne, Australia
Sept. 19, 2005 to Sept. 20, 2005
ISSN: 1550-6002
ISBN: 0-7695-2472-9
TABLE OF CONTENTS
Introduction
Papers
Cover
Introduction
Session 1A: Software Testing I

Model-Based Testing of Concurrent Programs with Predicate Sequencing Constraints (Abstract)

Peng Wu , Graduate School of the Chinese Academy of Sciences
Huimin Lin , Institute of Software Chinese Academy of Sciences
pp. 3-10

Test Order for Class-based Integration Testing of Java Applications (Abstract)

Sita Ramakrishnan , Monash University, VIC, Australia
Nor Laily Hashim , Monash University, VIC, Australia
Heinz W. Schmidt , Monash University, VIC, Australia
pp. 11-18

On the Test Case Definition for GUI Testing (Abstract)

Chang-Hai Jiang , Beijing University of Aeronautics and Astronautics
Lei Zhao , Beijing University of Aeronautics and Astronautics
Hai Hu , Beijing University of Aeronautics and Astronautics
Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics
pp. 19-28
Session 1B: Software Quality

Peer Reviews in Real Life - Motivators and Demotivators (Abstract)

Anna Huttunen , University of Oulu, Finland
Lasse Harjumaa , University of Oulu, Finland
Ilkka Tervonen , University of Oulu, Finland
pp. 29-36

Towards the UML Evaluation Using Taxonomic Patterns on Meta-Classes (Abstract)

Zhe Ji , Peking University, China
Lu Zhang , Peking University, China
Haohai Ma , Inner Mongolia University, China
Weizhong Shao , Peking University, China
pp. 37-44

A Preliminary Evaluation of Software Inspection Tools,with the DESMET Method (Abstract)

Henrik Hedberg , University of Oulu, Finland
Jouni Lappalainen , University of Oulu, Finland
pp. 45-54
Session 2A: Software Modeling and Testing

Identification of Categories and Choices in Activity Diagrams (Abstract)

T. Y. Chen , Swinburne University of Technology
Pak-Lok Poon , Hong Kong Polytechnic University
T. H. Tse , University of Hong Kong
Sau-Fun Tang , Swinburne University of Technology
pp. 55-63

Test Case Generation by OCL Mutation and Constraint Solving (Abstract)

Bernhard K. Aichernig , United Nations University (UNU-IIST), China
Percy Antonio Pari Salas , United Nations University (UNU-IIST), China
pp. 64-71

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation (Abstract)

Wolfgang Grieskamp , Microsoft Research, USA
Nikolai Tillmann , Microsoft Research, USA
Wolfram Schulte , Microsoft Research, USA
Margus Veanes , Microsoft Research, USA
Colin Campbell , Microsoft Research, USA
pp. 72-82
Session 2B Web-Based Development

Cost and Response Time Simulation forWeb-based Applications on Mobile Channels (Abstract)

Volker Gruhn , University of Leipzig, Germany
Malte Hulder , University of Leipzig, Germany
Andre Kohler , University of Leipzig, Germany
Matthias Book , University of Leipzig, Germany
Andreas Kriegel , Commerz Business Consulting, Commerzbank AG, Germany
pp. 83-90

Quality Assurance in the Design of Web Information Systems (Abstract)

Bernhard Thalheim , University Kiel, Germany
Klaus-Dieter Schewe , Massey University, Information, New Zealand
Aleksander Binemann-Zdanowicz , University Kiel, Germany
Jane Zhao , Massey University, Information, New Zealand
pp. 91-98

Stochastic Voting Algorithms for Web Services Group Testing (Abstract)

W.T. Tsai , Arizona State University Tempe, AZ
Yinong Chen , Arizona State University Tempe, AZ
Raymond Paul , Arizona State University Tempe, AZ
Dawei Zhang , Arizona State University Tempe, AZ
pp. 99-108
Session 3A: Formal Methods

Verification of C Programs using Slicing Execution (Abstract)

Xiaodong Yi , National Laboratory for Parallel and Distributed Processing, China
Ji Wang , National Laboratory for Parallel and Distributed Processing, China
Xuejun Yang , National Laboratory for Parallel and Distributed Processing, China
pp. 109-116

Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations (Abstract)

Lars Grunske , University of Queensland, Brisbane, Australia
Bernhard Kaiser , University of Queensland, Brisbane, Australia
pp. 117-123

Formal Fault Tree Analysis of State Transition Systems (Abstract)

Kazuhiro Ogata , NEC Software Hokuriku, Ltd., Japan
Jianwen Xiang , Japan Advanced Institute of Science and Technology, Japan
pp. 124-134
Session 3B: Software Components

A Case Study of the Recursive Least Squares Estimation Approach to Adaptive Testing for Software Components (Abstract)

Hai Hu , University of Texas at Dallas
Chang-Hai Jiang , Beijing University of Aeronautics and Astronautics
Kai-Yuan Cai , Beijing University of Aeronautics and Astronautics
W. Eric Wong , University of Texas at Dallas
pp. 135-141

A Multi-Property Trust Model for Reconfiguring Component Software (Abstract)

Hong Mei , Peking University, Beijing
Lu Zhang , Peking University, Beijing
Minghui Zhou , Peking University, Beijing
pp. 142-149

Measuring the Complexity of a UML Component Specification (Abstract)

Sajjad Mahmood , La Trobe University, Melbourne, Australia
Richard Lai , La Trobe University, Melbourne, Australia
pp. 150-160
Session 4A: Software Architecture

Capturing and Using Software Architecture Knowledge for Architecture-Based Software Development (Abstract)

Ian Ian Gorton, , National ICT Australia Ltd. and University of New South Wales, Australia
Ross Jeffery , National ICT Australia Ltd. and University of New South Wales, Australia
Muhammad Ali Babar , National ICT Australia Ltd. and University of New South Wales, Australia
pp. 169-176

Runtime Validation of Behavioural Contracts for Component Software (Abstract)

Jun Han , Swinburne University of Technology, Hawthorn, Australia
Yan Jin , Swinburne University of Technology, Hawthorn, Australia
pp. 177-186
Session 4B: Database Modeling and Applications

Fault-Based Testing of Database Application Programs with Conceptual Data Model (Abstract)

T. H. Tse , University of Hong Kong
S.C. Cheung , Hong Kong University of Science and Technology
W. K. Chan , Hong Kong University of Science and Technology
pp. 187-196

Proving the Safety of SQL Queries (Abstract)

Christian Goldberg , Martin-Luther-Universitat Halle-Wittenberg, Germany
Stefan Brass , Martin-Luther-Universitat Halle-Wittenberg, Germany
pp. 197-204

Higher-Order Entity Relationship Modelling with UML (Abstract)

Sven Hartmann , Massey University, Palmerston North, New Zealand
Alexei Tretiakov , Massey University, Palmerston North, New Zealand
pp. 205-214
Session 5A: Requirements Engineering

Modeling Software Characteristics and Their Correlations in A Specific Domain by Comparing Existing Similar Systems (Abstract)

Haruhiko Kaiya , Graduate School of Science and Technology, Shinshu University, Japan
Akira Osada , Graduate School of Science and Technology, Shinshu University, Japan
Kenji Kaijiri , Graduate School of Science and Technology, Shinshu University, Japan
Daigo Ozawa , Graduate School of Science and Technology, Shinshu University, Japan
pp. 215-222

Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach (Abstract)

Motoshi Saeki , Tokyo Institute of Technology, Japan
Haruhiko Kaiya , Shinshu University, Japan
pp. 223-230

Domain Consistency in Requirements Specification (Abstract)

Chris George , UNU-IIST, Macao SAR, P.R.China
Hrushikesha Mohanty , University of Hyderabad, India
Satyajit Acharya , University of Hyderabad, India
pp. 231-240
Session 5B: Software Testing II

A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications (Abstract)

T. Y. Chen , Swinburne University of Technology, Australia
W. K. Chan , Hong Kong University of Science and Technology
Heng Lu , University of Hong Kong
pp. 241-249

A Method of Generating Massive Virtual Clients and Model-based Performance Test (Abstract)

Gyu-Baek Kim , Digital Solution Center of Samsung Electronics
pp. 250-254

An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin (Abstract)

C. Peng LAM , Edith Cowan University, Australia
Huaizhong LI , Edith Cowan University, Australia
pp. 255-264
Session 6A: Software Metrics and Tools

Study on Application of a Quantitative Evaluation Approach for Software Architecture Adaptability (Abstract)

Qing Wang , Institute of Software, Chinese Academy of Sciences, Beijing
Xia Liu , Graduate School of the Chinese Academy of Sciences, Beijing
pp. 265-272

GcpSensor: a CPU Performance Tool for Grid Environments (Abstract)

Meng Zhang , Jilin University, Changchun, China
Liang Hu , Jilin University, Changchun, China
Zhuopeng Zhang , De Montfort University, Leicester, England
Dong Guo , Jilin University, Changchun, China
pp. 273-278

Case Studies: The Potential Teaching Instruments for Software Engineering Education (Abstract)

Kirti Garg , International Institute of Information, Hyderabad India
Vasudeva Varma , International Institute of Information, Hyderabad India
pp. 279-286
Session 6B: Real-Time Applications

An Efficient Consistency Management Algorithm for Real-Time Mobile Collaboration (Abstract)

Caspar Ryan , RMIT University, Melbourne, Australia
Jim McGovern , RMIT University, Melbourne, Australia
Sandy Citro , RMIT University, Melbourne, Australia
pp. 287-264

Principles of Timing Anomalies in Superscalar Processors (Abstract)

Peter Puschner , Institut fur Technische Informatik Technische Universitat Wien, Austria
Bernhard Rieder , Institut fur Technische Informatik Technische Universitat Wien, Austria
Raimund Kirner , Institut fur Technische Informatik Technische Universitat Wien, Austria
Ingomar Wenzel , Institut fur Technische Informatik Technische Universitat Wien, Austria
pp. 295-306
First International Workshop on Education and Training for Quality Software Engineering (ETQSE 2005)

Teaching Three Quality Assurance Techniques in Tandem - Lessons Learned (Abstract)

Cat Kutay , National ICT Australia Ltd. and University of New South Wales, Australia
Muhammad Ali Babar , National ICT Australia Ltd. and University of New South Wales, Australia
pp. 307-312

Software Testing Education and Training in Hong Kong (Abstract)

W. H. Tang , The Kowloon-Canton Railway Corporation, Hong Kong
F. T. Chan , University of Hong Kong
T. Y. Chen , Swinburne University of Technology, Australia
pp. 313-316

A System to Mark Programs Automatically (Abstract)

Ken Ngo-Pham , University of London, London, UK
John Bigham , University of London, London, UK
Julian Rodaway , University of London, London, UK
Laurissa Tokarchuk , University of London, London, UK
pp. 317-322

Dynamic Delivery of Software Development Curriculum (Abstract)

Jill Fain Lehman , iCarnegie, Inc. (a subsidiary of Carnegie Mellon University)
Allan Fisher , iCarnegie, Inc. (a subsidiary of Carnegie Mellon University)
pp. 323-326

Teaching Automated Test Case Generation (Abstract)

Zhi Quan Zhou , University of Wollongong, Australia
Tsong Yueh Chen , Swinburne University of Technology, Victoria, Australia
Fei-Ching Kuo , Swinburne University of Technology, Victoria, Australia
pp. 327-333

Designing Activities for Learning Software Quality Practices (Abstract)

Pak-Lok Poon , Hong Kong Polytechnic University
Yuen Tak Yu , City University of Hong Kong
pp. 333-340
First International Workshop on Grid and Peer-to-Peer Based Workflows (GPWW 2005)

Scalable Enterprise Level Workflow Manager for the Grid (Abstract)

Ira Gupta , Infosys Technologies, Bangalore
Shakeb Ali , Infosys Technologies, Bangalore.
Anirban Chakrabarti , Infosys Technologies, Bangalore
Anirban Ghosh , Infosys Technologies, Bangalore
Adarsh Kailash Upadhyay , Infosys Technologies, Bangalore
Dheepak RA , Infosys Technologies, Bangalore.
Anish Damodaran , Infosys Technologies, Bangalore
Lech D. Alves , Infosys Technologies, Bangalore
Hardik Dave , Infosys Technologies, Bangalore
pp. 341-348

A Data Mining-based Framework for GridWorkflow Management (Abstract)

A. Congiusta , University of Calabria, Italy
L. Pontieri , ICAR - National Research Council, Italy
G. Greco , Dept. of Mathematics, University of Calabria, Italy
G. Manco , ICAR - National Research Council, Italy
A. Guzzo , ICAR - National Research Council, Italy
D. Talia , University of Calabria, Italy
D. Sacca , ICAR - National Research Council, Italy
pp. 349-356

Scientific workflow management: between generality and applicability (Abstract)

Adam Belloum , Informatics Institute, University of Amsterdam, Netherlands
Bob Hertzberger , Informatics Institute, University of Amsterdam, Netherlands
Adianto Wibisono , Informatics Institute, University of Amsterdam, Netherlands
Piter T. de Boer , Informatics Institute, University of Amsterdam, Netherlands
Zhiming Zhao , Informatics Institute, University of Amsterdam, Netherlands
Frank Terpstra , Informatics Institute, University of Amsterdam, Netherlands
Peter Sloot , Informatics Institute, University of Amsterdam, Netherlands
pp. 357-364

A Peer-to-peer Architecture forWorkflow in Virtual Enterpris (Abstract)

John Noll , Santa Clara University, Santa Clara, CA
pp. 365-372

A Service Workflow Management Framework Based on Peer-to-Peer and Agent Technologies (Abstract)

Ryszard Kowalczyk , Intelligent Agents and Multi-Agent Systems Swinburne University of Technolog, Australia
Xuan T. Nguyen , Intelligent Agents and Multi-Agent Systems Swinburne University of Technolog, Australia
Jun Yan , Information and Communication Technologies Swinburne University of Technolog, Australia
Yun Yang , Information and Communication Technologies Swinburne University of Technolog, Australia
pp. 373-382
First International Workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005)

Tool Support for Agent Development using the Prometheus Methodology (Abstract)

Lin Padgham , RMIT University Melbourne, Australia
John Thangarajah , RMIT University Melbourne, Australia
Michael Winikoff , RMIT University Melbourne, Australia
pp. 383-388

Towards Goal-Oriented Design of Agent Systems (Abstract)

Jason Khallouf , Jason Khallouf
Michael Winikoff , RMIT University Melbourne, Australia
pp. 389-394

The Genesis of a Pattern Language for Agent-based Enterprise Systems (Abstract)

Peter Evans-Greenwood , Agentis International, Victoria, Australia.
James Odell , Agentis International, Victoria, Australia.
Paul R. Taylor , Agentis International, Victoria, Australia.
pp. 395-400

Towards Making Agent UML Practical: A Textual Notation and a Tool (Abstract)

Michael Winikoff , RMIT University Melbourne, Australia
pp. 401-412

Enabling Agent-Based Management of Web Services with WS2JADE (Abstract)

Xuan Thang , Swinburne University of Technology, Melbourne , Australia.
Ryszard Kowalczyk , Swinburne University of Technology, Melbourne , Australia.
pp. 407-412

Systematic Incremental Development of Agent Systems, using Prometheus (Abstract)

Mikhail Perepletchikov , RMIT University, Australia
Lin Padgham , RMIT University, Australia
pp. 413-418

Guiding agent-oriented requirements elicitation: HOMER (Abstract)

Damien Wilmann , University of Melbourne, Australia
Leon Sterling , University of Melbourne, Australia
pp. 419-424

Design Patterns for Agent-Based Service Composition in theWeb (Abstract)

Ryszard Kowalczyk , Swinburne University of Technology, Victoria, Australia
Ingo Muller , Swinburne University of Technology, Victoria, Australia
Peter Braun , Swinburne University of Technology, Victoria, Australia
pp. 425-430

Caste-Centric Agent-Oriented Programming (Abstract)

Hong Zhu , Oxford Brookes University, UK
Rui Shen , National Laboratory for Parallel and Distributed Processing Changsha. China
Ji Wang , National Laboratory for Parallel and Distributed Processing Changsha. China
pp. 431-438
First International Workshop on Services Engineering (SEIW 2005)

Relevant Past Performance for Selecting Web Services (Abstract)

Shonali Krishnaswamy , Caulfield School of Information Technology, Monash University, Australia
Wanita Sherchan , Caulfield School of Information Technology, Monash University, Australia
Seng Wai Loke , Caulfield School of Information Technology, Monash University, Australia
pp. 439-445

An Operational Semantics for DFM, a Formal Notation for Modelling Asynchronous Web Services Coordination (Abstract)

Jingtao Yang , University of Southampton, U.K.
Peter Henderson , University of Southampton, U.K.
Corina Cirstea , University of Southampton, U.K.
pp. 446-451

Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture (Abstract)

Karsten Schmidt , Humboldt-Universitat zu Berlin Institut fur Informatik, Germany
Peter Massuthe , Humboldt-Universitat zu Berlin Institut fur Informatik, Germany
pp. 452-457

Interactive Visualisation and Testing of Jini Services (Abstract)

Bruce Quig , School of Computer Science and Software Engineering
Phillip Steele , Monash University
Michael Kolling , Computing Laboratory, University of Kent, UK
John Rosenberg , Deakin University, Australia
pp. 458-463

OMWSC- An Ontology-Based Model for Web Services Composition (Abstract)

Yanchun Zhang , Victoria University Melbourne, Australia
Minglu Li , Shanghai Jiaotong University, China
Jiangang Ma , Victoria University Melbourne, Australia
pp. 464-469

Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications (Abstract)

S. C. Cheung , Hong Kong University of Sciences and Technology
W. K. Chan , Hong Kong University of Sciences and Technology
Karl. R. P.H. Leung , Hong Kong Institute of Vocational Education Tsing Yi, Hong Kong
pp. 470-476
Author Index

Author Index (PDF)

pp. 477
92 ms
(Ver )