Synthesizing SDL from use case maps: An experiment

DOI10.1007/3-540-45075-0_7MaRDI QIDQ4450968zbMATH OpenFDO

Authors Yong He, Daniel Amyot, Alan W. Williams, Yong He

Publication date 16 February 2004

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/2708/27080117.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2100577
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• Deriving message sequence charts from use case maps scenario specifications
• Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering
• Deployment of SDL systems using UML

Cited in

(4)

• Using UML for implementation design of SDL systems
• Model-based generation of SDL specifications for the early prototyping of reactive systems
• scientific article; zbMATH DE number 2100577 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems - FORTE 2005

This page was built for publication: Synthesizing SDL from use case maps: An experiment

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