PROCKEDINGS SEKE 2001 Thirteenth International Conference on Software Engineering and Knowledge Engineering Sponsored by Knowledge Systems Institute, USA Co-Sponsored by Agencia Nacional de Promocisn Cientmfica y Tecnolsgica, Argentina Branden University, USA Universidad Nacional de Santiago del Kstero, Argentina Universidad Politicnica de Madrid, Spain Technical Program June 13-15, 2001 Buenos Aires, Argentina Organized by Knowledge Systems Institute Table of Contents Conference Organization............................................................iii Program Co-Chairs’ Message................................................................iv Keynote: Stephen Mellor (Project Technology, Inc). ”Raising the Level of Abstraction: Model Execution and Translation.”.................................1 TRACK A. Software Quality I 1. Paulo Marcos Siqueira Bueno and Mario Jino (Unicamp), ”Automatic Test Data Generation for Program Paths Using Genetic Algorithms.”........................ 2 2. Frank Houdek, Thilo Schwinn (DaimlerChrysler AG) and Dietmar Ernst (University of Ulm), ”Defect Detection for Executable Specifications - An Experiment.” ........................ 10 3. K. Suzanne Barber, Tom Graser (University of Texas at Austin) and Jim Holt (Motorola), ”Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking.”..................... 19 TRACK B. Reuse I. Software Experiences 1. Manoel Gomes de Mendonqa Neto (Salvador University), Carolyn B. Seaman (University of Maryland, Baltimore Country), Victor Basili (University of Maryland College Park) and Yong- Mi Kim (Q-Labs Inc.), ”A Prototype Experience Management System for a Software Consulting Organization.”......................... 29 2. Marcio de Oliveira Barros, Claudia Maria Lima Werner and Guilherme Horta Travassos (COPPE/UFRJ), ”Scenario Oriented Project Management Knowledge Reuse within a Risk Analysis Process.”.............. 37 3. Sira Vegas (Universidad Politecnica de Madrid), ”What Information is Relevant when Selecting Testing Techniques?”..................... 45 TRACK A. Requirements Engineering I 1. Jorge Enrique Perez-Martinez (Universidad Politecnica de Madrid) and Almudena Sierra- Alonso (Universidad Rey Juan Carlos), ”Application of Knowledge Acquisition Techniques to Requirements Capture: A Case Study.” .......... 53 2. Stan Jarzabek, Wai Chun Ong and Hongyu Zhang (National University of Singapore), ”Handling Variant Requirements in 9omain Modeling.”..................................... 61 3. Regis Kla (University of Paris), ”Semiautomatic extraction of Object-Oriented specifications form textual scenarios.”............. 69 TRACK B. Reuse II. Ontologies 1. Ludger van Elst and Andreas Abecker (German Research Center for Artificial InteHigence), ”Ontology-Related Services in Agent-Based Distributed Information Infrastructures.” ...... 79 2. Nieves R. Brisaboa, Miguel R. Penabad, Angeles S. Places and Francisco J. Rodriguez (Universidade de A Coruna), ”Using ontologies for federation of Web accessible databases.” .............. 87 3. G. Talens, D. Boulanger and I. Dedun (Universite Jean MOULIN), ”Object Indexes to Implement a Case Base for Reuse in a Multi-Domain Context.” .......... 95 Keynote: Vic Basili (University of Maryland and Fraunhofer Center – Maryland), ”Implementing the Experience Factory concepts as a set of Experience Bases” .................. 102 TRACK A. Requirements Engineering H l. Ana M. Moreno and Andres Silva (Universidad Politecnica de Madrid), ”A Method for Detection, Classification and Resolution of Discrepancies in Viewpoint-based Requirements Engineering.”... 110 2. Radu Iosif and Riccardo Sissto (Politecnico di Torino), ”Temporal Logic Properties of Java Objects.” .................................... 120 3. Daniela Rosca (Monmouth University) and Chris Wild (Old Dominion University), ”Towards a Flexible Deployment of Business Rules.” ................................... 128 4. Oscar Dieste (Universidad Alfonso X el Sabio), ”Development-Paradigm Independent Conceptual Models.” ............... 137 TRACK B. Reuse III. 1. Fernando Ramos, Juan Frausto and Francisco Camargo (Instituto Tecnologico y de Estudios Superiores de Monterrey) ”Reuse of Colored Petri Nets Software Models.” ....................... 145 2. M. Cecilia Bastarrioa (Universiddad de Chile), Rodrigo E. Caballero (United Technologies Research Center), Steven A Demurjian (University of Connecticut) and Alex A. Shvartsman (University of Connecticut and MIT Lab for Computer Science) ”Two Optimization Techniques for Component-Based Systems Deployment.”............................................ 153 3. Marco Antonio Furlan de Souuza and Maria Alice Grigas Varella Ferreira (Universidade de Sao Paulo) ”Designing Reusable Rule-Based Architectures with Design Patterns.” ............ 163 4. Stan Jarzabek and Hongyu Zhang (National University of Singapore) ”Enhacing component reuse with control flow abstraction analysis.” ..................... 171 Keynote: S. L. Pfleeger (Systems/Software, Inc.) ”Decision-Making in Software Engineering” ............................... 179 TRACK A. Software Quality II 1. Auri Marcelo Rizzo Vincenzi, Elisa Yume Nakagawa, Jose Carlos Maldonado, (Universidade de Sao Paulo) Marcio Eduardo Delamaro (Universidade Estadual de Maringa) and Roseli Aparecida Francelin Romero (Universidade de Sao Paulo) ”Bayesian-Learning Based Guidelines to 9etermine Equivalente Mutants.”...............180 2. Jaime Ramirez and Angelioa de Antonio (Universidad Politecnioa de Madxid) ”Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships.”....... 188 3. Young Lee, Kai H. Chang, David A. Umphress, Dean Hendrix and James H. Cross II (Auburn University) ”Automated Tool for Software Quality Measurement.” ............................... 196 TRACK B. Databases 1. Marcela Genero, Jose Olivas, Mario Piattini and Francisco Romero (University of Castilla-La Mancha) ”Knowledge Discovery For Predicting Entity Relationship Diagram Maintainability.”....203 2. Hee Beng Kuan Tan, Ni Lar Thein and Li Ye (Nanyang Technological University) ”Design for Post-Transaction Input Error Handling.” ................................. 212 3. Fernando Carpani and Raul Ruggia (Universidad de la Republica) ”An Integrity Constraints Language for a Conceptual Multidimensional Data Model.”...........220 TRACK A. Object Orientation 1. Pablo Fillottrani, Elsa Estevez and Susana Kahnert (Universidad Nacional del Sur) ”Applying Logic Programming Techniques to Object-Oriented Modeling in UML.”....................... 228 2. Patterns. Kim Mens, Isabel Michiels and Roel Wuyts (Vrije Universiteit Brussel) ”Supporting Software Development through Declaratively Codified Programming” .......... 236 3. Juan Gargiulo and Spiros Mancoridis (Drexel University) ”Gadget: A Tool for Extracting the Dynamic Structure of Java Programs.”.......... 244 TRACK B. Project Management 1. Mirella Moura Moro, Silvia Maria Saggiorato, Nina Edelweiss and Clesio Saraiva dos Santos (Universidade Federal do Rio Grande do Sul) ”A Temporal Versions Model for Time- Evolving Systems Specification.”...... 252 2. Silvio Gonnet and Horaoio Leone (Universidad Tecnologica Nacional) ”A Framework for Model Version Management in a Design Process.”.............. 260 3. Magne Jergensen (University of Oslo), Ulf Indahl (Teknometri as) and Dag Sjoberg (University of Oslo and Simula Reserch Laboratory as) ”Software effort estimation by analogy and ”regression toward the mean”.”................................ 268 Keynote: Al Davis (Omni-Vista, Inc.) ”Requirements Triage: The Most Important Part of Software Engineering...and the Most Ignored.” ........ 275 TRACK A. Software Agents 1. Pablo Gruer, Vincent Hilaire, Abder Koukam (UTBM/Systemes et Transports) and Krzysztof Cernarowicz (University of Metallurgy) ”A Formal Framework for Multi-Agent Systems Analysis and Design.”................................ 276 2. Paolo Giorgini (University of Trento), Anna Perini (ITC-irst), John Mylopoulus (University of Toronto), Fausto Giunohiglia (University of Trento) and Paolo Bresciani (ITC-irst) ”Agent- Oriented Software Development: A Case Study.”........................... 283 3. Federico Bergenti and Agostino Poggi (Universita degli Studi di Parma) ”Supporting Agent- Oriented Software Engineering with UML.”................... 291 4. Adriano Jose Pinheiro Lemos and Angelo Perkusich (Departamento de Engenharia Eletrica, Universidade Federal da Paraiba) ”Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets.”.....299 TRACK B. Short Papers 1. Francisco J. Garcia and Juan M. Corchado. Universidad de Salamanca ”CBR Applied to Development with Reuse Based on Mecanos.”.................................307 2. Osvaldo Cairo (Instituto Tecnologico Autonomo de Mexico), Julio Barreiro and Francisco Solsona (Universidad Naoional Autonoma de Mexico) ”Evaluating Knowledge Acquisition Frameworks Aiming at a Moving Target.”................312 3. Maria Isabel Sanchez-Segura (Universidad Carlos III de Madrid), Angelica de Antonio, Ricardo Imbert, Gonzalo Mendez (Universidad Politeonica de Madrid) and Antonio de Amesoua (Universidad Carlos III de Madrid) ”Design Task in Virtual Environments Development.” ...............................317 4. Supanat Kitcharonesakkul and Vilas Wuwongse (Asian Institute of Technology) ”Software Composing based on a Unified SCM System.” ..........................................................321 5. Christiane Gresse von Wangenheim (Universidade do Vale do Itajai), Daniel Lichtnow and Aldo von Wangenheim (Universidade Federal de Santa Catarina) ”A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations.”..................326 6. Miro Casanova, Thomas Wallet and Maja D’Hondt (Vrije Universiteit Brussels) ”Explicit Domain Knowledge Model in Geographic Information Systems.” ..................................331 7. Esperanza Maroos (Universidad Rey Juan Carlos) ”Defining taxonomic hierarchies: their implications for multiple inheritance.”...........................336 8. R. Gomez, J.C. Augusto (Universidad Nacional del Sur) and A. Galton (University of Exeter) ”Testing an Event Specification Language.”........................ 341 Keynote: S. K. Chang (Knowledge Systems Institute and University of Pittsburgh) ”A Special Presentation on Multimedia Software Engineering”...........................346 TRACK A. Learning Organizations 1. Emily Oh and Andre van der Hoek (University of California) ”Adapting Game Technology to Support Individual and Organizational Learning.”..............347 2. D. Pfahl and G. Ruhe (Fraunhofer IESE) ”System Dynamics as an Enabling Technology for Learning in Software Organizations.”.............355 3. Nelson Baloian (University of Chile), David Fuller and Sergio Ochoa (Pontificia Universidad Catolica de Chile) ”A Model for Component-Based Courseware Development (CBCD).”..... 363 TRACK B. Software Design and Maintenance 1. Mira Kajko-Mattsson (Stockhohn University), Lars-Olov Tjerngren and Par Aadersson (ABB) ”CM3: Up-Front Maintenance.” ................................................................... 371 2. J.L. Sierra, A. Fernandez-Valmayor, B. Fernandez-Manjon and A. Navarro. Universidad Complutense de Madrid ”Operationalizing Application Descriptions in DTC: Building Applications with Generalized Markup Technologies.”..... 379 3. Nenad Medvidovic, Paul Gruenbacher, Alexander F. Egyed and Barry W. Boehm (University of Southern California) ”Software Model Connectors: Bridging Models across the Software Lifecycle.” ...................387 TRACK A. Software Architectures 1. Marta Lopez (Universidade de A Coruna) ”Application of an Evaluation Framework for Analyzing the Architecture Tradeoff Analysis Method.”........... 397 TRACK B. Data Mining l. Aura Conci, Everest Mathias and M. M. Castro (Federal Fluminense University) ”Image Mining by Color Coateat.” ..............................405 2. Fernando Alonso, Juan P. Caraqa Valente, Angel L. Gonzalez and Cesar Montes (Universidad Politecnica de Madrid) ”Combining Expert Knowledge and Data Mining in a Medical Diagnosis Domain.”....................... 412 SEKE 2001 Reviewers.............................420 AUTHORS” INDKX..................................421