Visual Specification Patterns

Visual modelling notations such as constraint diagrams can be used for the behavioural specifications of software components. This includes specifying invariants on classes or types and preconditions and postconditions of operations. However, one current problem in specifying components comes from the fact that editing constraints manually is time consuming and error prone and so we may adopt a pattern-based approach to alleviate this problem. One way to simplify the definition of constraints is to identify and capture those recurring constraints in the form of visual specification patterns. Such patterns would facilitate the automatic generation of diagrammatic constraints. This paper identifies some specification patterns that frequently occur when specifying software components and provides a diagrammatic representation of these patterns. This will form the basis of a library of specification patterns that could be used in the context of tools. We also show how such patterns can be combined in order to specify more complex constraints

Enabling Micro-level Demand-Side Grid Flexiblity in Resource Constrained Environments

The increased penetration of uncertain and variable renewable energy presents various resource and operational electric grid challenges. Micro-level (household and small commercial) demand-side grid flexibility could be a cost-effective strategy to integrate high penetrations of wind and solar energy, but literature and field deployments exploring the necessary information and communication technologies (ICTs) are scant. This paper presents an exploratory framework for enabling information driven grid flexibility through the Internet of Things (IoT), and a proof-of-concept wireless sensor gateway (FlexBox) to collect the necessary parameters for adequately monitoring and actuating the micro-level demand-side. In the summer of 2015, thirty sensor gateways were deployed in the city of Managua (Nicaragua) to develop a baseline for a near future small-scale demand response pilot implementation. FlexBox field data has begun shedding light on relationships between ambient temperature and load energy consumption, load and building envelope energy efficiency challenges, latency communication network challenges, and opportunities to engage existing demand-side user behavioral patterns. Information driven grid flexibility strategies present great opportunity to develop new technologies, system architectures, and implementation approaches that can easily scale across regions, incomes, and levels of development

DESERV IT: A Method for Devolving Service Tasks in IT Services

Nowadays, IT operations devolve many tasks in IT services to internal customers (i.e., IT self-service). The rationale for this service task devolvement is often to reduce the IT personnel’s workload. However, prior research has shown that IT operations often fail to achieve this goal. Existing methods for modeling and analyzing services fall short of supporting service providers in identifying and specifying service tasks suitable to be devolved to (internal) customers. This paper presents, therefore, the first method for devolving service tasks in IT services (DESERV IT). DESERV IT is a compound of four method components encompassing a joint meta-model, a visual notation for modeling IT services, and procedural recommendations. The DESERV IT meta-model extends the meta-model of service blueprinting by means of concepts required to analyze service task devolvement. DESERV IT is evaluated in four evaluation episodes. The results of the evaluation episodes show that DESERV IT is perceived as effective, useful, complete, and generalizable by experts in the IT service management and enterprise architecture discipline. This paper contributes to enterprise modeling by demonstrating the feasibility of DESERV IT in an example case and describing DESERV IT’s evolution during the evaluation episodes. DESERV IT supports practitioners (e.g., request fulfillment managers) in modeling and analyzing IT services

Through the Kinesthetic Lens : Observation of Social Attunement in Autism Spectrum Disorders

© 2017 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).This paper will present a movement-informed perspective to social attunement in Autism Spectrum Disorders (ASD). BACKGROUND: Dance movement therapy (DMT) is a psychotherapeutic intervention that is used with participants with ASD in various settings. Regular clinical outcome monitoring in an outpatient setting in the Netherlands had shown positive effects on social attunement capacities in young people with ASD. However, a systematic study of the development of social attunement movement behaviors of participants with ASD throughout a DMT intervention was not yet available. METHODS: A series of individual cases of DMT with young people with ASD (mean age 12.2 years.) were analyzed for changes in interpersonal movement behaviors employing video-based retrospective observation. RESULTS: The findings were summarized in an observation scale for interpersonal movement behaviors. This scale was then tested for its applicability for the monitoring of social attunement behaviors throughout therapy. DISCUSSION: A movement-informed perspective may be helpful to inventory changes in social attunement behaviors in participants with ASD. The relevance of a movement-informed perspective for the concept of social attunement in ASD will be discussed.Peer reviewedFinal Published versio

Automated Retrieval of Non-Engineering Domain Solutions to Engineering Problems

Organised by: Cranfield UniversityBiological inspiration for engineering design has occurred through a variety of techniques such as creation and use of databases, keyword searches of biological information in natural-language format, prior knowledge of biology, and chance observations of nature. This research focuses on utilizing the reconciled Functional Basis function and flow terms to identify suitable biological inspiration for function based design. The organized search provides two levels of results: (1) associated with verb function only and (2) narrowed results associated with verb-noun (function-flow). A set of heuristics has been complied to promote efficient searching using this technique. An example for creating smart flooring is also presented and discussed.Mori Seiki – The Machine Tool Compan

Understanding Behavioral Responses of Wildlife to Traffic to Improve Mitigation Planning

Creating and maintaining sustainable transportation systems depends in part on understanding and mitigating ecological impacts. Wildlife crossing structures (WCS) are often used to mitigate impacts on wildlife populations. WCS and existing structures may provide passage for multiple species, depending on their sensitivity to traffic disturbance and perception of the roadway. In a previous project, the research team found that traffic conditions and traffic noise could reduce WCS effectiveness in facilitating passage of diverse and sensitive species. In the current project, they expanded the geographic scope to 26 sites throughout California, including detailed measurements of vehicle noise and lighting impacts on wildlife use of structures. They investigated individual animal behavior as the animals approached structures as a possible mechanism for reducing species diversity due to traffic disturbance. In order to inform future WCS planning, placement and construction, the team studied traffic noise and light impacts on wildlife in the vicinity of the proposed Liberty Canyon wildlife over-crossing (over US 101), the first and largest of its kind in California. They improved a preliminary statistical model of the effects of traffic on WCS use of existing structures. The authors recommend strategies for transportation agencies to use in developing and modifying WCS to improve wildlife passage.View the NCST Project Webpag