Table of Contents Foreword.......iii Conference Organization.......iv Keynote Outsourcing America Professor Ron Hira.......1 Information Services in Service Oriented Architecture -- Challenges and Opportunities Dr. Kuo-Wei Hwang.......2 A Pragmatic Approach to Enterprise Services Orientation Gordon Simpson.......3 Aspect-Oriented and Collaborative Systems Metamodel Access Protocols for Extensible Aspect-Oriented Modeling Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami.......4 Modeling Complex Software Systems Using an Aspect Extension of Object-Z Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He.......11 Customizing Aspect-Oriented Variabilities using Generative Techniques Uirá Kulesza, Carlos Lucena, Paulo Alencar, Alessandro Garcia.......17 Collaboration Support Model of Software Development Experiment Saeko Matsuura, Hiroki Kurihara.......23 Enhancing Semantic Interoperability in Collaborative Systems Flavio De Paoli, Marco Loregian.......29 Rule-Based Systems Combining AI Techniques into a Legal Agent-based Intelligent Tutoring System Ig Bittencourt, Marcos Tadeu, Evandro Costa.......35 Using Conditional Probability to Measure Rule-based Knowledge Similarity Chin-Jung Huang, Min-Yuan Cheng (S).......41 Reverse Engineering of Rule-based Systems Abdelhamid Bouchachia, Daniel Wakounig.......45 A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge Chin-Jung Huang, Min-Yuan Cheng.......51 A Rule-Based Expert System for the Diagnosis of Convergence Problems in Circuit Simulation Christopher W. Lehman, Mary Jane Willshire (S).......57 Data Mining Using Data Mining Schemes for Improvement on System Performance in Virtual Environments Shao-Shin Hung, Damon Shing-Min Liu.......61 An architecture based on multi-agent system and data mining for recommending research papers and researchers Sílvio César Cazella, Luis Otávio Campos Alvares.......67 Salient Phrases-based Clustering and Ranking in Chinese Bulletin Board System Xiaoyuan Wu, Shen Huang, Yong Yu.......73 GEOARM: an Interoperable Framework to Improve Geographic Data Preprocessing and Spatial Association Rule Mining Vania Bogorny, Paulo Martins Engel, Luis Otavio Alvares.......79 Classification by Multi-Perspective Representation Method Jia Zeng, Reda Alhajj.......85 Software Architecture An Architecture for Personal Cognitive Assistance David Garlan, Bradley Schmerl.......91 Updating Styles Challenge Updating Needs within Component-based Software Architectures Mourad Oussalah, Dalila Tamzalit, Olivier Le Goaer, Abdelhak-Djamel Seriai (S).......98 Verifying a Software Architecture Reconstruction Framework with a Case Study Seonah Lee, Sungwon Kang (S).......102 What’s in Constructing a Domain Model for Sharing Architectural Knowledge? Rik Farenhorst, Remco C. de Boer, Robert Deckers, Patricia Lago, Hans van Vliet (S).......108 A Pattern Taxonomy for Business Process Integration Oriented Application Integration Helge Hofmeister, Guido Wirtz.......114 Verification & Decision Support A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications Beata Sarna-Starosta, R. E. K. Stirewalt, Laura K. Dillon.......120 A PVS Approach to Verifying ORA-SS Data Models Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves.......126 Decision Support for Resource-centric Software Release Planning Jim Mc Elroy, Guenther Ruhe.......132 Managing Uncertainty in Agile Release Planning K. McDaid, D. Greer, F. Keenan, P. Prior, G. Coleman, P. Taylor.......138 A Decision Modelling Approach for Analysing Requirements Configuration Trade-offs in Time-constrained Web Application Development Sven Ziemer, Pedro R. Falcone Sampaio, Tor Stålhane (S).......144 Databases Multi-model Based Optimization for Stream Query Processing Ying Liu, Beth Plale.......150 Applying MDA to the Conceptual Design of Data Warehouses Leopoldo Zepeda, Matilde Celma.......156 A Data Warehouse Architecture in Layers for Science and Technology André Luís Andrade Menolli, Maria Madalena Dias (S).......162 Querying Ontology Based Databases - The OntoQL Proposal Stéphane Jean, Yamine Aït-Ameur, Guy Pierra.......166 Towards a Conceptual Framework to Classify Ubiquitous Software Projects Rodrigo O. Spinola, Jobson L. M. da Silva, Guilherme H. Travassos (S) 172 Software Development Open Source Development Process: a Review Marco Scotto, Alberto Sillitti, Giancarlo Succi.......176 Organizational Programming: Hierarchy Software Construction Zhuo Yin, JianMin Wang (S).......182 Towards a Methodology for Hybrid Systems Software Development Isabel Mar´ia del A´ guila, Joaqu´in Can˜adas, Jose´ Palma, Samuel Tu´nez.......188 After the Scrum: Twenty Years of Working without Documentation Sukanya Ratanotayanon, Jigar Kotak, Susan Elliott Sim.......194 Applying Models of Technology Adoption to Software Tools and Methods: An Empirical Study Scott A. Bailey, Susan Elliott Sim.......200 Empirical SE Measuring the Usability of Online Stores Ernest Cachia, Mark Micallef.......206 Key Issues and Metrics for Evaluating Product Line Architectures Soo Ho Chang, Hyun Jung La, Soo Dong Kim.......212 Multiple Imputation of Software Measurement Data: A Case Study Taghi M. Khoshgoftaar, Jason Van Hulse.......220 Polishing Noise in Continuous Software Measurement Data Taghi M. Khoshgoftaar, Christopher Seiffert, Jason Van Hulse (S).......227 3D Visualization of Class Template Diagrams for Deployed Open Source Applications Benjamin N. Hoipkemier, Nicholas A. Kraft, Brian A. Malloy (S).......232 Parallel Monitoring of Design Pattern Contracts Jason O. Hallstrom, Andrew R. Dalton, Neelam Soundarajan.......236 An Empirical Study of the Maintenance Effort Liguo Yu, Kai Chen (S).......242 Experimental Study on the Impact of Team Climate on Software Quality Silvia T. Acuña, Marta Gómez, Ramón Rico.......246 Web Object Cacheability – How Much Do We Know? Chi-Hung Chi, Jun-Li Yuan, Lin Liu (S).......252 Bayesian Estimation of Defects based on Defect Decay Model: BayesED^3M Syed Waseem Haider, João W. Cangussu (S).......256 Component A Component Model to Support Dynamic Unanticipated Software Evolution Hyggo Almeida, Angelo Perkusich, Glauber Ferreira, Emerson Loureiro, Evandro Costa.......262 Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution Wei Sun, Xin Zhang, Ying Liu, Zhong Tian.......268 Container-Based Component Deployment: A Case Study Nigamanth Sridhar, Jason O. Hallstrom, Paolo A.G. Sivilotti (S).......274 Interaction Partnering Criteria for COTS Components M. Kelkar, M. Smith, R. Gamble.......278 Ranking Component Retrieval Results by Leveraging User History Information Yan Li, Ying Pan, Lu Zhang, Bing Xie, Jiasu Sun.......284 Components and Evolution A Framework for Component-based System Modeling Zhijiang Dong, Yujian Fu, Xudong He.......290 Evolution problem within Component-Based Software Architecture D.Tamzalit, N. Sadou, M. Oussalah (S).......296 Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation Kamran Sartipi, Hossein Safyallah.......302 A Practical Quality Model for Evaluating Business Components Ji Hyeok Kim, Sung Yul Rhew, Soo Dong Kim.......309 The Evolutionary Role of Variable Assignment and Its Impact on Program Verification Daniel E. Cooke, J. Nelson Rushton, and Robert Watson.......315 Pattern-Based System Evolution: A Case-Study Neelam Soundarajan, Jason O. Hallstrom.......321 Ontologies An Ontology-Based Metamodel for Software Patterns Scott Henninger, Padmapriya Ashokkumar (S).......327 A Formalism of Ontology to Support a Software Maintenance Knowledge-based System Alain April, Jean-Marc Deshanais, Reiner Dumke.......331 Ontology-driven Model for Knowledge-Based Software Engineering Thaddeus S, Kasmir Raja S.V.......337 Performing Requirements Elicitation Activities Supported by Quality Ontologies Taiseera Hazeem Al Balushi, Pedro R. Falcone Sampaio, Divyesh Dabhi, Pericles Loucopoulos.......343 KOntoR: An Ontology-enabled Approach to Software Reuse Hans-Joerg Happel, Axel Korthaus, Stefan Seedorf, Peter Tomczyk.......349 Programming Languages Automatic Monitoring of Control-flow Through Inheritance Hierarchies Benjamin Tyler, Neelam Soundarajan.......355 A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai (S).......359 Incrementally Inferring Context-Free Grammars for Domain-Specific Languages Faizan Javed, Marjan Mernik, Alan Sprague, Barrett Bryant.......363 Supporting Connector in Programming Language Bo Chen, ZhouJun Li, HuoWang Chen.......369 TaxTOOLJ: A Tool to Catalog Java Classes Djuradj Babich, Kayan Chiu, Peter J. Clarke.......375 Security A Relationship-based Flexible Authorization Framework for Mediation Systems Li Yang, Joseph M. Kizza, Raimund K. Ege, Malek Adjouadi (S).......381 Towards Secure Ambient Intelligence Scenarios Antonio Maña, Francisco Sánchez, Daniel Serrano, Antonio Muñoz.......386 Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems Josh Pauli, Dianxiang Xu.......392 Improving Intrusion Detection Systems Using Reference Vectors Ohm Sornil, Pattree Sidthikorn.......398 Using the Dynamic Proxy Approach to Introduce Role-Based Security to Java Data Objects Matthias Merz.......404 A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization Ling Zhang, Jianping Yin, Mengjun Li, Jieren Cheng.......410 Knowledge Acquisition Towards a contextualized access to the cultural heritage world using 360 Panoramic Images P. Mazzoleni, S. Valtolina, S. Franzoni, P. Mussio, E. Bertino (S).......416 Object and Knowledge Modeling for Impact Fusion Catherine Howard, Markus Stumptner.......420 A Framework for Fusing Consistent Knowledge Bases Automatically Eric Grégoire, Du Zhang.......426 User Profiling in the Chronobot/Virtual Classroom System Xin Li, Shi-Kuo Chang.......432 Formal Methods Falsification of OTSs by Searches of Bounded Reachable State Spaces Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi.......440 Implementation of CafeOBJ Specifications to Java Code Samira Sadaoui, Sudhanshu Singh (S).......446 A Design Methodology for Tailorable Visual Interactive Systems Maria Francesca Costabile, Daniela Fogli, Andrea Marcante, Piero Mussio, Antonio Piccinno.......450 A Method for Modeling Object-Oriented Systems with PZ nets Ying Huang, Xudong He.......456 Achieving a Better Middleware Design through Formal Modeling and Analysis Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng, Xudong He (S).......463 Design Rationale in Academic Software Development: Requirements for a Representation Model Débora Maria Barroso Paiva, Andre Pimenta Freire, Renata Pontin de Mattos Fortes (S).......469 Testing Coverage Testing Embedded Software on Symbian/OMAP W. Eric Wong, Sharath Rao, John Linn, James Overturf.......473 Efficient and Effective Random Testing based on Partitioning and Neighborhood Johannes Mayer.......479 Enhanced Anomaly Detection in Self-Healing Components Michael E. Shin, Yan Xu (S).......485 Program Testing Using High-Level Property-Driven Models Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D’Hondt.......489 A Multi-Agent Based Architecture For Distributed Testing Mohammed Benattou (S).......495 Software Defect Data and Predictability for Testing Schedules Rattikorn Hewett, Aniruddha Kulkarni, Catherine Stringfellow, Anneliese Andrews.......499 Using UML Designs to Generate OCL for Security Testing Orest Pilskalns, Anneliese Andrews.......505 Applying Mutation Testing in XML Schemas Ledyvânia Franzotte, Silvia Regina Vergilio.......511 A New Heuristic for Test Suite Generation for Pair-wise Testing Changhai Nie, Baowen Xu, Liang Shi, Ziyuan Wang.......517 Towards the Establishment of an Ontology of Software Testing Ellen Francine Barbosa, Elisa Yumi Nakagawa, José Carlos Maldonado (S).......522 Web Services Automating the Implementation of Mobile Applications and Services Michael Jiang, Anant Athale, and Zhihui Yang, Rajarshi Chatterjee, Jay Acharya.......526 UML Modelling Web Applications via Formal Concept Analysis Zhuopeng Zhang, Jian Kang, Hongji Yang (S).......532 Debugging Failures in Web Services Coordination Wolfgang Mayer, Markus Stumptner.......536 OWL-S Ontology Framework Extension for Dynamic Web Service Composition Jing Dong, Yongtao Sun, Sheng Yang (S).......544 WebExplain: A UPML Extension to Support the Development of Explanations on the Web for Knowledge-Based Systems Vládia Pinheiro, Vasco Furtado, Paulo Pinheiro da Silva, Deborah L. McGuinness.......550 UML and Modeling A Use Case Model and its Transformation to Activity Diagram Xing-Yi Lin, Ching-Hui Wang, William C. Chu, Chihhsiong Shih.......556 An Analysis Model of Activity Diagram in UML 2.0 W.C. Piao, C.H. Wang, William C. Chu, Lung-Pin Chen.......562 Translation of UML Models to Object Coloured Petri Nets with a view to Analysis Asghar Bokhari, Skip Poehlman (S).......568 Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach Farid Mokhati, Mourad Badri, Patrice Gagnon (S).......572 Specifying Consistency Constraints for Modelling Languages Lijun Shan, Hong Zhu.......578 Web & Workflow Management WebLang: A Language for Modeling and Implementing Web Applications Olivier Buchwalder, Claude Petitpierre.......584 WECAP: A Web Environment for Project Planning Lerina Aversano, Gerardo Canfora, Corrado Aaron Visaggio (S).......591 A Workflow Mining Tool based on Logs Statistical Analysis Walid Gaaloul, Claude Godart.......595 Task Anticipation: A Quantitative Analysis Using Workflow Process Simulation Igor Steinmacher, José Valdeni de Lima, Elisa Hatsue M. Huzita.......601 AN.P2P -- an Active Peer-to-peer System Chi-Hung Chi, Mu Su, Lin Liu, HongGuang Wang (S).......607 AAIEPESE Workshop AAIEPESE'06 AAIEPESE Keynote: Artificial Intelligence and Environmental Systems Engineering Ni-Bin Chang.......613 Reengineering a Rule-Based System towards a Planning System Kaddour Boukerche, Hakim Lounis.......619 Reliability Analysis of Pipe and Filter Architecture Style Swapna S. Gokhale, Sherif Yacoub.......625 SOPHIANN: A Tool for Extraction Knowledge Rules from ANN Previously Trained – A Case Study M. Song , L. Zárate, S. Dias, A. Alvarez, B. Soares, B. Nogueira, R. Vimieiro, T. Santos, N. Vieira.......631 AOSDM Workshop AOSDM-I: Multi-Agent Models The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents Xinjun Mao, Zhiming Chang, Lijun Shang, Hong Zhu, Ji Wang.......639 An Ontology Based Multi-Agent System Conceptual Model Walid Chainbi.......645 A Hierarchical Agent-oriented Knowledge Model for Multi-Agent Systems Liang Xiao, Des Greer.......651 A Comparative Analysis of i*Agent-Oriented Modelling Techniques Gemma Grau, Carlos Cares, Xavier Franch, Fredy J. Navarrete.......657 A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering Environment Nao Li, Mingshu Li, Qing Wang, Shuanzhu Du.......664 AOSDM-II: Agent-Oriented Development A Formal Architectural Model For Mobile Service Systems Zuohua Ding.......670 An Environment of Knowledge Discovery in Database Maria Madalena Dias, Roberto Carlos dos Santos Pacheco, Lúcio Gerônimo Valentin.......676 Genre-based approach to Requirements Elicitation Aneesh Krishna, Rodney J. Clarke, Aditya K. Ghose.......682 Mobility-based Runtime Load Balancing in Multi-Agent Systems Jan Stender, Silvan Kaiser, Sahin Albayrak.......688 EECC Workshop EECC-I: Web Service Composition Elevating Interaction Requirements for Web Service Composition M. Hepner, M.T. Gamble, R. Gamble (S).......697 Unanticipated Connection of Components Based on Their State Changes Notifications Luc Fabresse, Christophe Dony, Marianne Huchard.......702 Service Design with the ServiceBlueprint Jochen Meis, Lothar Schöpe.......708 Towards Context-based Mediation for Semantic Web Services Composition Michael Mrissa, Chirine Ghedira, Djamal Benslimane, Zakaria Maamar.......714 EECC-II: Component-Based Systems The Research and Design of Layered-metadata used for Component-based Software Testing Liangli Ma, Yansheng Lu, Mengren Liu (S).......720 QoSPL: A QoS-Driven Software Product Line Engineering Framework for Distributed Real-time and Embedded Systems Shih-Hsi Liu, Barrett R. Bryant, Jeff Gray, Rajeev Raje, Mihran Tuceryan, Andrew Olson, Mikhail Auguston.......724 Performance Evaluation of Component System based on Container style Middleware Yong Zhang, Ningjiang Chen, Jun Wei, Tao Huang.......730 Two Perspectives on Open-Source Software Evolution: Maintenance and Reuse Liguo Yu, Kai Chen.......737 Reviewers' Index.......743 Authors' Index.......746 Note: (S) means short paper.