On the role of domain ontologies in the design of domain-specific visual modeling langages

Domain-Specific Visual Modeling Languages should provide notations and abstractions that suitably support problem solving in well-defined application domains. From their user’s perspective, the language’s modeling primitives must be intuitive and expressive enough in capturing all intended aspects of domain conceptualizations. Over the years formal and explicit representations of domain conceptualizations have been developed as domain ontologies. In this paper, we show how the design of these languages can benefit from conceptual tools developed by the ontology engineering community

Refinement for user interface designs

Formal approaches to software development require that we correctly describe (or specify) systems in order to prove properties about our proposed solution prior to building it. We must then follow a rigorous process to transform our specification into an implementation to ensure that the properties we have proved are retained. Different transformation, or refinement, methods exist for different formal methods, but they all seek to ensure that we can guide the transformation in a way which preserves the desired properties of the system. Refinement methods also allow us to subsequently compare two systems to see if a refinement relation exists between the two. When we design and build the user interfaces of our systems we are similarly keen to ensure that they have certain properties before we build them. For example, do they satisfy the requirements of the user? Are they designed with known good design principles and usability considerations in mind? Are they correct in terms of the overall system specification? However, when we come to implement our interface designs we do not have a defined process to follow which ensures that we maintain these properties as we transform the design into code. Instead, we rely on our judgement and belief that we are doing the right thing and subsequent user testing to ensure that our final solution remains useable and satisfactory. We suggest an alternative approach, which is to define a refinement process for user interfaces which will allow us to maintain the same rigorous standards we apply to the rest of the system when we implement our user interface designs

A Systematic Approach to Constructing Incremental Topology Control Algorithms Using Graph Transformation

Communication networks form the backbone of our society. Topology control algorithms optimize the topology of such communication networks. Due to the importance of communication networks, a topology control algorithm should guarantee certain required consistency properties (e.g., connectivity of the topology), while achieving desired optimization properties (e.g., a bounded number of neighbors). Real-world topologies are dynamic (e.g., because nodes join, leave, or move within the network), which requires topology control algorithms to operate in an incremental way, i.e., based on the recently introduced modifications of a topology. Visual programming and specification languages are a proven means for specifying the structure as well as consistency and optimization properties of topologies. In this paper, we present a novel methodology, based on a visual graph transformation and graph constraint language, for developing incremental topology control algorithms that are guaranteed to fulfill a set of specified consistency and optimization constraints. More specifically, we model the possible modifications of a topology control algorithm and the environment using graph transformation rules, and we describe consistency and optimization properties using graph constraints. On this basis, we apply and extend a well-known constructive approach to derive refined graph transformation rules that preserve these graph constraints. We apply our methodology to re-engineer an established topology control algorithm, kTC, and evaluate it in a network simulation study to show the practical applicability of our approachComment: This document corresponds to the accepted manuscript of the referenced journal articl

Proceedings of the ECCS 2005 satellite workshop: embracing complexity in design - Paris 17 November 2005

Embracing complexity in design is one of the critical issues and challenges of the 21st century. As the realization grows that design activities and artefacts display properties associated with complex adaptive systems, so grows the need to use complexity concepts and methods to understand these properties and inform the design of better artifacts. It is a great challenge because complexity science represents an epistemological and methodological swift that promises a holistic approach in the understanding and operational support of design. But design is also a major contributor in complexity research. Design science is concerned with problems that are fundamental in the sciences in general and complexity sciences in particular. For instance, design has been perceived and studied as a ubiquitous activity inherent in every human activity, as the art of generating hypotheses, as a type of experiment, or as a creative co-evolutionary process. Design science and its established approaches and practices can be a great source for advancement and innovation in complexity science. These proceedings are the result of a workshop organized as part of the activities of a UK government AHRB/EPSRC funded research cluster called Embracing Complexity in Design (www.complexityanddesign.net) and the European Conference in Complex Systems (complexsystems.lri.fr). Embracing complexity in design is one of the critical issues and challenges of the 21st century. As the realization grows that design activities and artefacts display properties associated with complex adaptive systems, so grows the need to use complexity concepts and methods to understand these properties and inform the design of better artifacts. It is a great challenge because complexity science represents an epistemological and methodological swift that promises a holistic approach in the understanding and operational support of design. But design is also a major contributor in complexity research. Design science is concerned with problems that are fundamental in the sciences in general and complexity sciences in particular. For instance, design has been perceived and studied as a ubiquitous activity inherent in every human activity, as the art of generating hypotheses, as a type of experiment, or as a creative co-evolutionary process. Design science and its established approaches and practices can be a great source for advancement and innovation in complexity science. These proceedings are the result of a workshop organized as part of the activities of a UK government AHRB/EPSRC funded research cluster called Embracing Complexity in Design (www.complexityanddesign.net) and the European Conference in Complex Systems (complexsystems.lri.fr)

Rethinking affordance

