Mastering Heterogeneous Behavioural Models

Heterogeneity is one important feature of complex systems, leading to the complexity of their construction and analysis. Moving the heterogeneity at model level helps in mastering the difficulty of composing heterogeneous models which constitute a large system. We propose a method made of an algebra and structure morphisms to deal with the interaction of behavioural models, provided that they are compatible. We prove that heterogeneous models can interact in a safe way, and therefore complex heterogeneous systems can be built and analysed incrementally. The Uppaal tool is targeted for experimentations.Comment: 16 pages, a short version to appear in MEDI'201

THE "POWER" OF TEXT PRODUCTION ACTIVITY IN COLLABORATIVE MODELING : NINE RECOMMENDATIONS TO MAKE A COMPUTER SUPPORTED SITUATION WORK

Language is not a direct translation of a speaker’s or writer’s knowledge or intentions. Various complex processes and strategies are involved in serving the needs of the audience: planning the message, describing some features of a model and not others, organizing an argument, adapting to the knowledge of the reader, meeting linguistic constraints, etc. As a consequence, when communicating about a model, or about knowledge, there is a complex interaction between knowledge and language. In this contribution, we address the question of the role of language in modeling, in the specific case of collaboration over a distance, via electronic exchange of written textual information. What are the problems/dimensions a language user has to deal with when communicating a (mental) model? What is the relationship between the nature of the knowledge to be communicated and linguistic production? What is the relationship between representations and produced text? In what sense can interactive learning systems serve as mediators or as obstacles to these processes

Log-based Evaluation of Label Splits for Process Models

Process mining techniques aim to extract insights in processes from event logs. One of the challenges in process mining is identifying interesting and meaningful event labels that contribute to a better understanding of the process. Our application area is mining data from smart homes for elderly, where the ultimate goal is to signal deviations from usual behavior and provide timely recommendations in order to extend the period of independent living. Extracting individual process models showing user behavior is an important instrument in achieving this goal. However, the interpretation of sensor data at an appropriate abstraction level is not straightforward. For example, a motion sensor in a bedroom can be triggered by tossing and turning in bed or by getting up. We try to derive the actual activity depending on the context (time, previous events, etc.). In this paper we introduce the notion of label refinements, which links more abstract event descriptions with their more refined counterparts. We present a statistical evaluation method to determine the usefulness of a label refinement for a given event log from a process perspective. Based on data from smart homes, we show how our statistical evaluation method for label refinements can be used in practice. Our method was able to select two label refinements out of a set of candidate label refinements that both had a positive effect on model precision.Comment: Paper accepted at the 20th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, to appear in Procedia Computer Scienc

Grey and white matter correlates of recent and remote autobiographical memory retrieval:Insights from the dementias

The capacity to remember self-referential past events relies on the integrity of a distributed neural network. Controversy exists, however, regarding the involvement of specific brain structures for the retrieval of recently experienced versus more distant events. Here, we explored how characteristic patterns of atrophy in neurodegenerative disorders differentially disrupt remote versus recent autobiographical memory. Eleven behavioural-variant frontotemporal dementia, 10 semantic dementia, 15 Alzheimer's disease patients and 14 healthy older Controls completed the Autobiographical Interview. All patient groups displayed significant remote memory impairments relative to Controls. Similarly, recent period retrieval was significantly compromised in behavioural-variant frontotemporal dementia and Alzheimer's disease, yet semantic dementia patients scored in line with Controls. Voxel-based morphometry and diffusion tensor imaging analyses, for all participants combined, were conducted to investigate grey and white matter correlates of remote and recent autobiographical memory retrieval. Neural correlates common to both recent and remote time periods were identified, including the hippocampus, medial prefrontal, and frontopolar cortices, and the forceps minor and left hippocampal portion of the cingulum bundle. Regions exclusively implicated in each time period were also identified. The integrity of the anterior temporal cortices was related to the retrieval of remote memories, whereas the posterior cingulate cortex emerged as a structure significantly associated with recent autobiographical memory retrieval. This study represents the first investigation of the grey and white matter correlates of remote and recent autobiographical memory retrieval in neurodegenerative disorders. Our findings demonstrate the importance of core brain structures, including the medial prefrontal cortex and hippocampus, irrespective of time period, and point towards the contribution of discrete regions in mediating successful retrieval of distant versus recently experienced events

Analysis of Software Binaries for Reengineering-Driven Product Line Architecture\^aAn Industrial Case Study

This paper describes a method for the recovering of software architectures from a set of similar (but unrelated) software products in binary form. One intention is to drive refactoring into software product lines and combine architecture recovery with run time binary analysis and existing clustering methods. Using our runtime binary analysis, we create graphs that capture the dependencies between different software parts. These are clustered into smaller component graphs, that group software parts with high interactions into larger entities. The component graphs serve as a basis for further software product line work. In this paper, we concentrate on the analysis part of the method and the graph clustering. We apply the graph clustering method to a real application in the context of automation / robot configuration software tools.Comment: In Proceedings FMSPLE 2015, arXiv:1504.0301