More Web Proxy on the site http://driver.im/

Article

Towards requirements-driven autonomic systems design

Authors:

Alexei Lapouchnian,

Sotirios Liaskos,

John Mylopoulos,

Yijun YuAuthors Info & Claims

DEAS '05: Proceedings of the 2005 workshop on Design and evolution of autonomic application software

Pages 1 - 7

https://doi.org/10.1145/1083063.1083075

Published: 21 May 2005 Publication History

Abstract

Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protection. These tasks are accomplished by switching at runtime to a different system behaviour - the one that is more efficient, more secure, more stable, etc. - while still fulfilling the main purpose of the system. Thus, identifying and analyzing alternative ways of how the main objectives of the system can be achieved and designing a system that supports all of these alternative behaviours is a promising way to develop autonomic systems. This paper proposes the use of requirements goal models as a foundation for such software development process and sketches a possible architecture for autonomic systems that can be built using the this approach.

References

[1]

A. Dardenne, A. van Lamsweerde and S. Fickas. Goal-Directed Requirements Acquisitions, Science of Computer Programming, 20:3--50, 1993.

Digital Library

[2]

M. S. Feather, S. Fickas, A. Van Lamsweerde, and C. Ponsard. Reconciling system requirements and runtime behavior. In Proc. 9th International Workshop on Software Specification and Design, p. 50. IEEE Computer Society, 1998.

Digital Library

[3]

P. Giorgini, J. Mylopoulos, E. Nicchiarelli, R. Sebastiani. Reasoning with Goal Models. In Proc. 21st International Conference on Conceptual Modeling (ER2002), Tampere, Finland.

Digital Library

[4]

B. Hui, S. Liaskos, and J. Mylopoulos. Requirements Analysis for Customizable Software: Goals-Skills-Preferences Framework. In Proc. 11th IEEE International Requirements Engineering Conference (RE'03), Monterrey, CA, pp. 117--126, September 2003.

Digital Library

[5]

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson. Feature-Oriented Domain Analysis (FODA) feasibility study (CMU/SEI-90-TR-21, ADA235785). Technical Report, SEI/CMU, 1990.

[6]

J. Kephart and D. Chess. The vision of autonomic computing, Computer, 36(1):41--50, 2003.

Digital Library

[7]

S. Liaskos, A. Lapouchnian, Y. Wang, Y. Yu, and S. Easterbrook. Configuring common personal software: a requirements-driven approach. Technical Report CSRG-512, University of Toronto, 2005. Available at: ftp://ftp.cs.toronto.edu/csrg-technical-reports/512/.

Digital Library

[8]

R. Murch. Autonomic Computing. Prentice Hall, 2004.

Digital Library

[9]

J. Mylopoulos, L. Chung, and B. Nixon. Representing and using non-functional requirements: a process-oriented approach, IEEE Transactions on Software Engineering, 18(6):483--497, 1992.

Digital Library

[10]

R. Sebastiani, P. Giorgini, J. Mylopoulos. Simple and Minimum-Cost Satisfiability for Goal Models. In Proc. CAiSE 2004, Riga, Latvia.

[11]

W. Spears, K. De Jong, T. Baeck, D. Fogel, H. Garis. An Overview of Evolutionary Computing. In Proc. European Conference on Machine Learning, 1993.

Digital Library

[12]

K. Sycara, M. Klusch, S. Widoff, and J. Lu. Dynamic Service Matchmaking among Agents in open Information Environments, ACM SIGMOD Record, Special Issue on Semantic Interoperability in Global Information Systems, A. Ouksel, A. Sheth (Eds.), 28(1):47--53, 1999.

Digital Library

[13]

A. van Lamsweerde. Requirements Engineering in the Year 00: A Research Perspective. Proc. ICSE'00, Limerick, Ireland, June, 2000.

Digital Library

[14]

E. Yu. Modeling Organizations for Information Systems Requirements Engineering. In Proc. 1st IEEE International Symposium on Requirements Engineering, San Diego, CA, 1993, pp. 34--41.

[15]

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. Available at: ftp://ftp.cs.toronto.edu/csrg-technical-reports/509/.

Cited By

Pinto A(2021)Requirement Specification, Analysis and Verification for Autonomous Systems2021 58th ACM/IEEE Design Automation Conference (DAC)10.1109/DAC18074.2021.9586208(1315-1318)Online publication date: 5-Dec-2021
https://doi.org/10.1109/DAC18074.2021.9586208
Ardagna CAsal RDamiani EDimitrakos TEl Ioini NPahl C(2018)Certification-Based Cloud AdaptationIEEE Transactions on Services Computing10.1109/TSC.2018.2793268(1-1)Online publication date: 2018
https://doi.org/10.1109/TSC.2018.2793268
Aggarwal PGrover PAhuja L(2018)Incorporating Autonomic Capability as Quality Attribute for a Software System2018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO)10.1109/ICRITO.2018.8748488(829-833)Online publication date: Aug-2018
https://doi.org/10.1109/ICRITO.2018.8748488
Show More Cited By

