scientific article; zbMATH DE number 1307655
The subject of this thesis is the language Message Sequence Chart (MSC) and its formal semantics. This is a graphical language for the description of the interaction between system components which is applied mostly in telecommunications and in software engineering but is finding its way into practice rapidly. It is most frequently used for requirement specification, visualization and simulation, and the descriptions of test cases. This thesis is structured as follows. In Chapter 2 the language MSC as it is standardized by the ITU in October 1996 is introduced. This chapter presents MSC in an informal but nevertheless rigorous way. The basic concepts introduced are: the core language (BMSC), process creation and termination, timer events, incomplete messages and conditions, inline expressions, reference expressions, extensions with gates. In Chapter 3 the process theory is developed, consisting of terms constructed from constants (events) and operators (composition of these). By means of Plotkin-style deduction rules the dynamic behavior of processes described by these terms and the equivalence of these processes is defined. In Chapter 4 a denotational semantics of MSCs is defined and a short review of some other approaches to the semantics of MSC is done. In the author's opinion the most important reason for heaving a formal semantic for MSC (the central point of thesis) is the need for an unambigous description of the meaning of a system description.
- Describing interactions between MSC components: The MSC connectors.
- Properties of a predicate transformer of the VRS system
- MSCPDL -- a language for behavioural abstraction
- Languages for analysis and testing of event sequences
- Message sequence charts in the development process -- roles and limitations
- Specification and verification using message sequence charts
- A semantics for timed MSC
- Quantitative analysis of communication scenarios
- scientific article; zbMATH DE number 5372321 (Why is no real title available?)
- MSC connectors -- the philosopher's stone
- The graphical format of TTCN-3 in the context of MSC and UML
- MSC connectors -- the chamber of secrets
- Time in message sequence charts: A formal approach. (Extended abstract)
- An event structure based semantics for high-level message sequence charts
- The theory of message sequence charts
- Delayed-choice semantics for pomset families and message sequence graphs
- Multiple synchrony in MSC
- Verification of heterogeneous multi-agent system using MCMAS
- Algebraic Methodology and Software Technology
- Fundamental Approaches to Software Engineering
- Modelling a railway crossing with message sequence charts and Petri nets
- Programming Languages and Systems
- An input language based on extended message sequence charts and used for test specification
- LSCs: Breathing life into message sequence charts
- A semantic and methodological essence of message sequence charts
- Causal message sequence charts
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4252989)
