518

SPONSORS

LOCATION

The International Association of Science and Technology for Development (IASTED) • Technical Committee on Software Engineering

World Modelling and Simulation Forum (WMSF)

Congress InnsbruckPostfach 533Rennweg 3A-6020 Innsbruck, AustriaPhone: ++43 (0) 512 5936-122Fax: ++43 (0) 512 5936-7Email: info@com-innsbruck.at

The International Association of Science and Technology for Development

The IASTED International Conference on

February 14 – 16, 2006

as part of the 24th IASTED International Multi-Conference on

APPLIED INFORMATICS

Software Engineering

Conference Program

1

Software Engineering ~SE 2006~

SPONSORS The International Association of Science and Technology for Development (IASTED) • Technical Committee on Software Engineering • World Modelling and Simulation Forum (WMSF) CONFERENCE CHAIR Dr. Peter Kokol - University of Maribor, Slovenia KEYNOTE SPEAKERS Dr. Ernesto Damiani - University of Milan, Italy Dr. Gabriele Gianini - University of Milan, Italy Dr. Michael Gerndt – Technical University of Munich, Germany Dr. Witold A. Litwin – University Paris 9, France SPECIAL SESSION ORGANIZERS Dr. Spiros Sirmakessis - Research Academic Computer Technology Institute, Greece Dr. Giannis Tzimas - Research Academic Computer Technology Institute, Greece TUTORIAL PRESENTERS Dr. Mihaela Oprea – The University of Ploiesti, Romania Dr. Sven Groppe – The University of Innsbruck, Austria

2

INTERNATIONAL PROGRAM COMMITTEE S.T. Acuña - Autonomous University of Madrid, Spain S.K. Aggarwal - Indian Institute of Technology, Kanpur, India T. Alspaugh – University of California, Irvine, USA M.T. Baldassarre – University of Bari, Italy L. Baresi – Polytechnic University of Milan, Italy L.R. Begosso – FEMA, Brazil S. Black - London South Bank University, UK I. Bluemke - Warsaw University of Technology, Poland J.P. Bowen - London South Bank University, UK C.-A. Brunet - University of Sherbrooke, Canada C. Bunse - Fraunhofer Institute for Experimental Software Engineering, Germany D. Caivano - University of Bari, Italy C.H. Cap - University of Rostock, Germany S.M. Chan - The Boeing Company, USA A.M.K. Cheng - University of Houston, USA S.-C. Cheung - Hong Kong University of Science and Technology, PRC J. Choi - California State University, Fullerton, USA C. Constantinides - Concordia University, Canada H.K. Dai – Oklahoma State University, USA D. Dalcher - Middlesex University, UK A. D'Ambrogio - University of Rome TorVergata, Italy S. Demeyer - University of Antwerp, Belgium G. Di Lucca - University of Sannio, Italy

M.P. Díaz Pérez - Carlos III University of Madrid, Spain W. Dosch - University of Lübeck, Germany J.J. Dujmovic - San Francisco State University, USA A. Eberlein - American University of Sharjah, UAE E. Feuer - MTA SZTAKI, Hungary R. Fox - Northern Kentucky University, USA M. García-Valls - Carlos III University of Madrid, Spain A.K. Goel - Michigan Technological University, USA N. Gold - King's College London, UK W. Golubski - Zwickau University of Applied Sciences, Germany H.-G. Gross - Delft University of Technology, The Netherlands P. Grünbacher - Johannes Kepler University Linz, Austria J. Guo - California State University, Los Angeles, USA D.A. Gustafson – Kansas State University, USA T. Gyimóthy – University of Szeged, Hungary W. Hasselbring - University of Oldenburg, Germany N. Hatzigeorgiu – Institute for Language & Speech Processing, Greece Z. Hu - ABB Corporate Research, Germany H. Hussmann – University of Munich, Germany S. Jaehnichen – Technical University of Berlin, Germany P. Jalote – Indian Institute of Technology Kanpur, India J. Jeuring – University Utrecht, The Netherlands J. Jürjens – Technical University of Munich, Germany

3

