Modelling of features and feature interactions in nokia mobile phones using coloured petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2360 LNCS, Issue , 2002, Pages 294-313

  Lorentsen, Louise ^a   Tuovinen, Antti Pekka ^b   Xu, Jianli ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CELLULAR TELEPHONES; FLOWCHARTING; SOFTWARE DESIGN; USER INTERFACES; MOBILE DEVICES; MOBILE PHONES; TELEPHONE SETS;

COLOURED PETRI NETS; DEVELOPMENT PROCESS; FEATURE INTERACTIONS; INDUSTRIAL COOPERATION; INTERFACE DESIGNERS; MESSAGE SEQUENCE CHARTS; MOBILE-PHONE USERS; SOFTWARE DEVELOPER;

PETRI NETS;

EID: 84879111552     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48068-4_18     Document Type: Conference Paper

References (23)

1. D. Amyot, L. Charfi, N. Gorse, T. Gray, L. Logrippo, J. Sincennes, B. Stepien, and T. Ware. Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS. In M. Calder and E. Magill, editors, Feature Interactions in Telecommunications and Software Systems, volume VI, Amsterdam, May 2000. IOS Press. 309
2. M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-Marganiec. Feature Interaction: A Critical Review and Considered Forecast. Submitted for publication. On-line version: http://www.dcs.gla.ac.uk/~muffy/papers/ calder-kolberg-magill-reiff.pdf. 309
3. M. Calder and E. Magill. Feature Interactions in Telecommunications and Software Systems VI. IOS Press, 2000. 309
4. M. Calder and A. Miller. Using SPIN for Feature Interaction Analysis-a Case Study. In Proceedings of SPIN 2001, volume 2057 of Lecture Notes in Computer Science, pages 143-162. Springer-Verlag, 2001. 309
5. A. Cheng, S. Christensen, and K. Mortensen. Model Checking Coloured Petri Nets Exploiting Strongly Connected Components. In M. Spathopoulos, R. Smedinga, and P. Kozák, editors, Proceedings of WODES'96. Institution of Electrical Engineers, Computing and Control Division, Edinburgh, UK, 1996. 310
6. S. Christensen, K. Jensen, and L. Kristensen. Design/CPN Occurrence Graph Manual. Department of Computer Science, University of Aarhus, Denmark. On-line version: http://www.daimi.au.dk/designCPN/. 309
7. S. Christensen and J. Jørgensen. Analysis of Bang and Olufsen's BeoLink Audio/ Video System Using Coloured Petri Nets. In P. Azéma and G. Balbo, editors, Proceedings of ICATPN'97, volume 1248 of Lecture Notes in Computer Science, pages 387-406. Springer-Verlag, 1997. 308
8. S. Christensen and K. H.Mortensen. Design/CPN ASK-CTL Manual. Department of Computer Science, University of Aarhus, Denmark, 1996. Online: http://www.daimi.au.dk/designCPN/. 310
9. E. Clarke, E. Emerson, and A. Sistla. Automatic Verification of Finite State Concurrent Systems using Temporal Logic. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986. 310
10. Design/CPN Online. http://www.daimi.au.dk/designCPN/. 295
11. H. Genrich. Predicate/Transition Nets. In K. Jensen and G. Rozenberg, editors, High-level Petri Nets, pages 3-43. Springer-Verlag, 1991. 295
12. J.-S. Hwang and W. A. Miller. Hybrid Blackboard Model for Feature Interactions in Process Planning. Computers and Industrial Engineering, 29(1-4):613-617, 1995. 308
13. ITU (CCITT). Recommendation Z.120: MSC. Technical report, International Telecommunication Union, 1992. 296
14. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. Springer-Verlag, 1992. 295
15. D. O. Keck and P. J. Kuehn. The Feature and Service Interaction Problem in Telecommunication Systems: A survey. IEEE Transactions on Software Engineering, 24(10):779-796, October 1998. 308
16. K. Kimbler and L. G. Bouma. Feature Interactions in Telecommunications and Software Systems V. IOS Press, 1998. 309
17. L. Kristensen, S. Christensen, and K. Jensen. The Practitioner's Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2):98-132, December 1998. 295
18. L. Lorentsen and L. Kristensen. Modelling and Analysis of a Danfoss Flowmeter System. In M.Nielsen and D.Simpson, editors, Proceedings of ICATPN'2000, volume 1825 of Lecture Notes in Computer Science, pages 346-366. Springer-Verlag, 2000. 308
19. M. Nakamura, Y. Kakuda, and T. Kikuno. Feature Interaction Detection using Permutation Symmety. In K. Kimbler and L. G. Bouma, editors, Feature Interactions in Telecommunications and Software Systems, volume V, pages 187-201, Amsterdam, September 1998. IOS Press. 309
20. D.-B. Perng and C.-F. Chang. Resolving Feature Interactions in 3rd Part Editing. Computer-Aided Design, 29(10):687-699, 1997. 308
21. J. L. Rasmussen and M. Singh. Mimic/CPN. A Graphical Simulation Utility for Design/CPN. User's Manual. On-line version: http://www.daimi.au.dk/ designCPN/. 306
22. A. Valmari. Error Detection by Reduced Reachability Graph Generation. In Proceedings of the 9th European Workshop on Application and Theory of Petri Nets, pages 95-112, 1988. 310
23. J. Xu and J. Kuusela. Analyzing the Execution Architecture of Mobile Phone Software with Colored Petri Nets. Software Tools for Technology Transfer, 2(2):133-143, December 1998. 295, 296, 308