Extending UML for Model Checking

Shu, Xinfeng; Wang, Mengnan; Wang, Xiaobing

doi:10.1007/978-3-319-90104-6_6

Cited by 2 publications

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similarly, Agent UML enables description of agent behavior ( Bauer, Müller & Odell, 2001 ). Additionally, UML is extended to include some other artifacts such as model checking ( Shu, Wang & Wang, 2017 ), model merging ( Farias et al, 2019 ). Currently, UML is the most popular conceptual modeling language ( Mohagheghi, Dehlen & Neple, 2009 ; Torchiano et al, 2013 ) and offers a communication platform for software engineers to define, build, visualize a software system ( Booch, Rumbaugh & Jacobson, 2005 ).…”

Section: Introductionmentioning

confidence: 99%

A user task design notation for improved software design

Özcan¹,

Topalli

Tokdemir

et al. 2021

PeerJ Computer Science

View full text Add to dashboard Cite

System design is recognized as one of the most critical components of a software system that bridges system requirements and coding. System design also has a significant impact on testing and maintenance activities, and on further improvements during the lifespan of the software system. Software design should reflect all necessary components of the requirements in a clear and understandable manner by all stakeholders of the software system. To distinguish system elements, separation of concerns in software design is suggested. In this respect, identification of the user tasks, i.e., the tasks that need to be performed by the user, is not currently reflected explicitly in system design documents. Our main assumption in this study is that software quality can be improved significantly by clearly identifying the user tasks from those that need to be performed by the computer system itself. Additionally, what we propose has the potential to better reflect the user requirements and main objectives of the system on the software design and thereby to improve software quality. The main aim of this study is to introduce a novel notation for software developers in the frame of UML Activity Diagram (UML-AD) that enables designers to identify the user tasks and define them separately from the system tasks. For this purpose, an extension of UML-AD, named UML-ADE (UML-Activity Diagram Extended) was proposed. Afterwards, it was implemented in a serious game case for which the specification of user tasks is extremely important. Finally, its effectiveness was analyzed and compared to UML-AD experimentally with 72 participants. The defect detection performance of the participants on both diagrams with two real-life serious game scenarios was evaluated. Results show a higher level of understandability for those using UML-ADE, which in turn may indicate a better design and higher software quality. The results encourage researchers to develop specific design representations dedicated to task design to improve system quality and to conduct further evaluations of the impact of these design on each of the above mentioned potential benefits for the software systems.

show abstract