The Community for Technology Leaders
25th Annual International Computer Software and Applications Conference. COMPSAC 2001 (2001)
Chicago, Illinois
Oct. 8, 2001 to Oct. 12, 2001
ISSN: 0730-3157
ISBN: 0-7695-1372-7

Foreword (PDF)

pp. xv

Preface (PDF)

pp. xvi

Program Overview (PDF)

pp. xvii

Reviewers (PDF)

pp. xx
Keynote Address 1
Paper Session 1A: Requirements Engineering

Visualization Issues for Software Requirements Negotiation (Abstract)

Hoh In , Texas A&M University
Siddhartha Roy , Texas A&M University
pp. 10
Paper Session 1B: Component-Based Development

A Configuration Management System Supporting Component-Based Software Development (Abstract)

Lu Zhang , The University of Liverpool
Hong Mei , Peking University
Hong Zhu , Oxford Brookes University
pp. 25
Paper Session 1C: Protocols and Harmonization

Harmonized Conformance Testing for Product Data Managers (Abstract)

David Flater , National Institute of Standards and Technology
K.C. Morris , National Institute of Standards and Technology
pp. 46

Exploiting Automatic Analysis of E-Commerce Protocols (Abstract)

Wei Jun , Hong Kong University of Science and Technology
Cheung Shing-chi , Hong Kong University of Science and Technology
Wang Xu , Hong Kong University of Science and Technology
pp. 55
Paper Session 2A: Reverse Engineering and Re-Engineering

JBOORET: an Automated Tool to Recover OO Design and Source Models (Abstract)

Hong Mei , Peking University
Tao Xie , Peking University
Fuqing Yang , Peking University
pp. 71

MOOSE - A Task-Driven Program Comprehension Environment (Abstract)

Juergen Rilling , Concordia University
Ahmed Seffah , Concordia University
pp. 77
Paper Session 2B: Quality Management

Investigating Reinspection Decision Accuracy Regarding Product-Quality and Cost-Benefit Estimates (Abstract)

Stefan Biffl , Fraunhofer Institute for Experimental Sofware Engineering
Michael Halling , Vienna University of Technology
pp. 87

A Memory-Based Reasoning Approach for Assessing Software Quality (Abstract)

Raymond A. Paul , Department of Defense
Venkata U.B. Challagulla , Univ. of Texas at Dallas
Farokh B. Bastani , Univ. of Texas at Dallas
I-Ling Yen , Univ. of Texas at Dallas
pp. 97
Panel 2C: Software Architecture: Impact on Software Development

From Software Architecture to Implementation with UML (Abstract)

Christine Hofmeister , Lehigh University
Robert Nord , Siemens Corporate Research
pp. 113
Paper Session 3A: Workflow Systems

Designing Role Hierarchies for Access Control in Workflow Systems (Abstract)

Reinhardt A. Botha , Port Elizabeth Technikon
Jan H.P. Eloff , Rand Afrikaans University
pp. 117

A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing (Abstract)

Jiannong Cao , Hong Kong Polytechnic University
Catherine Chan , Hong Kong Polytechnic University
Keith Chan , Hong Kong Polytechnic University
pp. 129
Paper Session 3B: Software Architecture

An Architectural Model for Service-Based Flexible Software (Abstract)

Keith Bennett , University of Durham, UK
Jie Xu , University of Durham, UK
Malcolm Munro , University of Durham, UK
Zhuang Hong , University of Durham, UK
Paul Layzell , UMIST, UK
Nicolas Gold , UMIST, UK
David Budgen , Keele University, UK
Pearl Brereton , Keele University, UK
pp. 137

Formal Design of Real-Time Components on a Shared Data Space Architecture (Abstract)

Ulrich Hannemann , University of Nijmegen
Jozef Hooman , University of Nijmegen
pp. 143

Information Theoretic Metrics for Software Architectures (Abstract)

Mark Shereshevsky , West Virginia University
Habib Ammari , West Virginia University
Nicholay Gradetsky , West Virginia University
Ali Mili , West Virginia University
Hany H. Ammar , West Virginia University
pp. 151
Keynote Address 2
Paper Session 4A: Software Testing 1

Automatic Generation of Database Instances for White-box Testing (Abstract)

Jian Zhang , Chinese Academy of Sciences
Chen Xu , Chinese Academy of Sciences
S.-C. Cheung , Hong Kong University of Science and Technology
pp. 161

End-To-End Integration Testing Design (Abstract)

W. T. Tsai , Arizona State University
Xiaoying Bai , Arizona State University
Ray Paul , OASD C3I Investment and Acquisition
Weiguang Shao , University of Minnesota
Vishal Agarwal , University of Minnesota
pp. 166

