Modeling execution architecture of software system using colored petri nets

Proceedings of the 1st International Workshop on Software and Performance, WOSP 1998

Volumn , Issue , 1998, Pages 70-75

  Xu, Jianli ^a   Kuusela, Juha ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER SOFTWARE; PETRI NETS; SOFTWARE ARCHITECTURE;

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

COMPUTER ARCHITECTURE;

EID: 80855146586     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/287318.287331     Document Type: Conference Paper

References (13)

1. E. Rechtin, M. Maier, "The art of systems architecting", CRC Press, Boca Raton, USA, 1997.
2. A.Ran, J.Kuusela, "Selected Issues in Architecture of Software Intensive Products", Proceedings of 1SAW-2, ACM, 1996.
3. Jeff Kramer and Jeff Magee, "Analysing Dynamic Change in Software Architectures: A case study", 4th IEEE International Conference on Configurable Distributed Systems, Annapolis, May 1998
4. Nedad Medvidovic and David S. Rosenblum, "Domains of Concern in Software Architectures and Architecture Description Languages", Proceedings of the USENIX Conference on Domain-Specific Languages, pages 199-212, Santa Barbara, CA, October 15-17, 1997
5. K. Jensen. "Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use", Volume I. Monogr. in Theor. CS, Springer-Verlag, 1992.
6. Computer Science Department of University of Aarhus and Meta Software Corporation. "Design/CPN Reference Manual", Cambridge, MA, USA. 1993.
7. L. C. Paulson. "ML for the Working Programmer", 2nd Edition. Cambridge University Press, July 1996.
8. Computer Science Department of University of Aarhus, "Design/CPN Occurrence Graph Manual", Version 3.0. Aarhus, Denmark, 1996.
9. M. Shaw, "Truth vs Knowledge: The difference between what a component does and what we know it does", Proceedings of 8th International Workshop on Software Specification and Design, March 1996.
10. J. E. Robbins, and et al, "Integrating Architecture Description Languages with a Standard Design Method", Presented at the Second EDCS Cross Cluster Meeting in Austin, Texas. (can be got from . uci.edu/pub/arch/sw-and-pubs.shtrnD
11. Rational, "UML Notation Guide", version 1.1, September 1997,
12. P. Kruchten, "The 4+1 View Model of Software Architecture", IEEE Software, November 1995.
13. H. Eriksson and M. Penker, "UML Toolkit", Wiley Computer Publishing, John Wiley & Sons, Inc., 1998.