Modeling execution architecture of software system using colored Petri nets

We present an application of Colored Petri Nets for modeling qf software architecture. Our work demonstrates how to use architectural modeling to control properties of industrial scale products and product families. The new software architecture of a mobile phone family is modeled by Colored Petri Nets and analyzed using the Design/CPN tool. The model describes the execution architecture and allows us to analyze both the time and space performance of the software system. Our experience shows that a special purpose model can be constructed,for large systems also and this model predicts system properties accurately enough to be useful. The insight this gave us into the internal operation of the software system together with the estimates of its per$n-mance helped guide us through the early phases of architectural design. We continue to and expect it to be a very valuable different product,family members. maintain the model tool in configuring