Today in the era of the latest technologies, Business Process Management Systems (BPMS) have allowed organizations to build process model repositories which help to maintain the flow of operations in the form of various process models. Business process models are virtual models that can imitate the actual activities of an organization. Searching for semantically similar activities between pairs of process models in a repository is known as Process Model Matching (PMM). From the past few years, PMM has been gaining momentum due to its wide range of applications such as integration of process models, process model clone detection, and process model knowledge discovery. Different types of PMM techniques have been applied on available process model repositories but these repositories contained a limited number of process models. Another notable aspect of PMM is that the existing techniques have not achieved the desired results which questions the effectiveness of process model repositories. To address this problem, the authors of this study have developed a substantial, diverse, and carefully developed process model collection. This process model collection is compared with existing SAP collection to highlight its significance and superiority. Furthermore, the proposed process model collection represents structural variations of example process models which are governed by the defined set of rules. To reflect structural variations between process models of our collection, existing structural similarity approaches such as structural metrics and graph edit distance were applied by using a custom-developed tool. Our proposed process model collection is freely available to the research community which can be used to build new PMM techniques and for assessment of existing PMM techniques.

Building information modelling (BIM) is a new way of approaching the design and documentation of building projects. The objective of BIM is not only to model and manage graphics, but also informationinformation that allows the automatic generation of drawings and reports, design analysis, schedule simulation, facilities management, and moreultimately enabling the building team to make better-informed decisions. This thesis documents the modelling of a real life structure (Qayyum Stadium) as well as implies interoperability checks between BIM tool and SAP2000 analysis software. The Pavilion of Qayyum Stadium is located in Saddar, Peshawar. The data like plans of the structure was acquired. The structure was modeled in BIM tool, Tekla Structures v20. The structure was then exported to SAP2000 for analysis. In SAP2000 Gap analysis was performed to determine the structural elements which were not translated by SAP2000 like curved slab, column beam joints. The component catalog option is an important asset in BIM tool, Tekla Structure, making it easy to counter various flaws during the reinforcement placing. The reinforcement detailing of the structure are done using Tekla Structures, Drawings are generated, quantity take offs are done, Clash Detection tool was applied, which is one of the important tool in Tekla Structure (BIM).