ABSTRACT
Adaptive software is being used increasingly frequently by various users, such as the medical community, software industry, and in response to terror attacks. Therefore, understanding the requirements of an adaptive system is crucial to developing them correctly. Developers need to be able to reason about the requirements of a system's adaptive behavior. Adaptation semantics are intended to describe how systems behave during adaptation. Previously, Zhang and Cheng formally specified three commonly occurring adaptation semantics in terms of Adapt operator-extended LTL (A-LTL). This paper presents goal-oriented specifications of these three adaptation semantics. These specifications, specified with the KAOS methodology, provide a graphical wrapper to the formal A-LTL specifications of the semantics. The combination of the goal-oriented, graphical KAOS specifications and A-LTL specifications provides the benefits of formal specifications as well as the benefits of an easier to understand, graphical, and more intuitive presentation of adaptive systems requirements. This work also provides a means to incorporate the adaptation semantics into the goal-oriented requirements specifications of an adaptive system.
- K. S. Barber, M. T. MacMahon, and C. E. Martin. Distributed software decision support systems for heterogeneous coordination in chemical and biological response. In Proceedings from: Scientific Conference on Chemical and Biological Defense Research, 2001.Google Scholar
- J. Castro, M. Kolp, and J. Mylopoulos. Towards requirements-driven information systems engineering: The tropos project, 2002. Google ScholarDigital Library
- Cediti. Objectiver, http://www.objectiver.com.Google Scholar
- D. M. Chess, C. Palmer, and S. R. White. Security in an autonomic computing environment. IBM System Journal, 42(1):107--118, 2003. Google ScholarDigital Library
- D. Cohen, M. S. Feather, K. Narayanaswamy, and S. S. Fickas. Automatic monitoring of software requirements. In ICSE '97: Proceedings of the 19th international conference on Software engineering, pages 602--603, New York, NY, USA, 1997. ACM Press. Google ScholarDigital Library
- A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of computer Programming, 20:3--50, 1993. Google ScholarDigital Library
- R. Darimont and A. van Lamsweerde. Formal refinement patterns for goal-driven requirements elaboration. In Foundations of Software Engineering, pages 179--190, 1996. Google ScholarDigital Library
- M. Feather, S. Fickas, A. van Lamsweerde, and C. Ponsard. Reconciling system requirements and runtime behavior. In IWSSD: Proceedings of the 9th international workshop on Software specification and design, page 50, 1998. Google ScholarDigital Library
- A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model checking early requirements specifications in tropos, 2001. Google ScholarDigital Library
- E. Letier. Reasoning about Agents in Goal-Oriented Requirements Engineering. PhD thesis, Louvain-la-Neuve, Belgium, 2001.Google Scholar
- P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. C. Cheng. Composing adaptive software. IEEE Computer, 37(7):56--64, 2004. Google ScholarDigital Library
- J. Mylopoulos and J. Castro. Tropos: A framework for requirements-driven software development, 2000.Google Scholar
- A. Perini, P. Bresciani, F. Giunchiglia, P. Giorgini, and J. Mylopoulos. A knowledge level software engineering methodology for agent oriented programming, May 2001. Autonomous Agents, Montreal CA. Google ScholarDigital Library
- S. M. Sadjadi, P. K. McKinley, and E. P. Kasten. Architecture and operation of an adaptable communication substrate. In Proceedings of the Ninth IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS'03), pages 46--55, San Juan, Puerto Rico, May 2003. Google ScholarDigital Library
- I. S.-M. Software. Towards preserving correctness.Google Scholar
- A. Sutcliffe, S. Fickas, and M. M. Sohlberg. Personal and contextual requirements engineering. In Proceedings of the 13th IEEE International Conference on Requirements Engineering), pages 19--30, Washington D.C., USA, 2005. IEEE Computer Society. Google ScholarDigital Library
- A. van Lamsweerde, R. Darimont, and P. Massonet. Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt. pages 194--203.Google Scholar
- A. van Lamsweerde and E. Letier. Handling obstacles in goal-oriented requirements engineering. Software Engineering, 26(10):978--1005, 2000. Google ScholarDigital Library
- E. Yu. Modelling strategic relationships for process reengineering. Ph.D. Thesis, University of Toronto, Department of Computer Science, 1995. Google ScholarDigital Library
- Y. Yu, A. Lapouchnian, S. Liaskos, and J. Mylopoulos. Towards requirements-driven autonomic systems design. In ICSE: Proceedings of the 2005 Workshop on Design and evolution of autonomic application software, pages 1--7, 2005. Google ScholarDigital Library
- Y. Yu, J. Mylopoulos, A. Lapouchnian, S. Liaskos, and J. C. S. P. Leite. From stakeholder goals to high-variability software designs. Technical Report CSRG-509, University of Toronto, 2005.Google Scholar
- Y. Yu, Y. Wang, S. Easterbrook, A. Lapouchnian, S. Liaskos, and J. Leite. Configuring common personal software: a requirements-driven approach, 2005. Technical Report CSRG-512, University of Toronto, 2005.Google Scholar
- J. Zhang, B. Cheng, Z. Yang, and P. McKinley. Enabling safe dynamic component-based software adaptation. In Architecting Dependable Systems, Springer Lecture Notes for Computer Science. Springer-Verlag, 2005. Google ScholarDigital Library
- J. Zhang and B. H. C. Cheng. Using temporal logic to specify adaptive program semantics. Journal of Systems and Software Special Issue on Architecting Dependable Systems, 2006.Google ScholarCross Ref
Index Terms
- Goal-oriented specification of adaptation requirements engineering in adaptive systems
Recommendations
Development of global specification for dynamically adaptive software
As software systems are becoming increasingly complex, they need to dynamically and continually adapt their behavior to changing conditions in the long-term running. There will be large numbers of adaptations in these systems when evolving and the ...
Requirements Specification for Process-Control Systems
The paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision ...
Informal and Formal Requirements Specification Languages: Bridging the Gap
The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. Using structured analysis (SA) and the Vienna development method (VDM) as surrogates for informal ...
Comments