54 search results - page 1 / 11 » Formalize UML 2 Sequence Diagrams |
HASE
2008
IEEE
13 years 11 months ago
2008
IEEE
— 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 sequenc...
AGTIVE
2003
Springer
13 years 10 months ago
2003
Springer
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
JUCS
2002
13 years 4 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
ASWEC
2004
IEEE
13 years 8 months ago
2004
IEEE
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...
ISORC
2009
IEEE
13 years 11 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...