uDesign: End-User Design Applied to Monitoring and Control Applications for Smart Spaces

This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requirements. The style offers an intuitive metaphor based on boxes, pipes, and wires, but retains enough preciseness that systems can be automatically assembled and dynamically reconfigured based on uDesign descriptions. uDesign was primarily motivated and validated within monitoring and control applications for smart spaces, but we envision possible extensions to other domains. Our contribution differs from early attempts at end- user programming by dealing with higher level software architectural abstractions rather than programming, and by addressing run-time descriptions rather than code structures. The paper presents validation of uDesign along the following aspects: (a) expressiveness, by means of two case studies, one in health care, and one in home security, (b) soundness, by providing uDesign's formal semantics, and (c) implementability, by describing a mapping of uDesign to an existing software infrastructure: the Aura infrastructure.

[1]  D. Garlan,et al.  Task-based adaptation for ubiquitous computing , 2006, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[2]  Yérom-David Bromberg,et al.  The Amigo Service Architecture for the Open Networked Home Environment , 2005, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05).

[3]  Paddy Nixon,et al.  Middleware for pervasive and ad hoc computing , 2005, Personal and Ubiquitous Computing.

[4]  David Garlan,et al.  The Aura software architecture : an infrastructure for ubiquitous computing , 2003 .

[5]  Wil M. P. van der Aalst,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..

[6]  Kwang-Roh Park,et al.  An integrated home server for communication, broadcast reception, and home automation , 2006, 2006 Digest of Technical Papers International Conference on Consumer Electronics.

[7]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[8]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[9]  Stephen A. White,et al.  Using BPMN to Model a BPEL Process , 2005 .

[10]  David Garlan,et al.  Activity-Oriented Computing , 2008 .

[11]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[13]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[14]  Zakaria Maamar,et al.  Advances in Ubiquitous Computing: Future Paradigms and Directions , 2008 .

[15]  Ulrich Norbisrath,et al.  Modeling eHome systems , 2006, MPAC '06.

[16]  Norman W. Paton,et al.  Active Rules in Database Systems , 1998, Monographs in Computer Science.