SEKE 2003 PROCEEDINGS The 15th International Conference on Software Engineering & Knowledge Engineering Sponsored by Knowledge Systems Institute, USA Technical Program July 1-3, 2003 San Francisco, California, USA Organized by Knowledge Systems Institute Table of Contents Conference Organization.......iii Preface.......v Keynote 1: Re-engineering Software Development Process for eBusiness Application Development.......1 Athula Ginige, University of Western Sydney, Australia Session 1A: Web Engineering Revealing Web User Requirements through e-Prototyping.......9 Martin Jeenicke, Wolf Gideo-Bleek, Ralf Klischewski, University of Hamburg, Germany WebML+ : a Web modeling language for forming a bridge between business modeling and information modeling.......17 Rachatrin Tongrungrojana, David Lowe, University of Technology, Sydney, Australia An Evaluation of Web3d Technologies from Developer’s and End-User’s Point of View.......25 Gennario Costagliola, Sergio di Martino, Filomena Ferrucci, Universitŕ degli Studi di Salerno, Italy Representing and Querying the Evolution of Databases and their Schemas in XML.......33 Fusheng Wang and Carlo Zaniolo, University of California, Los Angeles Session 1B: Software Maintenance Corrective Maintenance Process: a Case Study from a Telecom Software Development and Maintenance Organization.......39 Antonio Fresa, M.C. Annosi, F. Forte, Ericsson Lab Italy Revision Recognition for Scientific Computing: Theory and Application.......46 Andrew P. Strelzoff, University of California - Santa Barbara, USA Adding Verification Property of Inter-Processes Using Aspect-Oriented Approach.......54 Pantti Netinianti, Bangkok University, Thailand Tzilla Elrad, Illinois Institute of Technology, U.S.A. Knowledge for Software Maintenance.......61 Nicolas Anquetil, Káthia Oliveira, Márcio Greyck Dias, Marcelo Ramal, Ricardo Meneses, Universidade Católica de Brasília, Brazil Session 2A: Software Measurements Application of Neural Networks for Estimating Software Maintainability Using Object-Oriented Metrics.......69 Mie Mie Thet Thwin, Tong-Seng Quah, Nanyang Technological University, Singapore Spatial Data Analysis as a Software Quality Modeling Technique.......74 Justin M. Beaver, NASA, USA, Guy A. Schiavone, University of Central Florida, USA Towards an Ontology for Software Measurement.......78 Marcela Genero, Francisco Ruiz, Mario Piattini and Coral Calero, University of Castilla La Mancha, Spain Session 2B: Agent Systems 1 Open Giant Intelligent Information Systems and Its Agent-Oriented Analysis and Design.......85 Longbing Cao, Chunsheng Li, Chengqi Zhang, University of Technology, Sydney, Australia, Ruwei Dai, Institute of Automation, Chinese Academy of Sciences, China An Ontology Driven Design Method for inter-Agent Communication.......90 P. Ciancarini, V. Presutti, L. Abeti, University of Bologna, Italy From Actors to Applications: Interpreting User Centered Design of Coordination Supports.......95 Marcello Sarini, Carla Simone, Universita degli Studi Milano-Bicocca, Italy Social Patterns for Designing Multiagent Systems.......103 T. Tung Do, Manuel Kolp, Alain Pirotte, Catholic University of Louvain, Belgium Session 3A: Software Visualization and Comprehension 1 Automatic Abstraction of Graphs Based on Node Similarity for Graph Visualization.......111 Xiaodi Huang and Wei Lai, Swinburne University of Technology, Australia Exploring UDDI Registries Using Modified OFDAV Browser.......119 Biao Jiang, Mao Lin Huang, University of Technology, Sydney, Australia Extending UML to Visualize Design Patterns In Class Diagrams.......124 Jing Dong and Sheng Yang, University of Texas at Dallas, USA Visualizing Software Architecture with Off-The-Shelf Components.......132 Jie Ren, Richard N. Taylor, University of California at Irvine, USA Session 3B: Formal Methods Semantics of State-Oriented Expressions in the Object Constraint Language.......142 Stephan Flake and Wolfgang Mueller, Paderborn University, Germany Deriving Hierarchical Predicate/Transition Nets from Statechart Diagrams.......150 Zhijiang Dong, Yujian Fu, Xudong He, Florida International University, USA Lurch: a Lightweight Alternative to Model Checking.......158 David Owen, Tim Menzies, West Virginia University, USA TILCO Temporal Logic for Real-Time Systems Implementation in C++.......166 P. Bellini, A. Giotti, P. Nesi, D. Rogai, University of Florence, Italy Automated Support for Property Specification Based on Patterns.......174 Oscar A. Mondragon, Ann Q. Gates, and Fadi Kassem, University of Texas at El Paso, USA Keynote 2 The Product Flow Model.......182 Gio Wiederhold, Stanford University, USA Session 3A: Software Visualization and Comprehension 2 The Role of Knowledge in Software Customization.......187 Jeff Michaud and Margaret-Anne Storey, University of Victoria, Canada. Using Critiquing Systems for Inconsistency Detection in Software Engineering Models.......196 Cleidson R. B. de Souza, Hamilton L. R. Oliveira, Cleber R. P. da Rocha, Kleder M. Goncalves, University of Pará, Brazil David F. Redmiles, University of California, Irvine, USA Partial Slicing for Large Programs.......204 Zhenqiang Chen Baowen Xu, Southeast University, Nanjing, China William Chu, TungHai University, Taiwan Hongji Yang, De Montfort University, England Jianjun Zhao, Fukuoka Institute of Technology, Japan Constructing Understandability Model from Design Metrics.......208 Matinee Kiewkanya, Nongyao Jindasawat, Nakornthip Prompoon, Pornsiri Muenchaisri, Chulalongkorn University, Thailand Session 4B: Agent Systems 2 Developmental and Operational Processes for Agent-Oriented Database Navigation for Knowledge Discovery.......216 M. Brian Blake, Georgetown University, USA Andrew B. Williams, University of Iowa, USA Dealing with software design issues using an Agent-Oriented methodology.......224 Anna Perini, Angelo Susi, ITC-irst, Italy Specifying and Analyzing Agent Architectures using the Agent Competency Framework.......232 K. S. Barber and D. N. Lam, University of Texas at Austin, USA Session 5A: Data Mining Approach to SE and KE Tree-Growth based Sequential and Associative Pattern Discovery.......240 M. Baumgarten, A.G. Büchner, J.G. Hughes, University of Ulster, UK An Efficient Knowledge Management Technique for finding Association Rules.......245 Farhan Rafique, A.Anwar, NUST Institute of Information Technology, Pakistan CHiC: A Fast Concept Hierarchy Constructor for Discrete or Mixed Mode Databases.......250 Ola Ĺgren, Umeĺ University, Umeĺ, Sweden Real-Time Mining of Partial Periodic Patterns.......259 Chih Lai, Lawrence Stephanie, Meng Fang, University of St. Thomas, USA Session 5B: Software and Knowledge Reuse An XVCL-based Approach to Software Product Line Development.......267 Hongyu Zhang and Stan Jarzabek, National University of Singapore, Singapore Extracting Knowledge from Technical Documents.......276 Joseph Neelamkavil and Michael Kernahan, National Research Council, Canada Case-based Framework Instantiation.......281 Carlos J. Fernández-Conde, Pedro A. González-Calero, Univ. Complutense de Madrid, Spain Selection and Reuse of Software Design Patterns Using CBR and WordNet.......289 Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José L. Ferreira and Carlos Bento, Universidade de Coimbra, Portugal ROADS: A Reusable, Optimizable Architecture for Decision Systems.......297 Kareem S. Aggour and Marc Pavese, GE Global Research, USA Session 6A: UML Extending UML to Specify and Verify E-commerce Systems.......306 Mark Song, Adriano Pereira, Fernanda Lima, Gustavo Gorgulho, Sérgio Campos, Wagner Meira Jr., Federal University of Minas Gerais (UFMG), Brazil Simulation-based Verification of UML models.......314 Luigi Lavazza, Politecnico di Milano, Italy, Giuseppe Occorso, Technology REPLY, Italy A Brief Overview of HyM: A Methodology for the Development of Hybrid Intelligent Information Systems.......322 S. L. Kendal, K Ashton, X Chen, University of Sunderland, UK Rigorous Description of Software Requirements with UML.......327 Luigi Lavazza, Politecnico di Milano, Italy Case-Based Reuse of UML Diagrams.......335 Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José L. Ferreira and Carlos Bento, Universidade de Coimbra, Portugal Session 6B: Software Process and Architecture 1 Software Engineering as Technology Transfer.......340 Daniel E. Cooke, Jason Denton, Texas Tech University, USA Relational Program Architecture for High Quality Software Development.......346 Dongfeng Wang, Farokh B. Bastani, and I-Ling Yen, University of Texas at Dallas, USA A Data Storage Mechanism for Peer-to-Peer Based Decentralised Workflow Systems.......354 Jun Yan, Yun Yang, Gitesh K. Raikundalia, Swinburne University of Technology, Australia On Variants of Genericity.......359 Thomas Schöbel-Theuer, University of Stuttgart, Germany A Framework for Guiding the Design of Effective Implementation Strategies for Software Process Improvement.......366 Mahmood Niazi, David Wilson and Didar Zowghi, University of Technology Sydney, Australia Session 7A: Knowledge Retrieval and Management Knowledge Organization and Retrieval in the MILK System.......372 Roberto Boselli, Flavio DePaoli, Riccardo Dondi, Universitŕ di Milano Bicocca, Italy A Practical Way to Use Clustering and Context Knowledge for Software Project Planning.......377 Jürgen Münch, Fraunhofer Institute for Experimental Software Engineering, Germany Jens Heidrich, Alexandra Daskovska, University of Kaiserslautern, Germany On Identifying Deficiencies in a Knowledge Management System.......385 Prashant Baheti, Laurie Williams, North Carolina State Univ., USA Aldo Dagnino, Andrew Cordes, ABB Inc., USA Knowledge Management for Project Planning and Enactment in Software Engineering.......393 Sigrid Goldmann, Harald Holz, Mich M. Richter, University of Kaiserslautern, Germany Session 7B: Software Process and Architecture 2 An Integrated Method to Software Architecture.......398 Hassan Reza, University of North Dakota, USA Xudong He, School of Computer Science, Florida International University, USA Reasoning about Variability and structural Adaptation in Sociotechnical Systems Using Dynamic Architectures.......406 Michael Cebulla, Technische Universitaet Berlin, Germany A Layered Architecture to Manage Complex Multimedia Services.......414 M. Longo, University of Salerno, Italy, P. Asprino, A. Fresa, N. Gaito, CoRiTeL, Italy A Pattern-like Framework to Dynamically Change Components Behaviour.......422 Daniela Micucci, Andrea Trentini, Universita Studi Milano, Italy Session 8A: Knowledge Acquisition Relative Index Term Frequency (RITF) Method.......427 Zhou Jiehan, VTT Electronics, Finland, LAN Haiyang, Tsinghua University, China Tagging Knowledge Acquisition Sessions to Facilitate Knowledge Traceability.......432 Heather Richter, Gregory D. Abowd, Georgia Tech, USA Chris Miller, Harry Funk, Smart Information Flow Technologies (SIFT) Integrating Signature Matching into Knowledge-Based Program Understanding.......440 Yachai Limpiyakorn, Chulalongkorn University, Thailand Ilene Burnstein, Illinois Institute of Technology, USA MFILM: a multi-dimensional fuzzy inductive learning method for knowledge acquisition.......445 Chen, Yao-Tsung, Institute of Information Science, Academia Sinica, Taiwan Jeng, Bingchiang, National Sun Yat-sen University, Taiwan Session 8B: Integrity, Security and Fault-Tolerance Formal Software Architecture Design of Secure Distributed Systems.......450 Huiqun Yu, Xudong He, Shu Gao, and Yi Deng, Florida International University, USA Specification and Validation of Fault-Tolerant Software Architectures Based on Actor Model.......458 Hui Ding, Can Zheng, Lui Sha, Gul Agha, Univ. of Illinois at Urbana-Champaign, USA Automated Software Design of Process-Control Systems.......467 Dongfeng Wang, Farokh B. Bastani, and I-Ling Yen, University of Texas at Dallas, USA Defining Change Management Properties for Component Interoperability Assessment.......475 T. Gamble, R. Gamble, L. Davis, University of Tulsa, USA A Step toward building Dynamic Security Infrastructure.......483 Ibrahim S. Abdullah, Edgar. H. Sibley, George Mason University, USA Session 9A: Distributed Software Development Great Challenges and Opportunities of Distributed Software Development - An Industrial Survey.......489 Seija Komi-Sirviö, Maarit Tihinen, VTT Electronics, Finland, and Center for Experimental Software Engineering, USA GENESIS: A Flexible and Distributed Environment for Cooperative Software Engineering.......497 Lerina Aversano, Andrea De Lucia, University of Sannio, Italy Matteo Gaeta, Pierluigi Ritrovato, University of Salerno, Italy A Distributed Document Management Approach for Workflow Support in the DBSA Architecture.......503 Andrea Trentini, Francesca Arcelli, Francesco Tisato, University of Milano, Italy Integrating Publish/Subscribe into a Mobile Teamwork Support Platform.......510 S. Chaki, Carnegie Mellon University, USA, P. Fenkam, H. Gall, Technical University Vienna, Austria, S. Jha, University of Wisconsin, USA, E. Kirda, H. Veith, Technical University Vienna, Austria A Graph-Oriented Approach to the Description and Implementation of Distributed and Dynamic Software Architecture.......518 Xiaoxing Ma, Jian Lu, Nanjing University Nanjing, China Jiannong Cao, Alvin T.S. Chan, Hong Kong Polytechnic University, Hong Kong, China Kang Zhang, University of Texas at Dallas, USA Session 9B: Spatial Reasoning and Search Agent-assisted Distributed Requirements Elicitation and Management.......526 Chee Fon Chang, Aneesh Krishna and Aditya K. Ghose , University of Wollongong, Australia Infotop – A Shared-context Information Workspace.......534 Ronald Maier, Martin-Luther-University Halle-Wittenberg, Germany Johannes Sametinger, Johannes Kepler University Linz, Austria Analysing Web Ontology in Alloy: A Military Case Study.......542 Jin Song Dong, Jun Sun, Hai Wang, School of Computing, National University of Singapore, Chew Hung Lee, Hian Beng Lee, Defence Science Organisation, Singapore Path Set Operations for Clipping of Parts of Web Pages and Information Extraction from Web pages.......547 Tetsuya SUZUKI, Takehiro TOKUDA, Tokyo Institute of Technology, Japan 3D Time-pillars: an information access metaphor for the TV Domain.......555 Fabio Pittarello, Universitŕ Ca’ Foscari di Venezia, Italy Session 10A: Requirements Engineering Early Multi-Level Software Architecture Performance Evaluations.......561 K. Suzanne Barber, University of Texas at Austin, USA Jim Holt, Geoff Baker, Motorola, USA Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach.......570 G. Spanoudakis, A. d’Avila Garcez, A. Zisman, City University, UK From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques.......578 E. Astesiano, M. Martelli, V. Mascardi and G. Reggio, Universita` di Genova, Italy Requirements Negotiation under Incompleteness and Uncertainty.......586 An Ngo-The, Gunther Ruhe, University of Calgary, Canada A Fast Binary Tree Based Face Recognition Algorithm.......594 Huaqing Li, Shaoyu Wang and Feihu Qi, Shanghai Jiaotong University, China Session 10B: Software Testing and Software Education Management of the Growing B ook as Generalized Objects.......599 Shuyi Shao and Shi-Kuo Chang, University of Pittsburgh, USA Better Analysis of Defect Data at NASA.......607 Tim Menzies, West Virginia University, USA, Robyn Lutz, Iowa State University, USA Carmen Mikulski, California Institute of Technology, USA Working with Extreme Programming in a Software Development Laboratory.......612 Patricio Letelier, José H. Canós and Emilio A. Sánchez, Polytechnic University of Valencia, Spain The Algorithm Tutor.......6169 Eugene Y. Sheng, Northern Illinois University, USA Session 11A: Data Mining for SE and KE 1 A Database-I ndependent Strategy for Confidence Determination.......621 Xiaowei Yan, Chengqi Zhang, and Shichao Zhang, University of Technology, Sydney, Australia Validative measurement in software engineering: a data mining example.......626 Ned Chapin, InfoSci Inc., USA Mira Kajko-Mattsson, Stockholm University/Royal Institute of Technology, Sweden A Data Mining Approach for Dynamic Software Project Plan Tracking.......634 Ching-Seh Wu and Dick B. Simmons, Texas A&M University, USA Session 11B: Software Engineering and Decision Support 1 Using Software Risk Management for Deriving Method Requirements for Risk Mitigation in COTS Assessment and Selection....639 Michael Ochs, Fraunhofer Institute IESE, Germany Traceability and Decision Capture in Semi-structured Contexts.......647 Leila Meshkat, Martin Feather, Steven Cornford, California Institute of Technology Improved Software Engineering Decision Support Through Automatic Argument Reduction Tools.......655 Tim Menzies, West Virginia University, James Kiper, Miami University Martin S. Feather, California Institute of Technology COO-flow: a Process Technology to Support Cooperative Processes.......663 D. Grigori, Université Versailles St-Quentin & INRIA, France F. Charoy, C. Godart, Université Henri Poincaré & INRIA, France A Holonic Framework for Business Activity Management.......671 Jun-Jang Jeng (JJ), Steve Buckley, Henry Chang and Jen-Yao Chung, IBM T.J. Watson Research Center, USA Session 12A: Data Mining for SE and KE 2 Mining Access Patterns for Enhancing Navigational Access in Object-Oriented Database.......679 Chih Lai, Szara Loring, Joe Breuer, University of St. Thomas, USA Software Warehouse and Its Management Strategies.......685 Honghua Dai, Wei Dai, Deakin University, Australia An Integrated Framework for Knowledge Management and Discovery of Tropical Cyclone Movements.......691 James N.K. Liu, Raymond Kwong, Wang Meng and Danny K.Y. Sin, Hong Kong Polytechnic University, China Application of Clustering Techniques to Component Architecture Design.......699 Shu-chuan Lo and Jia-hui Chang, National Taipei University of Technology, Taiwan Session 12B: Software Engineering and Decision Support 2 A Bayesian Approach to Software Testing Evaluation.......706 Sandro Morasca, Universita degli Studi dell Insubria, Italy A Tool for Decision Support Implementing OFNWA Approach: A Case Study.......714 Gerardo Canfora, Luigi Cerulo, Rosa Preziosi, Luigi Troiano, University of Sannio, Italy Towards a Framework for Web Sites Quality Evaluation.......721 Paolo Ciancarini, Rocco Moretti, Dipartimento di Scienze dell’Informazione, Italy Conceptual Analysis of Software Structure.......726 Richard Cole, Thomas Tilley, University of Queensland, Australia Reviewers.......734 Authors Index.......735