Invitation to attend Imran Khan's PhD Defense

Dear All,

You are cordially invited to attend PhD Defense of Imran Khan, tomorrow (Jan 16, 2015) at 10:00am. The venue is CFS-8 (Ground Floor, Faysal Bank Building) City Campus.


The thesis presents a framework for executable systems architecture, termed as Consistent Systems Architecture Description and Behavior Framework (CSADBF). The framework shows how consistency can be maintained while modeling architectural description and behavior of a system. Convergence of three established modeling techniques; ontology, UML, and Coloured Petri Nets (CPN), is used to develop this framework whereby each tool complements others in accomplishing the goal of consistency maintenance for the executable systems architecture. The framework suggests various mapping schemes that help in establishing strong concordance among different artifacts of these modeling techniques and maintaining consistency of overall system architecture. The first scheme maps OWL ontology to UML and is responsible for maintaining consistency of the architectural description. The second scheme maps combination of OWL ontology and UML, to CPN and is responsible for maintaining consistency between static and dynamic views. The third scheme ensures the behavioral consistency of the architecture by providing mapping between SWRL and CPN guard conditions and arc inscription. Thus, the framework allows architects to model the systems architecture requirements in OWL ontology and UML and to analyze the behavior and performance of systems architecture in CPN. The thesis demonstrates the framework with the help of case studies and comparisons with other frameworks proposed in the literature.