An Execution Semantics for MSC2000
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
test generation is presented.
August 17, 2000
Place: Information technology, Uppsala University
Room 1549 is in Building 1, Floor 5, room 49
Time: 10.00 - 11.00
(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- astec.uu.se