C. Kloukinas - City University, UK J. Koskinen - University of Jyvaskyla, Finland P. Krishnan - Bond University, Australia R. Laney - Open University, UK F. Lanubile – University of Bari, Italy T. Larsson - Halmstad University, Sweden P. Lipp – Technical University of Graz, Austria P. Loucopoulos – University of Manchester, UK L. Lundberg – Blekinge Institute of Technology, Sweden H.C. Mayr - University of Klagenfurt, Austria A. Metzger - University of Duisburg-Essen, Germany T. Muldner - Acadia University, Canada M. Muraszkiewicz - Warsaw University of Technology, Poland M. Oudshoorn - Montana State University, USA P. Petrov - Fadata Ltd., Bulgaria D. Pfahl - University of Calgary, Canada M. Picavet - University of Lille, France M. Pighin - University of Udine, Italy M. Pizka - Technical University of Munich, Germany V. Podgorelec - University of Maribor, Slovenia A. Rainer - University of Hertfordshire, UK W. Retschitzegger - University of Linz, Austria A. Rito Silva - Technical University of Lisbon, Portugal C. Rolland - University of Paris 1, France

G. Ruhe - University of Calgary, Canada V. Sabelfeld - Karlsruhe University, Germany K. Sartipi - McMaster University, Canada G. Spanoudakis - City University, UK K.-Y. Sung - Handong Global University, Korea J. Szkutnik - Technical University of Czestochowa, Poland S. Takada - Keio University, Japan C. Thomborson - University of Auckland, New Zealand C. Tjortjis - University of Manchester, UK A.A. Toptsis - York University, Canada E. Tovar - Technical University of Madrid, Spain I. Traore - University of Victoria, Canada D. Trcek - Jozef Stefan Institute, Slovenia C.J. Tully - Middlesex University, UK H. Ueno - National Institute of Informatics, Japan R. Uzal - National University of San Luis, Argentina M. van Keulen - University of Twente, The Netherlands L. Viganò – Swiss Federal Institute of Technology, Switzerland G. Visaggio - University of Bari, Italy I. Warren - University of Auckland, New Zealand C.-W. Xu - Kennesaw State University, USA S. Zeadally - Wayne State University, USA C. Zhang - California State University, Sacramento, USA L. Zhao - University of Manchester, UK

4

PROGRAM OVERVIEW Tuesday, February 14, 2006 07:00 – Registration 08:30 (Diesner Foyer) 08:30 – Welcome Address 09:00 (Strassburg Room) 09:00 Keynote Address –

“The Discovery of the Software Process by Means of Machine Learning Techniques” (Strassburg Room)

10:00 – Coffee Break 10:30 (Diesner Foyer) 10:30 Session 1 – Special Session: Web

Engineering (Strassburg Room)

Session 2 – Web Service and Mobile (Igls Room)

14:00 Session 3 – Formal and Visual Approaches (New Orleans Room)

Session 4 – Software Development

I (Strassburg Room) Session 5 - Software Development

II (Igls Room) 15:30 – Coffee Break 16:00 (Diesner Foyer) 16:00 Sessions 3, 4, and 5 Continued 19:00 Cocktail Reception 19:30 – Dinner Banquet 23:00 (Dogana Hall) Wednesday, February 15, 2006 08:30 Tutorial Presentation – “Agent-

Oriented Software Engineering” (Grenoble Room)

10:00 – Coffee Break 10:30 (Diesner Foyer) 10:30 Tutorial Presentation Continued 14:00 PDCN Keynote Address –

“Towards Automatic Performance Analysis” (New Orleans Room)

15:00 – Coffee Break 15:30 (Diesner Foyer) 15:30 Session 6 – Performance,

Evaluation and Assessment I (Aalborg Room)

Thursday, February 16, 2006 09:00 DBA Keynote Address – TBA

(New Orleans Room)

10:00 – Coffee Break 10:30 (Diesner Foyer) 10:30 Session 7 – Performance,

Evaluation and Assessment II (Aalborg Room) Session 8 – Software Maintenance (Maximilian Room)

14:00 DBA Tutorial Presentation – “XML

Query Reformulation for Xpath, XSLT and XQuery” (Grenoble Room)

