See this document in CiteSeerX!

A Formal Semantics of UML Sequence Diagrams (2004)  (Make Corrections)  (1 citation)
Xiaoshan Li, Zhiming Liu, He Jifeng



  Home/Search   Context   Related

 
View or download:
unu.edu/newrh/III/1/d...report292.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  unu.edu/newrh/III/1/page (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper presents a formal semantics of UML sequence diagram. In abstract syntax form, a well-formed sequence diagram corresponds to an ordered hierarchical tree structure. The static semantics of a sequence diagram is to check whether it is consistent with the class diagram declaration as well as with its well-formed tree structure. Meanwhile, the dynamic semantics is defined in terms of the state transitions that are carried out by the method invocations in the diagram. When a message is... (Update)

Cited by:   More
Linking UML Models of Design and Requirement - Liu, Liu, Jifeng, Li (2004)   (Correct)

Similar documents (at the sentence level):
6.9%:   A Relational Model for Formal Object-Oriented Requirement.. - Liu, Jifeng, Li, Chen (2003)   (Correct)
5.2%:   Software Technology - Unu Iist Report   (Correct)

Active bibliography (related documents):   More   All
0.5:   Using PVS to Support a Real-Time Refinement Calculus - Paige, Brooke   (Correct)
0.5:   Observational Models of Requirements Evolution - Felici (2004)   (Correct)
0.3:   Static Verification of UML Model Consistency - Baruzzo And Comini   (Correct)

Similar documents based on text:   More   All
0.2:   Domain Analysis - a Prerequisite for Requirements Capture - Bjørner, George.. (1995)   (Correct)
0.2:   From Durational Specifications to TLA . . . - Chen, al.   (Correct)
0.2:   Checking Interval Based Properties . . . - Yu, al.   (Correct)

BibTeX entry:   (Update)

X. Li, Z. Liu, and J. He. A formal semantics of UML sequence diagrams. In Pro. of Australian Software Engineering Conference (ASWEC'2004), Melbourne, Australia. IEEE Computer Sciety. http://citeseer.ist.psu.edu/li04formal.html   More

@misc{ li04formal,
  author = "X. Li and Z. Liu and J. He",
  title = "A formal semantics of UML sequence diagrams",
  text = "X. Li, Z. Liu, and J. He. A formal semantics of UML sequence diagrams.
    In Pro. of Australian Software Engineering Conference (ASWEC'2004), Melbourne,
    Australia. IEEE Computer Sciety.",
  year = "2004",
  url = "citeseer.ist.psu.edu/li04formal.html" }
Citations (may not include all citations):
397   Object Management Group - Modelling, Specification - 2003
79   The Unified Modelling Language User Guide (context) - Booch, Rumbaugh et al. - 1999
72   Unifying theories of programming (context) - Hoare, He - 1998
38   The Unified Modelling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1999
10   Exemplary and complete object interaction descriptions - Breu, Grosu et al. - 1998
10   The temporal framework for concurrent programs (context) - Mana, Pnueli - 1981
10   Object-Oriented Systems Analysis and Design using UML (context) - Bennett, McRobb et al. - 2002
8   Prentice-Hall International (context) - Larman, Patterns - 2001
7   Towards a refinement calculus for object-oriented systems (context) - He, Liu et al. - 2002
6   Using transition systems to unify uml models (context) - Liu, Li et al. - 2002
6   Developing the UML as a formal modeling notation (context) - Evants, France et al. - 1998
4   A relational model for formal object-oriented requirement an.. - Liu, He et al. - 2003
3   Integrating model information in uml sequence diagrams (context) - Tsiolakis - 2001
3   A temporal logic approach to component-based system specific.. (context) - Aguirre, Maibaum - 2002
2   Linking UML models of design and requirement - Liu, Liu et al. - 2004
2   Schaum's Outline of UML (context) - Bennett, Skelton et al. - 2001
2   Checking the consistency of collaboration and class diagram .. - Paige, Ostroff et al. - 2002
1   Behavioural consistent validation of uml diagrams (context) - Litvak, Tyszberowicz et al. - 2003
1   Semantics of uml sequence diagram in pvs - Aredo - 2000
1   Modeling object-oriented programming with reference type and.. (context) - He, Liu et al. - 2003
1   An impirical investigation in quantifying inconsistency and .. (context) - Lang - 2003
1   The consistency workbench: a tool for consistency management.. (context) - Heckel, Engels et al. - 2003

Documents on the same site (http://www.iist.unu.edu/newrh/III/1/page.html):   More
On Checking Parallel Real-Time Systems for Linear Duration.. - Jianhua, Van Hung   (Correct)
Towards a Denotational Semantics of Timed RSL using Duration.. - Li, Jifeng (1999)   (Correct)
Formally Describing Intelligent CAD - Bin, George (1999)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC