Sciweavers

114 search results - page 6 / 23
» Compositional Message Sequence Charts
Sort
View
CODES
1998
IEEE
14 years 25 days 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
14 years 23 days 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
MFCS
2000
Springer
14 years 4 days ago
Regular Collections of Message Sequence Charts
Jesper G. Henriksen, Madhavan Mukund, K. Narayan K...