A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP

Lima, Lucas; Tavares, Amaury; Nogueira, Sidney C.

doi:10.1016/j.scico.2020.102497

Cited by 12 publications

(4 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…as a result of a control instruction, 3) a renewed attempt to create the mutex as a result of: a) operation of the loop, b) recurrent call of the function. To detect errors belonging to the deadlock class in applications from the cloud computing domain, a positive attempt was made to use UML activity diagrams [34]. However, the authors of the solution emphasize that the method they are developing is at an early stage of research, and its users must learn to use CSP algebra as the basic semantic domain for activity diagrams.…”

Section: ) Deadlockmentioning

confidence: 99%

See 1 more Smart Citation

Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis

Giebas

Wojszczyk

2021

IEEE Access

View full text Add to dashboard Cite

Computer systems that allow multithreaded execution of applications have become extremely common, even small portable devices operate in multithreaded mode. This is undoubtedly very convenient for users, but for programmers it is associated with many unwanted errors, which can occur after writing application code. These errors include race condition, deadlock, atomicity violation and order violation. The subject of this work is related to the detection of these errors in the process of static software analysis. The paper presents the author's model, which was then used to detect the above-mentioned occurrences, additionally each error has been discussed in detail. A tool supporting the detection of errors in multithreaded applications was also developed and the results of this tool were presented.

show abstract

Section: ) Deadlockmentioning

confidence: 99%

“…• the requirement to learn new, unpopular programming languages, which increases the costs of using the method: [34], [75], [84]. • the ambiguity in the transformation of the program code to other formal representations, e.g.…”

Section: Summary Of Selected Solutionsmentioning

confidence: 99%

Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis

Giebas

Wojszczyk

2021

IEEE Access

View full text Add to dashboard Cite

show abstract

“…The next step is making activity diagrams and database design. Activity diagrams help describe behaviour or interactions between multiple use cases [16]. The data management program stands alone in a commercial program package to read, fill in, delete, and report data in the database [17].…”

Section: Introductionmentioning

confidence: 99%

Website-based final project management system design at Trisakti university industrial engineering

Yojana¹,

Febriani²,

Septiani³

et al. 2022

j. sist. manaj. ind.

View full text Add to dashboard Cite

Preparing the final project is one of the requirements for graduation from a college student. The right Final Project management system will affect the quality of education. Industrial Engineering Trisakti University is one of the leading universities in Indonesia that continues to develop its education system. Managing the final project at Trisakti University Industrial Engineering is still manual and has not been integrated. As a result, the risk of errors in entering and saving Final Project data is still high. Therefore, this research was conducted to design a final project management system at Trisakti University Industrial Engineering. It begins with analyzing the existing management system. It is described with swim lane diagrams and PIECES to determine the process flow in the system and the actors who play a role in the system. After analyzing the system, proceed with designing information systems with Object-Oriented Modeling and evaluate it with black box testing and ERRC. This research results in website-based final project management at Trisakti University Industrial Engineering.

show abstract

“…Since, concurrent software system involves execution interleaving inside concurrency constructs, testing of concurrent systems is challenging to uncover concurrency errors. Recently, researchers are exploring on test scenarios generation based on concurrent activity diagrams to explore concurrent behaviour of the system [2][3][4].…”

Section: Introductionmentioning

confidence: 99%

Concurrency coverage criteria for activity diagrams

Shirole¹,

Kumar

2021

IET Software

View full text Add to dashboard Cite

Existing coverage criteria for Unified Modeling Language (UML)‐based system design have used mostly structural constructs and sequential‐behavioural coverage criteria. However, concurrent‐behavioural coverage criteria are not sufficiently explored. The basic path coverage criteria, in UML‐based system design, do not distinguish between non‐interleaving and interleaving execution paths in concurrent activity diagrams. Herein, the main contribution is to present a new set of coverage criteria, based on activity‐interleaving paths for concurrent activity diagrams. For this, first, we modified the definitions of basic path and basic path coverage criterion, and then we defined the interleaving activity path, interleaving activity path coverage, and total activity path coverage criteria. It is observed that the proposed coverage criteria explore most of the concurrency behaviours to uncover concurrency errors. They help to uncover different types of concurrency errors like synchronization, data‐race, and deadlock.

show abstract

A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP

Cited by 12 publications

References 4 publications

Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis

Detection of Concurrency Errors in Multithreaded Applications Based on Static Source Code Analysis

Website-based final project management system design at Trisakti university industrial engineering

Concurrency coverage criteria for activity diagrams

Contact Info

Product

Resources

About