The metaphorical construction of complex domains:the case of speech activity in English.

In this article I provide an account of the way in which the domain of spoken communication is metaphorically constructed in English, on the basis of the analysis of over 450 metaphorical references to speech activity in a corpus of contemporary written British English. I show how spoken communication is mainly structured via a set of source domains that conventionally apply to a wide variety of target domains, such as the source domains of MOTION, PHYSICAL TRANSFER, PHYSICAL CONSTRUCTION, and PHYSICAL SUPPORT. Each of these source domains structures a particular aspect of speech activity, such as the achievement of communicative goals, the expression of meanings and ideas, the performance of speech acts, the negotiation of mutual relationships, and so on. I suggest that the particular conceptual mappings that underlie the main patterns in my data are best seen in terms of Grady's (1997) notion of primary metaphors, that is, as simple, basic mappings that have a firm experiential basis and that apply to a wide range of different areas of experience (e.g., "HELP/ASSISTANCE IS SUPPORT"). However, I also show that the main primary metaphors involved in structuring the domain of speech activity can be combined into a single overall physical scenario in which interactants can move in different directions, place themselves in different positions in relation to each other, come into contact with each other in different ways, physically produce texts/utterances/speech acts, physically pass texts/utterances/speech acts to each other, and make meanings visible to each other in different ways. Finally, I argue that a corpus-based methodology has much to offer to metaphor research, particularly in the extrapolation of conceptual metaphors from linguistic data

Towards a Step Semantics for Story-Driven Modelling

Graph Transformation (GraTra) provides a formal, declarative means of specifying model transformation. In practice, GraTra rule applications are often programmed via an additional language with which the order of rule applications can be suitably controlled. Story-Driven Modelling (SDM) is a dialect of programmed GraTra, originally developed as part of the Fujaba CASE tool suite. Using an intuitive, UML-inspired visual syntax, SDM provides usual imperative control flow constructs such as sequences, conditionals and loops that are fairly simple, but whose interaction with individual GraTra rules is nonetheless non-trivial. In this paper, we present the first results of our ongoing work towards providing a formal step semantics for SDM, which focuses on the execution of an SDM specification.Comment: In Proceedings GaM 2016, arXiv:1612.0105

Interacting Components

SystemCSP is a graphical modeling language based on both CSP and concepts of component-based software development. The component framework of SystemCSP enables specification of both interaction scenarios and relative execution ordering among components. Specification and implementation of interaction among participating components is formalized via the notion of interaction contract. The used approach enables incremental design of execution diagrams by adding restrictions in different interaction diagrams throughout the process of system design. In this way all different diagrams are related into a single formally verifiable system. The concept of reusable formally verifiable interaction contracts is illustrated by designing set of design patterns for typical fault tolerance interaction scenarios

Interactive Visual Analysis of Networked Systems: Workflows for Two Industrial Domains

We report on a first study of interactive visual analysis of networked systems. Working with ABB Corporate Research and Ericsson Research, we have created workflows which demonstrate the potential of visualization in the domains of industrial automation and telecommunications. By a workflow in this context, we mean a sequence of visualizations and the actions for generating them. Visualizations can be any images that represent properties of the data sets analyzed, and actions typically either change the selection of data visualized or change the visualization by choice of technique or change of parameters

Using Visualization to Support Data Mining of Large Existing Databases

In this paper. we present ideas how visualization technology can be used to improve the difficult process of querying very large databases. With our VisDB system, we try to provide visual support not only for the query specification process. but also for evaluating query results and. thereafter, refining the query accordingly. The main idea of our system is to represent as many data items as possible by the pixels of the display device. By arranging and coloring the pixels according to the relevance for the query, the user gets a visual impression of the resulting data set and of its relevance for the query. Using an interactive query interface, the user may change the query dynamically and receives immediate feedback by the visual representation of the resulting data set. By using multiple windows for different parts of the query, the user gets visual feedback for each part of the query and, therefore, may easier understand the overall result. To support complex queries, we introduce the notion of approximate joins which allow the user to find data items that only approximately fulfill join conditions. We also present ideas how our technique may be extended to support the interoperation of heterogeneous databases. Finally, we discuss the performance problems that are caused by interfacing to existing database systems and present ideas to solve these problems by using data structures supporting a multidimensional search of the database

The P scales: level descriptors P1 to P8

"These are the level descriptors for pupils working below level 1 of the national curriculum... To support teachers in making judgements about pupils’ attainment below level 1 of the national curriculum" - Back cover. This booklet is part of the DVD and print booklet package 'Using the P scales: assessing, moderating and reporting pupil attainment at levels P1 to P8' (QCA/09/4060

Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking

Business analysts and domain experts are often sketching the behaviors of a software system using high-level models that are technology- and platform-independent. The developers will refine and enrich these high-level models with technical details. As a consequence, the refined models can deviate from the original models over time, especially when the two kinds of models evolve independently. In this context, we focus on behavior models; that is, we aim to ensure that the refined, low-level behavior models conform to the corresponding high-level behavior models. Based on existing formal verification techniques, we propose containment checking as a means to assess whether the system's behaviors described by the low-level models satisfy what has been specified in the high-level counterparts. One of the major obstacles is how to lessen the burden of creating formal specifications of the behavior models as well as consistency constraints, which is a tedious and error-prone task when done manually. Our approach presented in this paper aims at alleviating the aforementioned challenges by considering the behavior models as verification inputs and devising automated mappings of behavior models onto formal properties and descriptions that can be directly used by model checkers. We discuss various challenges in our approach and show the applicability of our approach in illustrative scenarios.Comment: In Proceedings FESCA 2014, arXiv:1404.043