Fault-Based Testing in the Absence of an Oracle (Abstract)

T.Y. Chen , Swinburne University of Technology
T.H. Tse , The University of Hong Kong
Zhiquan Zhou , The University of Hong Kong
pp. 172
Paper Session 4B: Distributed Systems 1

Certificate Based Authorization Simulation System (Abstract)

Jie Dai , University of Idaho
Jim Alves-Foss , University of Idaho
pp. 190

An Election Based Approach to Fault-Tolerant Group Membership in Collaborative Environments (Abstract)

J.S. Pascoe , The University of Reading
R.J. Loader , The University of Reading
V.S. Sunderam , Emory University
pp. 196
Paper Session 4C: Unified Modeling Language (UML)

Formal and Use-Case Driven Requirement Analysis in UML (Abstract)

Xiaoshan Li , The University of Macau
Zhiming Liu , The University of Leicester
Jifeng He , United Nations University, Macau.
pp. 215

Model Driven Process Engineering (Abstract)

Erwan Breton , Soci?t? Soft-Maint
Jean Bézivin , LRSG, University of Nantes
pp. 225
Panel 4D: Designing Process: Taming the Web Development Cycle

Designing Process: Taming the Web Development Cycle (Abstract)

Adam Steele , DePaul University
Roymieco Carter , CTI DePaul University CTI
pp. 233
Paper Session 5A: Safety and Security

Back-End Software for Highly Dependable Real-Time Control Systems (Abstract)

Yaroslav Domaratsky , Motorola Global Software Group
Maxim Perevozchikov , Motorola Global Software Group
Alexander Ingulets , Motorola Global Software Group
Alexander Alkhovik , Motorola Global Software Group
pp. 237

EC-SignGate: Electronic Contract Signing Gateway (Abstract)

Man-Chi Pong , The University of Hong Kong
pp. 245

A Novel Intrusion Detection System Model for Securing Web-based Database Systems (Abstract)

Shu Wenhui , School of EEE, NTU
Tan T H , Nanyang Technological University
Daniel null , Nanyang Technological University
pp. 249
Paper Session 5B: Distributed Systems 2

QAME - QoS-Aware Management Environment (Abstract)

Lisandro Zambenedetti Granville , Federal University of Rio Grande do Sul
Liane Margarida Rockenbach Tarouco , Federal University of Rio Grande do Sul
pp. 269
Panel 5C: Formalizing UML Semantics

A Metamodel-Based Approach to Formalizing UML (Abstract)

Betty H.C. Cheng , Michigan State University
pp. 278
Panel 5D: End-to-End Integration Testing

End-to-End Integration Testing in CBSD (Abstract)

Hong Mei , Peking University
pp. 284
Paper Session 6A: Commercial Off-The-Shelf Components

DSIAS: A Software Architectural Style for Distributed Software Integration Systems (Abstract)

Zen-Wei Hong Jim-Min Lin , Feng Chia University
De-Sheng Chen , Feng Chia University
Hewijin C. Jiau , National Cheng Kung University
pp. 291

Empirical Software Simulation for COTS Glue Code Development and Integration (Abstract)

Jongmoon Baik , Motorola Labs
Nancy Eickelmann , Motorola Labs
Chris Abts , University of Southern California
pp. 297

Metrics-Guided Quality Management for Component-Based Software Systems (Abstract)

Sahra Sedigh-Ali , Purdue University
Arif Ghafoor , Purdue University
Raymond A. Paul , Department of Defense, OASD/C3I
pp. 303
Paper Session 6B: Process Case Studies

E-ADOME: Enacting Composite E-services in an Advanced Workflow Environment (Abstract)

Dickson K.W. Chiu , University of Science and Technology
Kamalakar Karlapalem , Indian Institute of Information Technology
Qing Li , City University of Hong Kong
pp. 311

An Empirical Study of Software Productivity (Abstract)

Sandro Morasca , Universit? degli Studi dell'Insubria
Giuliano Russo , DPS - SINIT
pp. 317

Test operation-driven approach on building regression testing environment (Abstract)

Hiroshi Suganuma , Hitachi Software Engineering Co., Ltd.
Kinya Nakamura , Hitachi Software Engineering Co., Ltd.
Tsutomu Syomura , Hitachi Software Engineering Co., Ltd.
pp. 323

An Editing System for Working Processes (Abstract)

Yin-Shinn Chen , National Chiao-Tung University
Feng-Jian Wang , National Chiao-Tung University
pp. 332
Panel 6C: The Position of E-Learning Application Software

