UTHM Institutional Repository

Semantic Rules of UML Specification

Ibrahim, Noraini and Ibrahim, Rosziati Semantic Rules of UML Specification. In: The 3rd Malaysian Technical Universities Conference on Engineering and Technology (MUCEET2009), 20-22 June 2009, Kuantan, Pahang.


Download (398kB)


Modeling of a system is an essential process in software development lifecycle (SDLC). It will produce a system artifact called a system model. In object– oriented based software development, a system model can be developed by using Unified Modeling Language (UML). UML is a modeling language for specifying, constructing, and documenting the artifacts of systems. It consists of 13 diagrams that can be used to describe the different views of a system. Each diagram has its own syntax and semantics. The syntax or abstract syntax is the notations for each element of the diagrams, whereas the semantics is the meaning of the notations. The huge complexity of UML specification that content multi diagrams and notations, and lack of formal semantics decrease the quality of system models produced. It will lead to wrong interpretations and inconsistency between models. Therefore, a precise meaning of UML diagrams is very important in order to have a common understanding of their meaning. Formalization of the semantics of UML specification is important in order to provide the consistency of the system models. This paper provides an overview of the semantics rules of UML specification and suggests an approach to formalize these semantics rules.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: UML semantics; formalization; consistency and rules
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions: Faculty of Computer Science and Information Technology > Department of Software Engineering
Depositing User: Normajihan Abd. Rahman
Date Deposited: 23 Nov 2012 10:26
Last Modified: 23 Nov 2012 10:26
URI: http://eprints.uthm.edu.my/id/eprint/2844
Statistic Details: View Download Statistic

Actions (login required)

View Item View Item


Downloads per month over past year