\input zb-basic
\input zb-ioport
\iteman{io-port 05273113}
\itemau{Pagliarecci, Francesco; Penserini, Loris; Spalazzi, Luca}
\itemti{From a goal-oriented methodology to a BDI agent language: The case of Tropos and Alan.}
\itemso{Meersman, Robert (ed.) et al., On the move to meaningful internet systems 2007: OTM 2007 workshops. OTM confederated international workshops and posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25--30, 2007. Proceedings, Part I. Berlin: Springer (ISBN 978-3-540-76887-6/pbk). Lecture Notes in Computer Science 4805, 105-114 (2007).}
\itemab
Summary: This approach aims at addressing crucial issues in complex distributed software such as capability of evolving and adaptivity. Within the area of goal-oriented software requirements engineering, we propose the use of goal models at different abstraction levels in engineering a Multi-Agent System (MAS), namely, not only at design time, but also as a part of the agent knowledge and choice strategy, at run-time. In this paper we briefly overview a mapping between Tropos concepts and Alan (an agent-object programming language) structures. Specifically, we focus on two advantages of our approach: first, Alan allows us to use in an integrated fashion both agent oriented and object oriented design principles. Second, Alan has a well defined semantics expressed by means of rewriting logic. This allows us to verify the properties of an agent both at design time and at run-time (when its knowledge and behavior can have been modified).
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-76888-3\_30}
\end