Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hybrid blackboard model for feature interactions in process planning
ICC&IE '94 Proceedings of the 17th international conference on Computers and industrial engineering
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
The Feature and Service Interaction Problem in Telecommunications Systems: A Survey
IEEE Transactions on Software Engineering
Using SPIN for feature interaction analysis—a case study
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Feature Interactions in Telecommunications and Software Systems V
Feature Interactions in Telecommunications and Software Systems V
Feature Interactions in Telecommunications and Software Systems VI
Feature Interactions in Telecommunications and Software Systems VI
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Modelling and analysis of a DANFOSS flowmeter system using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
A formal approach to service interaction detection in mobile networks
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Using colored petri nets and tools to support mobile terminal and network software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
The BRITNeY suite animation tool
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
A two-level approach for modeling and verification of telecommunication systems
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Model-Based prototyping of an interoperability protocol for mobile ad-hoc networks
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
| Hi-index | 0.00 |
This paper reports on the main results from an industrial cooperation project. The project is a joint project between Nokia Research Centre and the CPN group at the University of Aarhus. The purpose of the project was to investigate features and feature interactions in development of Nokia mobile phones through construction of a Coloured Petri Nets (CPN) model. The model is extended with domain-specific graphics and Message Sequence Charts to enable mobile phone user interface designers and software developers who are not familiar with Petri Nets to work with the model. The paper presents the CPN model constructed in the project, describes how domain-specific graphics and Message Sequence Charts are used in simulations of the CPN model, and discusses how the project and in particular the construction of the CPN model has influenced the development process of features in Nokia mobile phones.