The aim of Analysis of Business Process Diagrams is to create procedure that is able to find typical patterns in business process diagrams. Besides, it is necessary to design and implement application, which will be able to find and mark selected workflow patterns. This analysis is based on XML document, in which a business process diagram is stored. Important thing is to keep the ability to extend the number of patterns, which can be find out in a diagram. Also, it is important to solve some special situations, i.e. overlapping of patterns.

Customers adoption of Internet banking has become a widely-researched topic, although it is fair to state that some research gaps still exist. This research aims to fill some of the research gaps by examining the factors that determine the relevant behaviour of three different categories of Internet banking customers in China (i.e. current users, non-users, and discontinued users), and by developing two conceptual models that are derived from different, but complementary, theoretical approaches. The Decision Making Model and the Service and Relationship Evaluation Model are developed in this research. The Decision Making Model is grounded in the technology acceptance model (TAM) and it incorporates an additional construct of perceived value of using Internet banking. Additionally, the Service and Relationship Evaluation Model is derived from the service quality evaluation and relationship quality evaluation literature. Unlike in most other Internet banking adoption studies, these two conceptual models are used complementarily to deliver a comprehensive understanding of customers Internet banking adoption in China. The models are tested using a sample of 614 Chinese Internet banking customers collected via mall-intercept personal interviews based on questionnaires. Partial Least Square (PLS) path modelling and mediation analysis are applied to test the hypotheses advanced in the two models. The key findings of this research show that perceived value is a major factor for explaining customers Internet banking adoption, thus indicating to the banks that they should reduce costs associated with using Internet banking while providing more (perceived) benefits to customers; the importance of incorporating perceived value in Internet banking adoption model(s) is also demonstrated. The findings also confirm that perceived usefulness and perceived ease of use are important factors that determine the adoption of Internet banking by all categories of customers. Current users and non-users perceptions of their behavioural control over using Internet banking contribute to their adoption of Internet banking, and such control perceptions are shaped by self-efficacy, perceived government support and technological support. Additionally, it is demonstrated that both current users and discontinued users perceived value and perceived service quality of Internet banking have positive associations with their satisfaction with Internet banking, which lead to their Internet banking adoption. Moreover, the findings reveal that current users are more likely to continue with Internet banking if they are affectively committed to their banks; they are less likely to continue with Internet banking if they are calculatively committed to their banks due to the costs associated with leaving the banks. These therefore indicate the importance of establishing high-quality customer-bank relationships and placing less strict switching cost barriers that impose less pressure on their existing customers. This research contributes to the Internet banking adoption literature by (i) identifying the important category of Internet banking discontinued users, apart from current users and non-users; and (ii) using two complementary conceptual models, which are grounded in different theoretical streams, to investigate the relevant adoption behaviour of all three categories of Internet banking customers. It hence delivers a comprehensive understanding of personal customers adoption of Internet banking in China.

