An Exploratory Study of Forces and Frictions affecting Large-Scale Model-Driven Development

In this paper, we investigate model-driven engineering, reporting on an exploratory case-study conducted at a large automotive company. The study consisted of interviews with 20 engineers and managers working in different roles. We found that, in the context of a large organization, contextual forces dominate the cognitive issues of using model-driven technology. The four forces we identified that are likely independent of the particular abstractions chosen as the basis of software development are the need for diffing in software product lines, the needs for problem-specific languages and types, the need for live modeling in exploratory activities, and the need for point-to-point traceability between artifacts. We also identified triggers of accidental complexity, which we refer to as points of friction introduced by languages and tools. Examples of the friction points identified are insufficient support for model diffing, point-to-point traceability, and model changes at runtime.Comment: To appear in proceedings of MODELS 2012, LNCS Springe

Declarative Specification

Deriving formal specifications from informal requirements is extremely difficult since one has to overcome the conceptual gap between an application domain and the domain of formal specification methods. To reduce this gap we introduce application-specific specification languages, i.e., graphical and textual notations that can be unambiguously mapped to formal specifications in a logic language. We describe a number of realised approaches based on this idea, and evaluate them with respect to their domain specificity vs. generalit

archiTECTONICS: Pre- and Trans-Disciplinary Reference in Beginning Design

This presentation was part of the session : Pedagogy: Procedures, Scaffolds, Strategies, Tactics24th National Conference on the Beginning Design StudentPedagogical approaches to beginning design in architecture often assume trans-disciplinary modes of exploration to filter problem parameters and sculpt perceptual outlook for iterative potential. A closer look suggests moments within the architectural design process that come before, or around, the discipline itself in the form of other disciplines accompanied by basic principles, such as Visual Literacy. Iterating and perceiving through every disciplinary dynamic, instance, and/or action in the process of designing transcends, builds, and structures its neighbor for explorative sequencing, intention, and growth of sensibilities in design resolution. An acute awareness of disciplinary state, in a maturing design process, can alleviate obscurity of ideological foundation and facilitate growth for trans-disciplinary thinking, making, and communicating in a root discipline such as architecture. How can beginning design instructors guide young designers to keep ideas and concepts for design in focus, recognizing that root disciplines transcend pre- and trans-disciplinary processes? Does recognizing variation in pace, induced by digital and analog tools, and intention of design iteration, by discipline, instill clarity by pre-disciplinary thinking, perception, and operation? Trans-disciplinary exercise provokes awareness of pre-disciplinary foundations furthering possibilities for unique root-disciplinary understandings and results. The developed exercise, archiTECTONIC, recognizes and cycles through reasoning, conceptualization, and iteration in a trans-disciplinary sequence, allowing the beginning design student to recognize pre-disciplinary ideology, pace, and purpose when processing ideas through fundamentals of architectural design. Engaging this as a strategy for seeing, thinking, and maneuvering through a dynamic process provides design liberty and clarity for processing and communicating in a root discipline, in this case architecture

Enabling High-Level Application Development for the Internet of Things

Application development in the Internet of Things (IoT) is challenging because it involves dealing with a wide range of related issues such as lack of separation of concerns, and lack of high-level of abstractions to address both the large scale and heterogeneity. Moreover, stakeholders involved in the application development have to address issues that can be attributed to different life-cycles phases. when developing applications. First, the application logic has to be analyzed and then separated into a set of distributed tasks for an underlying network. Then, the tasks have to be implemented for the specific hardware. Apart from handling these issues, they have to deal with other aspects of life-cycle such as changes in application requirements and deployed devices. Several approaches have been proposed in the closely related fields of wireless sensor network, ubiquitous and pervasive computing, and software engineering in general to address the above challenges. However, existing approaches only cover limited subsets of the above mentioned challenges when applied to the IoT. This paper proposes an integrated approach for addressing the above mentioned challenges. The main contributions of this paper are: (1) a development methodology that separates IoT application development into different concerns and provides a conceptual framework to develop an application, (2) a development framework that implements the development methodology to support actions of stakeholders. The development framework provides a set of modeling languages to specify each development concern and abstracts the scale and heterogeneity related complexity. It integrates code generation, task-mapping, and linking techniques to provide automation. Code generation supports the application development phase by producing a programming framework that allows stakeholders to focus on the application logic, while our mapping and linking techniques together support the deployment phase by producing device-specific code to result in a distributed system collaboratively hosted by individual devices. Our evaluation based on two realistic scenarios shows that the use of our approach improves the productivity of stakeholders involved in the application development

Efficient Analysis of Complex Diagrams using Constraint-Based Parsing

This paper describes substantial advances in the analysis (parsing) of diagrams using constraint grammars. The addition of set types to the grammar and spatial indexing of the data make it possible to efficiently parse real diagrams of substantial complexity. The system is probably the first to demonstrate efficient diagram parsing using grammars that easily be retargeted to other domains. The work assumes that the diagrams are available as a flat collection of graphics primitives: lines, polygons, circles, Bezier curves and text. This is appropriate for future electronic documents or for vectorized diagrams converted from scanned images. The classes of diagrams that we have analyzed include x,y data graphs and genetic diagrams drawn from the biological literature, as well as finite state automata diagrams (states and arcs). As an example, parsing a four-part data graph composed of 133 primitives required 35 sec using Macintosh Common Lisp on a Macintosh Quadra 700.Comment: 9 pages, Postscript, no fonts, compressed, uuencoded. Composed in MSWord 5.1a for the Mac. To appear in ICDAR '95. Other versions at ftp://ftp.ccs.neu.edu/pub/people/futrell

The knowledge that shapes the city:the human city beneath the social city

In the Atlanta Symposium (Hillier, 2001, 2003a) a theory of the social constructionof the city was presented. In this paper it is proposed that underlying the variouskinds of social city there is a deeper, more generic human city, which arises from thepervasive intervention of the human cognitive subject in the shaping and workingof the city. This intervention is explored at two critical stages in the forming of thecity: in the 'vertical' form-creating process by which the accumulation of built formscreates an emergent spatial pattern; and in the 'lateral' form-function process bywhich the emergent spatial pattern shapes movement and sets off the process bywhich an aggregate of buildings becomes a living city. The nature of these cognitiveinterventions is investigated by asking a question: how do human beings 'synchronise'diachronically acquired (and diachronically created) spatial information into asynchronic picture of ambient urban spatial patterns, since it is such synchronicpictures which seem to mediate both interventions? A possible answer is sought bydeveloping the concept of 'description retrieval', originally proposed in 'The SocialLogic of Space' as the means by which human beings retrieve abstract informationfrom patterns of relations in the real world. Our ability to retrieve such descriptionhappens, it is argued, at more than one level, and can includes the high-level notionsof the grid which seems to plays a key role in cognitive intervention in the city.Finally we ask what the ubiquity of the human cognitive subject in the formation ofthe city implies for how we should see cities as complex systems. It is argued that,as with language, there is a 'objective subject' at the heart of the processes by whichcities come into existence, and that this provides us both with the need and themeans to mediate between the social physics paradigm of the city, with its focus onthe mathematics of the generation of the physical city and phenomenologicalparadigm with its - too often anti-mathematical - focus on the human experience ofthe city. Since the intervention of the cognitive subject involves formal ideas andhas formal consequences for the structure of the city, we cannot, it is argued, explaineither without the other