• ISSN: 2010-023X (Print)
    • Abbreviated Title: Int. J. Trade, Economics and Financ.
    • Frequency: Quaterly
    • DOI: 10.18178/IJTEF
    • Editor-in-Chief: Prof.Tung-Zong (Donald) Chang
    • Managing Editor: Ms. Shira. W. Lu
    • Abstracting/ Indexing:  Crossref, Electronic Journals Library , EBSCO
    • E-mail: ijtef.editorial.office@gmail.com
HOME > Archive > 2014 > Volume 5 Number 1 (Feb. 2014) >
IJTEF 2014 Vol.5(1): 12-18 ISSN: 2010-023X
DOI: 10.7763/IJTEF.2014.V5.333

Data Flow Analysis of UML Models by ALF

S. Obaid, S. Asghar, and M. Naeem

Abstract—Data flow analysis (DFA) technique is used to analyze program into data variables and identify data flow operation on these variables. This basic information can be used to identify data dependencies, test data, program execution paths and hence it is helpful in the testing process to verify expected behavior of the system. In terms of executable UML, the models are based on action languages which internally consist of variables and specify data flow operation on these variables. Therefore, DFA of action languages is essential to analyze UML models in term of data flow and use the information to verify formal correctness (expected behavior) of the system. In our proposed approach, we are using action language for fUML (ALF) to design and analyze executable UML model. Analytical results show that DFA of executable models provides the precise execution flow of variables which are used to identify data dependencies and verification of system expected behavior from its abstract model.

Index Terms—DFA, UML, testing, executable UML, ALF.

S. Obaid is with ARID Agriculture University, Rawalpindi (e-mail: samir_obaid@yahoo.com).
S. Asghar is with University Institute of Information Technology, PMAS-Arid Agriculture University, Rawalpindi (e-mail: sohail.asghar@uaar.edu.pk).
M. Naeem is with Muhammad Ali Jinnah University, Islamabad (e-mail: naeems.naeem@gmail.com).

[PDF]

Cite:S. Obaid, S. Asghar, and M. Naeem, "Data Flow Analysis of UML Models by ALF," International Journal of Trade, Economics and Finance vol.5, no.1, pp. 12-18, 2014.

PREVIOUS PAPER
The Awareness of Cloud Computing: A Case Study of South African SMEs
NEXT PAPER
Building Communities of Practice and Knowledge Management at Malaysian Muslim-Dominated Organisations: Toward a Research Agenda

Copyright © 2008-2024. International Journal of Trade, Economics and Finance. All rights reserved.
E-mail: ijtef.editorial.office@gmail.com