25th Annual International Computer Software and Applications
25th Annual International Computer Software and Applications
25th Annual International Computer Software and Applications
8-12 October 2001 Chicago Illinois
Sponsored by IEEE Computer Society
CG~PUTER SOCIETY
IEEE Los Alamitos California
Washington Brussels Tokyo
Clopyright 0 2001 by The Institute of Electrical and Electronics Engineers Inc All rights reserved
Copyright and Reprint Permissions Abstracting is permitted with credit to the source Libraries may photocopy beyand the limits of US copyright law for private use of patrons those articles in this volume that carry a coda at the bottom of the first page provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center 222 Rosewood Drive Danvers MA 01923
Other copying reprint or republication requests should be addressed to IEEE Copyrights Manager IEEE Service Center 445 Hoes Lane PO Box 133 Piscataway NJ 08855-1331
The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page They reflect the authorsrsquo opinions and in the interests of timely dissemination are published as presented and without change Their inclusion in this publication does not necessarily constitute endorsement by the editors the IEEB
- = --- - -=-= --- c == ~~ 3 T - --- I= _-_-rdquo
Inc
IEEE CSP ORDER NO PRO1372
ISBN 0-7803-73 16-2 (microfiche) ISBN 0-7695-1372-7
ISSN 0730-3157
L
Additional copies may be ordered from
IEEE Computer Society Customer Service Center 10662 Los Vaqueros Circle PO Box 3014
Tel + 1 714 821 8380 Fax+1714821 4641 httplIcomputerorg csbookscornpu terorg
LOS Alamitos C4 90720-1314
IEEE Service Center 445 Hoes Lane PO Box 1331 Piscataway NJ 08855-1331 Tel + 1 732 981 0060 Fax + 1 732 981 9667 httpshopieeeorgstore customer-serviceieeeorg
IEEE Computer Society AsiaRacific Office Watanabe Bldg 1-4-2 Minami- Aoyama Minato-ku Tokyo 107-0062 JAPAN Tel + 81 3 3408 31 18 Fax+81 334083553 tokyoofccomputerorg
Editorial production by A Denise Williams
Cover art production by Joseph DaigleStudio Productions
Printed in the United States of America by The Printing House
CGMPUTER SOCIETY
COMPSAC 2001 Foreword xv
Preface xvi
Program Overview xvii Conference Organizers xviiii
Program Committee xix
Reviewers xx
Opening Session
Plenary Session 1
Plenary Session 2
Keynote Address 1
The Wireless On-Ramp Always On Anywhere Computing
Paper Session 1 A Requirements Engineering
Terry Heng Motorola Global Software Group USA
Raymond A Paul Ofice of the Assisant Secretary of Defense USA
Terry Heng Motorola Global SofhYare Group USA
Mary Chan Vice President Wireless Networks Group Lucent Technologies USA
Chair Carl K Chang University of Illinois Chicago USA
Business Rules Specification Enforcement and Distribution for Heterogeneous Environments 3
Visualization Issues for Software Requirements Negotiation 10
D Rosca and J DAttilio
H In and S Roy
Paper Session 1 B Component-Based Development
Chair Michael C Zerofsky Lockheed-Martin USA
F Barbier Component-Based Design of Large-scale Distributed Systems 19
A Configuration Management System Supporting Component-Based Software Development 25
L Zhang H Mei and H Zhu
J Pazdziora Converting Web Applications to Data Components Design Methodology 3 1
V
Paper Session IC Protocols and Harmonization
Albert K iYawkes Somare Engineer Associates USA
A Long and Windmg Road (Progress on the Road to ii Software Engineering Profession) 39
J B Thompson
D Flater tznd K C Morris Harmonized Conformance Testing for Product Data Managers 46
Exploiting Automatic Analysis of E-Commerce Protocols 55
Panel 1 D Large Scale Software Development What Have We Learned
J Wei S-(7 Cheung and X Wang
Chair Bruce Healton Elegant Technology Solutions Inc USA Panelists Paul R Cole Wavetechnet USA
Birket Foster MB Foster Associates Ltd USA Frank Hill M2Direct USA Terri Jenisch Northern Telcom Global Canada Chi Lin Jet Propulsion Labs USA
Paper Session A Reverse Engineering and Re-Engineering
Chair William C Chu TungHai University Taiwan
ELKAR A Component Based Re-engineering Methodology to Provide Cooperation 65
JBOORET An Automated Tool to Recover 00 Design and Source Models 71
MOOSE-A Task -Driven Program Comprehension Environment 77
P Roose
H Mei T Xie and F Yang
J Rilling and A Seffah
Paper Session ZB Quality Management
Chair Dick Simmons Texas AampM University USA
Investigating Reinspection Decision Accuracy Regarding Product-Quality and Cost-Benefit Estimates 87
A Memory-Based ]Reasoning Approach for Assessing Software Quality 97
S Bifsl and M Halling
RA Paul VUB Challagulla FB Bastani und I-L Yen
T Walton Quality Planning for Software Development 104
Panel 2C Software Architecture Impact on Software Development
Chair Dennis Mulcare Telcordia Technologies Inc USA Panelists Maarten Boasson University of Amsterdam The Netherlands
Christine Hofmeister Lehigh UniversitySiemens USA Rick Kazman Sojlware Engineering Institute USA iampck Schantz BBN Technologies USA
Moderator Jim Coplien Bell Labs USA
C Hojkeister and R Nord From Software Architectue to Implementation with UML 113
vi
Panel 2D The Costs of Open Source Experiences
Chair Rodney V Lancaster Vericenter Inc USA Panelists Paul R Cole Wavetechnet USA
TBD
Paper Session 3 A Workflow Systems
Hongji Yang De Montfort University UK
RA Botha and JHP Eloff
AP Barros AHM ter Hofstede and C Szyperski
Designing Role Hierarchies for Access Control in Workflow Systems 117
Retrofitting Workflows for B2B Assembly 123
A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing 129
J Cao C Chan and K Chan
Paper Session 38 Software Architecture
Brian Henderson-Sellers University of Technology Sidney Australia
An Architectural Model for Service-Based Flexible Software 137 K Bennett J Xu M Munro Z Hong P Layzell N Gold D Budgen and P Brereton
U Hannemann and J Hooman Formal Design of Real-Time Components on a Shared Data Space Architecture 143
Information Theoretic Metrics for Software Architectures 15 1 M Shereshevsky H Ammari N Gradetsky A Mili and HH Ammar
Panel 3C Does SEI Level 5 Lead to High Quality Software
Chair Bob Yacobellis Motorola Global Software Group USA Panelists TBD
Panel 3D Telecommunications Software Age before Beauty
Chair Arnold Kwong Panelists Teresa Jenish Northern Telecom Global USA
David Mastbaum Aventail USA John McGuthry Telcordia USA Ed Powell Community Fiber USA
Keynote Address 2
Design and Anti-Design in the Birth of the World-Wide Web Stories of Software Engineering for the Web before Standards
Tim Krauskopj Vice President and General Manager Core Solutions Internet Software and Content Group Motorola USA
Paper Session 4 A Software Testing 1
Chair J Barrie Thompson University of Sunderland UK
J Zhang C Xu and S-C Cheung Automatic Generation of Database Instances for White-Box Testing 161
vii
End-To-End Integration Testing Design 166
Fault-Based Testing in the Absence of an Oracle 172
W-T Tsai X Bai RA Paul W Shao and V Agarwal
T Y Chen TH Tse and Z Zhou
Paper Session 14B Distributed Systems 1
Chair Maarten Boasson University of Amsterdam The Netherlands
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message Triggered Objects 18 1
Certificate Based Authorization Simulation System 190
An Election Based Approach to Fault-Tolerant Group Membership in
G Gimenez and K H Kim
J Dai and J Alves-Foss
Collaborative ]Environments 196 JS Pascoe RJ Loader and VS Sunderam
Paper Session 4C Unified Modeling Language (UML)
Chair Y7 Chu City University of Hong Kong China
P Chevalley and P Thevenod-Fosse
X Li Z Liu and J He
Automated Generation of Statistical Test Cases from UML State Diagrams 205
Formal and Use-Case Driven Requirement Analysis in UML 215
Model Driven Process Engineering 225
Panel 4D Designing Process Taming the Web Development Cycle
E Breton and J Bezivin
Chair Adam Steele DePaul University USA Panelists Roymieco A Carter DePaul University USA
Abbey Kuster Graphic and Web Designer NYC USA Jamie Prokell Multimedia Designer NYC USA
Designing Process Taming the Web Development Cycle 233
Paper Session 5 A Safety and Security
A Steele and R Carter
Chair Bruce McMillin University of Missouri-Rolla USA
Y Domaraisky M Perevozchikov A Ingulets and A Alkhovik
M-C Pong
Back-End Software for Highly Dependable Real-Time Control Systems 237
EC-SignGate Electronic Contract Signing Gateway 245
Systems 249 A Novel Intrusion Detection System Model for Securing Web-Based Database
W Shu and DTH Tan
viii
Paper Session 5B Distributed Systems 2
Chair Kinji Mori Tokyo Institute of Technology Japan
A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems 257
L-S Cheung and Y-K Kwok
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments 263
SS Yau and F Karim
QAME QoS-Aware Management Environment 269
Panel 5C Formalizing UML Semantics
LZ Granville and LMR Tarouco
Chair Xudong He Florida International University USA Panelists Betty H C Cheng Michigan State University USA
Robert France Colorado State University USA Sol Shatz The University of Illinois at Chicago USA
Formalizing UML Semantics 277
A Metamodel-Based Approach to Formalizing UML 278
Panel 5D End-to-End Integration Testing
X He
BHC Cheng
Chair Wei-Tek Tsai Arizona State University USA Panelists Amrit Goel Syracuse University USA
Hong Mei Peking University China Raymond A Paul Ofice of the Assistant Secretary of Defense USA
End-to-End Integration Testing 283
End-to-End Integration Testing in CBSD 284
End-to-End Integration Testing 286
Paper Session 6 A Commercial Off-The-Shelf Components
Chair Stephen Chen Motorola Global SofhYare Group USA
W-T Tsai
H Mei
RA Paul
DSIAS A Software Architectural Style for Distributed Software Integration Systems 291
Empirical Software Simulation for COTS Glue Code Development and Integration 297
Metrics-Guided Quality Management for Component-Based Software Systems 303
Z- W Hong J-M Lin HC Jiau and D-S Chen
J Baik N Eickelmann and C Abts
S Sedigh-Ali A Ghafoor and RA Paul
ix
Paper Session EiB Process Case Studies
Chair Guylaine Pollock Sandia National Lahoratories USA
DK W Chiu K Karlapalem and Q Li
S Morascci and G Russo
E-ADOME Enacting Composite E-Services in an Advanced Workflow Environment 3 1 1
An Empirical Study of Software Productivity 317
Test Operation-Driven Approach on Building Regression Testing Environment 323
Automation of Design and Development of Embedded Software on the Basis of a
H Suganuma K Nakamura and T Syomura
Strictly Defineid Software Architecture 329
An Editing System for Working Processes 332
Panel 6C The Plosition of E-Learning Application Software
S Baranov and V Kotlyarov
Y-S Chen and F-J Wang
Chair Elstzbe Cloete University of South Africa South Africa Panelists Ugo Buy The University of Illinois at Chicago USA
TY Lin San Jose State University USA Pradip Srimani Clemson University USA Peter K Wiesner IEEE Educational Activities USA
The Position of E-Learning Systems in 2001 341
Debunking some Common Misconceptions on E-Learning 342
Building the Infrastructure of E-University 344
E-Learning in 2001 346
E Cloete and M van der Merwe
U Buy
TY Lin Y Liu W Luo X Sun and H Zhou
P K Wiesner
Panel 6D 3G and Wireless Infrastructure Impacts on Developers and Users
Chair Arnold Kwong Panelists Michael McKee University of Minnesota at Rochester USA
Ed Powell Community Fiber USA Barry Storm Storm Technologies USA
Keynote Address 3
Information Technology Research Agenda New Developments and Ambitions Ruzena BaJicsy Assistant Director Directorate for Computer and Informatioiz Science and Engineering National Science Foundation USA
Paper Session 7 A Software Testing 2
Chair TH Tse The University of Hong Kong China
S Vilkomir and J Bowen Formalization of Software Testing Criteria Using the 2 Notation 35 1
X
Integrating White- and Black-Box Techniques for Class-Level Regression Testing 357
S Beydeda and V Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development 363
H Zhu and X He
Paper Session 78 Web-Based Systems
Chair Kiyoo Nakamura Alpha Systems Inc Japan
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security E-Commerce and Software Provisioning 37 1
A Rough Set Based Self-Adaptive Web Search Engine 377
Supporting Web Development in the OPEN Process Additional Tasks 383
D Mennie and B Pagurek
B Xu W Zhang H Yang and WC Chu
B Haire B Henderson-Sellers and D Lowe
Panel 7C What are the Missing Elements in SE Research and What Next
Chair Franck Xia University of Missouri-Rolla USA Panelists David Budgen Keele University UK
Jeffrey Voas Cigital USA Lawrence Votta Motorola USA Marvin Zelkowitz University of Maryland USA
Paper Session 8A Object-Oriented Development
Chair Jeffrey Voas Cigital USA
JF Bubba A Kaplan and JC Wileden The Exu Approach to Safe Transparent and Lightweight Interoperability 393
Task and Team Management in the Distributed Software Project Management Tool 401
HE Lam and P Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments 409
D Turgut N Aydin R Elmasri B Turgut
Paper Session 88 Embedded Systems
Chair Baowen Xu Southeast University China
T P Plaks Algebraic Transformations in Regular Array Design 417
A Case Study on Formal Design of Hybrid Control Systems 423
Reducing Matching Time for OPS5 Production Systems 429
H K Thae and D V Hung
JA Kang and AM K Cheng
xi
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
25th Annual International Computer Software and Applications
8-12 October 2001 Chicago Illinois
Sponsored by IEEE Computer Society
CG~PUTER SOCIETY
IEEE Los Alamitos California
Washington Brussels Tokyo
Clopyright 0 2001 by The Institute of Electrical and Electronics Engineers Inc All rights reserved
Copyright and Reprint Permissions Abstracting is permitted with credit to the source Libraries may photocopy beyand the limits of US copyright law for private use of patrons those articles in this volume that carry a coda at the bottom of the first page provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center 222 Rosewood Drive Danvers MA 01923
Other copying reprint or republication requests should be addressed to IEEE Copyrights Manager IEEE Service Center 445 Hoes Lane PO Box 133 Piscataway NJ 08855-1331
The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page They reflect the authorsrsquo opinions and in the interests of timely dissemination are published as presented and without change Their inclusion in this publication does not necessarily constitute endorsement by the editors the IEEB
- = --- - -=-= --- c == ~~ 3 T - --- I= _-_-rdquo
Inc
IEEE CSP ORDER NO PRO1372
ISBN 0-7803-73 16-2 (microfiche) ISBN 0-7695-1372-7
ISSN 0730-3157
L
Additional copies may be ordered from
IEEE Computer Society Customer Service Center 10662 Los Vaqueros Circle PO Box 3014
Tel + 1 714 821 8380 Fax+1714821 4641 httplIcomputerorg csbookscornpu terorg
LOS Alamitos C4 90720-1314
IEEE Service Center 445 Hoes Lane PO Box 1331 Piscataway NJ 08855-1331 Tel + 1 732 981 0060 Fax + 1 732 981 9667 httpshopieeeorgstore customer-serviceieeeorg
IEEE Computer Society AsiaRacific Office Watanabe Bldg 1-4-2 Minami- Aoyama Minato-ku Tokyo 107-0062 JAPAN Tel + 81 3 3408 31 18 Fax+81 334083553 tokyoofccomputerorg
Editorial production by A Denise Williams
Cover art production by Joseph DaigleStudio Productions
Printed in the United States of America by The Printing House
CGMPUTER SOCIETY
COMPSAC 2001 Foreword xv
Preface xvi
Program Overview xvii Conference Organizers xviiii
Program Committee xix
Reviewers xx
Opening Session
Plenary Session 1
Plenary Session 2
Keynote Address 1
The Wireless On-Ramp Always On Anywhere Computing
Paper Session 1 A Requirements Engineering
Terry Heng Motorola Global Software Group USA
Raymond A Paul Ofice of the Assisant Secretary of Defense USA
Terry Heng Motorola Global SofhYare Group USA
Mary Chan Vice President Wireless Networks Group Lucent Technologies USA
Chair Carl K Chang University of Illinois Chicago USA
Business Rules Specification Enforcement and Distribution for Heterogeneous Environments 3
Visualization Issues for Software Requirements Negotiation 10
D Rosca and J DAttilio
H In and S Roy
Paper Session 1 B Component-Based Development
Chair Michael C Zerofsky Lockheed-Martin USA
F Barbier Component-Based Design of Large-scale Distributed Systems 19
A Configuration Management System Supporting Component-Based Software Development 25
L Zhang H Mei and H Zhu
J Pazdziora Converting Web Applications to Data Components Design Methodology 3 1
V
Paper Session IC Protocols and Harmonization
Albert K iYawkes Somare Engineer Associates USA
A Long and Windmg Road (Progress on the Road to ii Software Engineering Profession) 39
J B Thompson
D Flater tznd K C Morris Harmonized Conformance Testing for Product Data Managers 46
Exploiting Automatic Analysis of E-Commerce Protocols 55
Panel 1 D Large Scale Software Development What Have We Learned
J Wei S-(7 Cheung and X Wang
Chair Bruce Healton Elegant Technology Solutions Inc USA Panelists Paul R Cole Wavetechnet USA
Birket Foster MB Foster Associates Ltd USA Frank Hill M2Direct USA Terri Jenisch Northern Telcom Global Canada Chi Lin Jet Propulsion Labs USA
Paper Session A Reverse Engineering and Re-Engineering
Chair William C Chu TungHai University Taiwan
ELKAR A Component Based Re-engineering Methodology to Provide Cooperation 65
JBOORET An Automated Tool to Recover 00 Design and Source Models 71
MOOSE-A Task -Driven Program Comprehension Environment 77
P Roose
H Mei T Xie and F Yang
J Rilling and A Seffah
Paper Session ZB Quality Management
Chair Dick Simmons Texas AampM University USA
Investigating Reinspection Decision Accuracy Regarding Product-Quality and Cost-Benefit Estimates 87
A Memory-Based ]Reasoning Approach for Assessing Software Quality 97
S Bifsl and M Halling
RA Paul VUB Challagulla FB Bastani und I-L Yen
T Walton Quality Planning for Software Development 104
Panel 2C Software Architecture Impact on Software Development
Chair Dennis Mulcare Telcordia Technologies Inc USA Panelists Maarten Boasson University of Amsterdam The Netherlands
Christine Hofmeister Lehigh UniversitySiemens USA Rick Kazman Sojlware Engineering Institute USA iampck Schantz BBN Technologies USA
Moderator Jim Coplien Bell Labs USA
C Hojkeister and R Nord From Software Architectue to Implementation with UML 113
vi
Panel 2D The Costs of Open Source Experiences
Chair Rodney V Lancaster Vericenter Inc USA Panelists Paul R Cole Wavetechnet USA
TBD
Paper Session 3 A Workflow Systems
Hongji Yang De Montfort University UK
RA Botha and JHP Eloff
AP Barros AHM ter Hofstede and C Szyperski
Designing Role Hierarchies for Access Control in Workflow Systems 117
Retrofitting Workflows for B2B Assembly 123
A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing 129
J Cao C Chan and K Chan
Paper Session 38 Software Architecture
Brian Henderson-Sellers University of Technology Sidney Australia
An Architectural Model for Service-Based Flexible Software 137 K Bennett J Xu M Munro Z Hong P Layzell N Gold D Budgen and P Brereton
U Hannemann and J Hooman Formal Design of Real-Time Components on a Shared Data Space Architecture 143
Information Theoretic Metrics for Software Architectures 15 1 M Shereshevsky H Ammari N Gradetsky A Mili and HH Ammar
Panel 3C Does SEI Level 5 Lead to High Quality Software
Chair Bob Yacobellis Motorola Global Software Group USA Panelists TBD
Panel 3D Telecommunications Software Age before Beauty
Chair Arnold Kwong Panelists Teresa Jenish Northern Telecom Global USA
David Mastbaum Aventail USA John McGuthry Telcordia USA Ed Powell Community Fiber USA
Keynote Address 2
Design and Anti-Design in the Birth of the World-Wide Web Stories of Software Engineering for the Web before Standards
Tim Krauskopj Vice President and General Manager Core Solutions Internet Software and Content Group Motorola USA
Paper Session 4 A Software Testing 1
Chair J Barrie Thompson University of Sunderland UK
J Zhang C Xu and S-C Cheung Automatic Generation of Database Instances for White-Box Testing 161
vii
End-To-End Integration Testing Design 166
Fault-Based Testing in the Absence of an Oracle 172
W-T Tsai X Bai RA Paul W Shao and V Agarwal
T Y Chen TH Tse and Z Zhou
Paper Session 14B Distributed Systems 1
Chair Maarten Boasson University of Amsterdam The Netherlands
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message Triggered Objects 18 1
Certificate Based Authorization Simulation System 190
An Election Based Approach to Fault-Tolerant Group Membership in
G Gimenez and K H Kim
J Dai and J Alves-Foss
Collaborative ]Environments 196 JS Pascoe RJ Loader and VS Sunderam
Paper Session 4C Unified Modeling Language (UML)
Chair Y7 Chu City University of Hong Kong China
P Chevalley and P Thevenod-Fosse
X Li Z Liu and J He
Automated Generation of Statistical Test Cases from UML State Diagrams 205
Formal and Use-Case Driven Requirement Analysis in UML 215
Model Driven Process Engineering 225
Panel 4D Designing Process Taming the Web Development Cycle
E Breton and J Bezivin
Chair Adam Steele DePaul University USA Panelists Roymieco A Carter DePaul University USA
Abbey Kuster Graphic and Web Designer NYC USA Jamie Prokell Multimedia Designer NYC USA
Designing Process Taming the Web Development Cycle 233
Paper Session 5 A Safety and Security
A Steele and R Carter
Chair Bruce McMillin University of Missouri-Rolla USA
Y Domaraisky M Perevozchikov A Ingulets and A Alkhovik
M-C Pong
Back-End Software for Highly Dependable Real-Time Control Systems 237
EC-SignGate Electronic Contract Signing Gateway 245
Systems 249 A Novel Intrusion Detection System Model for Securing Web-Based Database
W Shu and DTH Tan
viii
Paper Session 5B Distributed Systems 2
Chair Kinji Mori Tokyo Institute of Technology Japan
A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems 257
L-S Cheung and Y-K Kwok
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments 263
SS Yau and F Karim
QAME QoS-Aware Management Environment 269
Panel 5C Formalizing UML Semantics
LZ Granville and LMR Tarouco
Chair Xudong He Florida International University USA Panelists Betty H C Cheng Michigan State University USA
Robert France Colorado State University USA Sol Shatz The University of Illinois at Chicago USA
Formalizing UML Semantics 277
A Metamodel-Based Approach to Formalizing UML 278
Panel 5D End-to-End Integration Testing
X He
BHC Cheng
Chair Wei-Tek Tsai Arizona State University USA Panelists Amrit Goel Syracuse University USA
Hong Mei Peking University China Raymond A Paul Ofice of the Assistant Secretary of Defense USA
End-to-End Integration Testing 283
End-to-End Integration Testing in CBSD 284
End-to-End Integration Testing 286
Paper Session 6 A Commercial Off-The-Shelf Components
Chair Stephen Chen Motorola Global SofhYare Group USA
W-T Tsai
H Mei
RA Paul
DSIAS A Software Architectural Style for Distributed Software Integration Systems 291
Empirical Software Simulation for COTS Glue Code Development and Integration 297
Metrics-Guided Quality Management for Component-Based Software Systems 303
Z- W Hong J-M Lin HC Jiau and D-S Chen
J Baik N Eickelmann and C Abts
S Sedigh-Ali A Ghafoor and RA Paul
ix
Paper Session EiB Process Case Studies
Chair Guylaine Pollock Sandia National Lahoratories USA
DK W Chiu K Karlapalem and Q Li
S Morascci and G Russo
E-ADOME Enacting Composite E-Services in an Advanced Workflow Environment 3 1 1
An Empirical Study of Software Productivity 317
Test Operation-Driven Approach on Building Regression Testing Environment 323
Automation of Design and Development of Embedded Software on the Basis of a
H Suganuma K Nakamura and T Syomura
Strictly Defineid Software Architecture 329
An Editing System for Working Processes 332
Panel 6C The Plosition of E-Learning Application Software
S Baranov and V Kotlyarov
Y-S Chen and F-J Wang
Chair Elstzbe Cloete University of South Africa South Africa Panelists Ugo Buy The University of Illinois at Chicago USA
TY Lin San Jose State University USA Pradip Srimani Clemson University USA Peter K Wiesner IEEE Educational Activities USA
The Position of E-Learning Systems in 2001 341
Debunking some Common Misconceptions on E-Learning 342
Building the Infrastructure of E-University 344
E-Learning in 2001 346
E Cloete and M van der Merwe
U Buy
TY Lin Y Liu W Luo X Sun and H Zhou
P K Wiesner
Panel 6D 3G and Wireless Infrastructure Impacts on Developers and Users
Chair Arnold Kwong Panelists Michael McKee University of Minnesota at Rochester USA
Ed Powell Community Fiber USA Barry Storm Storm Technologies USA
Keynote Address 3
Information Technology Research Agenda New Developments and Ambitions Ruzena BaJicsy Assistant Director Directorate for Computer and Informatioiz Science and Engineering National Science Foundation USA
Paper Session 7 A Software Testing 2
Chair TH Tse The University of Hong Kong China
S Vilkomir and J Bowen Formalization of Software Testing Criteria Using the 2 Notation 35 1
X
Integrating White- and Black-Box Techniques for Class-Level Regression Testing 357
S Beydeda and V Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development 363
H Zhu and X He
Paper Session 78 Web-Based Systems
Chair Kiyoo Nakamura Alpha Systems Inc Japan
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security E-Commerce and Software Provisioning 37 1
A Rough Set Based Self-Adaptive Web Search Engine 377
Supporting Web Development in the OPEN Process Additional Tasks 383
D Mennie and B Pagurek
B Xu W Zhang H Yang and WC Chu
B Haire B Henderson-Sellers and D Lowe
Panel 7C What are the Missing Elements in SE Research and What Next
Chair Franck Xia University of Missouri-Rolla USA Panelists David Budgen Keele University UK
Jeffrey Voas Cigital USA Lawrence Votta Motorola USA Marvin Zelkowitz University of Maryland USA
Paper Session 8A Object-Oriented Development
Chair Jeffrey Voas Cigital USA
JF Bubba A Kaplan and JC Wileden The Exu Approach to Safe Transparent and Lightweight Interoperability 393
Task and Team Management in the Distributed Software Project Management Tool 401
HE Lam and P Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments 409
D Turgut N Aydin R Elmasri B Turgut
Paper Session 88 Embedded Systems
Chair Baowen Xu Southeast University China
T P Plaks Algebraic Transformations in Regular Array Design 417
A Case Study on Formal Design of Hybrid Control Systems 423
Reducing Matching Time for OPS5 Production Systems 429
H K Thae and D V Hung
JA Kang and AM K Cheng
xi
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
Clopyright 0 2001 by The Institute of Electrical and Electronics Engineers Inc All rights reserved
Copyright and Reprint Permissions Abstracting is permitted with credit to the source Libraries may photocopy beyand the limits of US copyright law for private use of patrons those articles in this volume that carry a coda at the bottom of the first page provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center 222 Rosewood Drive Danvers MA 01923
Other copying reprint or republication requests should be addressed to IEEE Copyrights Manager IEEE Service Center 445 Hoes Lane PO Box 133 Piscataway NJ 08855-1331
The papers in this book comprise the proceedings of the meeting mentioned on the cover and title page They reflect the authorsrsquo opinions and in the interests of timely dissemination are published as presented and without change Their inclusion in this publication does not necessarily constitute endorsement by the editors the IEEB
- = --- - -=-= --- c == ~~ 3 T - --- I= _-_-rdquo
Inc
IEEE CSP ORDER NO PRO1372
ISBN 0-7803-73 16-2 (microfiche) ISBN 0-7695-1372-7
ISSN 0730-3157
L
Additional copies may be ordered from
IEEE Computer Society Customer Service Center 10662 Los Vaqueros Circle PO Box 3014
Tel + 1 714 821 8380 Fax+1714821 4641 httplIcomputerorg csbookscornpu terorg
LOS Alamitos C4 90720-1314
IEEE Service Center 445 Hoes Lane PO Box 1331 Piscataway NJ 08855-1331 Tel + 1 732 981 0060 Fax + 1 732 981 9667 httpshopieeeorgstore customer-serviceieeeorg
IEEE Computer Society AsiaRacific Office Watanabe Bldg 1-4-2 Minami- Aoyama Minato-ku Tokyo 107-0062 JAPAN Tel + 81 3 3408 31 18 Fax+81 334083553 tokyoofccomputerorg
Editorial production by A Denise Williams
Cover art production by Joseph DaigleStudio Productions
Printed in the United States of America by The Printing House
CGMPUTER SOCIETY
COMPSAC 2001 Foreword xv
Preface xvi
Program Overview xvii Conference Organizers xviiii
Program Committee xix
Reviewers xx
Opening Session
Plenary Session 1
Plenary Session 2
Keynote Address 1
The Wireless On-Ramp Always On Anywhere Computing
Paper Session 1 A Requirements Engineering
Terry Heng Motorola Global Software Group USA
Raymond A Paul Ofice of the Assisant Secretary of Defense USA
Terry Heng Motorola Global SofhYare Group USA
Mary Chan Vice President Wireless Networks Group Lucent Technologies USA
Chair Carl K Chang University of Illinois Chicago USA
Business Rules Specification Enforcement and Distribution for Heterogeneous Environments 3
Visualization Issues for Software Requirements Negotiation 10
D Rosca and J DAttilio
H In and S Roy
Paper Session 1 B Component-Based Development
Chair Michael C Zerofsky Lockheed-Martin USA
F Barbier Component-Based Design of Large-scale Distributed Systems 19
A Configuration Management System Supporting Component-Based Software Development 25
L Zhang H Mei and H Zhu
J Pazdziora Converting Web Applications to Data Components Design Methodology 3 1
V
Paper Session IC Protocols and Harmonization
Albert K iYawkes Somare Engineer Associates USA
A Long and Windmg Road (Progress on the Road to ii Software Engineering Profession) 39
J B Thompson
D Flater tznd K C Morris Harmonized Conformance Testing for Product Data Managers 46
Exploiting Automatic Analysis of E-Commerce Protocols 55
Panel 1 D Large Scale Software Development What Have We Learned
J Wei S-(7 Cheung and X Wang
Chair Bruce Healton Elegant Technology Solutions Inc USA Panelists Paul R Cole Wavetechnet USA
Birket Foster MB Foster Associates Ltd USA Frank Hill M2Direct USA Terri Jenisch Northern Telcom Global Canada Chi Lin Jet Propulsion Labs USA
Paper Session A Reverse Engineering and Re-Engineering
Chair William C Chu TungHai University Taiwan
ELKAR A Component Based Re-engineering Methodology to Provide Cooperation 65
JBOORET An Automated Tool to Recover 00 Design and Source Models 71
MOOSE-A Task -Driven Program Comprehension Environment 77
P Roose
H Mei T Xie and F Yang
J Rilling and A Seffah
Paper Session ZB Quality Management
Chair Dick Simmons Texas AampM University USA
Investigating Reinspection Decision Accuracy Regarding Product-Quality and Cost-Benefit Estimates 87
A Memory-Based ]Reasoning Approach for Assessing Software Quality 97
S Bifsl and M Halling
RA Paul VUB Challagulla FB Bastani und I-L Yen
T Walton Quality Planning for Software Development 104
Panel 2C Software Architecture Impact on Software Development
Chair Dennis Mulcare Telcordia Technologies Inc USA Panelists Maarten Boasson University of Amsterdam The Netherlands
Christine Hofmeister Lehigh UniversitySiemens USA Rick Kazman Sojlware Engineering Institute USA iampck Schantz BBN Technologies USA
Moderator Jim Coplien Bell Labs USA
C Hojkeister and R Nord From Software Architectue to Implementation with UML 113
vi
Panel 2D The Costs of Open Source Experiences
Chair Rodney V Lancaster Vericenter Inc USA Panelists Paul R Cole Wavetechnet USA
TBD
Paper Session 3 A Workflow Systems
Hongji Yang De Montfort University UK
RA Botha and JHP Eloff
AP Barros AHM ter Hofstede and C Szyperski
Designing Role Hierarchies for Access Control in Workflow Systems 117
Retrofitting Workflows for B2B Assembly 123
A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing 129
J Cao C Chan and K Chan
Paper Session 38 Software Architecture
Brian Henderson-Sellers University of Technology Sidney Australia
An Architectural Model for Service-Based Flexible Software 137 K Bennett J Xu M Munro Z Hong P Layzell N Gold D Budgen and P Brereton
U Hannemann and J Hooman Formal Design of Real-Time Components on a Shared Data Space Architecture 143
Information Theoretic Metrics for Software Architectures 15 1 M Shereshevsky H Ammari N Gradetsky A Mili and HH Ammar
Panel 3C Does SEI Level 5 Lead to High Quality Software
Chair Bob Yacobellis Motorola Global Software Group USA Panelists TBD
Panel 3D Telecommunications Software Age before Beauty
Chair Arnold Kwong Panelists Teresa Jenish Northern Telecom Global USA
David Mastbaum Aventail USA John McGuthry Telcordia USA Ed Powell Community Fiber USA
Keynote Address 2
Design and Anti-Design in the Birth of the World-Wide Web Stories of Software Engineering for the Web before Standards
Tim Krauskopj Vice President and General Manager Core Solutions Internet Software and Content Group Motorola USA
Paper Session 4 A Software Testing 1
Chair J Barrie Thompson University of Sunderland UK
J Zhang C Xu and S-C Cheung Automatic Generation of Database Instances for White-Box Testing 161
vii
End-To-End Integration Testing Design 166
Fault-Based Testing in the Absence of an Oracle 172
W-T Tsai X Bai RA Paul W Shao and V Agarwal
T Y Chen TH Tse and Z Zhou
Paper Session 14B Distributed Systems 1
Chair Maarten Boasson University of Amsterdam The Netherlands
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message Triggered Objects 18 1
Certificate Based Authorization Simulation System 190
An Election Based Approach to Fault-Tolerant Group Membership in
G Gimenez and K H Kim
J Dai and J Alves-Foss
Collaborative ]Environments 196 JS Pascoe RJ Loader and VS Sunderam
Paper Session 4C Unified Modeling Language (UML)
Chair Y7 Chu City University of Hong Kong China
P Chevalley and P Thevenod-Fosse
X Li Z Liu and J He
Automated Generation of Statistical Test Cases from UML State Diagrams 205
Formal and Use-Case Driven Requirement Analysis in UML 215
Model Driven Process Engineering 225
Panel 4D Designing Process Taming the Web Development Cycle
E Breton and J Bezivin
Chair Adam Steele DePaul University USA Panelists Roymieco A Carter DePaul University USA
Abbey Kuster Graphic and Web Designer NYC USA Jamie Prokell Multimedia Designer NYC USA
Designing Process Taming the Web Development Cycle 233
Paper Session 5 A Safety and Security
A Steele and R Carter
Chair Bruce McMillin University of Missouri-Rolla USA
Y Domaraisky M Perevozchikov A Ingulets and A Alkhovik
M-C Pong
Back-End Software for Highly Dependable Real-Time Control Systems 237
EC-SignGate Electronic Contract Signing Gateway 245
Systems 249 A Novel Intrusion Detection System Model for Securing Web-Based Database
W Shu and DTH Tan
viii
Paper Session 5B Distributed Systems 2
Chair Kinji Mori Tokyo Institute of Technology Japan
A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems 257
L-S Cheung and Y-K Kwok
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments 263
SS Yau and F Karim
QAME QoS-Aware Management Environment 269
Panel 5C Formalizing UML Semantics
LZ Granville and LMR Tarouco
Chair Xudong He Florida International University USA Panelists Betty H C Cheng Michigan State University USA
Robert France Colorado State University USA Sol Shatz The University of Illinois at Chicago USA
Formalizing UML Semantics 277
A Metamodel-Based Approach to Formalizing UML 278
Panel 5D End-to-End Integration Testing
X He
BHC Cheng
Chair Wei-Tek Tsai Arizona State University USA Panelists Amrit Goel Syracuse University USA
Hong Mei Peking University China Raymond A Paul Ofice of the Assistant Secretary of Defense USA
End-to-End Integration Testing 283
End-to-End Integration Testing in CBSD 284
End-to-End Integration Testing 286
Paper Session 6 A Commercial Off-The-Shelf Components
Chair Stephen Chen Motorola Global SofhYare Group USA
W-T Tsai
H Mei
RA Paul
DSIAS A Software Architectural Style for Distributed Software Integration Systems 291
Empirical Software Simulation for COTS Glue Code Development and Integration 297
Metrics-Guided Quality Management for Component-Based Software Systems 303
Z- W Hong J-M Lin HC Jiau and D-S Chen
J Baik N Eickelmann and C Abts
S Sedigh-Ali A Ghafoor and RA Paul
ix
Paper Session EiB Process Case Studies
Chair Guylaine Pollock Sandia National Lahoratories USA
DK W Chiu K Karlapalem and Q Li
S Morascci and G Russo
E-ADOME Enacting Composite E-Services in an Advanced Workflow Environment 3 1 1
An Empirical Study of Software Productivity 317
Test Operation-Driven Approach on Building Regression Testing Environment 323
Automation of Design and Development of Embedded Software on the Basis of a
H Suganuma K Nakamura and T Syomura
Strictly Defineid Software Architecture 329
An Editing System for Working Processes 332
Panel 6C The Plosition of E-Learning Application Software
S Baranov and V Kotlyarov
Y-S Chen and F-J Wang
Chair Elstzbe Cloete University of South Africa South Africa Panelists Ugo Buy The University of Illinois at Chicago USA
TY Lin San Jose State University USA Pradip Srimani Clemson University USA Peter K Wiesner IEEE Educational Activities USA
The Position of E-Learning Systems in 2001 341
Debunking some Common Misconceptions on E-Learning 342
Building the Infrastructure of E-University 344
E-Learning in 2001 346
E Cloete and M van der Merwe
U Buy
TY Lin Y Liu W Luo X Sun and H Zhou
P K Wiesner
Panel 6D 3G and Wireless Infrastructure Impacts on Developers and Users
Chair Arnold Kwong Panelists Michael McKee University of Minnesota at Rochester USA
Ed Powell Community Fiber USA Barry Storm Storm Technologies USA
Keynote Address 3
Information Technology Research Agenda New Developments and Ambitions Ruzena BaJicsy Assistant Director Directorate for Computer and Informatioiz Science and Engineering National Science Foundation USA
Paper Session 7 A Software Testing 2
Chair TH Tse The University of Hong Kong China
S Vilkomir and J Bowen Formalization of Software Testing Criteria Using the 2 Notation 35 1
X
Integrating White- and Black-Box Techniques for Class-Level Regression Testing 357
S Beydeda and V Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development 363
H Zhu and X He
Paper Session 78 Web-Based Systems
Chair Kiyoo Nakamura Alpha Systems Inc Japan
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security E-Commerce and Software Provisioning 37 1
A Rough Set Based Self-Adaptive Web Search Engine 377
Supporting Web Development in the OPEN Process Additional Tasks 383
D Mennie and B Pagurek
B Xu W Zhang H Yang and WC Chu
B Haire B Henderson-Sellers and D Lowe
Panel 7C What are the Missing Elements in SE Research and What Next
Chair Franck Xia University of Missouri-Rolla USA Panelists David Budgen Keele University UK
Jeffrey Voas Cigital USA Lawrence Votta Motorola USA Marvin Zelkowitz University of Maryland USA
Paper Session 8A Object-Oriented Development
Chair Jeffrey Voas Cigital USA
JF Bubba A Kaplan and JC Wileden The Exu Approach to Safe Transparent and Lightweight Interoperability 393
Task and Team Management in the Distributed Software Project Management Tool 401
HE Lam and P Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments 409
D Turgut N Aydin R Elmasri B Turgut
Paper Session 88 Embedded Systems
Chair Baowen Xu Southeast University China
T P Plaks Algebraic Transformations in Regular Array Design 417
A Case Study on Formal Design of Hybrid Control Systems 423
Reducing Matching Time for OPS5 Production Systems 429
H K Thae and D V Hung
JA Kang and AM K Cheng
xi
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
COMPSAC 2001 Foreword xv
Preface xvi
Program Overview xvii Conference Organizers xviiii
Program Committee xix
Reviewers xx
Opening Session
Plenary Session 1
Plenary Session 2
Keynote Address 1
The Wireless On-Ramp Always On Anywhere Computing
Paper Session 1 A Requirements Engineering
Terry Heng Motorola Global Software Group USA
Raymond A Paul Ofice of the Assisant Secretary of Defense USA
Terry Heng Motorola Global SofhYare Group USA
Mary Chan Vice President Wireless Networks Group Lucent Technologies USA
Chair Carl K Chang University of Illinois Chicago USA
Business Rules Specification Enforcement and Distribution for Heterogeneous Environments 3
Visualization Issues for Software Requirements Negotiation 10
D Rosca and J DAttilio
H In and S Roy
Paper Session 1 B Component-Based Development
Chair Michael C Zerofsky Lockheed-Martin USA
F Barbier Component-Based Design of Large-scale Distributed Systems 19
A Configuration Management System Supporting Component-Based Software Development 25
L Zhang H Mei and H Zhu
J Pazdziora Converting Web Applications to Data Components Design Methodology 3 1
V
Paper Session IC Protocols and Harmonization
Albert K iYawkes Somare Engineer Associates USA
A Long and Windmg Road (Progress on the Road to ii Software Engineering Profession) 39
J B Thompson
D Flater tznd K C Morris Harmonized Conformance Testing for Product Data Managers 46
Exploiting Automatic Analysis of E-Commerce Protocols 55
Panel 1 D Large Scale Software Development What Have We Learned
J Wei S-(7 Cheung and X Wang
Chair Bruce Healton Elegant Technology Solutions Inc USA Panelists Paul R Cole Wavetechnet USA
Birket Foster MB Foster Associates Ltd USA Frank Hill M2Direct USA Terri Jenisch Northern Telcom Global Canada Chi Lin Jet Propulsion Labs USA
Paper Session A Reverse Engineering and Re-Engineering
Chair William C Chu TungHai University Taiwan
ELKAR A Component Based Re-engineering Methodology to Provide Cooperation 65
JBOORET An Automated Tool to Recover 00 Design and Source Models 71
MOOSE-A Task -Driven Program Comprehension Environment 77
P Roose
H Mei T Xie and F Yang
J Rilling and A Seffah
Paper Session ZB Quality Management
Chair Dick Simmons Texas AampM University USA
Investigating Reinspection Decision Accuracy Regarding Product-Quality and Cost-Benefit Estimates 87
A Memory-Based ]Reasoning Approach for Assessing Software Quality 97
S Bifsl and M Halling
RA Paul VUB Challagulla FB Bastani und I-L Yen
T Walton Quality Planning for Software Development 104
Panel 2C Software Architecture Impact on Software Development
Chair Dennis Mulcare Telcordia Technologies Inc USA Panelists Maarten Boasson University of Amsterdam The Netherlands
Christine Hofmeister Lehigh UniversitySiemens USA Rick Kazman Sojlware Engineering Institute USA iampck Schantz BBN Technologies USA
Moderator Jim Coplien Bell Labs USA
C Hojkeister and R Nord From Software Architectue to Implementation with UML 113
vi
Panel 2D The Costs of Open Source Experiences
Chair Rodney V Lancaster Vericenter Inc USA Panelists Paul R Cole Wavetechnet USA
TBD
Paper Session 3 A Workflow Systems
Hongji Yang De Montfort University UK
RA Botha and JHP Eloff
AP Barros AHM ter Hofstede and C Szyperski
Designing Role Hierarchies for Access Control in Workflow Systems 117
Retrofitting Workflows for B2B Assembly 123
A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing 129
J Cao C Chan and K Chan
Paper Session 38 Software Architecture
Brian Henderson-Sellers University of Technology Sidney Australia
An Architectural Model for Service-Based Flexible Software 137 K Bennett J Xu M Munro Z Hong P Layzell N Gold D Budgen and P Brereton
U Hannemann and J Hooman Formal Design of Real-Time Components on a Shared Data Space Architecture 143
Information Theoretic Metrics for Software Architectures 15 1 M Shereshevsky H Ammari N Gradetsky A Mili and HH Ammar
Panel 3C Does SEI Level 5 Lead to High Quality Software
Chair Bob Yacobellis Motorola Global Software Group USA Panelists TBD
Panel 3D Telecommunications Software Age before Beauty
Chair Arnold Kwong Panelists Teresa Jenish Northern Telecom Global USA
David Mastbaum Aventail USA John McGuthry Telcordia USA Ed Powell Community Fiber USA
Keynote Address 2
Design and Anti-Design in the Birth of the World-Wide Web Stories of Software Engineering for the Web before Standards
Tim Krauskopj Vice President and General Manager Core Solutions Internet Software and Content Group Motorola USA
Paper Session 4 A Software Testing 1
Chair J Barrie Thompson University of Sunderland UK
J Zhang C Xu and S-C Cheung Automatic Generation of Database Instances for White-Box Testing 161
vii
End-To-End Integration Testing Design 166
Fault-Based Testing in the Absence of an Oracle 172
W-T Tsai X Bai RA Paul W Shao and V Agarwal
T Y Chen TH Tse and Z Zhou
Paper Session 14B Distributed Systems 1
Chair Maarten Boasson University of Amsterdam The Netherlands
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message Triggered Objects 18 1
Certificate Based Authorization Simulation System 190
An Election Based Approach to Fault-Tolerant Group Membership in
G Gimenez and K H Kim
J Dai and J Alves-Foss
Collaborative ]Environments 196 JS Pascoe RJ Loader and VS Sunderam
Paper Session 4C Unified Modeling Language (UML)
Chair Y7 Chu City University of Hong Kong China
P Chevalley and P Thevenod-Fosse
X Li Z Liu and J He
Automated Generation of Statistical Test Cases from UML State Diagrams 205
Formal and Use-Case Driven Requirement Analysis in UML 215
Model Driven Process Engineering 225
Panel 4D Designing Process Taming the Web Development Cycle
E Breton and J Bezivin
Chair Adam Steele DePaul University USA Panelists Roymieco A Carter DePaul University USA
Abbey Kuster Graphic and Web Designer NYC USA Jamie Prokell Multimedia Designer NYC USA
Designing Process Taming the Web Development Cycle 233
Paper Session 5 A Safety and Security
A Steele and R Carter
Chair Bruce McMillin University of Missouri-Rolla USA
Y Domaraisky M Perevozchikov A Ingulets and A Alkhovik
M-C Pong
Back-End Software for Highly Dependable Real-Time Control Systems 237
EC-SignGate Electronic Contract Signing Gateway 245
Systems 249 A Novel Intrusion Detection System Model for Securing Web-Based Database
W Shu and DTH Tan
viii
Paper Session 5B Distributed Systems 2
Chair Kinji Mori Tokyo Institute of Technology Japan
A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems 257
L-S Cheung and Y-K Kwok
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments 263
SS Yau and F Karim
QAME QoS-Aware Management Environment 269
Panel 5C Formalizing UML Semantics
LZ Granville and LMR Tarouco
Chair Xudong He Florida International University USA Panelists Betty H C Cheng Michigan State University USA
Robert France Colorado State University USA Sol Shatz The University of Illinois at Chicago USA
Formalizing UML Semantics 277
A Metamodel-Based Approach to Formalizing UML 278
Panel 5D End-to-End Integration Testing
X He
BHC Cheng
Chair Wei-Tek Tsai Arizona State University USA Panelists Amrit Goel Syracuse University USA
Hong Mei Peking University China Raymond A Paul Ofice of the Assistant Secretary of Defense USA
End-to-End Integration Testing 283
End-to-End Integration Testing in CBSD 284
End-to-End Integration Testing 286
Paper Session 6 A Commercial Off-The-Shelf Components
Chair Stephen Chen Motorola Global SofhYare Group USA
W-T Tsai
H Mei
RA Paul
DSIAS A Software Architectural Style for Distributed Software Integration Systems 291
Empirical Software Simulation for COTS Glue Code Development and Integration 297
Metrics-Guided Quality Management for Component-Based Software Systems 303
Z- W Hong J-M Lin HC Jiau and D-S Chen
J Baik N Eickelmann and C Abts
S Sedigh-Ali A Ghafoor and RA Paul
ix
Paper Session EiB Process Case Studies
Chair Guylaine Pollock Sandia National Lahoratories USA
DK W Chiu K Karlapalem and Q Li
S Morascci and G Russo
E-ADOME Enacting Composite E-Services in an Advanced Workflow Environment 3 1 1
An Empirical Study of Software Productivity 317
Test Operation-Driven Approach on Building Regression Testing Environment 323
Automation of Design and Development of Embedded Software on the Basis of a
H Suganuma K Nakamura and T Syomura
Strictly Defineid Software Architecture 329
An Editing System for Working Processes 332
Panel 6C The Plosition of E-Learning Application Software
S Baranov and V Kotlyarov
Y-S Chen and F-J Wang
Chair Elstzbe Cloete University of South Africa South Africa Panelists Ugo Buy The University of Illinois at Chicago USA
TY Lin San Jose State University USA Pradip Srimani Clemson University USA Peter K Wiesner IEEE Educational Activities USA
The Position of E-Learning Systems in 2001 341
Debunking some Common Misconceptions on E-Learning 342
Building the Infrastructure of E-University 344
E-Learning in 2001 346
E Cloete and M van der Merwe
U Buy
TY Lin Y Liu W Luo X Sun and H Zhou
P K Wiesner
Panel 6D 3G and Wireless Infrastructure Impacts on Developers and Users
Chair Arnold Kwong Panelists Michael McKee University of Minnesota at Rochester USA
Ed Powell Community Fiber USA Barry Storm Storm Technologies USA
Keynote Address 3
Information Technology Research Agenda New Developments and Ambitions Ruzena BaJicsy Assistant Director Directorate for Computer and Informatioiz Science and Engineering National Science Foundation USA
Paper Session 7 A Software Testing 2
Chair TH Tse The University of Hong Kong China
S Vilkomir and J Bowen Formalization of Software Testing Criteria Using the 2 Notation 35 1
X
Integrating White- and Black-Box Techniques for Class-Level Regression Testing 357
S Beydeda and V Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development 363
H Zhu and X He
Paper Session 78 Web-Based Systems
Chair Kiyoo Nakamura Alpha Systems Inc Japan
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security E-Commerce and Software Provisioning 37 1
A Rough Set Based Self-Adaptive Web Search Engine 377
Supporting Web Development in the OPEN Process Additional Tasks 383
D Mennie and B Pagurek
B Xu W Zhang H Yang and WC Chu
B Haire B Henderson-Sellers and D Lowe
Panel 7C What are the Missing Elements in SE Research and What Next
Chair Franck Xia University of Missouri-Rolla USA Panelists David Budgen Keele University UK
Jeffrey Voas Cigital USA Lawrence Votta Motorola USA Marvin Zelkowitz University of Maryland USA
Paper Session 8A Object-Oriented Development
Chair Jeffrey Voas Cigital USA
JF Bubba A Kaplan and JC Wileden The Exu Approach to Safe Transparent and Lightweight Interoperability 393
Task and Team Management in the Distributed Software Project Management Tool 401
HE Lam and P Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments 409
D Turgut N Aydin R Elmasri B Turgut
Paper Session 88 Embedded Systems
Chair Baowen Xu Southeast University China
T P Plaks Algebraic Transformations in Regular Array Design 417
A Case Study on Formal Design of Hybrid Control Systems 423
Reducing Matching Time for OPS5 Production Systems 429
H K Thae and D V Hung
JA Kang and AM K Cheng
xi
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
Paper Session IC Protocols and Harmonization
Albert K iYawkes Somare Engineer Associates USA
A Long and Windmg Road (Progress on the Road to ii Software Engineering Profession) 39
J B Thompson
D Flater tznd K C Morris Harmonized Conformance Testing for Product Data Managers 46
Exploiting Automatic Analysis of E-Commerce Protocols 55
Panel 1 D Large Scale Software Development What Have We Learned
J Wei S-(7 Cheung and X Wang
Chair Bruce Healton Elegant Technology Solutions Inc USA Panelists Paul R Cole Wavetechnet USA
Birket Foster MB Foster Associates Ltd USA Frank Hill M2Direct USA Terri Jenisch Northern Telcom Global Canada Chi Lin Jet Propulsion Labs USA
Paper Session A Reverse Engineering and Re-Engineering
Chair William C Chu TungHai University Taiwan
ELKAR A Component Based Re-engineering Methodology to Provide Cooperation 65
JBOORET An Automated Tool to Recover 00 Design and Source Models 71
MOOSE-A Task -Driven Program Comprehension Environment 77
P Roose
H Mei T Xie and F Yang
J Rilling and A Seffah
Paper Session ZB Quality Management
Chair Dick Simmons Texas AampM University USA
Investigating Reinspection Decision Accuracy Regarding Product-Quality and Cost-Benefit Estimates 87
A Memory-Based ]Reasoning Approach for Assessing Software Quality 97
S Bifsl and M Halling
RA Paul VUB Challagulla FB Bastani und I-L Yen
T Walton Quality Planning for Software Development 104
Panel 2C Software Architecture Impact on Software Development
Chair Dennis Mulcare Telcordia Technologies Inc USA Panelists Maarten Boasson University of Amsterdam The Netherlands
Christine Hofmeister Lehigh UniversitySiemens USA Rick Kazman Sojlware Engineering Institute USA iampck Schantz BBN Technologies USA
Moderator Jim Coplien Bell Labs USA
C Hojkeister and R Nord From Software Architectue to Implementation with UML 113
vi
Panel 2D The Costs of Open Source Experiences
Chair Rodney V Lancaster Vericenter Inc USA Panelists Paul R Cole Wavetechnet USA
TBD
Paper Session 3 A Workflow Systems
Hongji Yang De Montfort University UK
RA Botha and JHP Eloff
AP Barros AHM ter Hofstede and C Szyperski
Designing Role Hierarchies for Access Control in Workflow Systems 117
Retrofitting Workflows for B2B Assembly 123
A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing 129
J Cao C Chan and K Chan
Paper Session 38 Software Architecture
Brian Henderson-Sellers University of Technology Sidney Australia
An Architectural Model for Service-Based Flexible Software 137 K Bennett J Xu M Munro Z Hong P Layzell N Gold D Budgen and P Brereton
U Hannemann and J Hooman Formal Design of Real-Time Components on a Shared Data Space Architecture 143
Information Theoretic Metrics for Software Architectures 15 1 M Shereshevsky H Ammari N Gradetsky A Mili and HH Ammar
Panel 3C Does SEI Level 5 Lead to High Quality Software
Chair Bob Yacobellis Motorola Global Software Group USA Panelists TBD
Panel 3D Telecommunications Software Age before Beauty
Chair Arnold Kwong Panelists Teresa Jenish Northern Telecom Global USA
David Mastbaum Aventail USA John McGuthry Telcordia USA Ed Powell Community Fiber USA
Keynote Address 2
Design and Anti-Design in the Birth of the World-Wide Web Stories of Software Engineering for the Web before Standards
Tim Krauskopj Vice President and General Manager Core Solutions Internet Software and Content Group Motorola USA
Paper Session 4 A Software Testing 1
Chair J Barrie Thompson University of Sunderland UK
J Zhang C Xu and S-C Cheung Automatic Generation of Database Instances for White-Box Testing 161
vii
End-To-End Integration Testing Design 166
Fault-Based Testing in the Absence of an Oracle 172
W-T Tsai X Bai RA Paul W Shao and V Agarwal
T Y Chen TH Tse and Z Zhou
Paper Session 14B Distributed Systems 1
Chair Maarten Boasson University of Amsterdam The Netherlands
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message Triggered Objects 18 1
Certificate Based Authorization Simulation System 190
An Election Based Approach to Fault-Tolerant Group Membership in
G Gimenez and K H Kim
J Dai and J Alves-Foss
Collaborative ]Environments 196 JS Pascoe RJ Loader and VS Sunderam
Paper Session 4C Unified Modeling Language (UML)
Chair Y7 Chu City University of Hong Kong China
P Chevalley and P Thevenod-Fosse
X Li Z Liu and J He
Automated Generation of Statistical Test Cases from UML State Diagrams 205
Formal and Use-Case Driven Requirement Analysis in UML 215
Model Driven Process Engineering 225
Panel 4D Designing Process Taming the Web Development Cycle
E Breton and J Bezivin
Chair Adam Steele DePaul University USA Panelists Roymieco A Carter DePaul University USA
Abbey Kuster Graphic and Web Designer NYC USA Jamie Prokell Multimedia Designer NYC USA
Designing Process Taming the Web Development Cycle 233
Paper Session 5 A Safety and Security
A Steele and R Carter
Chair Bruce McMillin University of Missouri-Rolla USA
Y Domaraisky M Perevozchikov A Ingulets and A Alkhovik
M-C Pong
Back-End Software for Highly Dependable Real-Time Control Systems 237
EC-SignGate Electronic Contract Signing Gateway 245
Systems 249 A Novel Intrusion Detection System Model for Securing Web-Based Database
W Shu and DTH Tan
viii
Paper Session 5B Distributed Systems 2
Chair Kinji Mori Tokyo Institute of Technology Japan
A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems 257
L-S Cheung and Y-K Kwok
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments 263
SS Yau and F Karim
QAME QoS-Aware Management Environment 269
Panel 5C Formalizing UML Semantics
LZ Granville and LMR Tarouco
Chair Xudong He Florida International University USA Panelists Betty H C Cheng Michigan State University USA
Robert France Colorado State University USA Sol Shatz The University of Illinois at Chicago USA
Formalizing UML Semantics 277
A Metamodel-Based Approach to Formalizing UML 278
Panel 5D End-to-End Integration Testing
X He
BHC Cheng
Chair Wei-Tek Tsai Arizona State University USA Panelists Amrit Goel Syracuse University USA
Hong Mei Peking University China Raymond A Paul Ofice of the Assistant Secretary of Defense USA
End-to-End Integration Testing 283
End-to-End Integration Testing in CBSD 284
End-to-End Integration Testing 286
Paper Session 6 A Commercial Off-The-Shelf Components
Chair Stephen Chen Motorola Global SofhYare Group USA
W-T Tsai
H Mei
RA Paul
DSIAS A Software Architectural Style for Distributed Software Integration Systems 291
Empirical Software Simulation for COTS Glue Code Development and Integration 297
Metrics-Guided Quality Management for Component-Based Software Systems 303
Z- W Hong J-M Lin HC Jiau and D-S Chen
J Baik N Eickelmann and C Abts
S Sedigh-Ali A Ghafoor and RA Paul
ix
Paper Session EiB Process Case Studies
Chair Guylaine Pollock Sandia National Lahoratories USA
DK W Chiu K Karlapalem and Q Li
S Morascci and G Russo
E-ADOME Enacting Composite E-Services in an Advanced Workflow Environment 3 1 1
An Empirical Study of Software Productivity 317
Test Operation-Driven Approach on Building Regression Testing Environment 323
Automation of Design and Development of Embedded Software on the Basis of a
H Suganuma K Nakamura and T Syomura
Strictly Defineid Software Architecture 329
An Editing System for Working Processes 332
Panel 6C The Plosition of E-Learning Application Software
S Baranov and V Kotlyarov
Y-S Chen and F-J Wang
Chair Elstzbe Cloete University of South Africa South Africa Panelists Ugo Buy The University of Illinois at Chicago USA
TY Lin San Jose State University USA Pradip Srimani Clemson University USA Peter K Wiesner IEEE Educational Activities USA
The Position of E-Learning Systems in 2001 341
Debunking some Common Misconceptions on E-Learning 342
Building the Infrastructure of E-University 344
E-Learning in 2001 346
E Cloete and M van der Merwe
U Buy
TY Lin Y Liu W Luo X Sun and H Zhou
P K Wiesner
Panel 6D 3G and Wireless Infrastructure Impacts on Developers and Users
Chair Arnold Kwong Panelists Michael McKee University of Minnesota at Rochester USA
Ed Powell Community Fiber USA Barry Storm Storm Technologies USA
Keynote Address 3
Information Technology Research Agenda New Developments and Ambitions Ruzena BaJicsy Assistant Director Directorate for Computer and Informatioiz Science and Engineering National Science Foundation USA
Paper Session 7 A Software Testing 2
Chair TH Tse The University of Hong Kong China
S Vilkomir and J Bowen Formalization of Software Testing Criteria Using the 2 Notation 35 1
X
Integrating White- and Black-Box Techniques for Class-Level Regression Testing 357
S Beydeda and V Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development 363
H Zhu and X He
Paper Session 78 Web-Based Systems
Chair Kiyoo Nakamura Alpha Systems Inc Japan
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security E-Commerce and Software Provisioning 37 1
A Rough Set Based Self-Adaptive Web Search Engine 377
Supporting Web Development in the OPEN Process Additional Tasks 383
D Mennie and B Pagurek
B Xu W Zhang H Yang and WC Chu
B Haire B Henderson-Sellers and D Lowe
Panel 7C What are the Missing Elements in SE Research and What Next
Chair Franck Xia University of Missouri-Rolla USA Panelists David Budgen Keele University UK
Jeffrey Voas Cigital USA Lawrence Votta Motorola USA Marvin Zelkowitz University of Maryland USA
Paper Session 8A Object-Oriented Development
Chair Jeffrey Voas Cigital USA
JF Bubba A Kaplan and JC Wileden The Exu Approach to Safe Transparent and Lightweight Interoperability 393
Task and Team Management in the Distributed Software Project Management Tool 401
HE Lam and P Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments 409
D Turgut N Aydin R Elmasri B Turgut
Paper Session 88 Embedded Systems
Chair Baowen Xu Southeast University China
T P Plaks Algebraic Transformations in Regular Array Design 417
A Case Study on Formal Design of Hybrid Control Systems 423
Reducing Matching Time for OPS5 Production Systems 429
H K Thae and D V Hung
JA Kang and AM K Cheng
xi
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
Panel 2D The Costs of Open Source Experiences
Chair Rodney V Lancaster Vericenter Inc USA Panelists Paul R Cole Wavetechnet USA
TBD
Paper Session 3 A Workflow Systems
Hongji Yang De Montfort University UK
RA Botha and JHP Eloff
AP Barros AHM ter Hofstede and C Szyperski
Designing Role Hierarchies for Access Control in Workflow Systems 117
Retrofitting Workflows for B2B Assembly 123
A Stage-Activity Process Model Facilitating Workflow Management for Web Publishing 129
J Cao C Chan and K Chan
Paper Session 38 Software Architecture
Brian Henderson-Sellers University of Technology Sidney Australia
An Architectural Model for Service-Based Flexible Software 137 K Bennett J Xu M Munro Z Hong P Layzell N Gold D Budgen and P Brereton
U Hannemann and J Hooman Formal Design of Real-Time Components on a Shared Data Space Architecture 143
Information Theoretic Metrics for Software Architectures 15 1 M Shereshevsky H Ammari N Gradetsky A Mili and HH Ammar
Panel 3C Does SEI Level 5 Lead to High Quality Software
Chair Bob Yacobellis Motorola Global Software Group USA Panelists TBD
Panel 3D Telecommunications Software Age before Beauty
Chair Arnold Kwong Panelists Teresa Jenish Northern Telecom Global USA
David Mastbaum Aventail USA John McGuthry Telcordia USA Ed Powell Community Fiber USA
Keynote Address 2
Design and Anti-Design in the Birth of the World-Wide Web Stories of Software Engineering for the Web before Standards
Tim Krauskopj Vice President and General Manager Core Solutions Internet Software and Content Group Motorola USA
Paper Session 4 A Software Testing 1
Chair J Barrie Thompson University of Sunderland UK
J Zhang C Xu and S-C Cheung Automatic Generation of Database Instances for White-Box Testing 161
vii
End-To-End Integration Testing Design 166
Fault-Based Testing in the Absence of an Oracle 172
W-T Tsai X Bai RA Paul W Shao and V Agarwal
T Y Chen TH Tse and Z Zhou
Paper Session 14B Distributed Systems 1
Chair Maarten Boasson University of Amsterdam The Netherlands
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message Triggered Objects 18 1
Certificate Based Authorization Simulation System 190
An Election Based Approach to Fault-Tolerant Group Membership in
G Gimenez and K H Kim
J Dai and J Alves-Foss
Collaborative ]Environments 196 JS Pascoe RJ Loader and VS Sunderam
Paper Session 4C Unified Modeling Language (UML)
Chair Y7 Chu City University of Hong Kong China
P Chevalley and P Thevenod-Fosse
X Li Z Liu and J He
Automated Generation of Statistical Test Cases from UML State Diagrams 205
Formal and Use-Case Driven Requirement Analysis in UML 215
Model Driven Process Engineering 225
Panel 4D Designing Process Taming the Web Development Cycle
E Breton and J Bezivin
Chair Adam Steele DePaul University USA Panelists Roymieco A Carter DePaul University USA
Abbey Kuster Graphic and Web Designer NYC USA Jamie Prokell Multimedia Designer NYC USA
Designing Process Taming the Web Development Cycle 233
Paper Session 5 A Safety and Security
A Steele and R Carter
Chair Bruce McMillin University of Missouri-Rolla USA
Y Domaraisky M Perevozchikov A Ingulets and A Alkhovik
M-C Pong
Back-End Software for Highly Dependable Real-Time Control Systems 237
EC-SignGate Electronic Contract Signing Gateway 245
Systems 249 A Novel Intrusion Detection System Model for Securing Web-Based Database
W Shu and DTH Tan
viii
Paper Session 5B Distributed Systems 2
Chair Kinji Mori Tokyo Institute of Technology Japan
A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems 257
L-S Cheung and Y-K Kwok
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments 263
SS Yau and F Karim
QAME QoS-Aware Management Environment 269
Panel 5C Formalizing UML Semantics
LZ Granville and LMR Tarouco
Chair Xudong He Florida International University USA Panelists Betty H C Cheng Michigan State University USA
Robert France Colorado State University USA Sol Shatz The University of Illinois at Chicago USA
Formalizing UML Semantics 277
A Metamodel-Based Approach to Formalizing UML 278
Panel 5D End-to-End Integration Testing
X He
BHC Cheng
Chair Wei-Tek Tsai Arizona State University USA Panelists Amrit Goel Syracuse University USA
Hong Mei Peking University China Raymond A Paul Ofice of the Assistant Secretary of Defense USA
End-to-End Integration Testing 283
End-to-End Integration Testing in CBSD 284
End-to-End Integration Testing 286
Paper Session 6 A Commercial Off-The-Shelf Components
Chair Stephen Chen Motorola Global SofhYare Group USA
W-T Tsai
H Mei
RA Paul
DSIAS A Software Architectural Style for Distributed Software Integration Systems 291
Empirical Software Simulation for COTS Glue Code Development and Integration 297
Metrics-Guided Quality Management for Component-Based Software Systems 303
Z- W Hong J-M Lin HC Jiau and D-S Chen
J Baik N Eickelmann and C Abts
S Sedigh-Ali A Ghafoor and RA Paul
ix
Paper Session EiB Process Case Studies
Chair Guylaine Pollock Sandia National Lahoratories USA
DK W Chiu K Karlapalem and Q Li
S Morascci and G Russo
E-ADOME Enacting Composite E-Services in an Advanced Workflow Environment 3 1 1
An Empirical Study of Software Productivity 317
Test Operation-Driven Approach on Building Regression Testing Environment 323
Automation of Design and Development of Embedded Software on the Basis of a
H Suganuma K Nakamura and T Syomura
Strictly Defineid Software Architecture 329
An Editing System for Working Processes 332
Panel 6C The Plosition of E-Learning Application Software
S Baranov and V Kotlyarov
Y-S Chen and F-J Wang
Chair Elstzbe Cloete University of South Africa South Africa Panelists Ugo Buy The University of Illinois at Chicago USA
TY Lin San Jose State University USA Pradip Srimani Clemson University USA Peter K Wiesner IEEE Educational Activities USA
The Position of E-Learning Systems in 2001 341
Debunking some Common Misconceptions on E-Learning 342
Building the Infrastructure of E-University 344
E-Learning in 2001 346
E Cloete and M van der Merwe
U Buy
TY Lin Y Liu W Luo X Sun and H Zhou
P K Wiesner
Panel 6D 3G and Wireless Infrastructure Impacts on Developers and Users
Chair Arnold Kwong Panelists Michael McKee University of Minnesota at Rochester USA
Ed Powell Community Fiber USA Barry Storm Storm Technologies USA
Keynote Address 3
Information Technology Research Agenda New Developments and Ambitions Ruzena BaJicsy Assistant Director Directorate for Computer and Informatioiz Science and Engineering National Science Foundation USA
Paper Session 7 A Software Testing 2
Chair TH Tse The University of Hong Kong China
S Vilkomir and J Bowen Formalization of Software Testing Criteria Using the 2 Notation 35 1
X
Integrating White- and Black-Box Techniques for Class-Level Regression Testing 357
S Beydeda and V Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development 363
H Zhu and X He
Paper Session 78 Web-Based Systems
Chair Kiyoo Nakamura Alpha Systems Inc Japan
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security E-Commerce and Software Provisioning 37 1
A Rough Set Based Self-Adaptive Web Search Engine 377
Supporting Web Development in the OPEN Process Additional Tasks 383
D Mennie and B Pagurek
B Xu W Zhang H Yang and WC Chu
B Haire B Henderson-Sellers and D Lowe
Panel 7C What are the Missing Elements in SE Research and What Next
Chair Franck Xia University of Missouri-Rolla USA Panelists David Budgen Keele University UK
Jeffrey Voas Cigital USA Lawrence Votta Motorola USA Marvin Zelkowitz University of Maryland USA
Paper Session 8A Object-Oriented Development
Chair Jeffrey Voas Cigital USA
JF Bubba A Kaplan and JC Wileden The Exu Approach to Safe Transparent and Lightweight Interoperability 393
Task and Team Management in the Distributed Software Project Management Tool 401
HE Lam and P Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments 409
D Turgut N Aydin R Elmasri B Turgut
Paper Session 88 Embedded Systems
Chair Baowen Xu Southeast University China
T P Plaks Algebraic Transformations in Regular Array Design 417
A Case Study on Formal Design of Hybrid Control Systems 423
Reducing Matching Time for OPS5 Production Systems 429
H K Thae and D V Hung
JA Kang and AM K Cheng
xi
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
End-To-End Integration Testing Design 166
Fault-Based Testing in the Absence of an Oracle 172
W-T Tsai X Bai RA Paul W Shao and V Agarwal
T Y Chen TH Tse and Z Zhou
Paper Session 14B Distributed Systems 1
Chair Maarten Boasson University of Amsterdam The Netherlands
A Windows CE Implementation of a Middleware Architecture Supporting Time-Triggered Message Triggered Objects 18 1
Certificate Based Authorization Simulation System 190
An Election Based Approach to Fault-Tolerant Group Membership in
G Gimenez and K H Kim
J Dai and J Alves-Foss
Collaborative ]Environments 196 JS Pascoe RJ Loader and VS Sunderam
Paper Session 4C Unified Modeling Language (UML)
Chair Y7 Chu City University of Hong Kong China
P Chevalley and P Thevenod-Fosse
X Li Z Liu and J He
Automated Generation of Statistical Test Cases from UML State Diagrams 205
Formal and Use-Case Driven Requirement Analysis in UML 215
Model Driven Process Engineering 225
Panel 4D Designing Process Taming the Web Development Cycle
E Breton and J Bezivin
Chair Adam Steele DePaul University USA Panelists Roymieco A Carter DePaul University USA
Abbey Kuster Graphic and Web Designer NYC USA Jamie Prokell Multimedia Designer NYC USA
Designing Process Taming the Web Development Cycle 233
Paper Session 5 A Safety and Security
A Steele and R Carter
Chair Bruce McMillin University of Missouri-Rolla USA
Y Domaraisky M Perevozchikov A Ingulets and A Alkhovik
M-C Pong
Back-End Software for Highly Dependable Real-Time Control Systems 237
EC-SignGate Electronic Contract Signing Gateway 245
Systems 249 A Novel Intrusion Detection System Model for Securing Web-Based Database
W Shu and DTH Tan
viii
Paper Session 5B Distributed Systems 2
Chair Kinji Mori Tokyo Institute of Technology Japan
A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems 257
L-S Cheung and Y-K Kwok
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments 263
SS Yau and F Karim
QAME QoS-Aware Management Environment 269
Panel 5C Formalizing UML Semantics
LZ Granville and LMR Tarouco
Chair Xudong He Florida International University USA Panelists Betty H C Cheng Michigan State University USA
Robert France Colorado State University USA Sol Shatz The University of Illinois at Chicago USA
Formalizing UML Semantics 277
A Metamodel-Based Approach to Formalizing UML 278
Panel 5D End-to-End Integration Testing
X He
BHC Cheng
Chair Wei-Tek Tsai Arizona State University USA Panelists Amrit Goel Syracuse University USA
Hong Mei Peking University China Raymond A Paul Ofice of the Assistant Secretary of Defense USA
End-to-End Integration Testing 283
End-to-End Integration Testing in CBSD 284
End-to-End Integration Testing 286
Paper Session 6 A Commercial Off-The-Shelf Components
Chair Stephen Chen Motorola Global SofhYare Group USA
W-T Tsai
H Mei
RA Paul
DSIAS A Software Architectural Style for Distributed Software Integration Systems 291
Empirical Software Simulation for COTS Glue Code Development and Integration 297
Metrics-Guided Quality Management for Component-Based Software Systems 303
Z- W Hong J-M Lin HC Jiau and D-S Chen
J Baik N Eickelmann and C Abts
S Sedigh-Ali A Ghafoor and RA Paul
ix
Paper Session EiB Process Case Studies
Chair Guylaine Pollock Sandia National Lahoratories USA
DK W Chiu K Karlapalem and Q Li
S Morascci and G Russo
E-ADOME Enacting Composite E-Services in an Advanced Workflow Environment 3 1 1
An Empirical Study of Software Productivity 317
Test Operation-Driven Approach on Building Regression Testing Environment 323
Automation of Design and Development of Embedded Software on the Basis of a
H Suganuma K Nakamura and T Syomura
Strictly Defineid Software Architecture 329
An Editing System for Working Processes 332
Panel 6C The Plosition of E-Learning Application Software
S Baranov and V Kotlyarov
Y-S Chen and F-J Wang
Chair Elstzbe Cloete University of South Africa South Africa Panelists Ugo Buy The University of Illinois at Chicago USA
TY Lin San Jose State University USA Pradip Srimani Clemson University USA Peter K Wiesner IEEE Educational Activities USA
The Position of E-Learning Systems in 2001 341
Debunking some Common Misconceptions on E-Learning 342
Building the Infrastructure of E-University 344
E-Learning in 2001 346
E Cloete and M van der Merwe
U Buy
TY Lin Y Liu W Luo X Sun and H Zhou
P K Wiesner
Panel 6D 3G and Wireless Infrastructure Impacts on Developers and Users
Chair Arnold Kwong Panelists Michael McKee University of Minnesota at Rochester USA
Ed Powell Community Fiber USA Barry Storm Storm Technologies USA
Keynote Address 3
Information Technology Research Agenda New Developments and Ambitions Ruzena BaJicsy Assistant Director Directorate for Computer and Informatioiz Science and Engineering National Science Foundation USA
Paper Session 7 A Software Testing 2
Chair TH Tse The University of Hong Kong China
S Vilkomir and J Bowen Formalization of Software Testing Criteria Using the 2 Notation 35 1
X
Integrating White- and Black-Box Techniques for Class-Level Regression Testing 357
S Beydeda and V Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development 363
H Zhu and X He
Paper Session 78 Web-Based Systems
Chair Kiyoo Nakamura Alpha Systems Inc Japan
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security E-Commerce and Software Provisioning 37 1
A Rough Set Based Self-Adaptive Web Search Engine 377
Supporting Web Development in the OPEN Process Additional Tasks 383
D Mennie and B Pagurek
B Xu W Zhang H Yang and WC Chu
B Haire B Henderson-Sellers and D Lowe
Panel 7C What are the Missing Elements in SE Research and What Next
Chair Franck Xia University of Missouri-Rolla USA Panelists David Budgen Keele University UK
Jeffrey Voas Cigital USA Lawrence Votta Motorola USA Marvin Zelkowitz University of Maryland USA
Paper Session 8A Object-Oriented Development
Chair Jeffrey Voas Cigital USA
JF Bubba A Kaplan and JC Wileden The Exu Approach to Safe Transparent and Lightweight Interoperability 393
Task and Team Management in the Distributed Software Project Management Tool 401
HE Lam and P Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments 409
D Turgut N Aydin R Elmasri B Turgut
Paper Session 88 Embedded Systems
Chair Baowen Xu Southeast University China
T P Plaks Algebraic Transformations in Regular Array Design 417
A Case Study on Formal Design of Hybrid Control Systems 423
Reducing Matching Time for OPS5 Production Systems 429
H K Thae and D V Hung
JA Kang and AM K Cheng
xi
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
Paper Session 5B Distributed Systems 2
Chair Kinji Mori Tokyo Institute of Technology Japan
A Quantitative Comparison of Load Balancing Approaches in Distributed Object Computing Systems 257
L-S Cheung and Y-K Kwok
Context-Sensitive Distributed Software Development for Ubiquitous Computing Environments 263
SS Yau and F Karim
QAME QoS-Aware Management Environment 269
Panel 5C Formalizing UML Semantics
LZ Granville and LMR Tarouco
Chair Xudong He Florida International University USA Panelists Betty H C Cheng Michigan State University USA
Robert France Colorado State University USA Sol Shatz The University of Illinois at Chicago USA
Formalizing UML Semantics 277
A Metamodel-Based Approach to Formalizing UML 278
Panel 5D End-to-End Integration Testing
X He
BHC Cheng
Chair Wei-Tek Tsai Arizona State University USA Panelists Amrit Goel Syracuse University USA
Hong Mei Peking University China Raymond A Paul Ofice of the Assistant Secretary of Defense USA
End-to-End Integration Testing 283
End-to-End Integration Testing in CBSD 284
End-to-End Integration Testing 286
Paper Session 6 A Commercial Off-The-Shelf Components
Chair Stephen Chen Motorola Global SofhYare Group USA
W-T Tsai
H Mei
RA Paul
DSIAS A Software Architectural Style for Distributed Software Integration Systems 291
Empirical Software Simulation for COTS Glue Code Development and Integration 297
Metrics-Guided Quality Management for Component-Based Software Systems 303
Z- W Hong J-M Lin HC Jiau and D-S Chen
J Baik N Eickelmann and C Abts
S Sedigh-Ali A Ghafoor and RA Paul
ix
Paper Session EiB Process Case Studies
Chair Guylaine Pollock Sandia National Lahoratories USA
DK W Chiu K Karlapalem and Q Li
S Morascci and G Russo
E-ADOME Enacting Composite E-Services in an Advanced Workflow Environment 3 1 1
An Empirical Study of Software Productivity 317
Test Operation-Driven Approach on Building Regression Testing Environment 323
Automation of Design and Development of Embedded Software on the Basis of a
H Suganuma K Nakamura and T Syomura
Strictly Defineid Software Architecture 329
An Editing System for Working Processes 332
Panel 6C The Plosition of E-Learning Application Software
S Baranov and V Kotlyarov
Y-S Chen and F-J Wang
Chair Elstzbe Cloete University of South Africa South Africa Panelists Ugo Buy The University of Illinois at Chicago USA
TY Lin San Jose State University USA Pradip Srimani Clemson University USA Peter K Wiesner IEEE Educational Activities USA
The Position of E-Learning Systems in 2001 341
Debunking some Common Misconceptions on E-Learning 342
Building the Infrastructure of E-University 344
E-Learning in 2001 346
E Cloete and M van der Merwe
U Buy
TY Lin Y Liu W Luo X Sun and H Zhou
P K Wiesner
Panel 6D 3G and Wireless Infrastructure Impacts on Developers and Users
Chair Arnold Kwong Panelists Michael McKee University of Minnesota at Rochester USA
Ed Powell Community Fiber USA Barry Storm Storm Technologies USA
Keynote Address 3
Information Technology Research Agenda New Developments and Ambitions Ruzena BaJicsy Assistant Director Directorate for Computer and Informatioiz Science and Engineering National Science Foundation USA
Paper Session 7 A Software Testing 2
Chair TH Tse The University of Hong Kong China
S Vilkomir and J Bowen Formalization of Software Testing Criteria Using the 2 Notation 35 1
X
Integrating White- and Black-Box Techniques for Class-Level Regression Testing 357
S Beydeda and V Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development 363
H Zhu and X He
Paper Session 78 Web-Based Systems
Chair Kiyoo Nakamura Alpha Systems Inc Japan
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security E-Commerce and Software Provisioning 37 1
A Rough Set Based Self-Adaptive Web Search Engine 377
Supporting Web Development in the OPEN Process Additional Tasks 383
D Mennie and B Pagurek
B Xu W Zhang H Yang and WC Chu
B Haire B Henderson-Sellers and D Lowe
Panel 7C What are the Missing Elements in SE Research and What Next
Chair Franck Xia University of Missouri-Rolla USA Panelists David Budgen Keele University UK
Jeffrey Voas Cigital USA Lawrence Votta Motorola USA Marvin Zelkowitz University of Maryland USA
Paper Session 8A Object-Oriented Development
Chair Jeffrey Voas Cigital USA
JF Bubba A Kaplan and JC Wileden The Exu Approach to Safe Transparent and Lightweight Interoperability 393
Task and Team Management in the Distributed Software Project Management Tool 401
HE Lam and P Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments 409
D Turgut N Aydin R Elmasri B Turgut
Paper Session 88 Embedded Systems
Chair Baowen Xu Southeast University China
T P Plaks Algebraic Transformations in Regular Array Design 417
A Case Study on Formal Design of Hybrid Control Systems 423
Reducing Matching Time for OPS5 Production Systems 429
H K Thae and D V Hung
JA Kang and AM K Cheng
xi
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
Paper Session EiB Process Case Studies
Chair Guylaine Pollock Sandia National Lahoratories USA
DK W Chiu K Karlapalem and Q Li
S Morascci and G Russo
E-ADOME Enacting Composite E-Services in an Advanced Workflow Environment 3 1 1
An Empirical Study of Software Productivity 317
Test Operation-Driven Approach on Building Regression Testing Environment 323
Automation of Design and Development of Embedded Software on the Basis of a
H Suganuma K Nakamura and T Syomura
Strictly Defineid Software Architecture 329
An Editing System for Working Processes 332
Panel 6C The Plosition of E-Learning Application Software
S Baranov and V Kotlyarov
Y-S Chen and F-J Wang
Chair Elstzbe Cloete University of South Africa South Africa Panelists Ugo Buy The University of Illinois at Chicago USA
TY Lin San Jose State University USA Pradip Srimani Clemson University USA Peter K Wiesner IEEE Educational Activities USA
The Position of E-Learning Systems in 2001 341
Debunking some Common Misconceptions on E-Learning 342
Building the Infrastructure of E-University 344
E-Learning in 2001 346
E Cloete and M van der Merwe
U Buy
TY Lin Y Liu W Luo X Sun and H Zhou
P K Wiesner
Panel 6D 3G and Wireless Infrastructure Impacts on Developers and Users
Chair Arnold Kwong Panelists Michael McKee University of Minnesota at Rochester USA
Ed Powell Community Fiber USA Barry Storm Storm Technologies USA
Keynote Address 3
Information Technology Research Agenda New Developments and Ambitions Ruzena BaJicsy Assistant Director Directorate for Computer and Informatioiz Science and Engineering National Science Foundation USA
Paper Session 7 A Software Testing 2
Chair TH Tse The University of Hong Kong China
S Vilkomir and J Bowen Formalization of Software Testing Criteria Using the 2 Notation 35 1
X
Integrating White- and Black-Box Techniques for Class-Level Regression Testing 357
S Beydeda and V Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development 363
H Zhu and X He
Paper Session 78 Web-Based Systems
Chair Kiyoo Nakamura Alpha Systems Inc Japan
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security E-Commerce and Software Provisioning 37 1
A Rough Set Based Self-Adaptive Web Search Engine 377
Supporting Web Development in the OPEN Process Additional Tasks 383
D Mennie and B Pagurek
B Xu W Zhang H Yang and WC Chu
B Haire B Henderson-Sellers and D Lowe
Panel 7C What are the Missing Elements in SE Research and What Next
Chair Franck Xia University of Missouri-Rolla USA Panelists David Budgen Keele University UK
Jeffrey Voas Cigital USA Lawrence Votta Motorola USA Marvin Zelkowitz University of Maryland USA
Paper Session 8A Object-Oriented Development
Chair Jeffrey Voas Cigital USA
JF Bubba A Kaplan and JC Wileden The Exu Approach to Safe Transparent and Lightweight Interoperability 393
Task and Team Management in the Distributed Software Project Management Tool 401
HE Lam and P Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments 409
D Turgut N Aydin R Elmasri B Turgut
Paper Session 88 Embedded Systems
Chair Baowen Xu Southeast University China
T P Plaks Algebraic Transformations in Regular Array Design 417
A Case Study on Formal Design of Hybrid Control Systems 423
Reducing Matching Time for OPS5 Production Systems 429
H K Thae and D V Hung
JA Kang and AM K Cheng
xi
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
Integrating White- and Black-Box Techniques for Class-Level Regression Testing 357
S Beydeda and V Gruhn
An Observational Theory of Integration Testing for Component-Based Software Development 363
H Zhu and X He
Paper Session 78 Web-Based Systems
Chair Kiyoo Nakamura Alpha Systems Inc Japan
A Runtime Composite Service Creation and Deployment Infrastructure and Its Applications in Internet Security E-Commerce and Software Provisioning 37 1
A Rough Set Based Self-Adaptive Web Search Engine 377
Supporting Web Development in the OPEN Process Additional Tasks 383
D Mennie and B Pagurek
B Xu W Zhang H Yang and WC Chu
B Haire B Henderson-Sellers and D Lowe
Panel 7C What are the Missing Elements in SE Research and What Next
Chair Franck Xia University of Missouri-Rolla USA Panelists David Budgen Keele University UK
Jeffrey Voas Cigital USA Lawrence Votta Motorola USA Marvin Zelkowitz University of Maryland USA
Paper Session 8A Object-Oriented Development
Chair Jeffrey Voas Cigital USA
JF Bubba A Kaplan and JC Wileden The Exu Approach to Safe Transparent and Lightweight Interoperability 393
Task and Team Management in the Distributed Software Project Management Tool 401
HE Lam and P Maheshwari
Utilizing Object-Oriented Databases for Concurrency Control in Virtual Environments 409
D Turgut N Aydin R Elmasri B Turgut
Paper Session 88 Embedded Systems
Chair Baowen Xu Southeast University China
T P Plaks Algebraic Transformations in Regular Array Design 417
A Case Study on Formal Design of Hybrid Control Systems 423
Reducing Matching Time for OPS5 Production Systems 429
H K Thae and D V Hung
JA Kang and AM K Cheng
xi
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
Paper Session 9A Agent Technology and Frameworks
Chair JejTrey Tsai University of Illinois at Chicago USA
JA D Pace F U Trilnik M R Campo and M E Fayad Accomplishing Adaptability in Simulation Frameworlcs The Bubble Approach 437
Dealing with Denial-of-Service Attacks in Agent-Enabled Active and Programmable Infrastructures 445
Implementing an Agent System Using N-Tier Pattern-Based Framework 45 1
Paper Session 3B Industry Application Case Studies
S Karnouskos
WC Chu J-N Chen C-Y Lee and H Yang
Chair Nader Kameli Guidant Corporation USA
An Application of Data Warehouse Technology to the Measurement System for UML-Based Adifacts 459
Availability Requirement for Fault Management Server 468
Infosleuth Agent-Based System for Data Integration and Analysis 474
Java in Industrial Automation-A Virtual PLC 477
Plenary Panel Session Trends of Software Technology to Meet Changing Environments
T Fujii and Y Kambayashi
JJ Han If Sun and H Levendel
T Ksiezyk G Martin and Q Jia
M Grabnersquor G Leonhartsberger A Leutgeb and J Altrnann
Chair Stephen S Yau Arizona State University USA Panelists Dick B Simmons Texas AampM University USA
Terry Heng Motorola Global Software Group USA Robert Larson Woodside Fund USA
Paper Session 1rsquo0A Software Testing 3
Chair T 11 Chen Swinbume University of Technology Australia
BM Subrizya S V Subrahmanya J K Suresh and C Ravi
LH Tahal B Vaysburg B Korel and AJ Bader
PePPeR A New Model to Bridge the Gap between User and Designer Perceptions 483
Requirement-Based Automated Black-Box Test Generation 489
Scenario-Based Functional Regression Testing 496 W-T Tsai X Bai RA Paul and L Yu
Paper Session 1OB Data Mining
Chair Shirley Williams The University of Reading UK
An Efficient Clustering Algorithm for Market Basket Data Based on Small Large Ratios 505
C-H Yun K-T Chuang and M-S Chen
D-L Yang C-T Pan and Y-C Chung An Efficient Hash-Based Method for Discovering the Maximal Frequent Set 511
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
Mining Market Value Functions for Targeted Marketing 5 17 Y Y Yao and N Zhong
Paper Session 11A Metrics and Measurement
Chair Hans-Ludwig Hausen German Natl Research Center fo r Inf Tech Germany
K Schmid
J Zhao J Cheng and K Ushijima
C-S Ma C K Chang and J Cleland-Huang
An Assessment Approach to Analyzing Benefits and Risks of Product Lines 525
CLPKIDS A Program Analysis System for Concurrent Logic Programs 53 1
Measuring the Intensity of Object Coupling in C++ Programs 538
Paper Session 11 B Extensible Markup Language (XML)
Chair Thomas Weigert Motorola Global Software Group USA
C Kerer E Kirda M Jazayeri and R Kurmanowytsch
P OConnell and R McCrindle
Building and Managing XMLXSL-Powered Web Sites An Experience Report 547
Using SOAP to Clean up Configuration Management 555
An XML-Message Based Architecture Description Language and Architectural Mismatch Checking 561
B Zhang K Ding and J Li
Paper Session 12A Design Patterns and Frameworks Chair Eric Wong Telcordia Technologies USA
S-C Chen M-L Shyu and C Zhang
W B McNatt and JM Bieman
An Unsupervised Segmentation Framework for Texture Image Queries 569
Coupling of Design Patterns Common Practices and Their Benefits 574
Exception Handling in Component-Based System Development 580 A Romanovsky
Paper Session 12B E-Commerce
Chair Rachel McCrindle The University of Reading UK
Autonomous Decentralized Database System for Assurance in Heterogeneous e-Business 589
Multi-Criteria Transaction for E-Commerce Applications 596
Tailoring E-Commerce Sites to Ease Recovery after Disruptions 603
CP Leguizamo S Kato K Hirai and K Mori
P Li J Goluguri I-L Yen andA Tai
K Renaud and T van Dyk
xiii
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV
COMPSAC 2001 WORKSHOPS Workshop 1 Data Mining and E-Organizations
Co-chairs T Y Lin San Jose State University USA Shusaku Tsumoto Shimane Medical University Japan
Index Miner A Data Mining System 613 I-J Chian and T Y Lin
Melanoma Prediction Using Data Mining System LERS 615 J P Grzymala-Busse J W Grzymala-Busse and 2 S Hippe
A Knowledge-Oriented Clustering Technique Based on Rough Sets S Hirano
Category-Based Web Personalization System 62 1
Decision Logics for Knowledge Representation in Data Mining 626
The Lattice Structure of Database and Mining Rules of All Levels
Intelligent Agents Coordination of Action Rules to Increase Global Profit
Security and Privacy in Virtual Organization
A Knowledge-Oriented Clustering Technique Based on Rough Sets 632
CC Lee and W Xu
T-F Fan IV-C Hu and C-J Liau
TY Lin
Z Ras
B Thuraisingham
S Hirano and S Tsumoto
YY Yao On Modeling Data Mining with Granular Computing 638
Workshop 2 Integration of Component-Based Systems Issues and Solutions
Chair Stephen Chen Motorola Global Sojiware Group USA
System Dependability Problems with Integration of COTS (Commercial Off-The-Shelf) Components
H Levendel Motorola USA Architectural Support for Integration in Distributed Reactive Systems
M Boasson University of Amsterdam The Netherlands
Case Study of Wireless Integration Project A Sampath Motorola USA
Author Index 645
XiV