Consistency rules between UML use case and activity diagrams using logical approach
Consistency is one of the attributes in measuring the quality of UML model. It is the situation where two or more overlapping elements of different diagrams that describe behavior of system are jointly satisfiable. Although there are increasing researches on consistency management, there is still la...
Main Authors: | , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
SERSC
2011
|
Subjects: | |
Online Access: | http://umpir.ump.edu.my/id/eprint/25643/ http://umpir.ump.edu.my/id/eprint/25643/ http://umpir.ump.edu.my/id/eprint/25643/ http://umpir.ump.edu.my/id/eprint/25643/1/Consistency%20rules%20between%20UML%20use%20case%20and%20activity%20diagrams%20using%20logical%20approach.pdf |
id |
ump-25643 |
---|---|
recordtype |
eprints |
spelling |
ump-256432020-02-14T03:55:08Z http://umpir.ump.edu.my/id/eprint/25643/ Consistency rules between UML use case and activity diagrams using logical approach Noraini, Ibrahim Rosziati, Ibrahim Mohd Zainuri, Saringat Dzahar, Mansor Herawan, Tutut QA76 Computer software Consistency is one of the attributes in measuring the quality of UML model. It is the situation where two or more overlapping elements of different diagrams that describe behavior of system are jointly satisfiable. Although there are increasing researches on consistency management, there is still lack of researches of consistency driven by use case. Therefore, this paper proposes three consistency rules between use case and activity diagram. The elements of each diagrams and their consistency are described using logical approach. Based on an example of UML model consists of both diagrams, we show how the diagrams fulfilled our proposed consistency rules. Finally, the elements involved in the consistency rules are detected and formally reasoned. SERSC 2011 Article PeerReviewed pdf en http://umpir.ump.edu.my/id/eprint/25643/1/Consistency%20rules%20between%20UML%20use%20case%20and%20activity%20diagrams%20using%20logical%20approach.pdf Noraini, Ibrahim and Rosziati, Ibrahim and Mohd Zainuri, Saringat and Dzahar, Mansor and Herawan, Tutut (2011) Consistency rules between UML use case and activity diagrams using logical approach. International Journal of Software Engineering and Its Applications (IJSEIA), 5 (3). pp. 119-134. ISSN 1738 - 9984 https://pdfs.semanticscholar.org/b8f8/ebbebe4e8f2bd72caaced1e5751480d23487.pdf https://pdfs.semanticscholar.org/b8f8/ebbebe4e8f2bd72caaced1e5751480d23487.pdf |
repository_type |
Digital Repository |
institution_category |
Local University |
institution |
Universiti Malaysia Pahang |
building |
UMP Institutional Repository |
collection |
Online Access |
language |
English |
topic |
QA76 Computer software |
spellingShingle |
QA76 Computer software Noraini, Ibrahim Rosziati, Ibrahim Mohd Zainuri, Saringat Dzahar, Mansor Herawan, Tutut Consistency rules between UML use case and activity diagrams using logical approach |
description |
Consistency is one of the attributes in measuring the quality of UML model. It is the situation where two or more overlapping elements of different diagrams that describe behavior of system are jointly satisfiable. Although there are increasing researches on consistency management, there is still lack of researches of consistency driven by use case. Therefore, this paper proposes three consistency rules between use case and activity diagram. The elements of each diagrams and their consistency are described using logical approach. Based on an example of UML model consists of both diagrams, we show how the diagrams fulfilled our proposed consistency rules. Finally, the elements involved in the consistency rules are detected and formally reasoned. |
format |
Article |
author |
Noraini, Ibrahim Rosziati, Ibrahim Mohd Zainuri, Saringat Dzahar, Mansor Herawan, Tutut |
author_facet |
Noraini, Ibrahim Rosziati, Ibrahim Mohd Zainuri, Saringat Dzahar, Mansor Herawan, Tutut |
author_sort |
Noraini, Ibrahim |
title |
Consistency rules between UML use case and activity diagrams using logical approach |
title_short |
Consistency rules between UML use case and activity diagrams using logical approach |
title_full |
Consistency rules between UML use case and activity diagrams using logical approach |
title_fullStr |
Consistency rules between UML use case and activity diagrams using logical approach |
title_full_unstemmed |
Consistency rules between UML use case and activity diagrams using logical approach |
title_sort |
consistency rules between uml use case and activity diagrams using logical approach |
publisher |
SERSC |
publishDate |
2011 |
url |
http://umpir.ump.edu.my/id/eprint/25643/ http://umpir.ump.edu.my/id/eprint/25643/ http://umpir.ump.edu.my/id/eprint/25643/ http://umpir.ump.edu.my/id/eprint/25643/1/Consistency%20rules%20between%20UML%20use%20case%20and%20activity%20diagrams%20using%20logical%20approach.pdf |
first_indexed |
2023-09-18T22:39:29Z |
last_indexed |
2023-09-18T22:39:29Z |
_version_ |
1777416819156451328 |