Experiences in modelling feature interactions with Coloured Petri Nets

Lorentsen Louise and Tuovinen Antti-Pekka and Xu Jianli: Experiences in modelling feature interactions with Coloured Petri Nets. In: Acta cybernetica, (15) 4. pp. 621-632. (2002)

[thumbnail of cybernetica_015_numb_004_621-632.pdf]
Preview
Cikk, tanulmány, mű
cybernetica_015_numb_004_621-632.pdf

Download (1MB) | Preview

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 concrete results we have achieved by using our approach.

Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 2002
Volume: 15
Number: 4
ISSN: 0324-721X
Page Range: pp. 621-632
Language: English
Place of Publication: Szeged
Event Title: Finno-Ugoric Symposium on Programming Languages and Software Tools (7.) (2001) (Szeged)
Related URLs: http://acta.bibl.u-szeged.hu/38514/
Uncontrolled Keywords: Számítástechnika, Kibernetika
Additional Information: Bibliogr.: 632. p. ; összefoglalás angol nyelven
Subjects: 01. Natural sciences
01. Natural sciences > 01.02. Computer and information sciences
Date Deposited: 2016. Oct. 15. 12:25
Last Modified: 2022. Jun. 14. 14:41
URI: http://acta.bibl.u-szeged.hu/id/eprint/12699

Actions (login required)

View Item View Item