SEKE’06 Technical Program




8:30 - 9:45

9:45-10:00 Coffee Break

10:00 - 12:00

12:00-13:30 Lunch Break

13:30 - 15:45

15:45-16:00 Coffee Break

16:00 - 18:00








July 5 Wed

Keynote: Ron Hira

Panel on Software Development


Verification & Decision Support

 Reception begins at 18:30



Aspect-Oriended & Collaborative Sys

Data Mining


Rule-Based Systems

Software Architecture

Software Development







July 6 Thu

Keynote: Kuo-Wei Hwang




Banquet (Bus departs at 18:15)

Empirical SE I

Empirical SE II

Programming Languages

Component-Based Systems I

Components and Evolution








July 7 Fri

Keynote: Gordon Simpson



UML and Modeling


Knowledge Acquisition

Software Testing I

Software Testing II


Formal Methods

Web Services

Web & Workflow Management




Technical Program





7:45 - 8:30 July 5 Wednesday



8:30 - 9:45 July 5 Wednesday


Keynote (chair: Shi-Kuo Chang)

Outsourcing America

Ron Hira, author of "Outsourcing America"


10:00 - 12:00 July 5 Wednesday


Panel (moderator: Shi-Kuo Chang)


Software Development and Outsourcing


Ron Hira

Oscar Dieste

George Spanoudakis

Giuseppe Visaggio

Guido Wirtz



Aspect-Oriented and Collaborative Systems (chair: Jing Dong)


Metamodel Access Protocols for Extensible Aspect-Oriented Modeling

Naoyasu Ubayashi, Tetsuo Tamai, Shinji Sano, Yusaku Maeno, Satoshi Murakami


Modeling Complex Software Systems Using an Aspect Extension of Object-Z

Huiqun Yu, Dongmei Liu, Zhiqing Shao, Xudong He


Customizing Aspect-Oriented Variabilities using Generative Techniques

Uirá Kulesza, Carlos Lucena, Paulo Alencar, Alessandro Garcia


Collaboration Support Model of Software Development Experiment

Saeko Matsuura and Hiroki Kurihara


Enhancing Semantic Interoperability in Collaborative Systems

Flavio De Paoli and Marco Loregian


Rule-Based Systems (chair: Joao Cangussu)


Combining AI Techniques into a Legal Agent-based Intelligent Tutoring System

Ig Bittencourt, Marcos Tadeu, Evandro Costa


Using Conditional Probability to Measure Rule-based Knowledge Similarity

Chin-Jung Huang, Min-Yuan Cheng (S)


Reverse Engineering of Rule-based Systems

Abdelhamid Bouchachia, Daniel Wakounig


A New Method of Value-Adding Treatment Inference for Rule-based Uncertainty Knowledge

Chin-Jung Huang, Min-Yuan Cheng


A Rule-Based Expert System for the Diagnosis of Convergence Problems in Circuit Simulation

Christopher W. Lehman, Mary Jane Willshire (S)






13:30 - 15:45 July 5 Wednesday


AAIEPESE'06 (chair: Ni-Bin Chang)


AAIEPESE Keynote: Artificial Intelligence and Environmental Systems Engineering

Ni-Bin Chang


Reengineering a Rule-Based System towards a Planning System

Kaddour Boukerche, Hakim Lounis


Reliability Analysis of Pipe and Filter Architecture Style

Swapna S. Gokhale, Sherif Yacoub


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


Data Mining (chair: Taghi M. Khoshgoftaar)


Using Data Mining Schemes for Improvement on System Performance in Virtual Environments

Shao-Shin Hung and Damon Shing-Min Liu


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


Salient Phrases-based Clustering and Ranking in Chinese Bulletin Board System

Xiaoyuan Wu, Shen Huang and Yong Yu


GEOARM: an Interoperable Framework to Improve Geographic Data Preprocessing and Spatial Association Rule Mining

Vania Bogorny, Paulo Martins Engel, Luis Otavio Alvares


