Sciweavers

114 search results - page 8 / 23
» Compositional Message Sequence Charts
Sort
View
FOSSACS
2008
Springer
14 years 10 months ago
Products of Message Sequence Charts
Philippe Darondeau, Blaise Genest, Loïc H&eac...
64
Voted
MST
2008
87views more  MST 2008»
14 years 9 months ago
Pattern Matching and Membership for Hierarchical Message Sequence Charts
Blaise Genest, Anca Muscholl
64
Voted
EVOW
2004
Springer
15 years 2 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...
63
Voted
VL
2003
IEEE
121views Visual Languages» more  VL 2003»
15 years 2 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»
14 years 9 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