17 search results - page 2 / 4 » Transforming Message Sequence Charts for Testing |
SEFM
2008
IEEE
14 years 4 days ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...
CN
1999
13 years 5 months ago
1999
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
SCP
2002
13 years 5 months ago
2002
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
RSP
2007
IEEE
14 years 1 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...