Classification by Multi-Perspective Representation Method

Jia Zeng, Reda Alhajj


Software Architecture (chair: Danilo Caivano)


An Architecture for Personal Cognitive Assistance

David Garlan and Bradley Schmerl


Updating Styles Challenge Updating Needs within Component-based Software Architectures

Mourad Oussalah, Dalila Tamzalit, Olivier Le Goaer, Abdelhak-Djamel Seriai (S)


Verifying a Software Architecture Reconstruction Framework with a Case Study

Seonah Lee and Sungwon Kang (S)


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)


A Pattern Taxonomy for Business Process Integration Oriented Application Integration

Helge Hofmeister, Guido Wirtz




16:00 - 18:00 July 5 Wednesday


Verification & Decision Support (chair: Antonio Mana)


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


A PVS Approach to Verifying ORA-SS Data Models

Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun, Lindsay Groves


Decision Support for Resource-centric Software Release Planning

Jim Mc Elroy & Guenther Ruhe


Managing Uncertainty in Agile Release Planning

K. McDaid, D. Greer, F. Keenan, P. Prior, G. Coleman, P. Taylor


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)


Databases (chair: Huiqun Yu)


Multi-model Based Optimization for Stream Query Processing

Ying Liu and Beth Plale


Applying MDA to the Conceptual Design of Data Warehouses

Leopoldo Zepeda, Matilde Celma


A Data Warehouse Architecture in Layers for Science and Technology

André Luís Andrade Menolli, Maria Madalena Dias (S)


Querying Ontology Based Databases - The OntoQL Proposal

Stéphane Jean, Yamine Aït-Ameur, Guy Pierra


Towards a Conceptual Framework to Classify Ubiquitous Software Projects

Rodrigo O. Spinola, Jobson L. M. da Silva, Guilherme H. Travassos (S)



Software Development (chair: Maria Teresa Baldassarre)


Open Source Development Process: a Review

Marco Scotto, Alberto Sillitti, Giancarlo Succi


Organizational Programming: Hierarchy Software Construction

Zhuo Yin, JianMin Wang (S)


Towards a Methodology for Hybrid Systems Software Development

Isabel María del Águila, Joaquín Cañadas, José Palma, and Samuel Túnez


After the Scrum: Twenty Years of Working without Documentation

Sukanya Ratanotayanon, Jigar Kotak, Susan Elliott Sim


Applying Models of Technology Adoption to Software Tools and Methods: An Empirical Study

Scott A. Bailey, Susan Elliott Sim



18:30 - 20:30 July 5 Wednesday




8:30 - 9:45 July 6 Thursday


Keynote (chair: W. T. Tsai)

Information Services in Service Oriented Architecture -- Challenges and Opportunities

Kuo-Wei Hwang, IBM, USA


10:00 - 12:00 July 6 Thursday


EECC-I: Web Service Composition (chair: W. T. Tsai)


Elevating Interaction Requirements for Web Service Composition

M. Hepner, M.T. Gamble, R. Gamble (S)


Unanticipated Connection of Components Based on Their State Changes Notifications

Luc Fabresse, Christophe Dony and Marianne Huchard


Service Design with the ServiceBlueprint

Jochen Meis, Lothar Schöpe


Towards Context-based Mediation for Semantic Web Services Composition

Michael Mrissa, Chirine Ghedira and Djamal Benslimane, Zakaria Maamar


Empirical SE I (chair: Kang Zhang)


Measuring the Usability of Online Stores

Ernest Cachia, Mark Micallef


Key Issues and Metrics for Evaluating Product Line Architectures

Soo Ho Chang, Hyun Jung La, and Soo Dong Kim


Multiple Imputation of Software Measurement Data: A Case Study

Taghi M. Khoshgoftaar and Jason Van Hulse


Polishing Noise in Continuous Software Measurement Data

Taghi M. Khoshgoftaar, Christopher Seiffert, Jason Van Hulse (S)


3D Visualization of Class Template Diagrams for Deployed Open Source Applications

