The Design and evaluation of the specification framework for user interface design

This thesis presentsthe design and evaluation of an interface specification meta-language(ISML) that has been developed to explicitly support metaphor abstractions in a model-based, user interface design framework. The application of metaphor to user interface design is widely accepted within the HCI community, yet despite this, there exists relatively little formal support for user interface design practitioners. With the increasing range and power of user interface technologies made widely available comes the opportunity for the designof sophisticated, new forms of interactive environments. The inter-disciplinary nature of HCI offers many approaches to user interface design that include views on tasks, presentationand dialogue architectures and various domain models. Notations and tools that support these views vary equally, ranging from craft-based approachesthrough to computational or tool- based support and formal methods. Work in these areas depicts gradual cohesion of a number of these design views, but do not currently explicitly specify the application of metaphorical concepts in graphical user interface design. Towards addressing this omission, ISML was developed based on (and extending) some existing model- based user interface design concepts. Abstractions of metaphor and other interface design views are captured in the ISML framework using the extensible mark-up language(XML). A six-month case study, developing the `Urban Shout Cast' application is used to evaluate ISML. Two groups of four software engineers developed a networked, multi-user, virtual radio-broadcasting environment. A qualitative analysis examines both how each group developed metaphor designs within the ISML framework and also their perceptions of its utility and practicality. Subsequent analysis on the specification data from both groups reveals aspects of the project's design that ISML captured and those that were missed. Finally, the extent to which ISML can currently abstract the metaphors used in the case study is assessed through the development of a unified `meta-object' model. The results of the case study show that ISML is capable of expressing many of the features of each group's metaphor design, as well as highlighting important design considerations during development. Furthermore, it has been shown, in principle, how an underlying metaphor abstraction can be mapped to two different implementations. Evaluation of the case study also includes important design lessons: ISML metaphor models can be both very large and difficult to separate from other design views, some of which are either weakly expressed or unsupported. This suggests that the appropriate mappings between design abstractions cannot always be easily anticipated, and that understanding the use of model-based specifications in user interface design projects remains a challenge to the HCI community

Operations research modeling environment for an ERP system

Estágio realizado na AlumniEI e Microsoft Development Center CopenhagenTese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 200

Control and visualisation of a software defined radio system on the Xilinx RFSoC platform using the PYNQ framework

The availability of commercial Radio Frequency System on Chip (RFSoC) devices brings new possibilities for implementing Software Defined Radio (SDR) systems. Such systems are of increasing interest given the pace of innovation in wireless technology, and the pressure on RF spectrum resources, leading to a growing need to access the spectrum in more dynamic and innovative ways. In this paper, we present an SDR demonstration system based on the Xilinx RFSoC platform, which leverages the Python- based 'PYNQ' (Python Productivity for Zynq) software framework. In doing so, we highlight features that can be extremely useful for prototyping radio system design. Notably, our developed system features Python-based control of hardware processing blocks and Radio Frequency (RF) data converters, as well as direct visualisation of communications signals captured within the chip. The system architecture is reviewed, hardware and software components are discussed, functionality is demonstrated, and aspects of the system's performance are evaluated. Finally, it is noted that this combined RFSoC + PYNQ approach is readily extensible for other SDR systems; we highlight our online shared resources, and invite other engineers to investigate and build upon our work

A Framework Using Tangible Interaction for Automatically Capturing and Embedding Design Intent in Parametric Models

The objective of this research is to address some of the challenges of parametric design associated with defining a model’s frameworks using mathematics and computer programming. This work proposes a tactile-based approach to automate the generation of such information. A design-based research method is implemented for this work, which involves developing research prototypes consisting of Tangible User-Interfaces (TUIs) to demonstrate and test the digital-physical workflow. Five prototypes were created each generating a type of information for setting up parametric models, including; linear and polynomial mathematical equations, algorithmic rules and seed configurations for a Cellular Automata (CA) component, geometric transformations (single and compound), and Non-Uniform Rational Basis Spline (NURBS) objects. During the progress of the work, prototypes were improved to include a higher level of automation by performing multiple and more complex modeling tasks. This research includes two levels of evaluation. The first is system correctness, which tests the prototypes for translating tangible interaction with design objects into modeling information. The second is a qualitative comparison between the developed method and the conventional parametric modeling approach using graph-based and/or text-based programming applications. The results of the research have shown the plausibility of the workflow and its potential benefits for parametric modeling practice and education. This work provides a proof-of-concept for a novel approach that translates design intents into mathematical and algorithmic modeling information for establishing parametric frameworks. The outcomes of this research include; detailed workflows describing algorithmic procedures for interpreting analog data, TUI specifications, and an overall theoretical framework of the method

Middle-out domain-specific aspect languages and their application in agent-based modelling runtime inspection

Domain-Specific Aspect Languages (DSALs) are a valuable tool for separating cross-cutting concerns, particularly within fields with endemic cross-cutting practices. Agent-Based Modelling (ABM) runtime inspection, which cuts across the core concern of model development, serves as a prime example. Despite their usefulness, DSALs face multiple adoption issues: the literature regarding their development and use is incohesive, coupling to a weave target hinders re-use, and available tooling is immature compared to Domain-Specific Languages (DSLs). We believe these issues can be aided by furthering DSL middle-out techniques for DSALs.We first define the background of what a DSAL is and how they may be used, moving onto how we can use DSL techniques to further DSALs. We develop a middle-out semantic model approach for developing domain-level DSALs with transparent aspect orientation using adaptions of DSL techniques. We have implemented the approach for model-specific DSALs for the in-house framework Animaux, and as middleware-specific DSAL for agent messages in the JADE framework, which can be specialised to models using extension DSALs. We give illustrative result cases using our implementations to provide a base of the user development costs and performance of this approach.In conclusion, we believe the adoption of these technologies aids ABM applications and encourage future work in similar fields. This thesis has given a base philosophy toward DSLs, a novel approach for the development of middle-out DSALs and illustrative cases of this approach

ASSESSING INTEROPERABILITY BETWEEN BEHAVIOR DIAGRAMS CONSTRUCTED WITH SYSTEMS MODELING LANGUAGE (SYSML) AND MONTEREY PHOENIX (MP)

Systems engineers have long struggled to identify and understand system behaviors in the operational environment. System Modeling Language (SysML) is a graphical language used among systems engineers to relay details of the system’s design to various stakeholders. Monterey Phoenix (MP) is a behavioral modeling approach and tool utilizing a lightweight formal method and language to generate diagrams and display expected and unexpected emergent system behaviors. Through systematic analysis of SysML and MP behavior models, this research presents recommendations for improving MP in future releases to accommodate SysML compliance. The ability to merge MP’s scope complete event trace generation into a SysML compliant format would provide great insights and benefits into the DOD acquisition process. Findings from this research include several simple additions to MP diagrams that will better align them with SysML standards while preserving MP’s capability to enable identification of emergent behavior early in the design process, when the risks can be addressed before system design features are ever manufactured or tested.National Security Agency (NSA)Outstanding ThesisCivilian, Missile Defense AgencyCivilian, Department of the NavyCivilian, Department of the NavyCivilian, Department of the ArmyApproved for public release. Distribution is unlimited

NASA Tech Briefs, November 2002

Topics include: a technology focus on engineering materials, electronic components and systems, software, mechanics, machinery/automation, manufacturing, bio-medical, physical sciences, information sciences book and reports, and a special section of Photonics Tech Briefs