The drivers of fidelity and divorce of pair-bonded individuals, along with their fitness consequences, are of great interest as they influence mating systems, population structure and productivity, and gene flow. Socially monogamous birds offer an ideal opportunity to study divorce since they show great variability in the extent to which pair bonds are maintained. However, there has been little consensus as to whether divorce is a behavioural adaptation to improve a mating situation, or a consequence of other processes. Moreover, the biological and ecological correlates of fidelity are difficult to address because previous work has been based on indirect and potentially biased methods. Finally, in terms of process, the link between the process of mate choice and subsequent mating decisions has been largely inaccessible to study. My doctoral thesis addressed these significant gaps in our understanding of cause, process and consequence in the formation and dissolution of pair bonds in socially monogamous birds. I accomplished this in three principal ways. First, I conducted a robust phylogenetic meta-analysis on 84 studies across 64 species to assess the existing empirical evidence that divorce in socially monogamous birds is adaptive (in terms of breeding success). This analysis revealed that divorce is, in general, adaptive as it is both triggered by relatively low breeding success and leads to improvement in success. Next, I developed a novel probabilistic multievent capture–mark–recapture framework that provides joint estimates of survival and fidelity while explicitly accounting for imperfect detection, capture heterogeneity, and uncertainty in pair status. By applying this model to breeding data on a wild great tit population I showed that birds that remain faithful to their partner exhibit higher survival rates and are more likely to remain faithful in the next breeding season than do birds that change partners. Subsequently, I confirmed the generality of a survival benefit by applying the model to breeding data on other tit populations. Then, by applying the model to data from a population of mute swans, I showed that fidelity decreases the likelihood of skipping breeding and mortality in this long-lived species, and that these effects depended on age, individual quality, and immigration status. Finally, I investigated how the timing of pair formation influences breeding success and divorce probability using five years of data on the over-winter social behaviour of great tits. I showed that early pair formation had a positive effect on fitness components, influencing the likelihood of divorce only indirectly, through breeding success. Further, my work revealed that males, but not females, with higher numbers of the female associates in winter, and males whose future breeding partners were ranked low amongst these, divorced more often. My research makes a significant contribution to our understanding of divorce and fidelity, and generates a number of important implications for future studies. First, my work establishes that divorce is adaptive for breeding success. Second, my results highlight that survival is an important (and likely, widespread) fitness consequence of pairing decisions. Third, I provide a novel statistically rigorous modelling framework for estimating fidelity-rates and testing hypothesis about fidelity that overcomes many of the inherent biases in traditional estimates. Fourth, it provides the first evidence for a selective advantage of early pair formation in wild, thus highlighting that there are benefits to pair familiarity that manifest via social associations of individuals prior to breeding. Finally, my work reveals the selective pressures operating via the social environment can ultimately influence the mating strategies individuals adopt.

Virtualisation is one of the underlying technologies that led to the success of cloud computing platforms (CCPs). The technology, along with other features such as multitenancy allows delivering of computing resources in the form of service through efficient sharing of physical resources. As these resources are provided through virtualisation, a robust agreement is outlined for both the quantity and quality-of-service (QoS) in a service level agreement (SLA) documents. QoS is one of the essential components of SLA, where performance is one of its primary aspects. As the technology is progressively maturing and receiving massive acceptance, researchers from industry and academia continue to carry out novel theoretical and practical studies of various essential aspects of CCPs with significant levels of success. This thesis starts with the assessment of the current level of knowledge in the literature of cloud computing in general and CCPs in particular. In this context, a substantive literature review was carried out focusing on performance modelling, testing, analysis and evaluation of Infrastructure as a Service (IaaS), methodologies. To this end, a systematic mapping study (SMSs) of the literature was conducted. SMS guided the choice and direction of this research. The SMS was followed by the development of a novel open queueing network model (QNM) at equilibrium for the performance modelling and analysis of an OpenStack IaaS CCP. Moreover, it was assumed that an external arrival pattern is Poisson while the queueing stations provided exponentially distributed service times. Based on Jackson’s theorem, the model was exactly decomposed into individual M/M/c (c ≥ 1) stations. Each of these queueing stations was analysed in isolation, and closed-form expressions for key performance metrics, such as mean response time, throughput, server (resource) utilisation as well as bottleneck device were determined. Moreover, the research was extended with a proposed open QNM with a bursty external arrival pattern represented by a Compound Poisson Process (CPP) with geometrically distributed batches, or equivalently, variable Generalised Exponential (GE) interarrival and service times. Each queueing station had c (c ≥ 1) GE-type servers. Based on a generic maximum entropy (ME) product form approximation, the proposed open GE-type QNM was decomposed into individual GE/GE/c queueing stations with GE-type interarrival and service times. The evaluation of the performance metrics and bottleneck analysis of the QNM were determined, which provided vital insights for the capacity planning of existing CCP architectures as well as the design and development of new ones. The results also revealed, due to a significant impact on the burstiness of interarrival and service time processes, resulted in worst-case performance bounds scenarios, as appropriate. Finally, an investigation was carried out into modelling and analysis of performance and security trade-offs for a CCP architecture, based on a proposed generalised stochastic Petri net (GSPN) model with security-detection control model (SDCM). In this context, ‘optimal’ combined performance and security metrics were defined with both M-type or GE-type arrival and service times and the impact of security incidents on performance was assessed. Typical numerical experiments on the GSPN model were conducted and implemented using the Möbius package, and an ‘optimal’ trade-offs were determined between performance and security, which are crucial in the SLA of the cloud computing services. / Petroleum technology development fund (PTDF) of the government of Nigeria Usmanu Danfodiyo University, Sokoto