Welcome to the InfoSci Platform
Reference Hub6
Formalizing UML Class Diagrams

Formalizing UML Class Diagrams

Ana M. Funes, Chris George
Copyright: © 2003 |Pages: 70
ISBN13: 9781931777445|ISBN10: 1931777446|EISBN13: 9781931777605
DOI: 10.4018/978-1-93177-744-5.ch008
Cite Chapter Cite Chapter

MLA

Funes, Ana M., and Chris George. "Formalizing UML Class Diagrams." UML and the Unified Process, edited by Liliana Favre, IGI Global, 2003, pp. 129-198. https://doi.org/10.4018/978-1-93177-744-5.ch008

APA

Funes, A. M. & George, C. (2003). Formalizing UML Class Diagrams. In L. Favre (Ed.), UML and the Unified Process (pp. 129-198). IGI Global. https://doi.org/10.4018/978-1-93177-744-5.ch008

Chicago

Funes, Ana M., and Chris George. "Formalizing UML Class Diagrams." In UML and the Unified Process, edited by Liliana Favre, 129-198. Hershey, PA: IGI Global, 2003. https://doi.org/10.4018/978-1-93177-744-5.ch008

Export Reference

Mendeley
Favorite

Abstract

Graphical notations have demonstrated usefulness when interacting with end users, making system validation easier. However, while they can be easily communicated, they lack precision, which consequently can be ambiguous and lead to misunderstanding. It is here where formal specifications can play an important role in overcoming this drawback. In this chapter, we use the RAISE Specification Language (RSL), which is the language of the formal method RAISE (i.e., Rigorous Approach to Industrial Software), as a syntactic and semantic reference for UML. We present the semantics for UML class diagrams by using RSL as a formal basis. An automated tool that implements the translation and the abstract syntax in RSL for the RSL-translatable class diagrams are also presented.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.