Sciweavers

114 search results - page 8 / 23
» Compositional Message Sequence Charts
Sort
View
FOSSACS
2008
Springer
15 years 6 months ago
Products of Message Sequence Charts
Philippe Darondeau, Blaise Genest, Loïc H&eac...
EVOW
2004
Springer
15 years 11 months ago
A Scenario-Based Approach to Protocol Design Using Evolutionary Techniques
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
Sérgio G. Araújo, Antônio C. M...
VL
2003
IEEE
121views Visual Languages» more  VL 2003»
15 years 11 months ago
Semantics of interactions in UML 2.0
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 [...
Harald Störrle
CN
1999
163views more  CN 1999»
15 years 5 months ago
Operational Semantics for MSC'96
Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of ...
Sjouke Mauw, Michel A. Reniers