Formalize UML 2 Sequence Diagrams

14 years 5 months ago

Download venom.cs.utsa.edu

— UML 1 sequence diagrams have been widely employed for modeling software requirements and design. UML 2 introduced many new features, such as Combined Fragments, to make sequence

Hui Shen, Aliya Virani, Jianwei Niu

Real-time Traffic

Control Systems | HASE 2008 | Sequence Diagrams | Software Requirements |

claim paper

» A Framework for Semantics of UML Sequence Diagrams in PVS

» Linking UML Models of Design and Requirement

» From Requirements to Code Revisited

» S2A A Compiler for Multimodal UML Sequence Diagrams

» Representing Embedded System Sequence Diagrams as a Formal Language

» SafetyLiveness Semantics for UML 20 Sequence Diagrams

» Supporting UML Sequence Diagrams with a Processor Net Approach

» An ASM Semantics of Token Flow in UML 2 Activity Diagrams

Post Info
More Details (n/a)

Added	29 May 2010
Updated	29 May 2010
Type	Conference
Year	2008
Where	HASE
Authors	Hui Shen, Aliya Virani, Jianwei Niu

Comments (0)

Sciweavers

Formalize UML 2 Sequence Diagrams

Control Systems | HASE 2008 | Sequence Diagrams | Software Requirements |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers