A Probabilistic Relational Student Model for Virtual Laboratories

Business process modelling is an important part of system design. When designing or redesigning a business process, stakeholders specify, negotiate, and agree on business requirements to be satisfied, including non-functional requirements that concern the quality of the business process. This thesis addresses the question of how to specify and compute the quality of a business process, given the model that stakeholders use. The motivation for this thesis is the increasing importance of the quality of business processes. Knowing the quality of specific business processes enables stakeholders to judge if these processes need improvement. Knowing the quality of the constructs of those processes (viz., events, inputs, activities, and outputs) and the way they are structured enables a more detailed analysis of their shortcomings and provides a basis for the design of improvements. The research challenge of this thesis is grounded in the assumption that: “Organisations need an appropriate means to effectively compute achievement of their goals and objectives by their business processes.” Given this challenge, the main research question on which this thesis focuses is: “Can the quality of a business process be computed quantitatively at different levels of granularity?” The research objective is: “To develop frameworks, factors, and metrics for computing non-functional requirements (quality) of business processes quantitatively at different levels of granularity.” The outcomes of this thesis are: 1) BPIMM, a language-independent business process integrating meta-model, based on the concepts of seven mainstream business process modelling languages: BPMN, EPC, RAD, UML AD, SADT, IDEF0, and IDEF3. 2) BPC-QC (Business Process Concept - Quality Computation), an approach to quality computation at the lowest level of granularity of a business process. The approach consists of: i. BPC-QEF (Business Process Concept - Quality Evaluation Framework), a language-independent generic framework and algorithm to compute the quality of the constructs of a business process: event, input, activity, and output. ii. A set of business process quality dimensions and factors. The following quality dimensions are distinguished: performance, efficiency, reliability, recoverability, permissibility, and availability. Each dimension categorises different quality aspects in terms of factors. A non-exhaustive set of sixteen quantitative factors is provided. iii. Quality metrics for each of the quality factors, to facilitate a quantitative computation of the quality of a specific construct of a business process. 3) BP-QC (Business Process - Quality Computation), an approach to compute the quality at the highest level of granularity of a business process. The approach consists of: i. BP-CQCF (Business Process - Compositional Quality Computation Framework), a language-independent generic framework and algorithm to compute the quality of a business process as a whole, given the quality of its constructs. ii. A set of generic business process modelling patterns to decompose a business process into more succinct parts, namely: sequential, parallel with synchronisation, exclusive, inclusive, simple loop, and complex loop. iii. A set of over one hundred computational formulae. For each combination of modelling pattern and a quality factor, there is a formula to compute the quality. 4) AAV (Approach to Application and Validation), an evaluation plan to evaluate BPIMM, BPC-QC and BP-QC in practice, together with expert stakeholders. The plan consists of the units of measure, a measurement model, and a case study procedure. To evaluate the applicability of the contributions of this thesis to real world business needs, four case studies have been conducted in different environments: a Dutch educational institution, a global financial institution, an international financial service provider, and a Dutch research project on crisis management. Each of these case studies concerns a different, single business process. This thesis shows that: 1) A quality computation approach can be adopted independent of a business process modelling language. 2) Quantitative quality factors can be introduced specifically for the constructs of a business process. 3) Quantitative metrics and computational formulae can be developed for specific quality factors, allowing the computation of different aspects of the quality of a business process quantitatively at different levels of granularity. 4) An evaluation plan can be developed to evaluate the applicability of the contributions of this thesis (viz., BPIMM, BPC-QC, and BP-QC). The contributions of this thesis are designed to be beneficial to the areas of business and management, requirements engineering, software engineering, and business process modelling. In the areas of requirements engineering and software engineering, these contributions are intended to help practitioners to consider non-functional requirements at the earliest stage. In the area of business process modelling, information systems, service computing, and cloud computing, the contributions can be used for quality-driven modelling, design, and redesign. To conclude, knowing the quality value of a business process at different levels of granularity provides a basis for its improvement.

Education in general and cybersecurity education in particular can be made more attractive by adding hands-on experience to classrooms. This requires new technology, such as virtualisation, to be developed fully geared towards the needs of educational purposes. Over the years, several techniques have been developed by the authors. In this paper, the authors first give a full account of their earlier work on a distributed virtual computer lab for cybersecurity education. Then, this virtual lab is extended with educational enhancements, such as an intelligent tutoring system, which resulted in a prototype for a virtual classroom for cybersecurity education.

In traditional formal concept analysis, the attributes in the formal context are considered fixed. However, in the real world data set, attributes always have different levels of granularity, correspondingly, the derived concept lattice may reveal different information and patterns. Therefore, the capability to change the level of granularity of an attribute in formal concept analysis to capture relevant patterns in data is a natural requirement. In this paper, a theoretical study has been undertaken in multi-scale formal contexts, where attributes with different levels of granularity possess different attribute values. Two types of formal concepts, i.e., object-oriented and property-oriented multi-scale concepts, are introduced and studied in detail. The collection of object-oriented concept lattices and property-oriented concept lattices can be obtained at different granularity levels of attributes. It has been shown that the set of extents in the derived concept lattices increases when we choose to use a finer level of granularity. Moreover, a corresponding bidirectional approach to concept construction(i.e., from coarser to finer and from finer to coarser, respectively) is exhibited, and some characterization theorems have been obtained.

The exploding number of computational models produced by Systems Biologists over the last years is an invitation to structure and exploit this new wealth of information. Researchers would like to trace models relevant to specific scientific questions, to explore their biological content, to align and combine them, and to match them with experimental data. To automate these processes, it is essential to consider semantic annotations, which describe their biological meaning. As a prerequisite for a wide range of computational methods, we propose general and flexible similarity measures for Systems Biology models computed from semantic annotations. By using these measures and a large extensible ontology, we implement a platform that can retrieve, cluster, and align Systems Biology models and experimental data sets. At present, its major application is the search for relevant models in the BioModels Database, starting from initial models, data sets, or lists of biological concepts. Beyond similarity searches, the representation of models by semantic feature vectors may pave the way for visualisation, exploration, and statistical analysis of large collections of models and corresponding data.

In this paper we present a system for automatic Arabic text diacritization using three levels of analysis granularity in a layered back off manner. We build and exploit diacritized language models (LM) for each of three different levels of granularity: surface form, morphologically segmented into prefix/stem/suffix, and character level. For each of the passes, we use Viterbi search to pick the most probable diacritization per word in the input. We start with the surface form LM, followed by the morphological level, then finally we leverage the character level LM. Our system outperforms all of the published systems evaluated against the same training and test data. It achieves a 10.87% WER for complete full diacritization including lexical and syntactic diacritization, and 3.0% WER for lexical diacritization, ignoring syntactic diacritization.

Data warehousing is widely used in industry for reporting and analysis of huge volumes of data at different levels of detail. In general, data warehouses use standard dimensional schema designs to organize their data. However, current data warehousing schema designs fall short in their ability to model the multi-granular data found in various real-world application domains. For example, modern farm equipment in a field produces massive amounts of data at different levels of granularity that has to be stored and queried. A study of the commonly used data warehousing schemas exposes the limitation that the schema designs are intended to simply store data at the same single level of granularity. This paper on the other hand, presents several extended dimensional data warehousing schema design alternatives to store both detail and aggregated data at different levels of granularity. The paper presents three solutions to design the time dimension tables and four solutions to design the fact tables. Moreover, each of these solutions is evaluated in different combinations of the time dimension and the fact tables based on a real world farming case study.KeywordsMulti-granular datadata warehousingdata warehousing schema design

Geo‐SOMis a useful geovisualization technique for revealing patterns in spatial data, but is ineffective in supporting interactive exploration of patterns hidden in differentGeo‐SOMsizes. Based on the divide and group principle in geovisualization, the article proposes a new methodology that combinesGeo‐SOMand hierarchical clustering to tackle this problem.Geo‐SOMwas used to “divide” the dataset into several homogeneous subsets; hierarchical clustering was then used to “group” neighboring homogeneous subsets for pattern exploration in different levels of granularity, thus permitting exploration of patterns at multiple scales. An artificial dataset was used for validating the method's effectiveness. As a case study, the rush hour motorcycle flow data inTaipeiCity,Taiwan were analyzed. Compared with the best result generated solely byGeo‐SOM, the proposed method performed better in capturing the homogeneous zones in the artificial dataset. For the case study, the proposed method discovered six clusters with unique data and spatial patterns at different levels of granularity, while the originalGeo‐SOMonly identified two. Among the four hierarchical clustering methods,Ward's clustering performed the best in pattern discovery. The results demonstrated the effectiveness of the approach in visually and interactively exploring data and spatial patterns in geospatial data.

Due to the rapid development of social media networks, as well as the recent advances on smartphone technologies, users stopped being only consumers and became data producers. It enabled a new form of sensing, engaging a variety of studies using Location-Based Social Networks (LBSN) data. For instance, in device-to-device(D2D) communication systems, the user location is required to make mobile data offloading possible. However, getting the right location is a challenging task, and the analyses of LBSN datasets provide large-scale studies at a low-cost. On the other hand, depending the the level of granularity used on the analyses, it may result in the success or failure of the prediction. Therefore, in this paper, we show the importance of combining the different levels of granularities for studying user behavior in order to obtain a robuster analysis.

Probabilistic relational models (PRMs) extend Bayesian networks (BNs) to a relational data mining context. Even though a panoply of works have focused, separately, on Bayesian networks and relational databases random generation, no work has been identified for PRMs on that track. This paper provides an algorithmic approach allowing to generate random PRMs from scratch to cover the absence of generation process. The proposed method allows to generate PRMs as well as synthetic relational data from a randomly generated relational schema and a random set of probabilistic dependencies. This can be of interest for machine learning researchers to evaluate their proposals in a common framework, as for databases designers to evaluate the effectiveness of the components of a database management system.

