Article

Goal-oriented specification of adaptation requirements engineering in adaptive systems

Authors:

Betty H. C. Cheng,

Heather Goldsby,

Ji ZhangAuthors Info & Claims

SEAMS '06: Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems

Pages 23 - 29

https://doi.org/10.1145/1137677.1137682

Published: 21 May 2006 Publication History

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.

References

[1]

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.

[2]

J. Castro, M. Kolp, and J. Mylopoulos. Towards requirements-driven information systems engineering: The tropos project, 2002.

Digital Library

[3]

Cediti. Objectiver, http://www.objectiver.com.

[4]

D. M. Chess, C. Palmer, and S. R. White. Security in an autonomic computing environment. IBM System Journal, 42(1):107--118, 2003.

Digital Library

[5]

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.

Digital Library

[6]

A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of computer Programming, 20:3--50, 1993.

Digital Library

[7]

R. Darimont and A. van Lamsweerde. Formal refinement patterns for goal-driven requirements elaboration. In Foundations of Software Engineering, pages 179--190, 1996.

Digital Library

[8]

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.

Digital Library

[9]

A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model checking early requirements specifications in tropos, 2001.

Digital Library

[10]

E. Letier. Reasoning about Agents in Goal-Oriented Requirements Engineering. PhD thesis, Louvain-la-Neuve, Belgium, 2001.

[11]

P. K. McKinley, S. M. Sadjadi, E. P. Kasten, and B. H. C. Cheng. Composing adaptive software. IEEE Computer, 37(7):56--64, 2004.

Digital Library

[12]

J. Mylopoulos and J. Castro. Tropos: A framework for requirements-driven software development, 2000.

[13]

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.

Digital Library

[14]

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.

Digital Library

[15]

I. S.-M. Software. Towards preserving correctness.

[16]

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.

Digital Library

[17]

A. van Lamsweerde, R. Darimont, and P. Massonet. Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt. pages 194--203.

[18]

A. van Lamsweerde and E. Letier. Handling obstacles in goal-oriented requirements engineering. Software Engineering, 26(10):978--1005, 2000.

Digital Library

[19]

E. Yu. Modelling strategic relationships for process reengineering. Ph.D. Thesis, University of Toronto, Department of Computer Science, 1995.

Digital Library

[20]

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.

Digital Library

[21]

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.

[22]

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.

[23]

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.

Digital Library

[24]

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.

Cited By

Sabatucci LCossentino M(2019)Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMNACM Transactions on Autonomous and Adaptive Systems10.1145/335548814:2(1-38)Online publication date: 17-Oct-2019
https://dl.acm.org/doi/10.1145/3355488
Ghannem AHamdi MAmmar HSoui MHamdan HToral-Cruz HAkleylek SMcheick HBoubiche D(2017)A systematic classification of requirements engineering approaches for adaptive systemsProceedings of the Second International Conference on Internet of things, Data and Cloud Computing10.1145/3018896.3018939(1-9)Online publication date: 22-Mar-2017
https://dl.acm.org/doi/10.1145/3018896.3018939
Tamersoy MEkinci EErdur RDikenelli O(2017)A Requirements Model for Adaptive Multi-Organizational Systems2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)10.1109/SASO.2017.13(41-50)Online publication date: Sep-2017
https://doi.org/10.1109/SASO.2017.13
Show More Cited By

Index Terms

Goal-oriented specification of adaptation requirements engineering in adaptive systems
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SEAMS '06: Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems

May 2006

102 pages

ISBN:1595934030

DOI:10.1145/1137677

Conference Chairs:
Betty H. C. Cheng
Michigan State University, USA
,
Rogério de Lemos
University of Kent, UK
,
Stephen Fickas
University of Oregon, USA
,
David Garlan
Carnegie Mellon University, USA
,
Jeff Magee
Imperial College, UK
,
Hausi Müller
University of Victoria, Canada
,
Richard Taylor
University of California, Irvine, USA

Copyright © 2006 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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 May 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICSE06

Sponsor:

ICSE06: International Conference on Software Engineering

May 21 - 22, 2006

Shanghai, China

Acceptance Rates

Overall Acceptance Rate 17 of 31 submissions, 55%

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

27
Total Citations
View Citations
1,051
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Sabatucci LCossentino M(2019)Supporting Dynamic Workflows with Automatic Extraction of Goals from BPMNACM Transactions on Autonomous and Adaptive Systems10.1145/335548814:2(1-38)Online publication date: 17-Oct-2019
https://dl.acm.org/doi/10.1145/3355488
Ghannem AHamdi MAmmar HSoui MHamdan HToral-Cruz HAkleylek SMcheick HBoubiche D(2017)A systematic classification of requirements engineering approaches for adaptive systemsProceedings of the Second International Conference on Internet of things, Data and Cloud Computing10.1145/3018896.3018939(1-9)Online publication date: 22-Mar-2017
https://dl.acm.org/doi/10.1145/3018896.3018939
Tamersoy MEkinci EErdur RDikenelli O(2017)A Requirements Model for Adaptive Multi-Organizational Systems2017 IEEE 11th International Conference on Self-Adaptive and Self-Organizing Systems (SASO)10.1109/SASO.2017.13(41-50)Online publication date: Sep-2017
https://doi.org/10.1109/SASO.2017.13
Serral ESernani PDalpiaz F(2017)Personalized adaptation in pervasive systems via non-functional requirementsJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-017-0611-49:6(1729-1743)Online publication date: 3-Nov-2017
https://doi.org/10.1007/s12652-017-0611-4
Degano PFerrari GGalletta L(2016)A Two-Component Language for AdaptationIEEE Transactions on Software Engineering10.1109/TSE.2015.249694142:6(505-529)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.1109/TSE.2015.2496941
Abuseta YSwesi K(2015)Towards a framework for testing and simulating self adaptive systems2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS)10.1109/ICSESS.2015.7339008(70-76)Online publication date: Sep-2015
https://doi.org/10.1109/ICSESS.2015.7339008
Teruel M(2014)Improving collaborative and Post-WIMP systems through requirements specification2014 IEEE 22nd International Requirements Engineering Conference (RE)10.1109/RE.2014.6912299(461-466)Online publication date: Aug-2014
https://doi.org/10.1109/RE.2014.6912299
Yang ZJin Z(2014)Modeling and Specifying Parametric Adaptation Mechanism for Self-Adaptive SystemsRequirements Engineering10.1007/978-3-662-43610-3_9(105-119)Online publication date: 2014
https://doi.org/10.1007/978-3-662-43610-3_9
Souza VLapouchnian AAngelopoulos KMylopoulos J(2013)Requirements-driven software evolutionComputer Science - Research and Development10.1007/s00450-012-0232-228:4(311-329)Online publication date: 1-Nov-2013
https://dl.acm.org/doi/10.1007/s00450-012-0232-2
Souza VLapouchnian AMylopoulos JMüller HBaresi L(2012)(Requirement) evolution requirements for adaptive systemsProceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.5555/2666795.2666820(155-164)Online publication date: 4-Jun-2012
https://dl.acm.org/doi/10.5555/2666795.2666820
Show More Cited By

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents