PhD defence by Arifa Bhutto on Verification and Validation of UML/OCL Object Component Model
28.09.2018 kl. 13.00 - 16.00
Arifa Bhutto, Department of Energy Technology Esbjerg, will defend the thesis "Verification and Validation of UML/OCL Object Component Model".
Verification and Validation of UML/OCL Object Component Model
Associate Professor Dr. Dil Muhammad Akbar Hussain
Associate Professor Matthias Mandø
Associate Professor Daniel Ortiz-Arroyo, Department of Energy Technology, Aalborg University Esbjerg (Chairman)
Professor Dr. Engr. Syed Hyder Abbas Musavi, Dean Faculty of Engineering, Science & Technology (FEST), Indus University, Pakistan
Associate Professor Dr. Sadiq Ali Khan, Chairman Department of Computer Science, University of Karachi, Pakistan
Modern software application development is a complex and difficult process. In the development of applications; specification and verification are the key components for a well define software. Systematic decomposition of larger complex problem into sub components is the common design strategy. For the development of software, various techniques been used especially components based development is very popular for specification and verification. However, in general there are well-established methods available for specification that has been based on mathematical theories. These methods are used/practiced for every step involved in the development of a software project. The software design and specification using UML, a graphical notation, contacting several types of diagrams enabling modeling different aspects of the design related challenges.
Our research aim is to apply existing model checking tools and techniques to analyze and verify the properties of the design system. We contributed by taking these system specifications and design using the UML object components diagrams, integrated with the OCL constraints, which will enable a more semantical specification focusing on structural and behavioral properties of the system. The object component concepts are accompanied by developing an application to an industrial case study.
DOWNLOAD AS A PDF
ALL ARE WELCOME. THE DEFENCE WILL BE IN ENGLISH and AFTER THE DEFENCE THERE WILL BE AN INFORMAL RECEPTION in the vestibule (C2).
Department of Energy Technology - Esbjerg
Niels Bohrs Vej 8, room C1.119