14:00 Session 9 – Software Testing (Igls Room) 17:30- Optional Evening Tour – 23:00 “An Evening in the Tyrol”

(Inn-Foyer)

5

TUESDAY, FEBRUARY 14, 2006 07:00 – 08:30 REGISTRATION IASTED Staff: M. Kinsella (Canada) Room: Diesner Foyer 08:30 – 9:00 WELCOME ADDRESS Room: Strassburg 09:00 – KEYNOTE ADDRESS – “THE DISCOVERY OF THE SOFTWARE PROCESS BY MEANS OF MACHINE LEARNING TECHNIQUES” Presenter: E. Damiani (Italy) Room: Strassburg

The fact that manual metrics collection often produces low quality data and the fact that some processes, such as light weight processes, by definition should not be tracked by heavy weight, invasive metrics, naturally leads to the use of the automatic, non-invasive collection of process data directly from the software process tools (such as requirement management environments, developing environments, and configuration management environments). The most apparent consequence of this is the natural emergence of very large data sets, namely with several thousands of events per developer per day. Those data, while on one hand might not be

immediately interpretable, on the other, not only embed enough information to reconstruct some of the traditional process metrics, but - depending upon the extent automatic collection probes are allowed to work - can also hide a description of the process by far more accurate methods than those any manually gathered metrics can afford (e.g. a rich tracking of the navigation within the file system or within the very software structure, fine time granularity, tracing of the usage or of the switching between applications, tracing of the data they exchange, and so on). To make this wealth of information useful, some synthetic knowledge has to be drawn from the raw data, either in the form of exemplary local patterns (good practices) or in terms of global features of the dynamics of the process, so as to create new metrics that can be used later for software process validation/conformity assessment, or for process control and improvement.

In this crucial activity of interpretation, due to the quantity of data to process and to their high dimensionality and complexity, the educated guess of trained statisticians and domain experts has to be supported by automatic knowledge extraction techniques and tools. In this talk

6

we review the history of the effort of automatic knowledge extraction from software process data, describe the features of current approaches and outline the potential future developments and benefits for Software Process Engineering

Dr. Ernesto Damiani holds a M.Sc. degree from the University of Pavia, Italy, and a Ph.D. in Computer Science from the University of Milan. He is now a Full Professor in the Department of Information Technology, University of Milan, where he leads the Software Architectures Lab. Prof. Damiani holds/has held visiting positions at several international institutions, including George Mason University (Fairfax, VA, US), LaTrobe University (Melbourne, Australia), and Sydney University of Technology (Australia). He has co-authored several books, as well as approximately two hundred research papers on advanced secure service-oriented architectures, open source software reuse, and Web data semantics. Prof. Damiani coordinates several research projects funded by the Italian Ministry of Research and by private companies including Siemens Mobile, ST Microelectronics, BT Exact, and others.

10:00 – 10:30 COFFEE BREAK Room: Diesner Foyer 10:30 - SESSION 1 – SPECIAL SESSION: WEB ENGINEERING Chair: S. Sirmakessis (Greece) Room: Strassburg 518-809 Legal Issues in Web Contracting E. Kafeza (Greece), F.W-H. Chan (PRC), and I. Kafeza (Greece) 518-810 Web Application Development Employing Domain-Specific Languages M. Nussbaumer, P. Freudenstein, and M. Gaedke (Germany) 518-811 From Single-Site Web Applications to the Design of Web-Site-Families C. Eichinger and M. Schrefl (Austria) 518-812 Ontology-based Learning Applications: A Development Methodology D. Kanellopoulos, S. Kotsiantis, and P. Pintelas (Greece)

7

518-813 A Visual Data Mapping Tool for Software Components Interactions in Service-Oriented Architectures M. Brambilla, S. Ceri, S. Comai, and C. Tziviskou (Italy) 518-814 A Tool for Extracting Model Clones From a Conceptual Schema E. Faliagka, M. Rigou, S. Sirmakessis, and G. Tzimas (Greece) 10:30 – SESSION 2 – WEB SERVICE AND MOBILE Chair: L. Baresi (Italy) Room: Igls 518-045 Web Service Architectures Need Constraining Standards: An Agenda for Developing Systems without Client-Side Software Adapters T. Lahiri and M. Woodman (UK) 518-063 A Mobile Phone based Ubiquitous System for Capturing and Sending Images Automatically A. Peñalver Benavent and O. Martinez Bonastre (Spain)

