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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Basic Concepts. Monographs in Theoretical Computer Science, vol. 1. Springer, Heidelberg (1997)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, vol. 3. Springer, Heidelberg (1997)
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)
Design/CPN, Online: http://www.daimi.au.dk/designCPN/
CPN Tools, http://www.daimi.au.dk/CPNtools/
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)
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)
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)
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)
IBM Rational Rose, www-136.ibm.com/developerworks/rational/products/rose
Jørgensen, J.B., Bossen, C.: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software (2004)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Xu, J. (2006). Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development. In: Donatelli, S., Thiagarajan, P.S. (eds) Petri Nets and Other Models of Concurrency - ICATPN 2006. ICATPN 2006. Lecture Notes in Computer Science, vol 4024. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11767589_4
Download citation
DOI: https://doi.org/10.1007/11767589_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34699-9
Online ISBN: 978-3-540-34700-2
eBook Packages: Computer ScienceComputer Science (R0)