Experiences in modelling feature interactions with coloured Petri Nets

  • Authors:

  • Louise Lorentsen;Antti-Pekka Tuovinen;Jianli Xu

  • Affiliations:

  • Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, DENMARK;Software Technology Laboratory, Nokia Research Center, P.O. Box 407, FIN-00045 NOKIA GROUP, FINLAND;Software Technology Laboratory, Nokia Research Center, P.O. Box 407, FIN-00045 NOKIA GROUP, FINLAND

  • Venue:
  • Acta Cybernetica
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

A modern mobile phone supports many features: voice and data calls, text messaging, personal information management like phonebooks and calendars, WAP browsing, games, alarm clock, etc. All these features are packaged into a handset with a small display and a special purpose keypad. The limited user interface and the seamless intertwining of logically separate features cause many interactions between the software components in the UI of mobile phones. In this paper, we present an overview of our approach to modelling feature interactions in Nokia's mobile phones with explicit behavioral models of features. We use Coloured Petri Nets as the modeling language and the tool Design/CPN that provides a graphical, interactive user interface for constructing and simulating Coloured Petri Nets. We describe at a general level how we have created a graphical user interface for controlling and observing the simulations of models through an on-screen mock-up of a mobile phone. Then, we discuss the conrete results we have achieved by using our approach.