Papers


Methodology
 
Jaelson Castro. Paolo Giorgini. Stefanie Kethers. John Mylopoulos. A Requirements-Driven Methodology for Agent-Oriented Software . In B. Henderson-Sellers and P. Giorgini (Eds) Agent-Oriented Methodologies, Idea Group. 2005.
 
Anna Perini. Angelo Susi. Automating Model Transformations in Agent-Oriented Modelling. In Proceedings of AOSE '05 workshop. 2005.
 
S. Dehousse. Stéphane Faulkner. Paolo Giorgini. Manuel Kolp. Delegation Mechanisms for Agent Architectural Design. In Proceedings of the IEEE Intelligent Agent Technology (IAT'05). IEEE Computer Society Press, France, 19-22 Settembre 2005.
 
Paolo Giorgini. John Mylopoulos. Roberto Sebastiani. Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology. In Engineering Applications of Artifcial Intelligence. Volume 18/2, march 2005.
 
Paolo Giorgini. John Mylopoulos. Anna Perini. Angelo Susi. The Tropos Metamodel and its Use. In 2005. Informatical journal.
 
Paolo Bresciani. Paolo Giorgini. Fausto Giunchiglia. John Mylopoulos. Anna Perini. TROPOS: An Agent-Oriented Software Development Methodology. In Journal of Autonomous Agents and Multi-Agent Systems. May 2004. Kluwer Academic Publishers.
 
Paolo Giorgini. Manuel Kolp. John Mylopoulos. Marco Pistore. The Tropos Methodology: an overview. In Methodologies And Software Engineering For Agent Systems. 2004. Kluwer Academic Publishing.
 
Anna Perini. Angelo Susi. Designing a Decision Support System for Integrated Production in Agriculture. An Agent-Oriented approach.. In Environmental Modelling and Software Journal. 2004.
 
Anna Perini. Angelo Susi. Developing Tools for Agent-Oriented Visual Modeling . In Multiagent System Technologies, Proc. of the Second German Conference, MATES 2004. 2004.
 
Paolo Bresciani. Fabrizio Sannicolò. Requirement analysis in TROPOS: a self referencing example. J. Mller, H. Tianfield, R. Unland, R. Kowalszyk, editors. In Agent Technologies, Infrastructures, Tools, and Applications for e-Services. 2003. Springer-Verlag.
 
Paolo Bresciani. Paolo Giorgini. B. Henderson-Sellers. Evaluating the Potential for Integrating the OPEN and Tropos Metamodels. In the 2003 International Conference on Software Engineering Research and Practice (SERP'03). 2003.
 
Paolo Bresciani. Paolo Giorgini. B. Henderson-Sellers. Enhancing Agent OPEN with concepts used in the Tropos methodology. In the Fourth International Workshop Engineering Societies in the Agents World. 2003.
 
Paolo Giorgini. Manuel Kolp. John Mylopoulos. Agent Oriented Software Development. In Proceedings of the 2nd Hellenic Conference on Artificial Intelligence (SETN-02). 2002.
 
Paolo Bresciani. Fabrizio Sannicolò. Applying Tropos Requirements Analysis for defining a Tropos tool. In Agent-Oriented Information System. AOIS-2002: Fourth International Bi-Conference Workshop. Toronto, May 2002.
 
Paolo Giorgini. Manuel Kolp. John Mylopoulos. Socio-Intentional Architectures for Multi-agent Systems: the Mobile Robot Control case. In the Fourth International Bi-Conference Workshop on Agent-Oriented Information systems (AOIS-02) at CAiSE2002. 2002.
 
Jaelson Castro. Manuel Kolp. John Mylopoulos. Towards Requirements-Driven Information Systems Engineering: The Tropos Project. In Information Systems. 2002.
 
Maddalena Garzetti. Paolo Giorgini. John Mylopoulos. Fabrizio Sannicolò. Applying Tropos Methodology to a real case study: Complexity and Criticality analysis. In the Italian workshop on "Dagli OGGETTI agli AGENTI - Dall'informazione alla Conoscenza (WOA02)". Milano, November 2002.
 
Paolo Bresciani. Paolo Giorgini. The TROPOS Analysis Process as Graph Transformation System. In the Workshop on Agent-oriented methodologies. Seattle, WA, USA, November 2002.
 
Fausto Giunchiglia. John Mylopoulos. Anna Perini. The Tropos Software Development Methodology: Processes, Models and Diagrams. In AAMAS Conference 2002. 2002.
 
Paolo Bresciani. Paolo Giorgini. Fausto Giunchiglia. John Mylopoulos. Anna Perini. Towards an Agent Oriented approach to Software Engineering. In the Workshop Dagli oggetti agli agenti: tendenze evolutive dei sistemi software. 2001.
 
Jaelson Castro. Manuel Kolp. John Mylopoulos. UML for Agent-Oriented Software Development: the Tropos Proposal. In the Fourth International Conference on the Unified Modeling Language . 2001.
 
Paolo Bresciani. Paolo Giorgini. Fausto Giunchiglia. John Mylopoulos. Anna Perini. A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. In the Fifth International Conference on Autonomous Agents. Montreal, Canada, 28 May - 1 June 2001.
 
Paolo Bresciani. Paolo Giorgini. Fausto Giunchiglia. John Mylopoulos. Anna Perini. Agent-Oriented Software Development: A Case Study. In the Thirteenth International Conference on Software Engineering . 2001.
 
Günter Gans. Matthias Jarke. Stefanie Kethers. Gerhard Lakemeyer. Modeling the Impact of Trust and Distrust in Agent Networks. In the 3rd Workshop on Agent-Oriented Information Systems (AOIS-2001). 2001.
 
L. Ellrich. C. Funken. Günter Gans. Matthias Jarke. Stefanie Kethers. Gerhard Lakemeyer. M. Meister. Towards (Dis)Trust-Based Simulations of Agent Networks. In the 4th Workshop on Deception, Fraud, and Trust in Agent Societies. 2001.
 
Fausto Giunchiglia. Anna Perini. Fabrizio Sannicolò. Knowledge level software engineering. In Atal conference. 2001. Springer.
 
Jaelson Castro. Manuel Kolp. John Mylopoulos. A Requirements-Driven Software Development Methodology. In Tropos Working Paper. November 2000. University of Toronto, Department of Computer Science.
 
Jaelson Castro. Manuel Kolp. John Mylopoulos. Towards Agent-Oriented Software Development. In Tropos Working Paper. August 2000. University of Toronto, Department of Computer Science.
 
Jaelson Castro. Manuel Kolp. John Mylopoulos. Developing Agent-Oriented Information Systems for the Interprise. In the Second International Conference On Enterprise Information Systems. Stafford, UK, July 4-7 2000.
 
Jaelson Castro. Manuel Kolp. John Mylopoulos. Tropos: Toward Agent-Oriented Information Systems Engineering. In Position Paper @ the Second International Bi-Conference Workshop on Agent-Oriented Information Systems AOIS2000. 2000.
 
J. Brinkkemper. John Mylopoulos. A. Solvberg. Eric Yu. Tropos: A Framework for Requirements-Driven Software Development. In Information Systems Engineering: State of the Art and Research Themes. 2000. Springer-Verlag.
 
Paolo Giorgini. B. Henderson-Sellers. Agent-Oriented Methodologies: an Introduction. In Agent-Oriented Methodologies. december 2004 -january 2005. P. Giorgini and B. Henderson-Sellers (Eds.) .
Requirements
 
Alberto Siena. Engineering Normative Requirements. In 1st International Conference on Research Challenges in Information Science (RCIS'07). 2007.
 
Jaelson Castro. Manuel Kolp. John Mylopoulos. A Requirements-Driven Development Methodology. In the 13th International Conference on Advanced Information Systems Engineering CAiSE 01. 2001.
 
Eric Yu. Agent-Oriented Modelling: Software Versus the World. In Agent-Oriented Software Engineering AOSE-2001 Workshop. 2001.
 
Paolo Bresciani. Paolo Giorgini. Fausto Giunchiglia. John Mylopoulos. Anna Perini. Modeling early requirements in Tropos: a transformation based approach. In Second International Workshop on Agent-Oriented Software Engineering (AOSE-2001). Montreal, Canada, May 29th 2001.
 
Daniel Gross. Eric Yu. Evolving System Architecture to Meet Changing Business Goals: an Agent and Goal-Oriented Approach. In the First International Workshop From Software Requirements to Architectures (STRAW 01) at ICSE 2001. Toronto, Canada, 14 May 2001.
 
Lin Liu. Eric Yu. From Requirements to Architectural Design: Using Goals and Scenarios. In the First International Workshop From Software Requirements to Architectures (STRAW 01)atICSE 2001. Toronto, Canada, 14 May 2001.
 
F. Alencar. Jaelson Castro. G. Cysneiros. John Mylopoulos. From Early Requirements Modeled by the i* Technique to Later Requirements Modeled in Precise UML. In Anais do III Workshop em Engenharia de Requisitos. Rio de Janeiro, Brazil 2000.
Patterns
 
Paolo Giorgini. Haralambos Mouratidis. M. Schumacher. Security Patterns for Agent Systems. In Eighth European Conference on Pattern Languages of Programs. 2003.
 
Paolo Giorgini. Manuel Kolp. John Mylopoulos. Organizational Patterns for Early Requirements Analysis. In the 15th Conference On Advanced Information Systems Engineering (CAiSE*03). 2003.
 
Paolo Giorgini. Manuel Kolp. John Mylopoulos. Multi-Agent and Software Architecture: A Comparative Case Study. In the 1st International Conference on Autonomous Agent and Multi Agent Systems (AAMAS'02). Bologna, Italy, July 2002.
 
Paolo Giorgini. Manuel Kolp. John Mylopoulos. Multi-Agent Architectures as Organizational Structures. In the Internation Journal of Cooperative Information Systems. 2002.
 
Paolo Giorgini. Manuel Kolp. Information Systems Development through Social Structures. In the 14th International Conference on Advanced Information Systems Engineering (CAiSE'02). Toronto, Canada, May 2002.
 
Paolo Giorgini. Manuel Kolp. John Mylopoulos. Information Systems Development trhough Social Structures. In the Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE2002). 2002.
 
Ariel Fuxman. Paolo Giorgini. Manuel Kolp. John Mylopoulos. Information Systems as Social Structures. In Second International Conference on Formal Ontologies for Information Systems (FOIS-2001). Ogunquit, USA, October 17-19 2001.
 
Manuel Kolp. John Mylopoulos. Software Architectures as Organizational Structures.. In Proceedings ASERC Workshop on "The Role of Software Architectures in the Construction, Evolution, and Reuse of Software Systems". Edmonton, Canada, August 24-25 2001.
 
Paolo Giorgini. Manuel Kolp. John Mylopoulos. A Goal-Based Organizational Perspective on Multi-Agents Architectures. In Proceedings of theEighth International Workshop on Agent Theories, architectures, and languages (ATAL-2001). Seattle, USA, August 1-3 2001.
 
Jaelson Castro. Manuel Kolp. John Mylopoulos. A Social Organization Perspective on Software Architectures. In roceedings of theFirst International Workshop From Software Requirements to Architectures (STRAW 01) at ICSE 2001. Toronto, Canada, 14 May 2001.
 
Manuel Kolp. John Mylopoulos. Architectural Styles for Information Systems: An Organizational Perspective. In Tropos Working Paper. 2001.
 
Ariel Fuxman. Paolo Giorgini. John Mylopoulos. From Entities and Relationships to Social Actors and Dependencies. In Proceedings of the 19th International Conference on Conceptual Modeling,ER2000. Salt Lake City, USA, October 2000.
Formal Tropos
 
Ariel Fuxman. Lin Liu. John Mylopoulos. Marco Pistore. Marco Roveri. Paolo Traverso. Specifying and analyzing early requirements in Tropos. In Requirements Engineering Journal. 2004.
 
Anna Perini. Marco Pistore. Marco Roveri. Angelo Susi. Agent-oriented modeling by interleaving formal and informal specification. In Agent Oriented Software Engineering (AOSE-2003). Melbourne, Australia, July 15 2003.
 
Ariel Fuxman. Raman Kazhamiakin. Marco Pistore. Marco Roveri. Tropos: A Framework for Requirements-Driven Software Development. In Trento 2003.
 
Ariel Fuxman. Lin Liu. John Mylopoulos. Marco Pistore. Marco Roveri. Specifying and Analyzing Early Requirements: Some Experimental Results. In RE-2003, the 11th IEEE International Requirements Engineering Conference. Monterey Bay, California U.S.A., 8th-12th September 2003.
 
Ariel Fuxman. John Mylopoulos. Marco Pistore. Paolo Traverso. Model Checking Early Requirements Specifications in Tropos. In RE-2001, the 9th IEEE International Requirements Engineering Conference. Toronto, Canada, August 2001.
Goal Analysis
 
Paolo Giorgini. John Mylopoulos. Roberto Sebastiani. Simple and Minimum-Cost Satisfiability for Goal Models. In the 16th Conference On Advanced Information Systems Engineering (CAiSE*04). 2004.
 
Paolo Giorgini. John Mylopoulos. Eleonora Nicchiarelli. Roberto Sebastiani. Formal Reasoning Techniques for Goal Models. In Journal of Data Semantics. 2004.
 
Paolo Giorgini. John Mylopoulos. Eleonora Nicchiarelli. Roberto Sebastiani. Reasoning with Goal Models. In the 21st International Conference on conceptual Modeling (ER2002). Tampere, Finland, October 2002. Springer Verlag.
Security
 
Paolo Giorgini. Fabio Massacci. Nicola Zannone. Security and Trust Requirements Engineering. In Foundations of Security Analysis and Design III - Tutorial Lectures, LNCS 3655, Springer-Verlag GmbH. 2005.
 
Paolo Giorgini. Fabio Massacci. John Mylopoulos. Nicola Zannone. Modeling Security Requirements Through Ownership, Permission and Delegation. In Proceedings of the 13th IEEE International Requirements Engineering Conference (RE'05).. IEEE Computer Society Design, 29 August - 2 september 2005.
 
Paolo Giorgini. Haralambos Mouratidis. M. Weiss. Security patterns meet agent oriented software engineering: a complementary solution for developing security information systems. In of the 24th International Conference on Conceptual Modelling (ER'05). Klangenfurt, Austria, 24-25 oktober 2005.
 
Paolo Giorgini. G. Manson. Haralambos Mouratidis. When Security Meets Software Engineering: A Case of Modeling Secure Information Systems. In Information System. 2005.
 
Paolo Giorgini. Haralambos Mouratidis. M. Weiss. Modeling Secure Systems Using An Agent-Oriented Approach and Security Patterns. In International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific. 2005.
 
Paolo Giorgini. Haralambos Mouratidis. Secure Tropos: A Security-Oriented Extension of the Tropos Methodology. In Journal of Autonomous Agents and Mult-Agent Systems. 2005. Kluwer Academic Publisher.
 
Paolo Giorgini. Fabio Massacci. John Mylopoulos. Alberto Siena. Nicola Zannone. ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements. In 2005.
 
Paolo Giorgini. Fabio Massacci. John Mylopoulos. Nicola Zannone. Modeling Social and Individual Trust in Requirements Engineering Methodologies. In Proceedings of the Third International Conference on Trust Management (iTrust 2005). Volume 3477 of Lecture Notes in Computer Science, pages 161--176, Rocquencourt, France, 23-26 May 2005. Springer-Verlag GmbH.
 
Paolo Giorgini. Fabio Massacci. John Mylopoulos. Nicola Zannone. Filling the gap between Requirements Engineering and Public Key/Trust Management Infrastructures. In the 1st European PKI Workshop: Research and Applications (1st EuroPKI). 2004.
 
Paolo Giorgini. Fabio Massacci. John Mylopoulos. Nicola Zannone. Requirements Engineering meets Trust Management: Model, Methodology, and Reasoning. In Proceedings of the Second International Conference on Trust Management (iTrust 2004). 2004.
 
Paolo Giorgini. G. Manson. Haralambos Mouratidis. Using Security Attack Scenarios to Analyse Security During Information Systems Design. In the 6th International Conference on Enterprise Information Systems. Porto, Portugal, April 13-17 2004.
 
Paolo Giorgini. Haralambos Mouratidis. Analysing Security in Information Systems. In The Second International Workshop on Security In Information Systems WOSIS-2004. 2004.
 
Paolo Giorgini. G. Manson. Haralambos Mouratidis. Towards the Development of Secure Information Systems: Security Reference Diagrams and Security Attack Scenarios. In Proceedings of the 16th Conference On Advanced Information Systems Engineering (CAiSE*04). 2004.
 
Paolo Bresciani. Paolo Giorgini. G. Manson. Haralambos Mouratidis. Multi-Agent Systems and Security Requirements Analysis. In Software Engineering for Multi-Agent Systems II. 2004. Springer.
 
Paolo Giorgini. Fabio Massacci. John Mylopoulos. Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard. In the 22nd International Conference on Conceptual Modeling (ER'03). 2003.
 
Paolo Giorgini. G. Manson. Haralambos Mouratidis. An Ontology for Modelling Security: The Tropos Approach. In Proceedings of the KES 2003 Invited Session Ontology and Multi-Agent Systems Design (OMASD'03). 2003.
 
Paolo Giorgini. G. Manson. Haralambos Mouratidis. Modelling Secure Multiagent Systems.. In In Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems. 2003.
 
Paolo Giorgini. G. Manson. Haralambos Mouratidis. Integrating Security and Systems Engineering: Towards the Modelling of Secure Information Systems. In the 15th Conference On Advanced Information Systems Engineering (CAiSE*03). Austria, 16 - 20 June 2003.
 
Paolo Bresciani. Paolo Giorgini. Haralambos Mouratidis. On Security Requirements Analysis for Multi-Agent Systems. In Proceedings of 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems SELMAS 2003 in conjunction with the 25th International Conference on Software Engineering (ICSE 2003). Portland, Oregon, USA, May 3-4 2003.
 
A. Gani. Paolo Giorgini. G. Manson. Haralambos Mouratidis. Analysing Security Requirements of Information Systems Using Tropos. In the 5th International Conference on Enterprise Information Systems. Angers - France, April 2003.
 
Paolo Giorgini. Haralambos Mouratidis. M. Weiss. Integrating Patterns and Agent-Oriented Methodologies to Provide Better Solutions for the Development of Secure Agent Systems. In the Workshop on Expressiveness of Pattern Languages 2003, at ChiliPLoP 2003. Carefree, Arizona, March 11-14 2003.
 
Paolo Giorgini. G. Manson. Haralambos Mouratidis. I. Philp. A Natural Extension of Tropos Methodology for Modelling Security. In the Workshop on Agent-oriented methodologies, at OOPSLA 2002. 2002.
 
Paolo Giorgini. G. Manson. Haralambos Mouratidis. I. Philp. Modelling an agent-based integrated health and social care information system for older people. In the International Workshop on Agents Applied in Health Care. Lyon -France, July 2002.
 
Paolo Giorgini. G. Manson. Haralambos Mouratidis. I. Philp. Using Tropos Methedology to Model and integrated Health Assessment System. In the Fourth International Bi-Conference Workshop on Agent-Oriented Information systems (AOIS-02). Toronto, Canada 2002.
Other
 
Paolo Giorgini. Manuel Kolp. John Mylopoulos. Multi-Agent Architectures as Organizational Structures. In Journal of Autonomous Agents and Multi-Agent Systems. 2005. kluwer Academic Publishers.
 
Alexander Birukov. Enrico Blanzieri. Paolo Giorgini. Implicit: an agent-based recommendation system for web search. In the fourth international joint conference on Autonomous agents and multiagent systems AAMAS '05 . 2005.
 
Stéphane Faulkner. Paolo Giorgini. Manuel Kolp. Haralambos Mouratidis. A secure architectural description language for agent systems. In the fourth international joint conference on Autonomous agents and multiagent systems, . 2005.
 
Enrico Blanzieri. Paolo Giorgini. Fausto Giunchiglia. C. Zanoni. Implicite Culture-based Personal Agents for Knowledge Management. Abecker, Andreas, editors. In Agent Mediated Knowledge Management. Dignum, Virginia, LNAI 2926, Springer 2004. Elst, Luder van.
 
Marco Aiello. Paolo Giorgini. M. Papazoglou. Service-Oriented Computing and Software Agents. L. Cavedon, Z. Maamar, D. Martin, editors. In Kluwer 2004.
Data Warehouse Design
 
Maddalena Garzetti. Paolo Giorgini. Stefano Rizzi. Goal-oriented requirement analysis for data warehouse design. In 8th International Workshop on Data Warehouseing and OLAP (DOLAP 2005). 2005.

 

Web Mastering: tropos at dit.unitn.it
Last Update: