On the use of the Goal-Oriented Paradigm for System Design and Law Compliance Reasoning

The concept of goal may be used to model intentions of human actors, such as requirements analysts or designers, as well as the reasons for pro-active behaviour of software agents. This short paper describes three ongoing research efforts on the application of the Goal-Oriented paradigm to system requirements analysis, system design and development of self-adaptive software agents.

[1]  Anna Perini,et al.  Operational semantics of goal models in adaptive agents , 2009, AAMAS.

[2]  N. Isaacs,et al.  Fundamental Legal Conceptions as Applied in Judicial Reasoning: And Other Legal Essays , 2010 .

[3]  John Mylopoulos,et al.  The Tropos Metamodel and its Use , 2005, Informatica.

[4]  Rogério de Lemos,et al.  Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , 2012, ICSE 2012.

[5]  Massimo Cossentino,et al.  Introducing Motivations in Design Pattern Representation , 2009, ICSR.

[6]  John Mylopoulos,et al.  High variability design for software agents: Extending Tropos , 2007, TAAS.

[7]  Harry A. Bigelow,et al.  Book Review (reviewing Wesley Newcomb Hohfeld, Fundamental Legal Conceptions as Applied in Judicial Reasoning (1923)) , 2022 .

[8]  John Mylopoulos,et al.  From object-oriented to goal-oriented requirements analysis , 1999, CACM.

[9]  Marco Pistore,et al.  Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[10]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[11]  Anna Perini,et al.  Towards goal-oriented development of self-adaptive systems , 2008, SEAMS '08.

[12]  John Mylopoulos,et al.  Designing Law-Compliant Software Requirements , 2009, ER.

[13]  John Mylopoulos,et al.  Towards a framework for law-compliant software requirements , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

[14]  Tommi Mikkonen,et al.  Formalizing design patterns , 1998, Proceedings of the 20th International Conference on Software Engineering.

[15]  Andrea Omicini,et al.  Agens Faber: Toward a Theory of Artefacts for MAS , 2006, Electron. Notes Theor. Comput. Sci..