518-084 W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications L. Baresi and L. Mainetti (Italy) 518-096 Using Design Patterns in Mobile Communication Development R. Kereskényi, B. Forstner, and H. Charaf (Hungary) 518-805 Development of a Web-based Project Management System Prototype with Strong Control Mechanisms H.-M. Ho, S.-L. Hung, and L. Ma (PRC) 518-056 Modeling Authorization in a SOA Based Application Scenario M. Alam, M. Hafner, and R. Breu (Austria) 14:00 – SESSION 3 – FORMAL AND VISUAL APPROACHES Chair: J.C. Attiogbé (France) Room: New Orleans 518-043 Tool-Assisted Multi-Facet Analysis of Formal Specifications (Using Atelier-B and ProB) J.C. Attiogbé (France)

8

518-071 A Visual Language for the Description of Algorithmic Semantics Y. Watanobe, N.N. Mirenkov, and R. Yoshioka (Japan) 518-088 Formalization of Multiplicity in UML Association Y. Yang (PRC) 518-094 User-Extensible Compiler Front-End Generator S.-J. Wang, L.-F. Jin, C.-Z. Jin, and L. Liu (PRC) 518-800 Formal Verification Framework for Safety of Real-Time System based-on Timed Automata Model in PVS Q. Xu and H. Miao (PRC) 14:00 – SESSION 4 – SOFTWARE DEVELOPMENT I Chairs: TBA Room: Strassburg 518-097 Template Matching on XML Streams E. Höfig (Germany) 518-107 An Extension of UML 2.0 for Representing Variability on Product Line Architecture Y. Choi, S. Yoon, G. Shin, and Youngjong Yang (Korea)

518-108 Developer Dependencies Meet Code Dependencies S. Jucknath-John and J. Bochnia (Germany) 518-020 A Component-Based Software Building Environment N. Matsuki and O. Ryabov (Japan) 518-801 Experiential Learning: The Key to Teaching Software Development D.J. Powell and J. Hollingsworth (USA) 518-075 Using Classpects for Integrating Non-Functional and Functional Requirements T. Marew and D.H. Bae (Korea) 518-050 Towards an Acceptable DRM Solution N. Voicu and C. Marinescu (Romania) 518-047 Organization of Embedded System Development Methodology for Developing Product Family J. Lee, J.-H. Cho, K.-M. Park, and J.-S. Kim (Korea)

9

518-048 UML-based Modeling and Simulation Method for Mission-Control Real-Time Embedded System Development K.-S. Choi, S.-C. Jung, H.-J. Kim, D.-H. Bae, and D.-H. Lee (Korea) 518-803 The Development of MDA -based Software Product-Line Process and Supporting Tool K.S. Hwang, M.S. Song, and Y.J. Yang (Korea) 518-011 Exploring Group Size on Software Inspection Performance: Report from 2 Controlled Experiments P. Patara, N.J.C. Yaw, and L.P.W. Land (Australia) 14:00 – SESSION 5 – SOFTWARE DEVELOPMENT II Chairs: D. Kumlander (Estonia) and V.V.S. Raveendra (India) Room: Igls 518-007 A Visual Tool for Generating Extensible Mobile Application Skeletons to Reduce Failures in Java MIDP Applications M. Palviainen, J. Yliaho, and J. Soininen (Finland)

518-022 A Method for Reverse Extraction of Object Statechart Diagram with Controllable Granularity J. Zhang, T. Feng, D. Li, and Q. Yuan (PRC) 518-025 A Visual Control Flow Language for Model Transformation Systems L. Lengyel, T. Levendovszky, G. Mezei, and H. Charaf (Hungary) 518-042 An Entity-Relationship Model based Conceptual Framework for Model Driven Development Y. Duan, X. Fu, S.-C. Cheung, and Y. Gu (PRC) 518-049 Data Migration Using Iterative Methodology A. K. Syed and V.V.S. Raveendra (India) 518-052 Visual Presentation Solutions for Domain Specific Languages G. Mezei, T. Levendovszky, and H. Charaf (Hungary) 518-068 MOFCOM: A Tool for Model-based Software Development Z. László and T. Sulyán (Hungary) 518-072 Software Design by Uncertain Requirements D. Kumlander (Estonia)

