Skip to main content
SpringerLink
Log in
Book cover

International Conference on Formal Engineering Methods

ICFEM 2002: Formal Methods and Software Engineering pp 500–510Cite as

On the Formalized Semantics of Static Modeling Elements in UML

  • Conference paper
  • First Online:

  • 493 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2495))

Abstract

Along with the research and application of UML in depth, people in software development have cognized that the semantics of UML mainly described in nature language have some drawbacks such as ambiguity and scarcity of accuracy etc. In this paper, we first summarize the necessary of a kind of formalized semantics and previous studies, then provide some semantics of static modeling elements in UML on principle of conciseness, clarity, intelligibility and practicality from two aspects of extension and intension. Thus we provide an effective method of apprehending these modeling elements in depth quickly and exactly, and a basis for the study the semantics of static diagram, translation between elements and models, and the model extension.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. OMG Unified Modeling Language Specification 1.3,1.4

    Google Scholar 

  2. Grady Booch, James Rumbaugh, Ivar Jacobson: The Unified Modeling Language User Guide, Addisin Longman, Inc 1999

    Google Scholar 

  3. James Rumbaugh, Ivar Jacobson, Grady Booch: The Unified Modeling Language Reference Manual, Addisin Longman,Inc 1999

    Google Scholar 

  4. James Odell, Guus Ramackers, Toward a Formalization of OO Analysis, Journal of Object-Oriented Programming, July 1997

    Google Scholar 

  5. Andy Eavants, Stauart Kent, Core Meta-Modelling Semantics of UML: The pUML Approach, UML’99—The Unfied Modeling Language Beyond the Standard Springer October 1999

    Google Scholar 

  6. Shao WeiZhong, Yang FuQing, Analysis of Object-Oriented Systems, TsingHua University Press, 1998

    Google Scholar 

  7. Cheng YunYi, The Basis of Formal Semantics, University of Science & Technology of China Press, 1994

    Google Scholar 

  8. Chai XiaoXi, Cheng Ping Object-Oriented Technology, XiDian University Press, 1995

    Google Scholar 

  9. LI Liu-ying, WANG Ji, QI Zhi-chang, An Operational Semantics for UML StateChart Diagrams, Journal of Software, 2001, 12(12)

    Google Scholar 

  10. Feng YuLing, Li Jing, Huang Tao, Object Semantics Theory and Constraints Reasoning, Chinese J. Computers, 1993, Vol 16, No. 11

    Google Scholar 

  11. Huang Tao, Feng YuLing, Li Jing, A Formal Semantics Model For object, Journal of Software, 1995, Vol. 6, Supplement

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Department of Computer Science & Technology, Peking University, Beijing, P.R. China, 100871

    Yan-Bing Jiang, Wei-Zhong Shao, Zhi-Yi Ma & Yao-Dong Feng

Authors
  1. Yan-Bing Jiang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wei-Zhong Shao
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zhi-Yi Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yao-Dong Feng
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute for Software Technology, United Nations University, Casa Silva Mendes, Est. do Engenheiro Trigo No. 4, P.O. Box 3058, Macao

    Chris George

  2. School of Computer Engineering and Science, Shanghai University, 149 Yanchang Road, Shanghai, 200072, P.R. China

    Huaikou Miao

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jiang, YB., Shao, WZ., Ma, ZY., Feng, YD. (2002). On the Formalized Semantics of Static Modeling Elements in UML. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_51

Download citation

  • DOI: https://doi.org/10.1007/3-540-36103-0_51

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00029-7

  • Online ISBN: 978-3-540-36103-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation