Towards goal-oriented development of self-adaptive systems

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 97-104

  Morandini, Mirko ^a   Penserini, Loris ^b   Perini, Anna ^a  

^a ITC IRST   (Italy)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Adaptive systems; Agent oriented software engineering; BDI agents; Software development process

Indexed keywords

AGENT MODEL; AGENT ORIENTED SOFTWARE ENGINEERING; AGENT-ORIENTED APPROACH; BDI AGENT; BELIEF-DESIRE-INTENTIONS; COMPLEX ENVIRONMENTS; COMPUTING RESOURCE; DESIGN FRAMEWORKS; GOAL-ORIENTED; MODEL SYSTEM; NETWORKED SOFTWARE; RECOVERY ACTIONS; REFERENCE ARCHITECTURE; REQUIREMENTS SPECIFICATIONS; RUNTIMES; SELF-ADAPTIVE SOFTWARE; SELF-ADAPTIVE SYSTEM; SOFTWARE DEVELOPMENT PROCESS; SYSTEM ARCHITECTURE DESIGN;

ADAPTIVE SYSTEMS; COBALT COMPOUNDS; INTELLIGENT AGENTS; MODELS; SOFTWARE AGENTS;

SOFTWARE DESIGN;

EID: 79959484255     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. D. Berry, B. Cheng, and J. Zhang. The four levels of requirements engineering for and in dynamic adaptive systems. In Proceedings of the 11th International Workshop on Requirements Engineering: Foundation for Software Quality, Porto, Portugal, 2005.
2. L. Braubach, A. Pokahr, D. Moldt, and W. Lamersdorf. Goal representation for bdi agent systems. In PROMAS, pages 44-65, 2004.
3. P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos, and A. Perini. Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems, 8(3):203-236, July 2004.
4. M. Dastani, M. B. van Riemsdijk, and J.-J. C. Meyer. Goal types in agent programming. In ECAI, pages 220-224, 2006.
5. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model checking early requirements specifications in Tropos. In IEEE Int. Symposium on Requirements Engineering, pages 174-181, Toronto (CA), Aug. 2001. IEEE Computer Society.
6. A. G. Ganek and T A. Corbi. The dawning of the autonomic computing era. IBM Systems Journal, 42(1):5-18, 2003.
7. H. Goldsby and B. H. C. Cheng. Goal-oriented modeling of requirements engineering for dynamically adaptive system. In RE, pages 338-339. IEEE Computer Society, 2006. (Pubitemid 351424246)
8. B. Henderson-Sellers and P. Giorgini, editors. Agent-Oriented Methodologies. Idea Group Inc., 2005.
9. J. Kiessel, J. Beard, and P. Nielsen. Failure recovery: A software engineering methodology for robust agents. In SELMAS 2002, Orlando, Florida, USA, 2002.
10. R. Laddaga. Self adaptive software problems and projects. In SOFTWARE-EVOLVABILITY '06: Proceedings of the Second International IEEE Workshop on Software Evolvability (SE'06), pages 3-10, Washington, DC, USA, 2006. IEEE Computer Society.
11. A. Lapouchnian, Y. Yu, S. Liaskos, and J. Mylopoulos. Requirements-driven design of autonomic application software. In H. Erdogmus, E. Stroulia, and D. A. Stewart, editors, CASCON, pages 80-94. IBM, 2006.
12. M. Morandini. Knowledge level engineering of BDI agents. Master's thesis, DIT, Universita di Trento, Italy, September 2006. Available at
13. http://disi.unitn.it/morandini/resources/ThesisMirkoMorandini.pdf.
14. M. Morandini, L. Penserini, A. Perini, and A. Susi. Refining goal models by evaluating system behaviour. In Proceedings of the 8th International Workshop on Agent-Oriented Software Engineering (AOSE-2007), colocated with AAMAS07, Honolulu, Hawaii, 2007.
15. P. Norvig and D. Cohn. Adaptive software. PC AI, 11(1):27-30, 1997.
16. A. Omicini, A. Ricci, and M. Viroli. Agens Faber: Toward a theory of artefacts for mas. Electr. Notes Theor. Comput. Sci., 150(3):21-36, 2006. (Pubitemid 43737178)
17. L. Penserini, A. Perini, A. Susi, M. Morandini, and J. Mylopoulos. A Design Framework for Generating BDI-agents from Goal Models. In O. Sheory and M. Huhns, editors, AAMAS'07, Honolulu, Hawai'i, 2007. Extended version available as ITC-irst TR200601002 at
18. http://disi.unitn.it/"morandini/resources/bdiagents-goalmodels.pdf.
19. L. Penserini, A. Perini, A. Susi, and J. Mylopoulos. From Stakeholder Intentions to Software Agent Implementations. In Proceedings of the 18th Conference On Advanced Information Systems Engineering (CAiSE'06), volume 4001 of LNCS, pages 465-479, Luxemburg, 2006. Springer-Verlag.
20. L. Penserini, A. Perini, A. Susi, and J. Mylopoulos. High variability design for software agents: Extending tropos. TAAS, 2(4), 2007.
21. A. Perini and A. Susi. Agent-Oriented Visual Modeling and Model Validation for Engineering Distributed Systems. Computer Systems Science & Engineering, 20(4):319-329, 2005. (Pubitemid 41561789)
22. A. Perini and A. Susi. Automating Model Transformations in Agent-Oriented Modelling. In Agent Oriented Software Engineering VI: AOSE'05, volume 3950 of LNCS, pages 167-178. Springer-Verlag, 2006.
23. A. Pokahr, L. Braubach, and W. Lamersdorf. Jadex: A bdi reasoning engine. In J. D. R. Bordini, M. Dastani and A. E. F. Seghrouchni, editors, Multi-Agent Programming, pages 149-174. Springer Science+Business Media Inc., USA, 9 2005. Book chapter.
24. A. S. Rao and M. P. Georgeff. Bdi agents: From theory to practice. In ICMAS, pages 312-319, 1995.
25. A. van Lamsweerde. Goal-oriented requirements engineering: A guided tour. In RE, page 249, 2001.
26. A. van Lamsweerde. Elaborating security requirements by construction of intentional anti-models. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 148-157, Washington, DC, USA, 2004. IEEE Computer Society.
27. A. van Lamsweerde and E. Letier. Handling obstacles in goal-oriented requirements engineering. IEEE Transactions on Software Engineering, Special Issue on Exception Handling, 26(10), 2000.