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)
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 |