Paolo Giorgini (Trento University)
Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology
Tropos is an agent-oriented software methodology founded on the notions of agent and goal, and goal analysis is used extensively to support software development during different phases.
In this seminar I will present the semantics and the formalization of goal models and I will show two different forms of reasoning (forward and backward) applied to the requirements analysis phase.
I will briefly present also the implemented tool that supports the whole approach.
Paolo Giorgini is researcher in Computer Science at University of Trento.
research interests include agent-oriented software engineering, multi-agent system modeling and design, knowledge representation and conceptual modeling.
has worked on the development of requirements and design languages for agent-based systems, and the application of knowledge representation techniques to software repositories and software development.
He is currently working in a number of research projects at University of Trento and ITC-irst.
Giorgini received his Ph.D. degree from Computer Science Institute of University of Ancona (Italy) in 1998.
Between March and October 1998 he worked at University of Macerata and University of Ancona as research assistant, where he continued to carry out research in agent-based software engineering.
In November 1998 he joined the Mechanized Reasoning Group (MRG) at University of Trento as pos-doc researcher.
In December 1998 he started a collaboration with the Computer Science Department at University of Toronto (Canada) where he spent several months doing research in agent-based software development methodologies.
publication list includes more than 100 refereed journal and conference proceedings papers and five edited books.
has contributed to the organization of international conferences as chair and program committee member, such as CoopIS, ER, CAiSE, AAMAS, EUMAS, AOSE, AOIS, and ISWC.