Advertisement

Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development

  • Jianli Xu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4024)

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.

Keywords

Mobile Phone Formal Method Software Architecture Feature Interaction State Space Analysis 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Basic Concepts. Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1997)Google Scholar
  2. 2.
    Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol. 3. Springer, Heidelberg (1997)MATHGoogle Scholar
  3. 3.
    Kristensen, L.M., Kristensen, S., Jensen, K.: The practitioner’s guide to Coloured Petri nets. International Journal of Software Tools for Technology Transfer 2(2), 98–132 (1998)MATHCrossRefGoogle Scholar
  4. 4.
  5. 5.
  6. 6.
    Xu, J., Kuusela, J.: Analyzing the execution architecture of mobile phone software with coloured Petri nets. International Journal of Software Tools for Technology Transfer 2(2), 132–143 (1998)Google Scholar
  7. 7.
    Lorentsen, L., Tuovinen, A.-P., Xu, J.: Modelling of Features and Feature Interactions in Nokia Mobile Phones using Coloured Petri Nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 294–313. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  8. 8.
    Jørgensen, J.B., Christensen, S., Tuovinen, A.-P., Xu, J.: Tool Support for Estimating the Memory Usage of Mobile Phone Software. International Journal of Software Tools for Technology Transfer. Springer, Heidelberg (to be published)Google Scholar
  9. 9.
    Xu, J.: Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques. In: The Proceedings of the 30th NASA/IEEE Workshop on Software Engineering, Colombia, USA, April 25-27. IEEE Computer Science Press, Los Alamitos (2006)Google Scholar
  10. 10.
  11. 11.
    Jørgensen, J.B., Bossen, C.: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software (2004)Google Scholar
  12. 12.
    van der Aalst, W., Jørgensen, J.B., Lassen, K.B.: Let’s Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. In: 13th Intl. Conf. on Cooperative Information Systems (CoopIS). LNCS. Springer, Heidelberg (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Jianli Xu
    • 1
  1. 1.Nokia Research CenterNOKIA GROUPFinland

Personalised recommendations