SEKE’06 Technical Program

 

 

Date

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

19:00-22:00

 

 

 

 

 

 

July 5 Wed

Keynote: Ron Hira

Panel on Software Development

AAIEPESE

Verification & Decision Support

 Reception begins at 18:30

 

 

Aspect-Oriended & Collaborative Sys

Data Mining

Databases

Rule-Based Systems

Software Architecture

Software Development

 

 

 

 

 

 

July 6 Thu

Keynote: Kuo-Wei Hwang

EECC I

ASODM I

Ontologies

Banquet (Bus departs at 18:15)

Empirical SE I

Empirical SE II

Programming Languages

Component-Based Systems I

Components and Evolution

Security

 

 

 

 

 

 

July 7 Fri

Keynote: Gordon Simpson

EECC II

ASODM II

UML and Modeling

 

Knowledge Acquisition

Software Testing I

Software Testing II

 

Formal Methods

Web Services

Web & Workflow Management

 

 

 

Technical Program

 

 

 

Registration

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

 

Reception

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.