Formal techniques for analysing scenarios using message sequence charts

DOI10.1016/S1571-0661(04)80481-XMaRDI QIDQ2841314zbMATH OpenFDO

Authors Purandar Bhaduri, Girish Keshav Palshikar, R. Venkatesh

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80481-X

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A semantic and methodological essence of message sequence charts
• Adding time to scenarios
• Verification of scenario-based specifications using templates
• An event structure based semantics for high-level message sequence charts
• LSCs: Breathing life into message sequence charts

Cites work

• Formal techniques for analysing scenarios using message sequence charts
• scientific article; zbMATH DE number 108536 (Why is no real title available?)
• LSCs: Breathing life into message sequence charts

Cited in

(10)

• Realizability of high-level message sequence charts: closing the gaps
• Basic protocols, message sequence charts, and the verification of requirements specifications
• Scenario-based performance evaluation of SDL/MSC-specified systems
• Using message sequence charts to accelerate maintenance of existing systems
• Deriving message sequence charts from use case maps scenario specifications
• Formal techniques for analysing scenarios using message sequence charts
• Specification and verification using message sequence charts
• Verification of scenario-based specifications using templates
• An event structure based semantics for high-level message sequence charts
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: Formal techniques for analysing scenarios using message sequence charts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841314)