Proceedings SEKE’2002 Fourteenth International Conference on Software Engineering and Knowledge Kngineering In cooperation with ACM Supported by Dipartimento di Matematica e Informatica, Universita di Salerno, Italy Facolta di Scienze Matematiche Fisiche e Naturali, Universita di Salerno, Italy Knowledge Systems Institute, Chicago, USA Dipartimento di Informatica, Universita di Bari, Italy EDS Italia Software ERCIM – European Research Consortium for Informatics and Mathematics ERICSSON LAB Italy FINMATICA S.p.A. GRUPPO NET S.p.A. INTECS Systems Integrations LUTECH S.p.A. SOFTLAB S.r.l. Rational Services Table of Contents......................................................iii Message from the General Chairs..............................................xi Preface.......................................................................................xiii Keynotes l. A few interesting ways software engineering can benefit from knowledge engineering.............3 Lionel C. Briand 2. Computational intelligence as an emerging paradigm of software engineering................7 Witold Pedrycz 3. Knowledge discovery in very large databases.........................15 Xindong Wu 4. Architecture and design of high volume web sites............................17 Paul Dantzig Artificial Intelligence Approaches to Software Engineering 5. Domain analysis from object-oriented frameworks in FrameDoc....................27 Carlos J. Fernandez, Pedro A. Gonzalez 6. Modeling task knowledge to support software development................35 Fabio Zlot, Kathia Marqal de Oliveira, Ana Regina Rocha 7. Using genetic algorithms and coupling measures to devise optimal integration test orders................... 43 Lionel C. Briand, Jie Feng, Yvan Labiche 8. Coordination specification in multi-agent systems. from requirements to architecture with the Tropos methodology.....51 Anna Perini, Angelo Susi, Fausto Giunchiglia Knowledge Engineering Tools and Techniques 9. Using knowledge engineering support for a Java documentation viewer.................57 Henrik Eriksson, Erik Berglund, Peter Nevalainen 10. COMMONCV: modeling the competencies underlying a curriculum vitae................65 Michel Bourse, Mounira Harzallah, Michel Leclere, Francky Trichet 11, Component-oriented KBS................. 73 Mourad Oussalah 12. Modeling ontologies for robotic environments........................77 Antonio Chella, Massimo Cossentino, Roberto Pirrone, Andrea Ruisi Knowledge Representation and Retrieval 13. The multilingual thesaurus of LA URIN..................................83 Diego Calvanese, Tiziana Catarci, Maurizio Lenzerini, Giuseppe Santucci 14. Image content modeling for neuroscience databases..............................................................91 Nah Yunmook, Phillip Sheu 15. Algorithm for documents ranking – Idea and simulation results............................99 Offer Drori 16. Metadata models for QoS-aware information management systems...................................103 Almerindo Graziano, Stefano Russo, Vincenzo Vecchio, Paul Foster Soft Computing 17. LearnMiner: deductive, tolerant agents for discovering didactic resources on the web.......................109 Vincenzo Loia, Sabrina Senatore, M. I. Sessa 18. Hilbertian systems, analityc fuzzy tableaux and cut rule elimination in rational Pavelka’s logic.......117 Luigi Di Lascio Requirements Engineering 19. Towards an inspection technique for use case models................................127 Bente Anda, Dag I.K. Sjeberg 20. Plausible and adaptive requirement traceability structures......................135 George Spanoudakis 21. Knowledge structuring and representation in requirement specification...........................143 Egidio Astesiano, Gianna Reggio 22. Learning organizational knowledge: an evolutionary proposal for requirements engineering..........151 Carmen Maidantchik, Mariano Montoni, Gleison Santos 23. Quantitative Win W’in – A new method for decision support in requirements negotiation...............159 Giinther Ruhe, Armin Eberlein, Dietmar Pfahl 24. Crosscutting quality attributes for requirements engineering..................................167 Ana Moreira, Joao Araujo, Isabel Brito 25. A knowledge-based COTS-aware requirements engineering approach........................................175 Lawrence Chung, Kendra Cooper 26. Information systems development through social structures.............................183 Manuel Kolp, Paolo Giorgini, John Mylopoulos Formal Methods 27. Modeling and verifying multi-agent behaviors using predicate/transition nets.........................193 Dianxiang Xu, Richard Volz, Thomas R. loerger, John Yen 28. Using extended positional grammars to develop visual modeling languages......................201 Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino 29. Formal specification of generative component assembly using two-level grammar.......................209 Barrett R. Bryant, Carol C. Burt, Mikhail Auguston, Rajeev R. Raje, Andrew M. Olson 30. A formal model for verifying compound design patterns.........................213 Gabriela Aranda, Richard Moore Software Domain Modeling and Meta-Modeling 31. Constraint checking in UML modeling...................................217 Jean Louis Sourrouille, Guy Caplat 32. Performance evaluation of domain reference architectures............................225 K. Suzanne Barber, Jim Holt, Geoff Baker 33. Design of knowledge-based systems with the ontology-domain-system approach.................233 Xin Wang, Christine W. Chan, Howard J. Hamilton 34. AI analysis patterns as UML meta-model constructs..........................237 Angeles Manjarres, Gerson Sunye, Damien Pollet, Simon Pickin, Jean Marc Jezequel Software Architectures 35. Exploiting architectural design knowledge to support self-repairing systems......................241 Bradley Schmerl, David Garlan 36. Tracking degradation in software product lines through measurement of design rule violations................249 Enrico Johansson, Martin Host 37. A scalable approach to the design of sw architectures with dynamically created/destroyed components......255 Pietro Abate, Marco Bernardo 38. Evaluating software architectures by coloured Petri nets........................263 Kimiyuki Fukuzawa, Motoshi Saeki 39. Model checking software architecture specifications in SAM..........................271 Xudong He, Junhua Ding, Jiacun Wang, Yi Deng 40. Architectural transformations.................275 Vincenzo Ambriola, Alina Kmiecik. Object-Oriented Technology 41. A database representation that improves automation and maintains consistency in a multiple view environment.......281 Fawzi Albalooshi 42. Maintaining software through intentional source-code views..........................289 Kim Mens, Tom Mens, Michel Wermelinger Component-Based Software Engineering 43. On the role of middleware in architecture-based software development......................299 Nenad Medvidovic 44. A support system to COTS-based software development for business services..................307 Stefania Bandini, Flavio De Paoli, Sara Manzoni, Paolo Mereghetti 45. On the event coordination in multi-component systems..............315 Gianluca Moro, Antonio Natali 46. Designing a component-based framework for visualization in software engineering and knowledge engineering.........323 Casey Best, Margaret-Anne Storey, Jeff Michaud 47. A component-based visual environment development process.....................327 Gennaro Costagliola, Andrea De Lucia, Rita Francese, Michele Risi, Giuseppe Scanniello 48. COTS products characterization............................335 Marco Torchiano, Letizia Jaccheri, Carl-Fredrik Serensen, Alf Inge Wang Software Reuse 49. XVCL: a tutorial.....................................341 Soe Myat Swe, Hongyu Zhang, Stan Jarzabek 50. An ontological approach to domain engineering.........................351 Ricardo A. Falbo, Giancarlo Guizzardi, Katia C. Duarte Validation and Verification 51. Deriving models of software fault-proneness....................361 Giovanni Denaro, Sandro Morasca, Mauro Pezze 52. Construction of global finite state machine for testing task interactions written in message sequence charts.......369 Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha 53. Fixing the Java bytecode verifier by a suitable type domain......................377 Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco, Luca Tesei 54. Local model checking of Java bytecode....................383 Antonella Santone, Gigliola Vaglini Measurement and Empirical Software Engineering 55. Analysing primary and lower order project success drivers..................393 Claes Wohlin, Anneliese Amschler Andrews 56. Representing software usage models with stochastic automata networks...................401 Andre G. Farina, Paulo Fernandes, Flavio M. Oliveira 57. Effort estimation for corrective software maintenance..........................409 Andrea De Lucia, Eugenio Pompella, Silvio Stefanucci 58. A proposal for using continuous attributes in classification trees.....................417 Sandro Morasca 59. Combination of software development effort prediction intervals: why, when and how?......................425 Magne Jergensen, Kjetil Molekken Reverse Kngineering 60. Search based reverse engineering.................431 Brian S. Mitchell, Spiros Mancoridis, Martin Traverso 61. Automatic reconstruction of the underlying interaction design of web applications..............439 L.Paganelli, F.Paterno 62. Recovering software requirements from system-user interaction traces.............447 Mohammad El-Ramly, Eleni Stroulia, Paul Sorenson Software Process Modeling 63. A precedence-based approach for proactive control in software process modelling........................457 Josep M. Ribo, Xavier Franch 64. A concept to support process model maintenance through systematic experience capture...............465 Ulrike Becker-Kornstaedt and Roman Reinert 65. A process centred environment for cooperative software engineering.........................469 Alf Inge Wang 66. A product focused, layered software development framework...................473 William Tepfenhart, Daniela Rosca, Daniel Woolley 67. Towards semantic software engineering environments.............477 Ricardo A. Falbo, Giancarlo Guizzardi, Ana C.C. Natali, Gleidson Bertollo, Fabiano B. Ruy, Paula G. Mian Process and Workflow Management 68. Introducing eServices in business process models.................481 Lerina Aversano and Gerardo Canfora 69. Workflow performance evaluation through WPQL....................489 Andrea F. Abate, Antonio Esposito, Nicola Grieco, Giancarlo Nota 70. A temporal logic view of paradigm models..................497 Juan Carlos Augusto, Rodolfo Sabas Gomez Computer-Supported Cooperative Work 71. Supporting configuration management for virtual workgroups in a peer-to-peer setting.............507 Davide Balzarotti, Carlo Ghezzi, Mattia Monga 72. A service architecture for mobile teamwork.....................513 Engin Kirda, Pascal Fenkam, Gerald Reif, Harald Gall 73. WebTeach: an integrated web-based cooperative environment for distance teaching..........519 Franco Bagnoli, Fabio Franci, Andrea Sterbini.... 74. Architectural concerns in distributed and mobile collaborative systems..................521 Schahram Dustdar, Harald Gall Education and Training 75. An XML- based approach to multimedia software engineering for distance learning........525 Timothy Arndt, Shi-Kuo Chang, Angela Guercio, Paolo Maresca 76. 3 systematic approach to produce small courseware modules for combined learning and knowledge management environments.................................533 Ines Griitzner, Niniek Angkasaputra, Dietmar Pfahl 77. A multilevel learning management system..........541 Genoveffa Tortora, Monica Sebillo, Giuliana Vitiello, Pietro D’Ambrosio 78. Reusing courseware compone............549 Sergio F. Ochoa, Emilio G. Ormeno, Jose A. Pino 79. FAgshare: a frequently asked questions voting system as a collaboration and evaluation tool in teaching activities......................................557 Huu Le Van, Andrea Trentini Human-Computer Interaction 80. A visual approach to define XML to FO transformations.............563 Gerardo Canfora, Luigi Cerulo 81. Applying cognitive dimensions to evaluate and improve the usability of Z formalism................571 Babak Khazaei, Emma Triffitt.. 82. Analysing data trough visualizations in a web-based trade fair system..................579 Paolo Buono, Maria Francesca Costabile, Gerald Jaeschke, Matthias Hemmje Multimedia and Hypermedia Software Kngineering 83. Assertions to better specify the Amazon bug...............585 L. Baresi, G. Denaro, L. Mainetti, P. Paolini 84. Schema modelling for automatic generation of multimedia presentations...................593 Augusto Celentano, Ombretta Gaggi 85. An approach for authoring 3D cultural heritage exhibitions on the web.....................601 Gennaro Costagliola, Sergio Di Martino, Filomena Ferrucci, Fabio Pittarello 86. An5’eb: a system for automatic support to web application verification......................609 Eugenio Di Sciascio, Francesco M.Donini, Marina Mongiello, Giacomo Piscitelli Web-Based Tools, Systems, and Environments 87. A logic-based approach for automatic synthesis and maintenance of web sites......................619 Joao Cavalcanti, Wamberto Vasconcelos 88. XAHM: an adaptive hypermedia model based on XML..............627 Mario Cannataro, Alfredo Cuzzocrea, Andrea Pugliese 89. An approach to lightweight deployment of web services......................635 J. Gergic, J. Kleindienst, Y. Despotopoulos, J. Soldatos, G. Patikis, A. Anagnostou, L. Polymenakos 90. SA WM: a tool for secure and authenticated web metering.....................641 Carlo Blundo, Stelvio Cimato 91. Software configuration, distribution, and deployment of web-services....................649 Rainer Anzbock, Schahram Dustdar, Harald Gall System Applications and Experience 92. On the introduction of quality of service awareness in legacy distributed applications.......................659 R. Canonico, M. D’Arienzo, B. Fadini, S.P. Romano, G. Ventre 93. Designing service negotiation entities for the electronic market-place..................665 S. D’Antonio, B. Fadini, S. P. Romano, G. Ventre. 94. Handling the knowledge acquired during the requirements engineering process – a case study................673 Paolo Donzelli, Roberto Setola 95. A data mining based system supporting tactical decisions.................681 Giuseppe Polese, Massimiliano Troiano, GenoveffaTortora 96. Exploiting the Kaleidoscope architecture in an industrial environmental monitoring system with heterogeneous devices and a knowledge-based supervisor............685 Daniela Micucci Industrial Applications 97. The importance of dealing with uncertainty in the evaluation of software engineering methods and tools.....691 Gerardo Canfora, Luigi Troiano 98. Assessment of software architectures: a case study..................699 A. Fresa, G. Nucera, E. Peciola, G. Santucci 99. A system for real-time fabric inspection and industrial decision................707 Aura Conci, Claudia Belmiro Proenqa 100. A distributed industrial application for quality control of clinched boards based on computer vision.....715 Ivan Bruno, Andrea Giotti, Massimo Monsignori, Paolo Nesi Workshop on Web Engineering Opening Address 101. Web Engineering: Managing the Complexity of 8’eb Systems Development ...............721 Athula Ginige 102. W’eb site auditing – First step towards re-engineering...................731 Yogesh Deshpande, Anupama Chandrarathna, Athula Ginige 103. Patterns for web applications.....................739 Diego Bonura, Rosario Culmone, Emanuela Merelli 104. 8’eb information systems: the changing landscape of management models and web applications..........747 Steve Hansen 105.A simple method & tool for web engineering................755 G. Griffiths, B. D. Hebbron, M. A. Lockyer, B. J. Oates Workshop on Software Engineering Decision Support Components 106. Visualisation for informed decision making; from code to components..................765 Stuart M. Charters, Claire Knight, Nigel Thomas, Malcolm Munro 107.A formal approach for specification and classification of software components..........773 Sathit Nakkrasae, Peraphon Sophatsathit 108.BAREMO: how to choose the appropriate software component using the analytic hierarchy process...............781 Adolfo Lozano-Tello, Asuncion Gomez-Perez 109. Challenges in COTS decision-making: a goal-driven requirements engineering perspective.............789 Carina Alves, Anthony Finkelstein Processes 110. A policy-based resource instantiation mechanism to automate software process management......795 Carla A. Lima Reis, Reis Quites Rodrigo, Heribert Schlebbe, Daltro J. Nunes 111. Software process decision support: making process tradeoffs using a hybrid metrics, modeling and utility framework..803 David Raffo, Warren Harrison, Joseph Vandeville Methodology 112. A new method to evaluate software artifacts against predefined profiles.............811 Maurizio Morisio, Ioannis Stamelos, Alexis Tsoukias 113. A Method for Understanding Quality Attributes Software Architecture structure...........819 Mikael Svahnberg, Claes Wohlin, Lars Lundberg, Michael Matsson 114. Systematically combining process simulation and empirical data in support of decision analysis in software development......................................827 Ioana Rus, Stefan Biffl, Michael Halling 115. Decision support for extreme programming introduction and practice selection..........835 Daniel Karlstrom, Per Runeson Author Index.............843