Benjamin N. Hoipkemier, Nicholas A. Kraft and Brian A. Malloy (S)


Component (chair: Aaron Visaggio)


A Component Model to Support Dynamic Unanticipated Software Evolution

Hyggo Almeida, Angelo Perkusich, Glauber Ferreira, Emerson Loureiro, and Evandro Costa


Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution

Wei Sun, Xin Zhang, Ying Liu, Zhong Tian


Container-Based Component Deployment: A Case Study

Nigamanth Sridhar, Jason O. Hallstrom, Paolo A.G. Sivilotti (S)


Interaction Partnering Criteria for COTS Components

M. Kelkar, M. Smith, R. Gamble


Ranking Component Retrieval Results by Leveraging User History Information

Yan Li, Ying Pan, Lu Zhang, Bing Xie, Jiasu Sun



13:30 - 15:45 July 6 Thursday


ASODM-I: Multi-Agent Models (chair: Guido Wirtz)


The Dynamic Casteship Mechanism for Modeling and Designing Adaptive Agents

Xinjun Mao, Zhiming Chang, Lijun Shang, Hong Zhu and Ji Wang


An Ontology Based Multi-Agent System Conceptual Model

Walid Chainbi


A Hierarchical Agent-oriented Knowledge Model for Multi-Agent Systems

Liang Xiao and Des Greer


A Comparative Analysis of i*Agent-Oriented Modelling Techniques

Gemma Grau, Carlos Cares, Xavier Franch, Fredy J. Navarrete


A Negotiation Model for the Process Agents in an Agent-Based Process-Centered Software Engineering Environment

Nao Li, Mingshu Li, Qing Wang, Shuanzhu Du


Empirical SE II (chair: Angelo Perkusic)


Parallel Monitoring of Design Pattern Contracts

Jason O. Hallstrom, Andrew R. Dalton, Neelam Soundarajan


An Empirical Study of the Maintenance Effort

Liguo Yu, Kai Chen (S)


Experimental Study on the Impact of Team Climate on Software Quality

Silvia T. Acuña, Marta Gómez, Ramón Rico


Web Object Cacheability – How Much Do We Know?

Chi-Hung Chi, Jun-Li Yuan, Lin Liu (S)


Bayesian Estimation of Defects based on Defect Decay Model: BayesED^3M

Syed Waseem Haider, João W. Cangussu (S)


Components and Evolution (Antonio Piccinno)


A Framework for Component-based System Modeling

Zhijiang Dong, Yujian Fu, Xudong He


Evolution problem within Component-Based Software Architecture

D.Tamzalit, N. Sadou and M. Oussalah (S)


Application of Execution Pattern Mining and Concept Lattice Analysis on Software Structure Evaluation

Kamran Sartipi, Hossein Safyallah


A Practical Quality Model for Evaluating Business Components

Ji Hyeok Kim, Sung Yul Rhew, and Soo Dong Kim


The Evolutionary Role of Variable Assignment and Its Impact on Program Verification

Daniel E. Cooke, J. Nelson Rushton, and Robert Watson


Pattern-Based System Evolution: A Case-Study

Neelam Soundarajan, Jason O. Hallstrom



15:45 - 18:00 July 6 Thursday

(concurrent with coffee break)

Ontologies (chair: D. Zhang)


An Ontology-Based Metamodel for Software Patterns

Scott Henninger, Padmapriya Ashokkumar (S)


A Formalism of Ontology to Support a Software Maintenance Knowledge-based System

Alain April, Jean-Marc Deshanais, Reiner Dumke


Ontology-driven Model for Knowledge-Based Software Engineering

Thaddeus S, Kasmir Raja S.V


Performing Requirements Elicitation Activities Supported by Quality Ontologies

Taiseera Hazeem Al Balushi, Pedro R. Falcone Sampaio, Divyesh Dabhi, Pericles Loucopoulos


KOntoR: An Ontology-enabled Approach to Software Reuse