10

518-090 Model-based Development of Real Time Systems using RTSM Tool E. Kazanavicius, A. Liutkevicius, A. Vrubliauskas, R. Zukaitis, and V. Kazanavicius (Lithuania) 518-808 Using AOP to Improve Design Patterns Modularity M.L. Bernardi and G.A. Di Lucca (Italy) 15:30 – 16:00 COFFEE BREAK Room:Diesner Foyer 16:00 – SESSIONS 3, 4, AND 5 CONTINUED 19:00 – 19:30 COCKTAIL RECEPTION Location: Dogana Hall 19:30 – 23:00 DINNER BANQUET Location: Dogana Hall WEDNESDAY, FEBRUARY 15, 2006 08:30 – TUTORIAL PRESENTATION – “AGENT-ORIENTED SOFTWARE ENGINEERING” Presenter: M. Oprea (Romania) Room: Grenoble

Multi-agent systems (MAS) provide a key technology for the development of complex systems composed by autonomous agents that are able to interact between them. The agents share a common environment, and they may have a global goal and/or their own goals to pursue. The main benefit of MAS technology is the ability to cope with dynamics. Several industrial and web-based applications are modelled as MAS, and there is growing interest in agent-oriented software engineering. This tutorial will present the key aspects of agent-based software development, focusing on the most well known methodologies dedicated to agent-based software development, such as Gaia, Tropos, ADELFE, SADDE, and Prometheus. Also, special attention will be given to the current and future trends in agent-oriented application development. For example, we shall discuss the connection between agents and grid computing. The following questions will be answered: What is a MAS? What are the basic MAS architectures? What are the properties of a MAS (functional and non-functional)? How can MAS be designed? What are the concepts and abstractions of agent-oriented software engineering?

11

What methodologies are available for agent-based software development? What tools and infrastructures exist for agent-oriented software engineering? What software products are available for MAS implementation? What are the lessons learned from the developed MAS applications? What are the current and future research directions in the area of agent-based software engineering? Mihaela Oprea is a Full Professor in the Department of Informatics at the University of Ploiesti, Romania, where she has been teaching courses in Artificial Intelligence since 1995. She received her PhD in Computer Science from the University of Ploiesti in 1996, and her MSc in Computer Science from Polytechnic University of Bucharest in 1990. Her current research interests include multi-agent systems, machine learning, and expert systems. Dr. Oprea has published more than 50 scientific papers, and has authored five books, all in the area of Artificial Intelligence. 10:00 – 10:30 COFFEE BREAK Location: Diesner Foyer

10:30 – TUTORIAL PRESENTATION CONTINUED 14:00 – DBA KEYNOTE ADDRESS – “TOWARDS AUTOMATIC PERFORMANCE ANALYSIS” Presenter: M. Gerndt (Germany) Room: New Orleans Performance analysis is a very important step in the development process of applications for high performance systems. The application programmer has to be an expert about code, system architecture, and the applied performance analysis tools. It is obvious that this process needs to be automated. This presentation will give an overview of the state of the art and will outline new techniques developed in current projects at the Technical University of Munich. Michael Gerndt received a Ph.D. in Computer Science in 1989 from the University of Bonn. He developed the first automatic parallelizer for distributed memory parallel machines. For two years, in 1990 and 1991, he held a post-doc position at the University of Vienna and joined Research Centre Jülich in 1992, where he concentrated on programming and implementation issues of shared virtual memory systems. This

12