Building the Infrastructure of E-University (Abstract)

T. Y. Lin , San Jose State University
Yuke Liu , San Jose State University
Wei Luo , San Jose State University
Xiuhui Sun , San Jose State University
Hongbing Zhou , San Jose State University
pp. 344

E Learning In 2001 (Abstract)

Peter K. Wiesner , IEEE Educational Activities
pp. 346
Keynote Address 3
Paper Session 7A: Software Testing 2

Formalization of Software Testing Criteria using the Z Notation (Abstract)

Sergiy A. Vilkomir , South Bank University
Jonathan P. Bowen , South Bank University
pp. 351

An Observational Theory of Integration Testing for Component-Based Software Development (Abstract)

Hong Zhu , Oxford Brookes University
Xudong He , Florida International University
pp. 363
Paper Session 7B: Web-Based Systems

A Rough Set Based Self-Adaptive Web Search Engine (Abstract)

Baowen Xu , Southeast University
Weifeng Zhang , Southeast University
Hongji Yang , De Montfort University
William C. Chu , Tunghai University
pp. 377

Supporting Web Development in the OPEN Process: Additional Tasks (Abstract)

B. Haire , University of Technology, Sydney
B. Henderson-Sellers , University of Technology, Sydney
D. Lowe , University of Technology, Sydney
pp. 383
Paper Session 8A: Object-Oriented Development

The Exu Approach to Safe, Transparent and Lightweight Interoperability (Abstract)

Alan Kaplan , Clemson University
John Bubba , Clemson University
Jack C. Wileden , University of Massachusetts
pp. 393

Task and Team Management in the Distributed Software Project Management Tool (Abstract)

Hai Eric Lam , The University of New South Wales
Piyush Maheshwari , The University of New South Wales
pp. 401

Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments (Abstract)

Damla Turgut , The University of Texas at Arlington
Nevin Aydin , The University of Texas at Arlington
Ramez Elmasri , The University of Texas at Arlington
Begumhan Turgut , The University of Texas at Arlington
pp. 409
Paper Session 8B: Embedded Systems

Algebraic Transformations in Regular Array Design (Abstract)

Toomas P. Plaks , South Bankm University, Centre for Applied Formal Methods
pp. 417

A Case Study on Formal Design of Hybrid Control Systems (Abstract)

Hong Ki Thae , International Institute for Software Technology
Dang Van Hung , International Institute for Software Technology
pp. 423

Reducing Matching Time for OPS5 Production Systems (Abstract)

Jeong A Kang , University of Houston
Albert M.K. Cheng , University of Houston
pp. 429
Paper Session 9A: Agent Technology and Frameworks

Accomplishing Adaptability in Simulation Frameworks: the Bubble Approach (Abstract)

J. Andrés Díaz Pace , UNICEN University Campus Universitario
Mohamed E. Fayad , University of Nebraska
Federico U. Trilnik , UNICEN University Campus Universitario
Marcelo R. Campo , UNICEN University Campus Universitario
pp. 437

Dealing with Denial-of-Service Attacks in Agent-enabled Active and Programmable Infrastructures (Abstract)

Stamatis Karnouskos , Research Institute for Open Communication Systems (GMD-FOKUS)
pp. 445

Implementing an Agent System Using N-tier Pattern-Based Framework (Abstract)

William C. Chu , TungHai University
Juei-Nan Chen , TungHai University
Chun-Yuan Lee , TungHai University
Hongji Yang , De Montfort University
pp. 451
Paper Session 9B: Industry Application Case Studies

Java in Industrial Automation - A Virtual PLC (Abstract)

Mario Grabner , Software Competence Center Hagenberg
Gerhard Leonhartsberger , Software Competence Center Hagenberg
Alexander Leutgeb , Software Competence Center Hagenberg
Josef Altmann , Software Competence Center Hagenberg
pp. 477
Paper Session 10A: Software Testing 3

PePPeR: A New Model to Bridge the Gap between User and Designer Perceptions (Abstract)

B.M. Subraya , Infosys Technologies Limited
S.V. Subrahmanya , Infosys Technologies Limited
J.K. Suresh , Infosys Technologies Limited
C. Ravi , Infosys Technologies Limited
pp. 483

Requirement-Based Automated Black-Box Test Generation (Abstract)

Luay Ho Tahat , Lucent Technologies
Atef J. Bader , Lucent Technologies
Boris Vaysburg , Motorola
Bogdan Korel , Illinois Institute of Technology
pp. 489

Scenario-Based Functional Regression Testing (Abstract)

