Deriving message sequence charts from use case maps scenario specifications

DOI10.1007/3-540-48213-X_17MaRDI QIDQ2779777zbMATH OpenFDO

Authors Andrew Miga, Daniel Amyot, Francis Bordeleau, Donald Cameron, Murray Woodside

Publication date 15 April 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2078/20780268

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Formal techniques for analysing scenarios using message sequence charts
• Message sequence charts in the development process -- roles and limitations
• A semantic and methodological essence of message sequence charts
• LSCs: Breathing life into message sequence charts
• The theory of message sequence charts

Cited in

(4)

• Using message sequence charts to accelerate maintenance of existing systems
• Synthesizing SDL from use case maps: An experiment
• scientific article; zbMATH DE number 2087802 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: Deriving message sequence charts from use case maps scenario specifications

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