AAU logo

PhD defence by Arifa Bhutto on Verification and Validation of UML/OCL Object Component Model

Tidspunkt

28.09.2018 kl. 13.00 - 28.09.2018 kl. 16.00

Beskrivelse

Arifa Bhutto, Department of Energy Technology Esbjerg, will defend the thesis "Verification and Validation of UML/OCL Object Component Model".

TITLE

Verification and Validation of UML/OCL Object Component Model

PHD DEFENDANT

Arifa Bhutto

SUPERVISOR

Associate Professor Dr. Dil Muhammad Akbar Hussain

MODERATOR

Associate Professor Matthias Mandø  

OPPONENTS

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

ABSTRACT

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

PhD defence by Arifa Bhutto on Verification and Validation of UML/OCL Object Component Model

ALL ARE WELCOME. THE DEFENCE WILL BE IN ENGLISH and AFTER THE DEFENCE THERE WILL BE AN INFORMAL RECEPTION in the vestibule (C2).

 

 

Arrangør

Department of Energy Technology - Esbjerg

Adresse

Niels Bohrs Vej 8, room C1.119

Gå til arrangementslisten

Alle arrangementer

Se listen