A hierarchy of communication models for message sequence charts
Science of Computer Programming
An Analyser for Mesage Sequence Charts
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Time consistency of MSC-2000 specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Inference of Message Sequence Charts
IEEE Transactions on Software Engineering
Telecommunications Systems - Modeling, analysis, design and management
Generating early design models from requirements analysis artifacts using problem frames and SysML
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Can i execute my scenario in your net? viptool tells you!
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
On the realizability of collaborative services
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
We have developed an approach for generating automatically an SDL specification from an MSC specification and a given target architecture. The approach has been implemented in the MSC2SDL tool. In this paper, we give an overview of our approach and discuss several issues encountered during this research, before applying our approach to the Autonomous Shuttle Transport System and discussing this experience.