Ray Paul , OASD C3I Investment and Acquisition
Lian Yu , Arizona State University
Wei-Tek Tsai , Arizona State University
Xiaoying Bai , Arizona State University
pp. 496
Paper Session 10B: Data Mining

An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios (Abstract)

Ching-Huang Yun , National Taiwan University
Kun-Ta Chuang , National Taiwan University
Ming-Syan Chen , National Taiwan University
pp. 505

An Efficient Hash-Based Method for Discovering the Maximal Frequent Set (Abstract)

Don-Lin Yang , Feng Chia University
Ching-Ting Pan , Feng Chia University
Yeh-Ching Chung , Feng Chia University
pp. 511

Mining Market Value Functions for Targeted Marketing (Abstract)

Y.Y. Yao , University of Regina
Ning Zhong , Maebashi Institute of Technology
pp. 517
Paper Session 11A: Metrics and Measurement

An Assessment Approach To Analyzing Benefits and Risks of Product Lines (Abstract)

Klaus Schmid , Fraunhofer Institute for Experimental Software Engineering (IESE)
pp. 525

CLPKIDS: A Program Analysis System for Concurrent Logic Programs (Abstract)

Jianjun Zhao , Fukuoka Institute of Technology
Jingde Cheng , Saitama University
Kazuo Ushijima , Institute of Systems & Information Technologies/KYUSHU
pp. 531

Measuring the Intensity of Object Coupling in C++ Programs (Abstract)

Chia-Song Ma , Lucent Technologies
Carl K. Chang , University of Illinois at Chicago
Jane Cleland-Huang , University of Illinois at Chicago
pp. 538
Paper Session 11B: Extensible Markup Language (XML)

Building and Managing XML/XSL-powered Web Sites: an Experience Report (Abstract)

Clemens Kerer , Technical University of Vienna
Engin Kirda , Technical University of Vienna
Mehdi Jazayeri , Technical University of Vienna
Roman Kurmanowytsch , Technical University of Vienna
pp. 547

Using SOAP to Clean up Configuration Management (Abstract)

Paul O'Connell , The University of Reading
Rachel McCrindle , The University of Reading
pp. 555

An XML-message Based Architecture Description Language and Architectural Mismatch Checking (Abstract)

Bo Zhang , Chinese Academy of Sciences
Ke Ding andJing Li , Chinese Academy of Sciences
pp. 561
Paper Session 12A: Design Patterns and Frameworks

An Unsupervised Segmentation Framework For Texture Image Queries (Abstract)

Shu-Ching Chen , Florida International University
Chengcui Zhang , Florida International University
Mei-Ling Shyu , University of Miami
pp. 569
Paper Session 12B: E-Commerce

Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business (Abstract)

Carlos Perez Leguizamo , Tokyo Institute of Technology
Shohei Kato , Tokyo Institute of Technology
Kenji Hirai , Tokyo Institute of Technology
Kinji Mori , Tokyo Institute of Technology
pp. 589

Multi-Criteria Transaction for E-Commerce Applications (Abstract)

Peng Li , University of Texas at Dallas
JayaBharath Goluguri , University of Texas at Dallas
I-Ling Yen , University of Texas at Dallas
Ann Tai , IA Tech, Inc.
pp. 596
Workshop 1: Data Mining and E-Organizations

Index Miner (Abstract)

I- Jen Chiang , Index Software, Inc
T.Y. Lin , San Jose State University
pp. 613

Melanoma Prediction Using Data Mining System LERS (Abstract)

Jan P. Grzymala-Busse , University of Kansas
Jerzy W. Grzymala-Busse , University of Kansas
Zdzislaw S. Hippe , University of Information Technology and Management
pp. 615

Category-Based Web Personalization System (Abstract)

Ching-Cheng Lee , California State University at Hayward
Wei Xu , San Jose State University
pp. 621

Decision Logics for Knowledge Representation in Data Mining (Abstract)

Tuan-Fang Fan , National Penghu Institute of Technology
Wu-Chih Hu , National Penghu Institute of Technology
Churn-Jung Liau , Academia Sinica
pp. 626

A Knowledge-Oriented Clustering Technique Based on Rough Sets (Abstract)

Shoji Hirano , Shimane Medical University
Shusaku Tsumoto , Shimane Medical University
pp. 632

On Modeling Data Mining with Granular Computing (Abstract)

Y.Y. Yao , University of Regina
pp. 638
Workshop 2: Integration of Component-Based Systems: Issues and Solutions

Author Index (PDF)

pp. 645
85 ms
(Ver 3.3 (11022016))