% % GENERATED FROM http://acme.able.cs.cmu.edu % by : anonymous % IP : 216.73.216.74 % at : Sat, 05 Jul 2025 23:01:22 -0400 GMT % % Selection : Year = 2010 % @InProceedings{2010/Faulring/Radar, AUTHOR = {Faulring, Andrew and Myers, Brad and Mohnkern, Ken and Schmerl, Bradley and Steinfeld, Aaron and Zimmerman, John and Smailagic, Asim and Hansen, Jeffery and Siewioreck, Daniel}, TITLE = {Agent-Assisted Task Management that Reduces Email Overhead}, YEAR = {2010}, MONTH = {7-10 February}, BOOKTITLE = {Proceedings of the 14th International Conference on Intelligent User Interfaces}, PAGES = {61-70}, ADDRESS = {Hong Kong, China}, PUBLISHER = {ACM Press}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/radar-iui10.pdf}, ABSTRACT = {RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their strategies and then use the models to assist other people who are working on similar tasks. The agents’ assistance helps a person to transition from the normal email-centric workflow to a more efficient task-centric workflow. The Email Classifier learns to identify tasks contained within emails and then inspects new emails for similar tasks. A novel task-management user interface displays the found tasks in a to-do list, which has integrated support for performing the tasks. The Multitask Coordination Assistant learns a model of the order in which experts perform tasks and then suggests a schedule to other people who are working on similar tasks. A novel Progress Bar displays the suggested schedule of incomplete tasks as well as the completed tasks. A large evaluation demonstrated that novice users confronted with an email overload test performed significantly better (a 37% better overall score with a factor of four fewer errors) when assisted by the RADAR agents. }, NOTE = {Honorable Mention Award in the Best Paper Contest. DOI}, KEYWORDS = {RADAR} } @InProceedings{Bhave/ERTS2010, AUTHOR = {Bhave, Ajinkya Y. and Garlan, David and Krogh, Bruce and Rajhans, Akshay and Schmerl, Bradley}, TITLE = {Augmenting Software Architectures with Physical Components}, YEAR = {2010}, MONTH = {19-21 May}, BOOKTITLE = {Proceedings of the Embedded Real Time Software and Systems Conference (ERTS^2 2010)}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/ERTS2_2010.pdf}, ABSTRACT = {This paper presents an extension of existing software architecture tools to model physical systems, their interconnections, and the interactions between physical and cyber components. We introduce a new cyber-physical system (CPS) architectural style to support the construction of architectural descriptions of complete systems and to serve as the reference context for analysis and evaluation of design alternatives using existing model-based tools. The implementation of the CPS architectural style in AcmeStudio includes behavioral annotations on components and connectors using either finite state processes (FSP) or linear hybrid automata (LHA) with plug-ins to perform behavior analysis. The application of the CPS architectural style is illustrated for the STARMAC quadrotor.}, KEYWORDS = {Cyberphysical Systems} } @Misc{2010/Vishal/EUO, AUTHOR = {Dwivedi, Vishal and Garlan, David and Schmerl, Bradley}, TITLE = {End User Orchestrations}, YEAR = {2010}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/EndUserOrchestrations.pdf}, ABSTRACT = {Service-orchestrations define how services can be composed together and are widely used to execute applications based on Service Oriented Architectures (SOAs). However, the various special purpose orchestration languages used today require code-level constructs that force the users to provide excessive technical detail. For many SOA domains end-users of these orchestrations have limited technical expertise, and hence these users find it difficult to specify orchestrations in current languages. Additionally, users specifying orchestrations would often like to reason about architectural attributes such as performance, security and composability - capabilities that current languages and tools do not support. In this paper we provide an improved technique for modeling orchestrations that allows users to focus primarily on the functional composition of services that is guided by tool supported domain-specific analyses. We introduce an abstract architectural specification language called SCORE (Simple Compositional ORchestration for End users) that defines the vocabulary of elements that can be used in a service composition. SCORE not only allows users to create correct service orchestrations, but it also removes the need for technical detail, most of which is auto-generated by tool support. We demonstrate the use of our approach to specify service-orchestrations in SORASCS (Service ORiented Architectures for Socio-Cultural Systems), which is a SOA system for the intelligence analysis domain. SORASCS users are analysts, who are involved with domain-specific analysis workflows that are represented using SCORE and executed.}, NOTE = {Submitted for publication}, KEYWORDS = {Service Composition, Software Architecture} } @Article{Kim2010, AUTHOR = {Kim, Jung Soo and Garlan, David}, TITLE = {Analyzing Architectural Styles}, YEAR = {2010}, JOURNAL = {Journal of Software and Systems}, VOLUME = {83}, NUMBER = {7}, PAGES = {1216-1235}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/JSS-final-revision3.pdf}, ABSTRACT = {The backbone of most software architectures and component integration frameworks is one or more architectural styles that provide a domain-speci c design vocabulary and a set of constraints on how that vocabulary is used. Today's architectural styles are increasingly complex, involving rich vocabularies and numerous constraints. Hence, designing a sound and appropriate style becomes an intellectually challenging activity. Unfortunately, although there are numerous tools to help in the analysis of architectures for individual systems, relatively less work has been done on tools to help in the design of architectural styles. In this paper we address this gap by showing how to map an architectural style, expressed formally in an architectural description language, into a relational model that can then be checked for properties, such as whether a style is consistent, whether a style satis es some predicates over its architectural structure, and whether two styles are compatible for composition.}, KEYWORDS = {Architectural Analysis, Architectural Style} } @InProceedings{Views/Bhave/2010, AUTHOR = {Bhave, Ajinkya Y. and Krogh, Bruce and Garlan, David and Schmerl, Bradley}, TITLE = {Multi-domain Modeling of Cyber-Physical Systems using Architectural Views}, YEAR = {2010}, MONTH = {30 November}, BOOKTITLE = {Proceedings of the 1st Analytic Virtual Integration of Cyber-Physical Systems Workshop.}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/MMCPSAV.pdf}, ABSTRACT = {Designing cyber-physical systems(CPSs)increasingly requires the use of multi-domain models throughout the development process. Ensuring consistent relationships between various system models is an important part of an integrated design methodology. This paper describes an architectural approach to reasoning about relations between heterogeneous system models. The runtime base architecture of the system is used as a unifying representation to compare the structure and semantics of the associated models. Each model is related to the base architecture through the abstraction of an architectural view, which captures structural and semantic correspondences between model elements and system entities. The use of the architectural view framework to relate system models from different domains is illustrated in the context of a quadrotor air vehicle.}, NOTE = {Co-located with RTSS 2010.}, KEYWORDS = {Architectural Style, Cyberphysical Systems} } @InProceedings{Garlan:2010:SEU:1882362.1882389, AUTHOR = {Garlan, David}, TITLE = {Software Engineering in an Uncertain World}, YEAR = {2010}, BOOKTITLE = {Proceedings of the FSE/SDP workshop on Future of Software Engineering Research}, PAGES = {125--128}, SERIES = {FoSER '10}, ADDRESS = {New York, NY, USA}, PUBLISHER = {ACM}, URL = {http://doi.acm.org/10.1145/1882362.1882389}, PDF = {http://acme.able.cs.cmu.edu/pubs/uploads/pdf/foser057-garlan.pdf}, ABSTRACT = {In this paper, we argue that the reality of today's software systems requires us to consider uncertainty as a first-class concern in the design, implementation, and deployment of those systems. We further argue that this induces a paradigm shift, and a number of research challenges that must be addressed.}, NOTE = {ISBN 978-1-4503-0427-6}, KEYWORDS = {Software Architecture, Software Engineering, uncertainty} }