research led to his Habilitation in 1998 at TU Munich. Since 2000 he has been Professor of Architecture of Parallel and Distributed Systems at TU Munich. His current research focuses on automatic performance analysis tools and SLA-based resource management for Grids. 15:00 – 15:30 COFFEE BREAK Location: Diesner Foyer 15:30 - SESSION 6 – PERFORMANCE, EVALUATION AND ASSESSMENT I Chairs: Y. Kotb (Japan) and A.S.M. Sajeev (Australia) Room: Aalborg 518-111 Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models L. Alawneh, M. Debbabi, F. Hassaïne, Y. Jarraya, P. Shahi, and A. Soeanu (Canada) 518-112 Analysis of Software Processes Based on a Classification Method L. Inchaiwong and A.S.M. Sajeev (Australia) 518-802 Building a Multi-Platform Performance Measurement Tool K.S. Hwang and K.H. Lee (Korea)

518-807 A Novel Technique to Verify the UML Use Case Diagrams Y. Kotb and T. Katayama (Japan) 518-010 A Study on Performance of Infrared Data Broadcasting using Probability Approach D. Cai and R. Kawashima (Japan) 518-082 Information System Process Improvement: A Managerial Perspective and Proposal of a General Framework A. Mishra, D. Mishra, and I. Akman (Turkey) 518-064 Architecture Requirements Engineering Accuracy and Error - The Analysis Method (Area-Team): Islamabad Stock Exchange Case Study M.A. Aman, M. Sulayman, and K. Rashid (Pakistan) THURSDAY, FEBRUARY 16, 2006 09:00 – DBA KEYNOTE ADDRESS Presenter: W. A. Litwin (France) Room: New Orleans 10:00 – 10:30 COFFEE BREAK Room: Diesner Foyer

13

10: 30 – SESSION 7 – PERFORMANCE, EVALUATION AND ASSESSMENT II Chair: G. Al-Qaimari (UAE) Room: Aalborg 518-053 Evaluating User Performance using KALDI: A Computer-Aided Usability Engineering Tool G. Al-Qaimari (UAE) and D. McRosstie (Australia) 518-067 Using Queueing Model in Predicting the Response Time of ASP.NET Web Applications A. Bogárdi-Mészöly, T. Levendovszky, and H. Charaf (Hungary) 518-074 Testing of Interorganizational Workflows A. Lechner (Austria) 518-095 Superimposed Delegation B.N. Jørgensen (Denmark) 518-098 Identifying Error Prone Paths in Software with Genetic Algorithms J.R. Birt and R. Sitte (Australia) 518-109 An Explorative, Operational Method Supporting Usability Evaluation of Technology Changes in Work Contexts L. Pareto and U.L. Snis (Sweden)

10:30 SESSION 8 – SOFTWARE MAINTENANCE Chairs: I. Kankaanpää (Finland) and K. Leszek (Poland) Room: Maximilian 518-027 Developing Software Evolution Estimation Methods for Software Industry J. Koskinen, J. J Ahonen, T. Tilus, H. Sivula, I. Kankaanpää, H. Lintinen, and P. Juutilainen (Finland)

518-021 Combining Robust Analysis and Technology Forecasting: A Missing Combination in Contemporary Methods G. Calås, S. Mankefors-Christiernin, and A. Boklund (Sweden)

518-028 Industrial Case Study of Software Maintenance Evaluations J. Koskinen, H. Lintinen, T. Tilus, H. Sivula, I. Kankaanpää, J. J. Ahonen, and P. Juutilainen (Finland) 518-032 Nested Software Structure Maintained by aedNLC Graph Grammar L. Kotulski (Poland)

14

518-044 Does God Class Decomposition Affect Comprehensibility? B. Du Bois, S. Demeyer, J. Verelst, T. Mens, and M. Temmerman (Belgium) 518-069 Graph Repository as a Core of Environment for Distributed Software Restructuring and Refactoring L. Kotulski and A. Nowak (Poland) 14:00 – DBA TUTORIAL PRESENTION – “XML QUERY REFORMULATION FOR XPATH, XSLT, AND XQUERY” Presenter: S. Groppe (Austria) Room: Grenoble Query Reformulation is used in database technology in different scenarios, such as data integration, schema evolution, or bilateral situations, where two applications exchange data. Among other things, the goals of query reformulation are that using query reformulation saves processing time, as only the necessary section of the data is transformed instead of the whole data, saves transportation costs in distributed scenarios, as only the necessary section of the data has to be transmitted instead of the whole data, and avoids problems of replication (e.g. synchronization problems), because there is no need to store a

