Formalizing the notion of adaptive system behavior

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 1029-1033

  Broy, M ^a   Leuxner, C ^a   Sitou, W ^a   Spanfelner, B ^a   Winter, S ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Adaptive systems; Context awareness; Formal methods

Indexed keywords

COMMON UNDERSTANDING; CONTEXT- AWARENESS; NON-ADAPTIVE SYSTEM; PRECISE DEFINITION; STILL MISSING;

COMPUTER SCIENCE; FORMAL METHODS;

ADAPTIVE SYSTEMS;

EID: 72949084382     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529508     Document Type: Conference Paper

References (16)

1. M. Aksit and Z. Choukair. Dynamic, adaptive and reconfigurable systems overview and prospective vision. Distributed Computing Systems Workshops, 2003. Proceedings. 23rd International Conference on, pages 84-89, 19-22 May 2003.
2. M. Baldauf, S. Dustdar, and F. Rosenberg. A survey on context-aware systems. International Journal of Ad Hoc and Ubiquitous Computing, 2(4):263, 2007.
3. M. Broy. Engineering Theories of Software Intensive Systems, chapter Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures - The JANUS Approach, pages 47-81. Springer Verlag, July 2005.
4. M. Broy and K. Stlen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, 2001.
5. Anind Kumar Dey. Providing architectural support for building context-aware applications. PhD thesis, College of Computing, Georgia Institute of Technology, 2000. Director-Gregory D. Abowd.
6. M. Fahrmair, W. Sitou, and B. Spanfelner. An engineering approach to adaptation and calibration. In Modeling and Retrieval of Context MRC 2005. Springer LNCS 3946, 2005.
7. M. Fahrmair, W. Sitou, and B. Spanfelner. Unwanted behavior and its impact on adaptive systems in ubiquitous computing. In 14th Workshop on Adaptivity and User Modeling in Interactive Systems - LWA/ABIS, 2006.
8. J.O. Kephart and M.D. Chess. The vision of autonomic computing. Computer, 1(36):41-50, 2003.
9. P. McKinley, S. Sadjadi, E. Kasten, and B. Cheng. Composing adaptive software. Computer, 37(7):56-64, 2004.
10. N.B. Sarter, D.D. Woods, and C.E. Billings. Automation surprises. Handbook of Human Factors and Ergonomics, 2:1926-1943, 1997.
11. B. Schilit, N. Adams, and R. Want. Context-aware computing applications. In IEEE Workshop on Mobile Computing Systems and Applications, Santa Cruz, CA, US, 1994.
12. Albrecht Schmidt. Ubiquitous Computing - Computing in Context. PhD thesis, Computing Department, Lancaster University, England, U.K., 11 2002.
13. W. Sitou and B. Spanfelner. Towards requirements engineering for context adaptive systems. In The thirty-first Annual International Computer Software & Application Conference (COMPSAC). Volume 2 - Workshop Papers, 2007.
14. M. Trapp and B. Schürmann. On the modeling of adaptive systems. In International Workshop on Dependable Embedded Systems, 2003.
15. M. Weiser. The computer for the 21st century. Scientific American, 265(3):94{104, September 1991.
16. P. Zave. Feature interactions and formal specifications in telecommunications. Computer, 26(8):20-29, 1993.