Table of Contents Foreword …………………………………………………………………………..……iii Conference Organization ……………………………………………………………iv Keynote Dr. Joe Urban …………………………………………………………………………......1 Software Engineering Methodology Constructing Self-Adaptive Systems with Polymorphic Software Architecture Xiaoxing Ma, Yu Zhou, Jian Pan, Ping Yu, Jian Lu ……………………………………2 Odyssey-MDA: A transformational approach to component models Natanael E. N. Maia, Ana Paula Terra Bacelo, Claudia M. Werner …………………...9 An Empirical Exporatory Study on Inferring Developpers' Activities from Low-Level Data Irina Coman, Alberto Sillitti (S) ………………………………………………………….15 TRAP.NET: A Realization of Transparent Shaping in .NET S. Masoud Sadjadi, Fernando Trigoso …………………………………………………...19 A Framework for Selecting Agile Practices and Defining Agile Software Processes Patricia Vilain, Priscila Basto Fagundes, Thiago Leao Machado (S) ……………….....25 A Proposal to Delegate GUI Implementation using a Source Code based Model Marco Monteiro, Paula Oliveira, Ramiro Goncalves (S) ……………………………......29 Cost-based Analysis of Multiple Counter-Examples Flavian Vasile, Samik Basu ………………………………………………………………33 Common Coupling as a Measure of Reuse Effort in Kernel-Based Software Liguo Yu, Stephen R. Schach, Kai Chen …………………………………………………39 An Approach to Validating Translation Correctness From SAM to Java Yujian Fu, Zhijiang Dong, Gonzalo Argote-Garcia, Leyuan Shi, Xudong He (S) …......45 Software Processes and Engineering Practice QSEE Project: An Experience in Outsourcing Software Development for Space Applications Valdivino Santiago, Fatima Mattiello-Francisco, Ricardo Costa, Wendell Pereira da Silva, Ana Maria Ambrosio ……………………………………………………………….51 Broadening the Use of Process Patterns for Modeling Processes Hanh Nhi Tran, Bernard Coulette, Bich Thuy Dong ……………………………………57 A Framework for Tailoring Software Process Lisandra M. Fontoura, Roberto T. Price (S) …………………………………………......63 Analyzing Configuration Management Repository Data for Software Process Improvement Shihong Huang, Christopher Lo (S) …………………………………………………......67 Aspect-Based Software Development Smooth Quality Oriented Component Integration through Product Line Based Aspect-Oriented Component Adaptation Yankui Feng, Xiaodong Liu, Jon Kerridge ………………………………………………71 Modular Specification of Aspect-oriented Systems and Aspect Conflicts Detection Hui Liang, Jing Sun (S) ………………………………………………………………......77 Avoiding Bad Smells in Aspect-Oriented Software Eduardo K. Piveta, Marcelo Hecht, Ana Moreira, Marcelo S. Pimenta, Joao Araujo, Pedro Guerreiro, R. Tom Price ..81 Software Testing and Quality Assurance Metrics of Credibility and Interaction Quality: Design and Evaluation Nilda Perez Otero, Marcelo Perez Ibarra, Sandra Mendez, Adelina Garcia, Ma. del Pilar Galvez Diaz, Viviana E. Quincoces, Hector Liberatori, Beatriz Fiorito, Cecilia Maria Lasserre …87 Predicting Order of Likelihood of Defective Software Modules Rattikorn Hewett, Phongphun Kijsanayothin, Alta van der Merwe …………………….93 Automated Test Code Generation from UML Protocol State Machines Dianxiang Xu, Weifeng Xu, W. Eric Wong ……………………………………………...99 Validating A Layered Decision Framework for Cost-Effective Network Defense Huaqiang Wei, Jim Alves-Foss, Du Zhang ………………………………………………105 Toward Modeling and Analysis for Software Installation Testing Jerry Gao, Sujana Tirumalasetti, Chien-Pin Hsu, Yip Cheong, Anne Colendich, Todd Fitch (S) …111 Automatic Test Generation for Database-Driven Applications Zhenyu Dai, Mei-Hwa Chen ……………………………………………………………...117 Fault-Based Testing of Data Schemas Maria Claudia F. P. Emer, Silvia Regina Vergilio, Mario Jino ………………………...123 NLForSpec: Translating Natural Language Descriptions into Formal Test Case Specifications Daniel Leitao, Dante Torres, Flavia Barros ……………………………………………...129 Enhanced Random Testing for Programs with High Dimensional Input Domains F.-C. Kuo, K.-Y. Sim, Chang-ai Sun, S.-F. Tang, Zhi Quan Zhou …………………......135 On Test Case Distributions of Adaptive Random Testing Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu (S) ……………………………………......141 Reducing the Number of Test Cases for Performance Evaluation of Components Joao W. Cangussu, Kendra Cooper, Eric Wong …………………………………………145 Combining Decorated Classification Trees with RCPS Stochastic Models to Gain New Valuable Insights into Software Project Management Antonio Juarez Alencar, Gelson Guedes Rodrigues, Eber Assis Schmitz, Armando Leite Ferreira ……………………………………………………………………………...151 Towards a Reference Architecture for Software Testing Tools Elisa Yumi Nakagawa, Adenilso da Silva Simao, Fabiano Ferrari, Jose Carlos Maldonado ...........................................................................................................................157 Controlling Restricted Random Testing: An Examination of the Exclusion Ratio Parameter Kwok Ping Chan, T.Y. Chen, Dave Towey (S) …………………163 An Approach to Software Testing of Machine Learning Applications Christian Murphy, Gail Kaiser, Marta Arias (S) …………………167 System Requirements Analysis, Modeling and Specification Agile Methods and Quality Models: Towards an Integration in Requirements Engineering Alexandre Lazaretti Zanatta, Patricia Vilain …………173 A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules Changyan Zhou, Ratnesh Kumar, Devesh Bhatt, Kirk Schloegel, Darren Cofer ………179 In the Requirements Lies the Power Rand Waltzman, Kristina Winbladh, Thomas A. Alspaugh, Debra J. Richardson …....185 Data and Process Analyses of Data Warehouse Requirements Estella Annoni, Franck Ravat, Olivier Teste ……191 Requirement Analysis Evolution through Patterns Luca Vetti Tagliati, Roger Johnson, George Roussos (S) ……197 Automatic Generation of Use Case Diagrams from English Specifications Document Nathalie Rose T. Lim, Christobal T. Cayaba, Joseph Astrophel E. Rodil ……203 REM4j - A framework for measuring the reverse engineering capability of UML CASE tools Steven Kearney, James F. Power …………209 FlexUML: A UML Profile for Flexible Process Modeling Ricardo Martinho, Dulce Domingos, Joao Varajao ………215 A Formal Specification for Product Configuration in Software Product Lines Huilin Ye, Yuqing Lin ……………………221 Designing a Platform-Independent Use-Case for a Composite Application using a Reference Architecture Helge Hofmeister, Guido Wirtz (S) ………227 Synchronization of UML Based Refactoring with Graph Transformation Y. Kosker, A. B. Bener ……………232 Using Formal Composition of Use Cases in Requirements Engineering Rabeb Mizouni, Aziz Salah, Rachida Dssouli …………238 Web-Based Applications Real-Time Trust Management in Agent Based Online Auction Systems Rinkesh Patel, Haiping Xu, Ankit Goel …………244 Geometric Thumbnails For Web Searching Chris Dunn, Beomjin Kim (S) …………251 Web Technology and Web Engineering ADkwik: Web 2.0 Collaboration System for Architectural Decision Engineering Nelly Schuster, Olaf Zimmermann, Cesare Pautasso …………255 Improving Usability of Web Systems with Similar Business Objectives Rashid Ahmad, Zhang Li, Farooque Azam …………………261 Processing Manipulations of Context Information on the Web Roberto De Virgilio …………………………268 A Tag-Level Web-Caching Scheme for Reducing Redundant Data Transfers Steven E. Cox, Du Zhang, Jinsong Ouyang ………………274 Software Project and Resource Management Methodology for Reusing Human Resources Management Standards Asuncion Gomez-Perez, Jaime Ramirez, Boris Villazon-Terrazas …280 An Adaptive Resource Management Approach for a Healthcare System Claudia Raibulet, Luigi Ubezio, Stefano Mussino ………286 Study of the Relationships between Personality, Satisfaction and Product Quality in Software Development Teams Marta Gomez, Silvia T. Acuna (S) ……………292 Software Reuse and Component Technology Towards Constructing High-available Decentralized Systems via Self-adaptive Components Xi Sun, Li Zhou, Lei Zhuang, Wenpin Jiao, Hong Mei …………296 SAFES: A Static Analysis for Field Security in Java Components Aiwu Shi, Gleb Naumovich ………………………302 Reuse of Database Access Layer Components in JEE Product Lines: Limitations and a Possible Solution (Case Study) Ding Peng, Stan Jarzabek, Damith C. Rajapakse, Hongyu Zhang ………308 Design of Wrapper for Self-Management of COTS Components Michael E. Shin, Fernando Paniagua …………314 QoS-Optimized Integration of Embedded Software Components with Multiple Modes of Execution Zonghua Gu, Qingxu Deng ………………320 A C++ Framework for Developing Component Based Software Supporting Dynamic Unanticipated Evolution Andre Rodrigues, Hyggo Almeida, Angelo Perkusich …………326 Representing Design Rationale to support Reuse Adriana Pereira de Medeiros, Daniel Schwabe (S) ………332 Software System Maintenance Telling Stories about System Use: Capturing Collective Tacit Knowledge for System Maintenance Adriana Cristina de Oliveira, Renata Mendes de Araujo, Marcos R.S. Borges ……337 Evolution and Runtime Monitoring of Software Systems Hui Liang, Jin Song Dong, Jing Sun ……………343 On Modern Debugging For Rule-Based Systems Valentin Zacharias, Andreas Abecker …………349 Truth Eliciting Mechanisms for Trouble Ticket Allocation in Software Maintenance Services Karthik Subbian, Y. Narahari …………………355 Knowledge Engineering, Natural Language Processing, and AI Graphical Notation for Natural Language and Knowledge Representation Magda G. Ilieva …………………361 A Hybrid Approach for Natural Language Query Translation Pornpimon Teekayuphun, Ohm Sornil ……………………368 Effective Fault Localization using BP Neural Networks W. Eric Wong, Lei Zhao, Yu Qi, Kai-Yuan Cai, Jing Dong ………374 Temporal Software Change Prediction Using Neural Networks Mehdi Amoui, Mazeiar Salehie, Ladan Tahvildari …………380 Do Neural-Network Question-Answering Systems Have a Role to Play in the Deployment of Real World Information Systems? Antonio Juarez Alencar, Renata Chaomey Wo, Eber Assis Schmitz, Armando Leite Ferreira …………………386 Knowledge Conversion in Software Development Olivier Gendreau, Pierre N. Robillard …………392 A Language Facilitating Informal Reasoning about Programs J. Nelson Rushton, Dwayne Towell …………………396 Plenary Talk Towards Seamless Business Process and Dialogue Specification Dr. Dirk Draheim …………………402 Database Retrieval Methods Evaluating the Efficiency of Retrieval Methods for Component Repositories Oliver Hummel, Werner Janjic, Colin Atkinson ……………404 Benchmarking the RDF(S) Interoperability of Ontology Tools Raul Garcia-Castro, Asuncion Gomez-Perez, York Sure …………410 A Deep Classification of Temporal Versioned Integrity Constraints for Designing Database Applications Robson Leonardo Ferreira Cordeiro, Renata de Matos Galante, Nina Edelweiss, Clesio Saraiva dos Santos (S) ……………………………416 Generating Linear Temporal Logic Formulas for Pattern-Based Specifications Salamah Salamah, Vladik Kreinovich, Ann Q. Gates (S) …………422 Ontology Based Classification Generating Method for Browsing-Based Component Retrieval Ge Li, Lu Zhang, Bing Xie, Weizhong Shao (S) …………428 Data A Context-Dependent Semantic Distance Measure Ahmad El Sayed, Hakim Hacid, Djamel Zighed ………………432 A Semantical Change Detection Algorithm for XML Rodrigo Cordeirodos Santos, Carmem Hara ………………438 XML Schema Evolution by Context Free Grammar Inference Julio C. T. da Silva, Martin A. Musicante, Aurora T. R. Pozo, Silvia R. Vergilio …444 Software Development and Design Pattern Software Tradeoff Assistant: An Integrated Framework for Analytical Decision Making and Tradeoffs in Software Development Rattikorn Hewett, Vikram Patankar ……………450 Improving Separation of Concerns in the Development of Scientific Applications S. M. Sadjadi, J. Martinez, T. Soldo, L. Atencio, R. M. Badia, J. Ejarque (S) …456 Pattern-based J2EE Application Deployment with Cost Analysis Nuyun Zhang, Gang Huang, Ling Lan, Hong Mei (S) ………462 Exploratory Design of Derivation Business Rules Using Query Rewriting Roman Krenicky, David Willmor, Suzanne M. Embury (S) ……467 Classification of Design Pattern Traits Jing Dong, Yajing Zhao (S) ……………473 Data Warehouse A Proposal for a Conceptual Data Warehouse Quality Model Manuel Serrano, Rafael Romero, Jose-Norberto Mazon, Juan Trujillo, Mario Piattini ..477 Integrating Complex Data into a Data Warehouse F. Rava, O. Teste, R. Tournier, G. Zurfluh (S) …………483 Data Mining and Machine Learning Learning from Software Quality Data with Class Imbalance and Noise Andres Folleco, Taghi M. Khoshgoftaar, Jason Van Hulse, Chris Seiffert ……487 System and Software Architecture Architectural Elements Recovery and Quality Evaluation to Assist in Reference Architectures Specification Aline Pires Vieira de Vasconcelos, Claudia Maria Lima Werner ……494 EvoSpaces: 3D Visualization of Software Architecture Sazzadul Alam, Philippe Dugerdil ……………500 Ontobrowse: A Semantic Wiki for Sharing Knowledge about Software Architectures Hans-Jorg Happel, Stefan Seedorf ……………506 Applications Building Business Considerations into Enterprise Application Designs Rattikorn Hewett, Aashay Thipse …………513 Incremental effort prediction models in Agile Development using Radial Basis Functions Raimund Moser, Witold Pedrycz, Giancarlo Succi (S) …………519 BASS: Business Application Support through Software Services Mateus B. Costa, Rodolfo F. Resende, Marcelo V. Segatto, Eduardo F. Nakamura, Nahur Fonseca …………………523 Model-Driven Software Development Using Model-Driven Pattern Matching to derive functionalities in Models Ignacio Garcia-Rodriguez de Guzman, Macario Polo, Mario Piattini ………529 A Model-driven Approach to Architecting Secure Software Ebenezer A. Oladimeji, Sam Supakkul, Lawrence Chung (S) ………535 Agent-Based Technology and Intelligence An Intelligent Agent of Automatically Notify Services Shuo-Yan Hsu, William C. Chu ………………541 A Proposal for a Decentralized Multi-Agent Architecture for Virtual Enterprises Andreas Grunert, Sven Kaffille, Guido Wirtz ……………546 Traceability for Agent-Oriented Design Models and Code Gilberto Cysneiros, Andrea Zisman ………………552 ONTOMADEM: An Ontology-driven Tool for Multi-Agent Domain Engineering Rosario Girardi, Adriana Leite …………………………………………………………... 559 A Three Level Multi-agent Architecture to Foster Knowledge Exchange Juan Pablo Soto, Aurora Vizcaino, Javier Portillo-Rodriguez, Mario Piattini (S) …...... 565 An Agent Based System for Search in Distributed Environments Li Sa, Yong-Sheng Ding (S) ………………570 DB Access and Query Processing Tree Hash Under Concurrency Control Kyosuke Yasuda, Takao Miura ………………574 Query Processing in Paraconsistent Databases in the Presence of Integrity Constraints Navin Viswanath, Rajshekhar Sunderraman …………………580 An Object-Oriented Approach to Storage and Retrieval of RDF/XML Documents Ching-Ming Chao ……………………586 CXPath: a Query Language for Conceptual Models of Integrated XML Data Diego de Vargas Feijo, Claudio Naoto Fuzitaki, A lvaro Moreira, Renata de Matos Galante, Carlos Alberto Heuser ……………592 Service-Oriented Technology and Web Technology OWLed: Extending Knowledge for Web Ontology Language Hichem Zait, Aicha Mokhtari ……………………598 Using Ontologies to Represent Software Project Management Antipatterns Dimitrios Settas, Ioannis Stamelos …………………604 Service Composition Using Planning and Case-Based Reasoning Kuan-Hsian Huang, Alan Liu …………………610 MDA-based Ontology Development: A Study Case Eluzai Souza dos Santos, Celia Ghedini Ralha, Hervaldo Sampaio Carvalho …616 Towards Domain-Centric Ontology Development and Maintenance Frameworks Faezeh Ensan, Weichang Du (S) …………………622 Service Oriented Architecture Empirical Study Mohammad Abu-Matar, Jeff Offutt (S) ………………628 Semantic Support to Reformulate Public Services in Terms of Life Events Luis Alvarez Sabucedo, Luis Anido Rifon (S) …………632 A Component-Based Solution and Architecture for Dynamic Service-Based Applications Alessio Colzi, Tommaso Martini, Paolo Nesi, Davide Rogai (S) ………637 System Reliability and Verification Adequacy of Composite Parametric Software Reliability Models Lance Fiondella, Swapna S. Gokhale ……………643 Evaluation of the OORT Techniques for Inspection of Requirements Specifications in UML: an empirical study Tereza G. Kirner, Erik R. da Cruz (S) ……………649 Agent Modeling/Methodology Adjudicator: A Statistical Approach for Learning Ontology Concepts from Peer Agents Behrouz Far, Abdel-Halim Hafez Elamy, Nora Houari, Mohsen Afsharchi …..654 Agent Applications DALICA: Intelligent Agents for User Profile Deduction Stefania Costantini, Leonardo Mostarda, Arianna Tocchio, Panagiota Tsintza (S) ..660 Human Interaction and GUI Development An Approach to Multimodal Input Interpretation in Human-Computer Interaction Fernando Ferri, Patrizia Grifoni, Stefano Paolozzi ………664 Sketch Style Recognition in Human Computer Interaction Danilo Avola, Fernando Ferri, Patrizia Grifoni ………670 Human-Computer Interaction for a Novel Arm-wrestling Robot Chul-goo Kang, Ho-yeon Kim (S) …………676 Service Managing XML Versions and Replicas in a P2P Context Deise de Brum Saccol, Nina Edelweiss, Renata de Matos Galante, Carlo Zaniolo …680 Knowledge sharing through a simple release planning method for web application development Sven Ziemer, Ilaria Canova Calori ……686 Distributed BPEL Processes Luciano Baresi, Andrea Maurino, Stefano Modafferi …………692 SAM: Semantic Advanced Matchmaker E.S. Ilhan, G.B. Akkus, A. B. Bener …………………698 A development platform for distributed user interfaces Anders Larsson, Magnus Ingmarsson, Bo Sun (S) ………………704 Security A Dynamical System Approach to Intrusion Detection Using System Call Analysis Nitin Kanaskar, Remzi Seker, S. Ramaswamy …………710 Multi-level Anomaly Detection with Application-Level Data Swapna S. Gokhale, Jijun Lu ……………………718 Grid Technology A Four-layered Semantic Grid Architecture Celia Ghedini Ralha, Jose Nelson C. Allemand, Alba C. M. Melo ……724 Software Metrics, Measurement and Evaluation Performance Analysis of the Active Object Pattern in Middleware Paul J. Vandal, Swapna S. Gokhale, Aniruddha S. Gokhale ……730 Analyzing the Applicability of a Theoretical Model in the Evaluation of Functional Size Measurement Procedures Nelly Condori-Fernandez, Oscar Pastor (S) ………736 Software Documents: Comparison and Measurement Tom Arbuckle, Adam Balaban, Dennis K. Peters, Mark Lawford (S) ………740 Industrial Workshop Workflow Management and Service Oriented Architecture Theodorich Kopetzky, Dirk Draheim …………749 Implementing Agile Development - More than Changing Methodology Chuck Fredrick ……………751 Knowledge Modelling using UML A. J. Rhem ………………755 Reviewers’ Index ………758 Authors’ Index ………760 Note: (S) means short paper.