local copy of the transformed data, as not only initial, but also following queries can be answered quickly. Originally designed to meet the challenges of large-scale electronic publishing, XML is also playing an increasingly important role in the exchange of a wide variety of data on the Web and elsewhere. Today, we use more and more of XML's capability of labeling the information content of diverse data sources, including structured and semi-structured documents, relational databases, and object repositories. Furthermore, real XML databases have been developed in recent years. The XQuery language is designed to express queries across all these kinds of data, whether physically stored in XML or viewed as XML via middleware. The Extensible Stylesheet Language (XSL), and especially its component XSL Transformations (XSLT), are designed to transform one or more input XML documents into output using another format than the input XML documents. Both languages, XSLT and Xquery, embed the XPath language as a path language for addressing parts of variables or of input XML documents. This tutorial presents different query reformulation methods for the XML languages XPath and XSLT. The different query reformulation methods need a

15

static analysis of the XSLT stylesheet, which requires an intersection test of XPath expressions. For this purpose, the tutorial presents how to reduce the intersection test of XPath expressions to the satisfiability test of XPath expressions based on a schema, and introduces a simple satisfiability test that is sufficient for the static analysis. The tutorial deals also with the differences of XSLT and XQuery in order to transfer the results to XQuery. Furthermore, the tutorial introduces basic concepts for a cache of transformed XML data. Wherever possible, the tutorial presents a performance analysis of a prototype, which implements the different presented methods. 14:00 SESSION 9 – SOFTWARE TESTING Chairs: A. Damodaram (India) and D.A. Gustafson (USA) Room: Igls 518-003 The RATG System: Reducing Time with an Approach of Testing based on Combinatorial Design Method D. V. Gopala Raju, K. V. S. V. N. Raju, and A. Damodaram (India) 518-009 Combining Partition and Random Testing R. Torkar and S. Mankefors-Christiernin (Sweden)

518-041 An Approach for Specification based Testing for Platforms R. Nadaf, R.P.J.C. Bose, and P. Singh (India) 518-078 Relational Operator Mutants Revisited H.M. Pillai and D.A. Gustafson (USA) 17:30 – 23:00 OPTIONAL EVENING TOUR – “AN EVENING IN THE TYROL” Location: Inn Foyer To begin the evening, we will hop on the bus and take a short, scenic ride up to the Olympic town of Seefeld. This cosmopolitan village, raised 1200 meters above the Inntal Valley on a plateau in the Karwendel Nature Preserve, receives over two meters of snow every year and is the ideal place to enjoy a winter stroll. Before heading off on the carriage ride, our delegates will have the chance to enjoy a taste of local mulled wine or non-alcoholic punch while sightseeing in the modern centre of Seefeld. A town like no other, this unique area offers an eclectic blend of 5 Star Resorts, beautiful mountain views and stores filled with authentic Austrian arts and crafts. From Seefeld, a warm and comfortable carriage ride will

16

carry everyone through the snowy and moonlit mountains to a traditional Austrian cabin. Inside the cabin, our delegates will be met with a feast of local delicacies. Whether one decides to indulge in the local flavourful cheeses and potato pastas, or the traditional meat dish Gröst and the famous Austrian pancake Kaiserschmarrn, it is guaranteed that you will leave full and happy from these delicious meals. Warm, relaxed and filled with Austrian hospitality and treats, one last quick bus ride through the mountains will return everyone back to Innsbruck and back to another great evening in the Austrian Alps! ******************************** IASTED would like to thank you

for attending SE 2006. Your participation helped make this

international event a success, and we look forward to seeing you at

upcoming IASTED events. ***************************************

PLEASE NOTE Paper presentations are 15

minutes in length with an additional 5 minutes for questions. Report to your Session

Chair 15 minutes before the session is scheduled to begin. Presentations should be

loaded onto the presentation laptop in the appropriate room prior to your session. End times of sessions

vary depending on the number of papers scheduled.