Object Oriented Software Architecture Design based on UML/Petri Net approach for deadlock prevention of Real Time Systems

Issue title: Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2003

Article type: Research Article

Authors: Júnior, Sílvio Bacalá^{; *} | Julia, Stéphane

Affiliations: Faculdade de Computação, Universidade Federal de Uberlândia, P.O. Box 593, 38400-902 Uberlândia-M.G., Brazil

Correspondence: [*] Corresponding author. E-mail: bacala@ufu.br.

Abstract: The objective of this article is to present an approach based on UML dynamic diagrams and on Petri Net Objects for the deadlock prevention of Real Time Systems. The main idea consists of translating the sequence diagrams which express the initial specifications of the system in a unique Petri Net model which represents the global behaviour of the entire system and which belongs to the special class of Petri Nets called Simple Sequential Process with Resources. After the detection of possible unmarked siphons in the structure of the global model, a deadlock prevention strategy based on the addition of local control places is applied in order to remove structural deadlocks. The augmented Petri Net model is then translated into a set of collaboration and state-transition diagrams which represent the final deadlock free UML specification. Finally, a software architecture free of deadlocks based on an object which contains the global behaviour of the system and which centralises all the interactions between the software objects is presented. The approach is illustrated through an example of Real Time System used at the global coordination level of a Batch System.

Keywords: UML, Petri Net, Real Time System, Batch System, Deadlock Prevention Strategy, Siphon

DOI: 10.3233/JCM-2005-5S106

Journal: Journal of Computational Methods in Sciences and Engineering, vol. 5, no. s1, pp. S67-S83, 2005