Index Terms

Recommendations

Requirements-driven design of autonomic application software
CASCON '06: Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research

Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protection. These tasks are accomplished by switching at runtime to a different ...
Towards requirements-driven autonomic systems design

Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protection. These tasks are accomplished by switching at runtime to a different ...
Towards Autonomic GIPSY
EASE '08: Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems

The goal of the autonomic GIPSY (AGIPSY) is to make the General Intensional Programming System (GIPSY) capable of self-managing to a far greater extent than it does it now. This paper presents the AGIPSY architecture for autonomic computing based on ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

DEAS '05: Proceedings of the 2005 workshop on Design and evolution of autonomic application software

May 2005

105 pages

ISBN:1595930396

DOI:10.1145/1083063

ACM SIGSOFT Software Engineering Notes Volume 30, Issue 4
July 2005
1514 pages
ISSN:0163-5948
DOI:10.1145/1082983
Issue’s Table of Contents

Copyright © 2005 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 May 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

80
Total Citations
View Citations
1,006
Total Downloads

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

Reflects downloads up to 07 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Pinto A(2021)Requirement Specification, Analysis and Verification for Autonomous Systems2021 58th ACM/IEEE Design Automation Conference (DAC)10.1109/DAC18074.2021.9586208(1315-1318)Online publication date: 5-Dec-2021
https://doi.org/10.1109/DAC18074.2021.9586208
Ardagna CAsal RDamiani EDimitrakos TEl Ioini NPahl C(2018)Certification-Based Cloud AdaptationIEEE Transactions on Services Computing10.1109/TSC.2018.2793268(1-1)Online publication date: 2018
https://doi.org/10.1109/TSC.2018.2793268
Aggarwal PGrover PAhuja L(2018)Incorporating Autonomic Capability as Quality Attribute for a Software System2018 7th International Conference on Reliability, Infocom Technologies and Optimization (Trends and Future Directions) (ICRITO)10.1109/ICRITO.2018.8748488(829-833)Online publication date: Aug-2018
https://doi.org/10.1109/ICRITO.2018.8748488
Coker ZGarlan DLe Goues CInverardi PSchmerl B(2015)SASSProceedings of the 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.5555/2821357.2821386(168-174)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2821357.2821386
Coker ZGarlan DGoues C(2015)SASSProceedings of the 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1109/SEAMS.2015.16(168-174)Online publication date: 18-May-2015
https://dl.acm.org/doi/10.1109/SEAMS.2015.16
Chen BPeng XYu YZhao W(2014)Uncertainty handling in goal-driven self-optimization - Limiting the negative effect on adaptationJournal of Systems and Software10.5555/2747013.274714090:C(114-127)Online publication date: 1-Apr-2014
https://dl.acm.org/doi/10.5555/2747013.2747140
Chun IPark JKim W(2014)Self-adaptive system development method for smart control systems in CPS16th International Conference on Advanced Communication Technology10.1109/ICACT.2014.6779039(635-639)Online publication date: Feb-2014
https://doi.org/10.1109/ICACT.2014.6779039
Zouari MSegarra MDrira K(2014)Software Architecture and Tools: Distributed and Coordinated Dynamic Reconfiguration ManagementSoftware Architecture 110.1002/9781118930960.ch4(121-169)Online publication date: 8-May-2014
https://doi.org/10.1002/9781118930960.ch4
Yahya MYahya MDahanayake A(2013)Autonomic Computing: A Framework to Identify Autonomy RequirementsProcedia Computer Science10.1016/j.procs.2013.09.26720(235-241)Online publication date: 2013
https://doi.org/10.1016/j.procs.2013.09.267
Zeller MPrehofer C(2012)A multi-layered control approach for self-adaptation in automotive embedded systemsAdvances in Software Engineering10.1155/2012/9714302012(10-10)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.1155/2012/971430
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