Hans-Joerg Happel, Axel Korthaus, Stefan Seedorf and Peter Tomczyk


Programming Languages (chair: Dan Cooke)


Automatic Monitoring of Control-flow Through Inheritance Hierarchies

Benjamin Tyler, Neelam Soundarajan


A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics

Lingzhong Zhao, Tianlong Gu, Junyan Qian, and Guoyong Cai (S)


Incrementally Inferring Context-Free Grammars for Domain-Specific Languages

Faizan Javed, Marjan Mernik, Alan Sprague, Barrett Bryant


Supporting Connector in Programming Language

Bo Chen, ZhouJun Li, HuoWang Chen


TaxTOOLJ: A Tool to Catalog Java Classes

Djuradj Babich, Kayan Chiu and Peter J. Clarke


Security (chair: Stefano Valtolina)


A Relationship-based Flexible Authorization Framework for Mediation Systems

Li Yang, Joseph M. Kizza, Raimund K. Ege, Malek Adjouadi (S)


Towards Secure Ambient Intelligence Scenarios

Antonio Maña, Francisco Sánchez, Daniel Serrano, Antonio Muñoz


Ensuring Consistent Use/Misuse Case Decomposition for Secure Systems

Josh Pauli, Dianxiang Xu


Improving Intrusion Detection Systems Using Reference Vectors

Ohm Sornil and Pattree Sidthikorn


Using the Dynamic Proxy Approach to Introduce Role-Based Security to Java Data Objects

Matthias Merz


A Novel Fairness Property of Electronic Commerce Protocols and Its Game-based Formalization

Ling Zhang, Jianping Yin, Mengjun Li, Jieren Cheng



19:00 - 22:00 July 6 Thursday



Conference Banquet (Bus departs at 18:15)





8:30 - 9:45 July 7 Friday


Keynote (chair: Jerry Gao)

A Pragmatic approach to Enterprise Services Orientation

Gordon Simpson, SAP Labs, USA


10:00 - 12:00 July 7 Friday


EECC-II: Component-Based Systems (chair: Jerry Gao)


The Research and Design of Layered-metadata used for Component-based Software Testing

Liangli Ma, Yansheng Lu, Mengren Liu (S)


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, and Mikhail Auguston


Performance Evaluation of Component System based on Container style Middleware

Yong Zhang, Ningjiang Chen, Jun Wei, and Tao Huang


Two Perspectives on Open-Source Software Evolution: Maintenance and Reuse

Liguo Yu, Kai Chen


Knowledge Acquisition (chair: George Spanoudakis)


Towards a contextualized access to the cultural heritage world using 360 Panoramic Images

P. Mazzoleni, S. Valtolina, S. Franzoni, P. Mussio, E. Bertino (S)


Object and Knowledge Modeling for Impact Fusion

Catherine Howard, Markus Stumptner


A Framework for Fusing Consistent Knowledge Bases Automatically

Eric Grégoire, Du Zhang


User Profiling in the Chronobot/Virtual Classroom System

Xin Li and Shi-Kuo Chang


A New Approach to Requirement Engineering for Knowledge Based Systems

Golnaz Elahi, Ahmad Abdollahzadeh (S)


Formal Methods (chair: Soo Dong Kim)


Falsification of OTSs by Searches of Bounded Reachable State Spaces

Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi


Implementation of CafeOBJ Specifications to Java Code

Samira Sadaoui. Sudhanshu Singh (S)


A Design Methodology for Tailorable Visual Interactive Systems

Maria Francesca Costabile, Daniela Fogli, Andrea Marcante, Piero Mussio, Antonio Piccinno


A Method for Modeling Object-Oriented Systems with PZ nets

Ying Huang, Xudong He


Achieving a Better Middleware Design through Formal Modeling and Analysis

Weixiang Sun, Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng and Xudong He (S)


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)



13:30 - 15:45 July 7 Friday


ASODM-II: Agent-Oriented Development (chair: Desmond Greer)


A Formal Architectural Model For Mobile Service Systems

