Sciweavers

114 search results - page 6 / 23
» Compositional Message Sequence Charts
Sort
View
76
Voted
CODES
1998
IEEE
15 years 1 months ago
Schedulability analysis of heterogeneous systems for performance message sequence chart
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
Frank Slomka, Jürgen Zant, Lennard Lambert
ICFEM
1998
Springer
15 years 1 months ago
Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
Manfred Broy, Ingolf Krüger
54
Voted
MFCS
2000
Springer
15 years 1 months ago
Regular Collections of Message Sequence Charts
Jesper G. Henriksen, Madhavan Mukund, K. Narayan K...