Performance engineering of SDL/MSC systems
The paper addresses issues related to the performance of systems specified with SDL and MSC and describes how performance aspects can be integrated with the SDL/MSC method. We identify the aspects that are relevant to performance evaluation and performance tuning. Afterwards we introduce basic performance modelling techniques and survey approaches that integrate performance evaluation into the context of SDL and MSC.
performance modelling specification and description language sdl systems engineering