Analyzing the execution architecture of mobile phone software with colored Petri nets

International Journal on Software Tools for Technology Transfer

Volumn 2, Issue 2, 1998, Pages 133-143

  Xu, Jianli ^a   Kuusela, Juha ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

Colored Petri nets; Execution architecture; Modeling; Performance; Software architecture

Indexed keywords

APPLICATION PROGRAMS; CELLULAR TELEPHONES; COMPUTER SOFTWARE; MOBILE PHONES; MODELS; SOFTWARE ARCHITECTURE; TELEPHONE SETS;

ARCHITECTURAL MODELING; COLORED PETRI NETS; CONTROL PROPERTIES; INDUSTRIAL SCALE; INTERNAL OPERATIONS; PERFORMANCE; PRODUCT FAMILIES; TIME AND SPACE PERFORMANCE;

PETRI NETS;

EID: 84896693232     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s100090050022     Document Type: Article

References (19)

1. Rechtin, E., Maier, M.: The Art of System Architecting. Boca Raton, FL. CRC Press, 1977.
2. Ran, A., Kuusela, J.: Selected issues in architecture of software intensive products. In: Proc. ISAW-2. ACM Press, 1996.
3. Kramer, J., Magee, J.: Analysing dynamic change in software architectures: a case study In: 4th IEEE Int. Conf. on Configurable Distributed Systems. Annapolis, May 1998.
4. Medvidovic, N., Rosenblum, D. S.: Domains of concern in software architectures and architecture description languages. Proc. USENIX Conference on Domain-Specific Languages. Santa Barbara, CA, October 15-17, 1997, pp. 199-212.
5. Jensen, K.: Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. Berlin, Heidelberg, New York: Springer-Verlag, 2nd corrected printing 1997.
6. Computer Science Department, University of Aarhus, Denmark. Design/CPN Reference Manual. Online version: http://www. daimi. au. dk/designCPN/.
7. Shaw, M.: Truth vs Knowledge: the difference between what a component does and what we know it does. (Proc. 8th Int. Workshop on Software Specification and Design, March 1996.
8. Robbins, J. E., Medvidovic, N., Redmiles, D. F., Rosenblum, D. S.: Integrating architecture description languages with a standard design method. 2nd. EDCS Cross Cluster Meeting, Austin, TX, 1997. Online version: http://www. ics. uci. edu/pub/arch/sw-and-pubs. shtml.
9. Rational Software Corporation. UML Notation Guide, version 1. 1. http://www. rational. com/UML, September, 1997.
10. Spivey, J. M.: The Z Notation: A Reference Manual. 2nd edition, Prentice Hall International Series in Computer Science. Hemel Hempstead, UK: Prentice Hall, 1992.
11. Jones, C. B.: Systematic Software Development using VDM. 2nd edition, Prentice Hall International Series in Computer Science. Hemel Hempstead, UK: Prentice Hall, 1990.
12. Milner, R.: Communication and Concurrency. Prentice Hall International Series in Computer Science. Hemel Hempstead, UK: Prentice Hall, 1989.
13. Hoare, C. A. R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Hemel Hempstead, UK: Prentice Hall, 1985.
14. Bolognesi, T., Brinksma, H.: Introduction to the ISO Speci fication Language LOTOS. Computer Networks and ISDN Systems 14: 25-59, 1987.
15. Gabbay, D. M., Hodkinson, I., Reynolds, M.: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press, 1994.
16. Paulson, L. C.: ML for the Working Programmer. 2nd edition, Cambridge University Press, July 1996.
17. Kruchten, P.: The 4+1 View Model of Software Architecture. IEEE Software, November 1995.
18. Eriksson, H., Penker, M.: UML Toolkit. Wiley Computer Publishing, Wiley, 1998.
19. Computer Science Department, University of Aarhus, Denmark. Design/CPN Occurrence Graph Manual, Version 3. 0. Aarhus, Denmark, 1996.