An Execution Semantics for MSC2000

Gerardo Padilla

Scenario-based specifications such as Message Sequence Charts, ITU-T MSC 2000 Z.120 (11/99), offer an intuitive and visual way of describing, for example, requirements. Such specifications focus on message exchange among communicating entities. We present an execution model for the Message Sequence Charts defined by an Abstract Execution Machine (AEM) whose features include: basic MSC (bMSC), inline expressions, High level MSC (HMSC) and data. The AEM can be used in two different ways: Accepting or generating traces. In the former case the AEM can be used as a test oracle, in the latter as a test generator. An example of test generation is presented.

ASTEC seminar
August 17, 2000

Place: Information technology, Uppsala University
Room: 1549
Time: 10.00 - 11.00

Room 1549 is in Building 1, Floor 5, room 49
(in the northern part of the building).

Help on how get here and MIC campus drawing.

There will be an extended period for discussions after the seminar.

Speakers are encouraged to give an short (5 min) introduction to the subject at the begining of the talk.
Listeners are excused if they have to leave after 1 hour.

Updated 27-Apr-2006 17:30 by Roland Grönroos
e-mail: info -at-    Location: