Thesis
Extending message sequence charts for multi-level and multi-formalism modeling in möbius
Washington State University
Master of Science (MS), Washington State University
2002
Handle:
https://hdl.handle.net/2376/85
Abstract
Message Sequence Chart (MSC) is a formal language to describe the communication behavior of a system. Möbius is an extensible multi-level multi-formalism modeling tool that facilitates interactions of models from different formalisms. We propose a new version of MSC, Stochastic MSC (SMSC), which is a stochastic extension to the traditional MSC. SMSC is suitable for performability analysis. The SMSC formalism is integrated into the Möbius framework and the Möbius default solvers are used to solve SMSC models. We defined the mappings from SMSC to Möbius entities and implemented the required C++ classes to describe SMSC models in the framework. Together with other formalisms in Möbius, SMSC can be used as building blocks for large hybrid models. Users will have additional flexibility in choosing modeling languages in Möbius. Not like other formalisms so far included in Möbius, SMSC will have both textual and graphical representations. Modeling with a text editor is the same as writing a traditional program while the graphical representation gives users a direct view of the system.
Metrics
18 Record Views
Details
- Title
- Extending message sequence charts for multi-level and multi-formalism modeling in möbius
- Creators
- Zhihe Zhou
- Contributors
- Frederick T. Sheldon (Degree Supervisor)
- Awarding Institution
- Washington State University
- Academic Unit
- Electrical Engineering and Computer Science, School of
- Theses and Dissertations
- Master of Science (MS), Washington State University
- Publisher
- Washington State University; Pullman, Wash. :
- Identifiers
- 99900525373701842
- Language
- English
- Resource Type
- Thesis