In: Proc. High Performance Computing (HPC'2000); 2000 Advanced Simulation Technologies Conference, 16-20 April 2000, Washington, DC, pages 365-370. 2000.
Abstract: Message sequence charts (MSCs) are a formal specification language, that is used to describe communication in systems. Sample traces specify the message exchange between processes and system parts. These traces can be combined hierarchically using composition techniques. In this paper, the recently submitted MSC2000 standard is used to specify temporal behavior. A technique to map such MSC specifications to stochastic Petri nets is presented and some problems of this approach are outlined. With this mapping, existing tools can be used to derive temporal properties of MSC specifications.
Keywords: MSC2000, message sequence charts, performance prediction, stochastic Petri nets.