Programme

17:30-19:00

Workshop Registration and Welcome Reception

8:20-8:50

Workshop Registration

Workshop Opening

Chair: Stephan Reiff-Marganiec and Mark Ryan

Invited talk: Foundations for Features, Glenn Bruns

Chair: Mark Ryan

Coffee break

Session I: Emerging Architectures

Chair: Luigi Logrippo

• Detecting Feature Interactions between SIP Call Control Services, M. Kolberg and E.H. Magill
• Feature Interactions in Integrated Services of Networked Home Appliances: An Object Oriented Approach, M. Nakamura, H. Igaki and K. Matsumoto
• Handling Feature Interactions in the Language for End System Services, X. Wu and H. Schulzrinne

Lunch

Session II: Novel Applications Domains

Chair: Tadashi Ohta

• Feature Interactions in Overlay Networks, K.E. Cheng, R. Chadha, N.H. Cheng and M. Pucci
• Feature Interactions Induced by Data Dependencies among Entity Components, T. Teng, G. Huang, R. Li, D. Zhao and H. Mei
• Feature Interaction Problems in Middleware Services, X. Liu, G. Huang and H. Mei

14:30-15:15

Coffee break and posters

Session III: Interaction Detection Approaches

Chair: Mario Kohlberg

• Telephony Feature Validation against Eventuality Properties and Interaction Detection based on Statistical Analysis of the Time to Service, L. du Bousquet and O. Gaudoin
• An Automatic Off-line Feature Interaction Detection Method by Static Analysis of Specifications, H. Jouve, P. Le Gall and S. Coudert
• A Generic Approach for the Automatic Verification of Featured, Parameterised Systems, A. Miller and M. Calder
• Automatic Deleting Specification Errors which Cause Miss-Detection of Feature Interaction, K. Tatekuwa and T. Ohta

19:00-

Programme Committee Dinner

8:30-9:00

Coffee

9:00-10:00

Invited talk: A Practical Introduction to Games, Infinity and the Edinburgh Concurrency Workbench, Perdita Stevens

Chair: Stephan Reiff-Marganiec

10:00-10:30

Coffee break

10:30-12:30

Session IV: Design Methods

Chair: Alice Miller

• Configuring Members of a Family of Requirements using Features, J. Bredereke
• Considering Feature Interactions in Product Lines: Towards the Automatic Derivation of Dependencies between Product Variants, A. Metzger, S. Bühne, K. Lauenroth and K. Pohl
• An Optimisation Technique for Feature Interaction Test Generation, C. Chi
• Generic Semantics of Feature Diagrams Variants, Y. Bontemps, P. Heymans, P.-Y. Schobbens and J.C. Trigaux

12:30-13:30

Lunch

13:30-14:30

Invited talk: Policy Issues for Pervasive Systems, Morris Sloman

Chair: Mark Ryan

14:30-15:00

Coffee break

15:00-16:00

Session V: Feature Interaction in Policies

Chair: Pierre-Yves Schobbens

• Handling Policy Conflicts in Call Control, L. Blair and K.J. Turner
• Governance Policies for Private Access Control and their Interactions, W. Hassan and L. Logrippo

16:00-17:00

Panel SessionThe Changing Nature of Feature Interaction

Chair: Ken Turner

Questions put forward to the panellists (and all participants) include: Is feature interaction meaningful in modern communications systems such as web services or are these rendering FI obsolete? Will feature interaction be replaced by new concepts such as policy conflict or should it be replaced by service creation and analysis? How will new techniques such as model-driven architecture and aspect-oriented programming alter the perception of features?

18:30-

Conference Banquet

8:30-9:00

Coffee

9:00-10:00

Invited Talk: The PADRES Distributed Publish and Subscribe System, H.-Arno Jacobson

Chair: Stephan Reiff-Marganiec

10:00-10:30

Coffee break

10:30-12:30

Session VI: Feature Languages

Chair: Lydie du Bousquet

• Categorising and Prioritising Telephony Features, A. Zimmer and J. Atlee
• Writing Reusable Feature Programs with the Feature Language extensions, W.F. Leung
• Modelling Interactions in Feature Oriented Software Design, J. Liu, D. Batory and S. Nedunuri
• New Service Creation via Brokering and Mediation, F.J. Lin and K. Cheng

12:30-12:45

Workshop Closing

Chair: Stephan Reiff-Marganiec and Mark Ryan

12:45-

Lunch