ICFI'05
 
8th International Conference on Feature Interactions in Telecommunications and Software Systems
ICFI'05
 
8th International Conference on Feature Interactions in Telecommunications and Software Systems

Programme

Monday, 27th June

17:30-19:00

Workshop Registration and Welcome Reception

Tuesday, 28th June

8:20-8:50

Workshop Registration

8:50-9:00

Workshop Opening

Chair: Stephan Reiff-Marganiec and Mark Ryan

9:00-10:00

Invited talk: Foundations for Features, Glenn Bruns

Chair: Mark Ryan

10:00-10:30

Coffee break

10:30-12:00

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
12:00-13:00

Lunch

13:00-14:30

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

15:15-17:15

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

Wednesday, 29th June

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

Thursday, 30th June

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