skip to main content
10.1145/1882362.1882388acmconferencesArticle/Chapter ViewAbstractPublication PagesfseConference Proceedingsconference-collections
research-article

Ad-opera: music-inspired self-adaptive systems

Published:07 November 2010Publication History

ABSTRACT

These days, systems are emerging as agglomerations of software, hardware and people. They are highly distributed, heterogeneous, context-aware, mobile, and adaptive to resource availability and requirements evolution. New computing paradigms for such systems are required. AD-OPERA proposes radically new approaches to software engineering, based on investigation of, and inspiration derived from, a specific class of self-adaptive systems: adaptive music. In adaptive music, the interaction with the audience and with the environment plays an active role in the composition process. The musical work is fully defined only at execution time depending on context available resources, and only after appropriate user intervention. Nevertheless, the self-adaptation must ensure the character of the music desired by the artist, called style. The AD-OPERA new computing paradigm will yield the following main novelties: (i) late specification that permits the under-specification of parts of the system by delaying their completion to runtime, (ii) context as first class entity that tightly couples the context to the system computational state, (iii) explicit support for self-adaptation that views adaptation as a pervasive normality in the system's behavior, rather than as the exception.

References

  1. J. Andersson, R. de Lemos, S. Malek, and D. Weyns. Modeling dimensions of self-adaptive software systems. In Software Engineering for Self-Adaptive Systems, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. L. Baresi, R. Heckel, S. Thone, and D. Varro. Style-based refinement of dynamic software architectures. In WICSA'04, Washington, DC, USA, 2004. IEEE Computer Society. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. H. Barringer, D. Gabbay, and D. Rydeheard. Modelling evolvable component systems. Logic Journal of IGPL, 17(6):631--696, 2009.Google ScholarGoogle ScholarCross RefCross Ref
  4. H. Barringer, K. Havelund, D. E. Rydeheard, and A. Groce. Rule systems for runtime verification: A short tutorial. In Bensalem and Peled {6}, pages 1--24. Google ScholarGoogle Scholar
  5. N. Bencomo and G. S. Blair. Using architecture models to support the generation and operation of component-based adaptive systems. In Software Engineering for Self-Adaptive Systems, pages 183--200, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. S. Bensalem and D. Peled, editors. Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, volume 5779 of Lecture Notes in Computer Science. Springer, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. A. Bucchiarone, P. Pelliccione, C. Vattani, and O. Runge. Self-Repairing Systems Modeling and Verification using AGG. In WICSA'09, 2009.Google ScholarGoogle ScholarCross RefCross Ref
  8. V. Cardellini, E. Casalicchio, V. Grassi, F. Lo Presti, and R. Mirandola. Qos-driven runtime adaptation of service oriented architectures. In ESEC/FSE '09, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. B. H. C. Cheng, R. de Lemos, H. Giese, P. Inverardi, and J. Magee, editors. Software Engineering for Self-Adaptive Systems {outcome of a Dagstuhl Seminar}, volume 5525 of Lecture Notes in Computer Science. Springer, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. D. Garlan, S.-W. Cheng, A.-C. Huang, B. Schmerl, and P. Steenkiste. Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer, 37(10):46--54, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. J. Highsmith and A. Cockburn. Agile software development: The business of innovation. Computer, 34(9):120--122, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. P. Inverardi, P. Pelliccione, and M. Tivoli. Towards an assume-guarantee theory for adaptable systems. In SEAMS2009, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. C. B. Jones. Development Methods for Computer Programs including a Notion of Interference. PhD Thesis in Computer Science, Oxford University, 1981. Printed as: Programming Research Group, Technical Monograph 25.Google ScholarGoogle Scholar
  14. H. Liu, M. Parashar, and S. Member. Accord: A programming framework for autonomic applications. IEEE Transactions on Systems, 36:341--352, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. A. Mockus, R. T. Fielding, and J. D. Herbsleb. Two case studies of open source software development: Apache and mozilla. ACM Trans. Softw. Eng. Methodol., 11(3), 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. C. Peper and D. Schneider. Component engineering for adaptive ad-hoc systems. In SEAMS '08, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. A. Pnueli. In transition from global to modular temporal reasoning about programs. Logics and Models of Concurrent Systems, sub-series F: Computer and System Science:123--144, 1985. Springer-Verlag. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. R. Rouvoy, P. Barone, Y. Ding, F. Eliassen, S. O. Hallsteinsen, J. Lorenzo, A. Mamelli, and U. Scholz. Music: Middleware support for self-adaptation in ubiquitous and service-oriented environments. In Software Engineering for Self-Adaptive Systems, pages 164--182, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. M. Weiser. The computer for the 21st century. SIGMOBILE Mob. Comput. Commun. Rev., 3(3):3--11, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Ad-opera: music-inspired self-adaptive systems

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        FoSER '10: Proceedings of the FSE/SDP workshop on Future of software engineering research
        November 2010
        460 pages
        ISBN:9781450304276
        DOI:10.1145/1882362

        Copyright © 2010 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 7 November 2010

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • research-article

        Upcoming Conference

        FSE '24

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader