Programme at a Glance
You can download the workshop programme as a MS Excel 97 file or as a Postcript document.

Information for Presenters:
PC for conference presentations

A laptop running Microsoft Powerpoint 2000 will be available in the lecture hall. Please bring a floppy disk of your presentation.

An OHP will also be available for presentations.

Preliminary Programme
The detailed preliminary programme can downloaded as a MS Word 97 file 

Tuesday, 16th May 2000

16:00 - 19:00 Workshop Registration

Wednesday, 17th May 2000

08:00 Workshop Registration

08:30 Workshop Opening

08:45 Invited Talk by Greg Utas, Nortel Networks
An Industrial point of view on Feature Interaction Handling

09:30 Paper Session: Emerging Architectures I
Chair: Tom Gray

Mario Kolberg and Kristofer Kimbler: 
Service Interaction Management for Distributed Services in a Deregulated Market
Environment

Jonathan Lennox and Henning Schulzrinne
Feature Interaction in Internet Telephony

11:00 Paper Session: Emerging Architecture II
Chair: Ken Turner

Pamela Zave and Michael Jackson 
New Feature Interactions in Mobile and Multimedia Telecommunications Services

Robert J. Hall 
Feature Interactions in Electronic Mail

Lynne Blair and Jianxiong Pang
Feature Interactions -- Life beyond Traditional Telephony

13:30 Paper Session: Online Approaches
Chair: Tadashi Ohta

Magdi Amer, Ahmed Karmouch, Tom Gray and Serge Mankovskii Feature Interaction Resolution Using Fuzzy Policies

Stephan Reiff
Identifying Resolution Choices for an Online Feature Manager

Feature Interaction: Industrial Viewpoints

18:00 Reception at the Glasgow City Chambers

Thursday, 18th May 2000

08:30 Coffee

08:45 Invited Talk by Luigi Logrippo, University of Ottawa, Canada
Immaturity and Potential of Formal Methods

09:30 Paper Session: Off-line / Formal Methods I
Chair: Pamela Zave

Malte Plath and Mark Ryan 
The feature construct for SMV: Semantics

Bengt Jonsson, Tiziana Margaria, Gustaf Naeser, Jan Nystrom and Bernhard Steffen 
Incremental Requirement Specification for Evolving Systems

11:00 Paper Session: Off-line / Formal Methods II
Chair: Wiet Bouma

Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine and Luigi Logrippo 
Feature Interaction Filtering with Use Case Maps at Requirements Stage

Amy P. Felty and Kedar S. Namjoshi 
Feature Specification and Automatic Conflict Detection

Paul Gibson, Geoff Hamilton and Dominique Mery 
A Taxonomy for Triggered Interactions using Fair Object Semantics

13:30 Mini Workshop Session
Chair: Bernie Cohen

Feature Interaction: Academic Viewpoints

Friday, 19th May 2000

08:30 Coffee

08:45 Invited Talk by Kristofer Kimbler, High Definition Systems AB, Sweden
Service Interaction in Next Generation Networks: Challenges and Opportunities

09:30 Paper Session: Off-line / Formal Methods III
Chair: Mark Ryan

Rafael Accorsi, Carlos Areces, Wiet Bouma and Maarten de Rijke 
Features as Constraints

Ahmed Khoumsi and Rodolpho Bevelo 
A Detection Method developed after a thorough study of the contest held in 1998

11:00 Paper Session: Software Engineering Approaches
Chair: Simon Tsang

Ken Turner 
Formalising the Chisel Feature Notation

Jan Bredereke 
Families of Formal Requirements in Telephone Switching

D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J. Sincennes, B. Stepien and T. Ware 
Feature Description and Feature Interaction Analysis with Use Case Maps and Lotos

13:00 Lunch

The organising committee is happy to help with enquiries. Please contact us at fiw00@eee.strath.ac.uk