Zuohua Ding


An Environment of Knowledge Discovery in Database

Maria Madalena Dias, Roberto Carlos dos Santos Pacheco, and Lúcio Gerônimo Valentin


Genre-based approach to Requirements Elicitation

Aneesh Krishna, Rodney J. Clarke, Aditya K. Ghose


Mobility-based Runtime Load Balancing in Multi-Agent Systems

Jan Stender, Silvan Kaiser, Sahin Albayrak



Testing I (chair: Oscar Dieste)


Coverage Testing Embedded Software on Symbian/OMAP

W. Eric Wong, Sharath Rao, John Linn, James Overturf


Efficient and Effective Random Testing based on Partitioning and Neighborhood

Johannes Mayer


Enhanced Anomaly Detection in Self-Healing Components

Michael E. Shin, Yan Xu (S)


Program Testing Using High-Level Property-Driven Models

Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D’Hondt


A Multi-Agent Based Architecture For Distributed Testing

Mohammed Benattou (S)


Web Services (chair: George Spanoudakis)


Automating the Implementation of Mobile Applications and Services

Michael Jiang, Anant Athale, and Zhihui Yang, Rajarshi Chatterjee and Jay Acharya


UML Modelling Web Applications via Formal Concept Analysis

Zhuopeng Zhang, Jian Kang and Hongji Yang (S)


Debugging Failures in Web Services Coordination

Wolfgang Mayer and Markus Stumptner


OWL-S Ontology Framework Extension for Dynamic Web Service Composition

Jing Dong, Yongtao Sun, Sheng Yang (S)


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



16:00 - 18:00 July 7 Friday


UML and Modeling (chair: Antonio Mana)


A Use Case Model and its Transformation to Activity Diagram

Xing-Yi Lin, Ching-Hui Wang, William C. Chu, Chihhsiong Shih


An Analysis Model of Activity Diagram in UML 2.0

W.C. Piao, C.H. Wang, William C. Chu, Lung-Pin Chen


Translation of UML Models to Object Coloured Petri Nets with a view to Analysis

Asghar Bokhari and Skip Poehlman (S)


Translating UML Diagrams Into Maude Formal Specifications: A Systematic Approach

Farid Mokhati, Mourad Badri & Patrice Gagnon (S)


Specifying Consistency Constraints for Modelling Languages

Lijun Shan, Hong Zhu


Testing II (chair: Kamran Sartipi)


Software Defect Data and Predictability for Testing Schedules

Rattikorn Hewett & Aniruddha Kulkarni, Catherine Stringfellow, Anneliese Andrews


Using UML Designs to Generate OCL for Security Testing

Orest Pilskalns, Anneliese Andrews


Applying Mutation Testing in XML Schemas

Ledyvânia Franzotte; Silvia Regina Vergilio


A New Heuristic for Test Suite Generation for Pair-wise Testing

Changhai Nie, Baowen Xu, Liang Shi, Ziyuan Wang


Towards the Establishment of an Ontology of Software Testing

Ellen Francine Barbosa, Elisa Yumi Nakagawa, José Carlos Maldonado (S)


Web & Workflow Management (chair: Giuseppe Visaggio)


WebLang: A Language for Modeling and Implementing Web Applications

Olivier Buchwalder, Claude Petitpierre


WECAP: A Web Environment for Project Planning

Lerina Aversano, Gerardo Canfora, Corrado Aaron Visaggio (S)


A Workflow Mining Tool based on Logs Statistical Analysis

Walid Gaaloul, Claude Godart


Task Anticipation: A Quantitative Analysis Using Workflow Process Simulation

Igor Steinmacher, José Valdeni de Lima, Elisa Hatsue M. Huzita


AN.P2P -- an Active Peer-to-peer System

Chi-Hung Chi, Mu Su, Lin Liu, HongGuang Wang (S)









Note: (S) indicates a short paper. Regular paper has twenty five minutes for presentation and short paper has twenty minutes for presentation, followed by a few minutes for Q&A.