101 search results - page 8 / 21 » Symbolic message sequence charts |
64
Voted
MST
2008
14 years 9 months ago
2008
64
Voted
EVOW
2004
Springer
15 years 2 months ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
63
Voted
VL
2003
IEEE
15 years 2 months ago
2003
IEEE
The recent major revision of the UML (see [4]) has introduced significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [...
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
124
click to vote
ECOOP
2000
Springer
15 years 1 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...