n/a – Critical survey essay retheorising the concept of 'affordance' in digital media context. Lead article in a special issue on the topic, co-edited by the authors for the journal Media Theory

Design Gateway: Pedagogical Discussion of a Second-Year Industrial Design Studio

This presentation was part of the session : Pedagogy: Procedures, Scaffolds, Strategies, Tactics24th National Conference on the Beginning Design StudentMost industrial design programs focus the beginning design curriculum on the learning of core design principles. These core principles are seen as not specific to any one discipline (architecture, industrial design, interior design, etc.), but rather as fundamentals germane to all design fields. These core principles focus on the analysis of built artifact (structures, products, systems) to develop an understanding of geometry, structure and composition through looking and exploring. Students develop skills in representing, communicating and analyzing what they see and experience. These skills are nurtured in early studios. As students move into later studios, more discipline-specific knowledge and skills are integrated into their educational pedagogy. In the beginning years of design education, there is a transition from the learning of general 'core' design fundamentals to specialized principles that is inherent to their specific disciplines. As students move from abstract ideas to 'real-world' projects, they seem to have difficulty transitioning between the abstract concepts they previously learned and reality that requires application to new settings [1]. Students perceive learned concepts as specific to a particular studio project, rather than realize that design education is a continuum of practiced principles [1]. This presents a disconnect between knowledge transfer from one studio project to the next. The curriculum of the second-year industrial design studio at the Georgia Institute of Technology is designed to address this disconnect and help students successfully transition from the core design fundamentals to industrial design knowledge. Throughout the second year education, students engage in the making and communication of form and they do it through design exercises dealing with the fundamentals as well as knowledge base, both simultaneously and repeatedly, According to ----, a design education that offers a component of repetitive experience encourages students to be cognizant of the iterative nature of both the design process as well as design education [2]. This paper discusses the approach, designed by the authors, evident in the sophomore-year industrial design curriculum at Georgia Tech. While emphasis is placed on rigor, exploration and articulation of concepts throughout the studio period, this approach adopts a pedagogy based on a series of modules that scaffold the introduction of new concepts with the reinforcement of previously learned ones. Individual modules follow a path of concept introduction (lecture), analysis, practice, and finally refinement. Upon completion of several modules, students engage in a 'module project' which demonstrates synthesis and realization of the learned concepts. A final semester-end design project provides for aggregation and demonstration of all subject matter learned throughout the semester. This pedagogical approach bridges the gap of disconnect between previous studios and promotes a continuous layering and practice of beginning design fundamentals

A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems

Multi-core, Mixed Criticality Embedded (MCE) real-time systems require high timing precision and predictability to guarantee there will be no interference between tasks. These guarantees are necessary in application areas such as avionics and automotive, where task interference or missed deadlines could be catastrophic, and safety requirements are strict. In modern multi-core systems, the interconnect becomes a potential point of uncertainty, introducing major challenges in proving behaviour is always within specified constraints, limiting the means of growing system performance to add more tasks, or provide more computational resources to existing tasks. We present MCENoC, a Network-on-Chip (NoC) switching architecture that provides innovations to overcome this with predictable, formally verifiable timing behaviour that is consistent across the whole NoC. We show how the fundamental properties of Benes networks benefit MCE applications and meet our architecture requirements. Using SystemVerilog Assertions (SVA), formal properties are defined that aid the refinement of the specification of the design as well as enabling the implementation to be exhaustively formally verified. We demonstrate the performance of the design in terms of size, throughput and predictability, and discuss the application level considerations needed to exploit this architecture

Synthetic Semiotics: on modelling and simulating the \ud emergence of sign processes

Based on formal-theoretical principles about the \ud sign processes involved, we have built synthetic experiments \ud to investigate the emergence of communication based on \ud symbols and indexes in a distributed system of sign users, \ud following theoretical constraints from C.S.Peirce theory of \ud signs, following a Synthetic Semiotics approach. In this paper, we summarize these computational experiments and results regarding associative learning processes of symbolic sign modality and cognitive conditions in an evolutionary process for the emergence of either symbol-based or index-based communication

Food as Experience A Design and Evaluation Methodology

This research, conducted for Frito Lay-North America, Inc, demonstrates how new product designs, package designs, concepts, and prototypes can be created based on the social, emotional, cognitive, and sensory information gathered through a combined methodology based on activity theory, Kansei Engineering and the ZMET process. The study examines how activity theory can be used to observe situational settings mediated by products for the purpose of collecting significant social and behavioral data. It also examines how Kansei methods can be used to evaluate sensory experiences and how the ZMET process can be used to gather demographic and marketing data. The outcome of this research concludes that activity theory, Kansei engineering, and ZMET are each useful, however, none of these methods used in isolation are sufficient to inform all aspects of marketing, new product development, and package design decisions. However, as a combined design and evaluation methodology they can provide more useful data for these processes. Keywords: Experience Design, Kansei Assessment, Food, Activity Theory</p