SEKE 2004 PROCEEDINGS The 16th International Conference on Software Engineering & Knowledge Engineering Sponsored by Knowledge Systems Institute Graduate School, USA Co-Sponsored by Informatics Circle of Research Excellence, Canada University of Calgary, Canada Technical Program June 20-24, 2004 Banff Alberta, Canada Organized by Knowledge Systems Institute Graduate School Table of Contents Conference Organization.......iii Foreword.......viii Keynote Papers Collecting the Dots.......1 Shari Lawrence Pfleeger Empirically-Based Software Competences: Synergies between Software & Knowledge Engineering.......2 Dieter Rombach, Technical University of Kaiserslautern & Fraunhofer Institute for Experimental Software Engineering Web Intelligence, World Knowledge and Fuzzy Logic.......3 Lotfi A. Zadeh Panel Position Paper.......6 SEKE Long Papers A Methodology for Scenario Development.......7 Giuseppe Della Penna, Benedetto Intrigila, Anna Rita Laurenzi and Sergio Orefice A Nonparametric Software Reliability Model Based on Kernel Estimator and Optimum Algorithm.......13 Han Fengyan, Qin Zheng and Wang Xin A Simulation-Based Game for Project Management Experiential Learning.......19 Alexandre Dantas, Márcio Barros and Cláudia Werner A UML-based Software Engineering Methodology for Agent Factory.......25 Rem Collier, Gregory O’Hare and Colm Rooney ADAMS: an Artefact-based Process Support System.......31 Andrea De Lucia, Fausto Fasano, Rita Francese and Genoveffa Tortora Agent Technology Portfolio Manager.......37 K. S. Barber, J. Ahn, N. Gujral, D. N. Lam and T. Graser AgentService.......45 Antonio Boccalatte, Andrea Gozzi, Alberto Grosso and Christian Vecchiola An Analytical Framework for Consistency Maintenance Mechanisms in Collaborative Editing Systems.......51 Liyin Xue, Mehmet Orgun and Kang Zhang An Experience of Fuzzy Linear Regression applied to Effort Estimation.......57 Gerardo Canfora, Luigi Cerulo and Luigi Troiano An Intensional Tool Applied to French Language Educational Software.......62 Honglian (Elena) Li and William W. Wadge Analysis of meta-programs: a case study.......68 Stan Jarzabek, Shen Ru, Hongyu Zhang and Sun Zhenxin Architectural Reflection in Adaptive Systems.......74 Francesca Arcelli, Claudia Raibulet, Francesco Tisato and Marzia Adorni Automated Assistance for Eliciting User Expectations.......80 Orna Raz, Rebecca Buchheit, Mary Shaw, Philip Koopman and Christos Faloutsos Automated Support for Knowledge Engineering for A Natural Gas Pipeline Domain.......86 Christine W. Chan Automatic bug triage using text categorization.......92 Davor Cubrani and Gail C. Murphy Automatic Mapping of OWL Ontologies into Java.......98 Aditya Kalyanpur, Daniel Jiménez Pastor, Steve Battle and Julian Padget Black- and White-Box Self-testing COTS Components.......104 Sami Beydeda and Volker Gruhn Building on-line sales assistance systems with ADVISOR SUITE.......110 Dietmar Jannach and Gerold Kreutler Case Study Methodology Designed Research in Software Engineering Methodology Validation.......117 Seok Won Lee and David C. Rine Data-mining in Support of Detecting Class Co-evolution.......123 Zhenchang Xing and Eleni Stroulia Defining and Qualifying Components in the Design Phase.......129 Andrew O’Fallon, Orest Pilskalns, Andrew Knight and Anneliese Andrews Digging into the Visitor Pattern.......135 Fabian B¨uttner, Oliver Radfelder, Arne Lindow and Martin Gogolla Document Clustering with Adaptive Term Weighting and Feature Reduction Capabilities.......142 T.W. Fox and B.J. Fox Effort Estimation for Knowledge-based Configuration Systems.......148 A. Felfernig Enhancing Mediation Security by Aspect-Oriented Approach.......155 Li Yang, Raimund K. Ege and Huiqun Yu Enhancing the Message Concept of the Object Constraint Language.......161 Stephan Flake Entering the Heart of Design: Relationships for Tracing Claim Evolution.......167 Shahtab Wahid, C. F. Allgood, C. M. Chewar and D. Scott McCrickard Future Proofing and Retargeting Application Logic Using O2XML.......173 Marselina Wiharto and Peter Stanski GOLD: A Generalized Parsing System.......179 Devin Cook and Du Zhang Grammatically Interpreting Feature Compositions.......185 Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Raje, Mikhail Auguston, Carol C. Burt, and Andrew M. Olson Information Integration Architecture Development: A Multi-Agent Approach.......192 Stéphane Faulkner, Manuel Kolp, Tai Nguyen, Adrien Coyette and Tung Do Level Construction of Decision Trees in a Partition-based Framework for Classi cation.......199 Y.Y. Yao, Y. Zhao and J.T. Yao Mapping CM3: Upfront Maintenance on CGE&Y’s Process Model.......205 Mira Kajko-Mattsson, Karin Ericsson and Zsofia Szalkai Mapping UML Diagrams to a Petri Net Notation for System Simulation.......213 Zhaoxia Hu and Sol M. Shatz Multi-Objective Optimization by CBR GA-Optimizer for Module-Order Modeling.......220 Taghi M. Khoshgoftaar, Yudong Xiao, and Kehan Gao Noise Elimination with Ensemble-Classifier Filtering: A Case-Study in Software Quality Engineering.......226 Taghi M. Khoshgoftaar and Vedang H. Joshi On Modelling an e-shop Application on the Knowledge Level: e-ShopAgent Approach.......232 Nenad Stojanovic Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques.......238 José A. Cruz-Lemus, Marcela Genero, José A. Olivas, Francisco P. Romero and Mario Piattini Programming ubiquitous software applications: requirements for distributed user interface.......246 Anders Larsson and Erik Berglund Requirements Scenarios Based System-Testing.......252 Ridha Khedri and Imen Bourguiba Reuse of UML Class Diagrams Using Case-Based Composition.......258 Paulo Gomes, Francisco C. Pereira, Paulo Carreiro, Paulo Paiva, Nuno Seco, Jos L. Ferreira and Carlos Bento Reusing Knowledge on Software Quality for Developing Measurement Programs.......264 Olga Jaufman, Bernd Freimut and Ioana Rus Reverse Engineering Software Architecture using Rough Clusters.......270 J. H. Jahnke and Y. Bychkov Software Architecture Modelling and Performance Analysis with Argo/MTE.......276 Yuhong Cai, John Grundy, John Hosking and Xiaoling Dai Software Project Risk Evaluation based on Specific and Systemic Risks.......282 Hélio R.Costa, Márcio de O. Barros and Guilherme H. Travassos Software Traceability via Versioned Hypermedia.......288 Tien N. Nguyen, Ethan V. Munson and Cheng Thao Specification and Validation of Transactional Business Software: An Approach Based on the Exploration of Concrete Scenarios.......294 Alexandre Correa and Cláudia Werner Specification and Verification of Agent Interaction Protocols.......300 Bo Chen and Samira Sadaoui Supporting the Requirements Prioritization Process. A Machine Learning approach.......306 Paolo Avesani, Cinzia Bazzanella, Anna Perini and Angelo Susi Team Tacit Knowledge as a Predictor of Performance in Software Development Teams.......312 Sharon Ryan and Rory V O’Connor Towards Effectively Appraising Online Stores.......318 Ernest Cachia and Mark Micallef UCDA: Use Case Driven Development Assistant Tool for Class Model Generation.......324 Kalaivani Subramaniam, Dong Liu, Behrouz H. Far and Armin Eberlein Using A Scenario Specification Language to Add Context to Design Patterns.......330 Reginald L. Hobbs Visualizing the evolution of software using softChange.......336 Daniel M. German, Abram Hindle and Norman Jordan SEKE Short Papers A Framework for Comprehensive Experience-based Decision Support for Software Engineering Technology Selection.......342 Andreas Jedlitschka, Dietmar Pfahl and Frank Bomarius Active Connectors for Component-Object based Software Architecture.......346 Tahar Khammaci, Adel Smeda, and Mourad Oussalah Analyzing Invariant Condition of Running Java Program.......350 Theodorus Eric Setiadi, Ken Nakayama, Yoshitake Kobayashi, and Mamoru Maekawa Application Semiotics Engineering Process.......354 Gang Zhao Applying Aspect-Orientation in Designing Security Systems: A Case Study.......360 Shu Gao, Yi Deng, Huiqun Yu, Xudong He, Konstantin Beznosov and Kendra Cooper Applying Ontologies in the KDD Pre-Processing Phase.......366 Guillermo Nudelman Hess and Cirano Iochpe Automated Risk Assessment for Managing Software Projects.......372 B. Ray, T. Klinger, R. Delmonico and P. Santhanam Clarifying the Relationship between Software Architecture and Usability.......378 Natalia Juristo, Ana M. Moreno and Isabel Sánchez Commonality and Requirements Analysis for Mesh Generating Software.......384 Spencer Smith and Chien-Hsien Chen Contextual Comparison of Discovered Knowledge Patterns.......388 A.G. Büchner, M. Baumgarten, J.G. Hughes and W.D. Patterson Datawarehouses design: effectivity of the star schema.......392 Coral Calero, Manuel Serrano and Mario Piattini Distributed Knowledge Based System Using Grid Computing for Real Time Air Traffic Synchronization-ATFMGC.......396 Weigang Li, Daniel Amaral Cardoso, Marcos Vinícius Pinheiro Dib, Alba Cristina Magalhães and Alves de Melo Extracting Minimal Non-Redundant Implication Rules by Using Quantized Closed Itemset Lattice.......402 Yun Li, Zongtian Liu, Wei Cheng, Qiang Wu and Wei Liu Formal Description Techniques for CSPs and TCSPs.......406 Malek Mouhoub, Samira Sadaoui and Amrudee Sukpan Handling unanticipated requirements change with aspects.......411 Ana Moreira and João Araújo Integrating Security Administration into Software Architectures Design.......416 Huiqun Yu, Xudong He, Yi Deng and Lian Mo Learning to Select Software Components.......421 Valerie Maxville, Chiou Peng Lam and Jocelyn Armarego Organizational Knowledge: an XML-based Approach to Support Knowledge Management in Distributed and Heterogeneous Environments.......427 Carmen Maidantchik, Gleison Santos and Mariano Montoni Sense-and-Respond Grid.......431 Jun-Jang Jeng, Henry Chang, J. Chung, J. Schiefer, L. An and L. Zeng The KAMET II Architecture for Problem-Solving Method Reuse.......435 Osvaldo Cairó and Julio César Alvarez Using COSMIC-FFP for Predicting Web Application Development Effort.......439 G. Costagliola, F. Ferrucci, C. Gravino, G. Tortora and G. Vitiello Web based architecture for Dynamic eCollaborative work.......445 Ioakim (Makis) Marmaridis, Jeewani Anupama Ginige and Athula Ginige KOM Workshop Papers Feature Value Propagation Analysis for Natural Language Grammars.......449 Ettore Merlo , Michel Gagnon , Giuliano Antoniol and Dominic Letarte Recovering Traceability Links between Requirement Artefacts: a Case Study.......453 Andrea De Lucia, Fausto Fasano, Rita Francese and Rocco Oliveto Reengineering an Industrial Legacy Software Towards an Object-Oriented Knowledge-Based System.......457 Hakim Lounis, Kaddour Boukerche and Houari A. Sahraoui Towards Knowledge Discovery in Software Repositories to Support Refactoring.......462 Jörg Rech OIA Workshop Papers Architecture for an Intelligent Web Application.......466 Indra Seher and Athula Ginige DMTF - CIM to OWL: A Case Study in Ontology Conversion.......470 Dennis Heimbigner Experiences in Using a Method for Building Domain Ontologies.......474 Ricardo de Almeida Falbo Learning Materials Ontology and Semantic Web: a case study in Educational Domain.......478 Moysés de Araújo Non-taxonomic Relations in Semantic Service Discovery and Composition.......482 Michael Lutz Supporting Interface Integration with a Simple Ontology.......486 Damien Conroy, Jim Buckley and Tony Cahill SWETO: Large-Scale Semantic Web Test-bed.......490 Boanerges Aleman-Meza, Chris Halaschek, Amit Sheth, I. Budak Arpinar and Gowtham Sannapareddy Towards Ontological Modelling of Historical Documents.......494 Vanesa Mirzaee, Lee Iverson and Babak Hamidzadeh SEDECS Workshop Papers Applying Evidential Reasoning to Multiple Source Data Integration for Software Engineering Decision Support.......498 George Shi, Reda Alhajj and Ken Barker Decision Support for Planning Software Evolution with Risk Management.......503 D. Greer Machine Learning-Based Quality Predictive Models: Towards an Artificial Decision Making System.......508 Hakim Lounis and Lynda Ait-Mahiedine Requirements for a Tool in Support of SE Technology Selection.......513 Andreas Jedlitschka and Dietmar Pfahl Reviewers.......517 Authors Index.......519