Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

Second Roundtable Meeting: Innovations in Building Consumer Demand for Tobacco-Cessation Products and Services

Outlines February 2007 discussions at the National Tobacco Cessation Collaborative's Consumer Demand Roundtable on supporting the quitting process, building demand for products and services among employers and health plans, and design innovations

Spartan Daily May 4, 2010

Volume 134, Issue 48https://scholarworks.sjsu.edu/spartandaily/1263/thumbnail.jp

Social identity mapping in addiction recovery (SIM-AR): extension and application of a visual method

Background: The Social Identity approach offers a unifying framework for understanding recovery from addiction as a process of identity change, associated with change in social network composition. This paper introduces Social Identity Mapping in Addiction Recovery (SIM-AR) — a visual method for capturing social group memberships, extended to integrate the substance use ‘status’ of group members as an indicator of group substance use norms. The aim here is to test theory-derived predictions focused on the relationship between changes in social identity and network composition reflected in substance use norms in early recovery. Method: 155 therapeutic community (TC) residents in Victoria, Australia, completed the SIM-AR plus measures of substance-using and recovery identities and substance use shortly after admission, and 65% (N=101) again 6 months later. Results: As predicted, substance use severity at follow up was associated with changes in both social identity and network composition. Furthermore, reduced strength of substance-using identity was associated with a decrease in the proportion of groups with heavy substance use norms, while increased strength of ‘recovery’ identity was associated with an increased proportion of non-using groups. Conclusion: SIM-AR proved useful in testing predictions about social identity and network changes in a residential treatment context. It captured key social identity constructs in recovery using a visual technique with value to both research and applied contexts. Findings highlight the clinical importance of assessing a person’s group-based relationships in treatment and early recovery, especially the influence of social group norms in relation to substance use

Stacking-based visualization of trajectory attribute data

Visualizing trajectory attribute data is challenging because it involves showing the trajectories in their spatio-temporal context as well as the attribute values associated with the individual points of trajectories. Previous work on trajectory visualization addresses selected aspects of this problem, but not all of them. We present a novel approach to visualizing trajectory attribute data. Our solution covers space, time, and attribute values. Based on an analysis of relevant visualization tasks, we designed the visualization solution around the principle of stacking trajectory bands. The core of our approach is a hybrid 2D/3D display. A 2D map serves as a reference for the spatial context, and the trajectories are visualized as stacked 3D trajectory bands along which attribute values are encoded by color. Time is integrated through appropriate ordering of bands and through a dynamic query mechanism that feeds temporally aggregated information to a circular time display. An additional 2D time graph shows temporal information in full detail by stacking 2D trajectory bands. Our solution is equipped with analytical and interactive mechanisms for selecting and ordering of trajectories, and adjusting the color mapping, as well as coordinated highlighting and dedicated 3D navigation. We demonstrate the usefulness of our novel visualization by three examples related to radiation surveillance, traffic analysis, and maritime navigation. User feedback obtained in a small experiment indicates that our hybrid 2D/3D solution can be operated quite well