Using colored petri nets and tools to support mobile terminal and network software development

Authors:
Jianli Xu
Affiliations:
Nokia Research Center, NOKIA GROUP, Finland
Venue:
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Year:
2006

Citing 6
Cited 0

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
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets

ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Executable Use Cases: Requirements for a Pervasive Health Care System

IEEE Software
Tool Support for Estimating the Memory Usage of Mobile Phone Software

International Journal on Software Tools for Technology Transfer (STTT)
Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques

SEW '06 Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we report our experience in several research projects that use Colored Petri Nets in modeling and analysis of the software systems of Nokia products. These research projects use both formal language – Colored Petri Nets and semi-formal language – UML to describe, model and analyze different software systems. Due to the particular limitations, formal methods have been only used to model and analyze a certain property or a few strongly related properties, or a certain critical part of a big system at a time. This short paper reports our experience in applying formal methods in industry settings. We mainly address our problems in applying formal methods in supporting our product software development, such as system complexity, model complexity, the appropriate abstraction levels of a formal model, tracing the problem from abstract formal model to real software and vice versa, tool support, etc.