Title :
The formal semantics of UML activity diagram based on Process Algebra
Author_Institution :
Coll. of Comput. & Commun. Eng., Weifang Univ. Weifang Univ., Weifang, China
Abstract :
Aiming at the problems of incomplete description, ambiguity and inconsistency in traditional UML activity diagram of software developments, this paper proposes a formalization analysis method. It introduces to describe the structure definitions, rule definitions and executing rules of UML activity diagram according to Process Algebra, for make sure the correctness of the designed software UML model.
Keywords :
Unified Modeling Language; process algebra; software architecture; UML activity diagram; formal semantics; formalization analysis method; process algebra; rule definitions; software developments; structure definitions; unified modeling language; Algebra; Analytical models; Computational modeling; Computers; Software; Software engineering; Unified modeling language; formalization method; process algebra; unified modeling language (UML);
Conference_Titel :
Computer Science and Service System (CSSS), 2011 International Conference on
Conference_Location :
Nanjing
Print_ISBN :
978-1-4244-9762-1
DOI :
10.1109/CSSS.2011.5974744