This paper presents a workflow for the design of transformation processes using different kinds of expert’s knowledge. It introduces POND (Process and observation ONtology Discovery), a workflow dedicated to answer expert’s questions about processes. It addresses two main issues: (1) how to represent the processes inner complexity, and (2) how to reason about processes taking into account uncertainty and causality. First, we show how to use a semantic model, an ontology, and its associated data to answer some of the expert’s questions concerning the processes, using semantic web languages and technologies. Then, we describe how to learn a predictive model, to discover new knowledge and provide explicative models by integrating the semantic model into a probabilistic relational model. The result is a complete workflow able to extensively analyze transformation processes through all their granularity levels and answer expert’s questions about their domains. An example of this workflow is given on biocomposites manufacturing for food packaging.

This paper introduces the concept of granularity into routine dynamics studies. To establish levels of granularity we develop a phenomenological perspective on action, the central category of routine dynamics studies. By conducting an extensive literature review we show that routine dynamics scholars have at least unconsciously applied diverging levels of granularity in their empirical studies. We argue that side-stepping questions of explicitly addressing granularity significantly impedes the comparability of studies since different levels of granularity bring different aspects of performing and patterning processes into focus. Following this, we develop a methodological framework that allows scholars to establish and report on the level of granularity in their study. Finally, we sketch out some implications of taking granularity seriously for writing up research on routine dynamics.

Conformance checking provides a set of techniques for comparing observed behavior (event logs) with process models. Health care providers apply it for verifying compliance between activities realized by the patients and clinical protocols. However, health care processes are characterized by high complexity and variability, and clinical protocols can have a level of granularity different from the one in the recorded events. We proposed a new method for configuring the cost function for the alignment-based conformance checking, handling the different levels of granularity to address this problem. The costs are configured based on grouping activities and the specification of undesirable events. We applied this method using the ProM Framework in a real-world dataset containing events from patients who realized a bariatric surgery in 2016. The technique can also be applied in other conformance checking scenarios, where the granularity of the events differs from the process model. The case study result allowed us to automatically identify critical violations of the clinical protocol by analyzing the fitness metric. The proposed method could help auditors to identify crucial cases.

We present a novel approach in designing and de- ploying traffic light systems by identifying key intersections of the road network. Based on techniques borrowed from Complex Network Analysis, our algorithm can be applied successively at different levels of granularity allowing a hierarchical clustering of the intersections and prioritization of the traffic lights. We illustrate our approach with a case study conducted over the city of Timisoara. from complex networks apply and influence traffic behavior. We believe that proven metrics for describing the structure of a complex network can be used successfully for finding the key intersections in any urban network. These intersections are subject to intense traffic flow and require careful regulation in order to maintain this flow. By consequence, optimal policies and strategies for deploying traffic lights are essential in an Intelligent Transportation System; this makes up for the core of this paper. The rest of the paper is organized as follows: Section 2 provides an overview of the most relevant research initiatives in the area of our study, while Section 3 consists of a short introduction in the field of Complex Network Analysis, pre- senting the key concepts and metrics used in our research. Section 4 describes the core of our investigations in the form of a novel strategy and its corresponding algorithm for identifying the key intersections of the city in order to place traffic lights. In Section 5 we present the application of this methodology over the city of Timisoara, while Section 6 presents our concluding remarks and provides some ideas for future work. II. STATE OF THE ART With the advent of modern tools and methodologies for com- puter aided urban planning and the rapid spread of (Geograph- ical Information Systems) GIS tools in the public services and administration, significant research has been carried towards finding alternative approaches in analyzing the structure of cities. The approach based on graph theory was a clear choice

Context is any information/knowledge about an application and user that can be used by an e-commerce system to provide efficient services to the users of the system. In this article, we propose to extend usage of context as compared to previously designed context-aware e-commerce systems. While in previous work, context was mainly considered for mobile e-commerce systems, we propose to build and use context for e-commerce systems in general. The context is employed to tailor an e-commerce application to the preferences and needs of users and provide insights into purchasing activities of users and particular e-commerce stores by means of using Data Mining techniques. This article proposes a model of context that includes micro-, macro- and domain contexts that constitute knowledge about the application and its user on different levels of granularity. The article also proposes a technique for extracting groups in social networks. This knowledge is part of macro-context in the proposed model of context. Moreover, the article discusses some of the challenges of incorporating context with e-commerce systems, emphasizing on the privacy issue, with an ultimate goal of developing intelligent e-commerce systems.

In this paper we study the effect of granularity on Characteristic Scores and Scales (CSS). Unlike the traditional indicators that are mostly based on means and quantiles, CSS require the reduction of the citation distributions collaboration of the underlying reference population to four states (classes) and thus higher a different level of granularity. While the question of the choice of granularity is at higher levels of aggregation usually not critical since countries and university have rather multidisciplinary profiles, at lower aggregation levels specialisation becomes more typical. Inappropriate granularity might not warrant the depiction of the publication profiles at these levels in a correct and adequate manner and thus not add accurate citation profiles either. In order to be able to process one complete annual volume of the Web of Science, we decided to calculate CSS thresholds and classes for two levels of granularity, namely sub-fields and WoS Subject Categories. With about 5% deviation, we did not find a real significance. However, we identified journals with similar impact measures but different citation profiles, independently of the granularity. Finally, we have pointed to the limitations in the choice of granularity—in terms of both too broad and too narrow subjects.