Sciweavers

107 search results - page 6 / 22
» Products of Message Sequence Charts
Sort
View
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
74
Voted
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
ICSE
2000
IEEE-ACM
15 years 1 months ago
Inference of message sequence charts
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
MFCS
2000
Springer
15 years 1 months ago
Regular Collections of Message Sequence Charts
Jesper G. Henriksen, Madhavan Mukund, K. Narayan K...