UM
Integrating UML with service refinement for requirements modeling and analysis
Yang Y.1; Ke W.3; Yang J.2; Li X.1
2019
Source PublicationIEEE Access
ISSN21693536
Volume7Pages:11599-11612
AbstractThe Unified Modeling Language (UML) is the de facto standard for requirements modeling and analysis in the software industry. However, it lacks the ability of formal analysis and verification. In this paper, we propose a synthetic approach UML-SR that integrates UML with service refinement (SR) to support the formal requirements modeling and analysis as well as formal verification. The UML-SR requirements model contains a use case diagram, the system sequence diagrams of use cases, a conceptual class diagram, and the formal contracts of system interfaces. To make this integration viable, we extend service refinement with the concepts of visibility in UML. With the visibility extension, we are able to formally specify and verify both internal and external interactions of the system. To demonstrate the effectiveness of our proposed approach, we investigate a case study of an Online Shopping System. The results show that a consistent requirements model can be eventually derived through formal refinement and verification. The proposed approach is useful and can be further applied for the requirements modeling and formal verification in the software industry.
Keywordformal verification requirements modeling service refinement UML
DOI10.1109/ACCESS.2019.2892082
URLView the original
Language英語
Fulltext Access
Citation statistics
Document TypeJournal article
CollectionUniversity of Macau
Affiliation1.Universidade de Macau
2.Guizhou University
3.Macau Polytechnic Institute
Recommended Citation
GB/T 7714
Yang Y.,Ke W.,Yang J.,et al. Integrating UML with service refinement for requirements modeling and analysis[J]. IEEE Access,2019,7:11599-11612.
APA Yang Y.,Ke W.,Yang J.,&Li X..(2019).Integrating UML with service refinement for requirements modeling and analysis.IEEE Access,7,11599-11612.
MLA Yang Y.,et al."Integrating UML with service refinement for requirements modeling and analysis".IEEE Access 7(2019):11599-11612.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Yang Y.]'s Articles
[Ke W.]'s Articles
[Yang J.]'s Articles
Baidu academic
Similar articles in Baidu academic
[Yang Y.]'s Articles
[Ke W.]'s Articles
[Yang J.]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Yang Y.]'s Articles
[Ke W.]'s Articles
[Yang J.]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.