Sciweavers

884 search results - page 2 / 177
» A semantics of sequence diagrams
Sort
View
DAGSTUHL
2003
13 years 6 months ago
Partial Order Semantics of Sequence Diagrams for Mobility
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
Piotr Kosiuczenko
ASWEC
2004
IEEE
13 years 8 months ago
Linking UML Models of Design and Requirement
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...
Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
ICSE
2005
IEEE-ACM
14 years 4 months ago
Object naming analysis for reverse-engineered sequence diagrams
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
Atanas Rountev, Beth Harkness Connell
QEST
2008
IEEE
13 years 11 months ago
Automatic Translation of UML Sequence Diagrams into PEPA Models
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
Mirco Tribastone, Stephen Gilmore