Sciweavers

114 search results - page 8 / 23
» Compositional Message Sequence Charts
Sort
View
FOSSACS
2008
Springer
13 years 9 months ago
Products of Message Sequence Charts
Philippe Darondeau, Blaise Genest, Loïc H&eac...
EVOW
2004
Springer
14 years 1 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»
14 years 1 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»
13 years 8 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