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.
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- H. Barringer, D. Gabbay, and D. Rydeheard. Modelling evolvable component systems. Logic Journal of IGPL, 17(6):631--696, 2009.Google ScholarCross Ref
- 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 Scholar
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- A. Bucchiarone, P. Pelliccione, C. Vattani, and O. Runge. Self-Repairing Systems Modeling and Verification using AGG. In WICSA'09, 2009.Google ScholarCross Ref
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- J. Highsmith and A. Cockburn. Agile software development: The business of innovation. Computer, 34(9):120--122, 2001. Google ScholarDigital Library
- P. Inverardi, P. Pelliccione, and M. Tivoli. Towards an assume-guarantee theory for adaptable systems. In SEAMS2009, 2009. Google ScholarDigital Library
- 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 Scholar
- H. Liu, M. Parashar, and S. Member. Accord: A programming framework for autonomic applications. IEEE Transactions on Systems, 36:341--352, 2005. Google ScholarDigital Library
- 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 ScholarDigital Library
- C. Peper and D. Schneider. Component engineering for adaptive ad-hoc systems. In SEAMS '08, 2008. Google ScholarDigital Library
- 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 ScholarDigital Library
- 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 ScholarDigital Library
- M. Weiser. The computer for the 21st century. SIGMOBILE Mob. Comput. Commun. Rev., 3(3):3--11, 1999. Google ScholarDigital Library
Index Terms
- Ad-opera: music-inspired self-adaptive systems
Recommendations
Proactive Domain Data Querying based on Context Information in Ambient Assisted Living Environments
ICEIS 2015: Proceedings of the 17th International Conference on Enterprise Information Systems - Volume 2Ubiquitous computing defines a set of technologies to make computing omnipresent in real life environments. In the area of ambient assisted living, ubiquitous technologies have been used to improve the life quality and expectancy for elderly people. ...
A survey on engineering approaches for self-adaptive systems
The complexity of information systems is increasing in recent years, leading to increased effort for maintenance and configuration. Self-adaptive systems (SASs) address this issue. Due to new computing trends, such as pervasive computing, ...
Discrete Event Modeling and Simulation for IoT Efficient Design Combining WComp and DEVSimPy Framework
SIMULTECH 2015: Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and ApplicationsOne of todayâ s challenges in the framework of ubiquitous computing concerns the design of ambient systems
including sensors, smart-phones, interconnected objects, computers, etc. The major difficulty is to propose a
compositional adaptation which aims ...
Comments