@misc { 217, title = {When Security Meets Software Engineering: A Case of Modeling Secure Information Systems.}, year = {2005}, keywords = {pub, pres}, author = {P. Giorgini and G. Manson and H. Mouratidis} } @misc { 308, title = {Understanding the Requirements of a Decision Support System for Agriculture. An Agent-Oriented approach}, year = {2009}, author = {Perini, A. and Susi, A.} } @inproceedings { 251, title = {Using Risk Analysis to Evaluate Design Alternatives.}, journal = {Agent-Oriented Software Engineering VII, Post-proceedings (invited paper)}, year = {2007}, publisher = {Springer}, organization = {Springer}, author = {Asnar, Y. and Bryl, V. and Giorgini, P.} } @inproceedings { 201, title = {Using Security Attack Scenarios to Analyse Security During Information Systems Design.}, journal = {6th International Conference on Enterprise Information Systems (2004)}, year = {2004}, month = {13/04/2004}, address = {Porto, Portugal}, keywords = {pub}, author = {P. Giorgini and G. Manson and H. Mouratidis} } @inproceedings { 214, title = {Using Tropos Methodology to Model and integrated Health Assessment System.}, journal = {Fourth International Bi-Conference Workshop on Agent-Oriented Information systems (AOIS-02)}, year = {2002}, address = {Toronto, Canada}, keywords = {pub}, author = {P. Giorgini and G. Manson and H. Mouratidis and I. Philp} } @inproceedings { 103, title = {UML for Agent-Oriented Software Development: The Tropos Proposal}, journal = {UML 2001}, year = {2001}, abstract = {

We describe a software development methodology called Tropos for agent-oriented software systems. The methodology adopts the i* modeling framework, which offers the notions of actor, goal and (actor) dependency, and uses these as a foundation to model early and late requirements, architectural and detailed design. The paper outlines the methodology, and shows how the concepts of Tropos can be accommodated within UML. In addition, we also adopt recent proposals for extensions of UML to support design specifications for agent software. Finally the paper compares Tropos to other research on aeent-oriented software development.

}, keywords = {pub}, author = {Mylopoulos, J. and Kolp, M. and Castro, J.} } @inproceedings { 161, title = {UML for Agent-Oriented Software Development: the Tropos Proposal.}, journal = {Fourth International Conference on the Unified Modeling Language (2001)}, year = {2001}, keywords = {pub}, URL = {files/UML01.pdf}, author = {J. Castro and M. Kolp and J. Mylopoulos} } @inproceedings { 260, title = {Towards a Framework for Law-Compliant Software Requirements.}, journal = {31st International Conference on Software Engineering (ICSE09)}, year = {2009}, author = {Siena, A. and Mylopoulos, J. and Perini, A. and Susi, A.} } @inproceedings { 291, title = {Towards a Unified Framework for Contextual Variability in Requirements}, journal = {3rd International Workshop on Software Product Management (IWSPM09)}, year = {2009}, author = {Ali, R. and Yu, Y. and Chitchyan, R. and Nhlabatsi, A. and Giorgini, P.} } @inproceedings { citekey:2008, title = {Towards goal-oriented development of self-adaptive systems}, journal = {Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS`08)}, year = {2008}, pages = {9--16}, publisher = {ACM}, organization = {ACM}, author = {Morandini, M. and Penserini, L. and Perini, A.} } @inproceedings { citekey:2008, title = {Towards Seamless Adaptation: An Agent-Oriented Approach}, journal = {2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems}, year = {2008}, pages = {471--472}, publisher = {IEEE}, organization = {IEEE}, author = {Qureshi, N.A. and Perini, A.} } @inproceedings { MorandiniAOSE200, title = {Tool-Supported Development with Tropos: The Conference Management System Case Study}, journal = {8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 2007}, editor = {Luck, Michael and Padgham, Lin}, volume = {4951}, year = {2008}, note = {8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 2007}, pages = {182--196}, publisher = {Springer}, organization = {Springer}, ISBN = {978-3-540-79487-5}, author = {Morandini, M and Nguyen, D.C. and Perini, A.;Siena, A. and Susi, A.} } @inproceedings { QureshiSASO2008, title = {Towards Seamless Adaptation: An Agent-Oriented Approach}, journal = {SASO '08: Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems}, year = {2008}, pages = {471--472}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, address = {Washington, DC, USA}, ISBN = {978-0-7695-3404-6}, author = {Qureshi, N.A. and Perini, A.} } @article { 188, title = {The Tropos Metamodel and its Use.}, journal = {Informatical journal}, year = {2005}, keywords = {pub}, author = {P. Giorgini and J. Mylopoulos and A. Perini and A. Susi} } @article { bresciani2004tao, title = {Tropos: An Agent-Oriented Software Development Methodology}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {8}, number = {3}, year = {2004}, pages = {203--236}, publisher = {Springer}, keywords = { }, author = {Bresciani, P. and Perini, A. and Giorgini, P. and Giunchiglia, F. and Mylopoulos, J.} } @article { 163, title = {TROPOS: An Agent-Oriented Software Development Methodology.}, journal = {Journal of Autonomous Agents and Multi-Agent Systems}, year = {2004}, publisher = {Kluwer Academic Publishers}, keywords = {pub}, author = {P. Bresciani and P. Giorgini and F. Giunchiglia and J. Mylopoulos and A. Perini} } @inbook { 164, title = {The Tropos Methodology: an overview.}, booktitle = {Methodologies And Software Engineering For Agent Systems}, year = {2004}, publisher = {Kluwer Academic Publishers}, keywords = {pub}, author = {P. Giorgini and M. Kolp and J. Mylopoulos and M. Pistore} } @inproceedings { 203, title = {Towards the Development of Secure Information Systems: Security Reference Diagrams and Security Attack Scenarios.}, journal = {16th Conference On Advanced Information Systems Engineering (CAiSE*04)}, year = {2004}, keywords = {pub}, author = {P. Giorgini and G. Manson and H. Mouratidis} } @misc { 111, title = {Tropos: A Framework for Requirements-Driven Software Development.}, year = {2003}, keywords = { }, author = {Ariel Fuxman and Raman Kazhamiakin and Marco Pistore and Marco Roveri} } @inproceedings { 162, title = {Towards Requirements-Driven Information Systems Engineering: The Tropos Project.}, journal = {Information Systems (2002)}, year = {2002}, keywords = {pub}, author = {J. Castro and M. Kolp and J. Mylopoulos} } @inproceedings { 166, title = {The TROPOS Analysis Process as Graph Transformation System.}, journal = {Workshop on Agent-oriented methodologies (2002)}, year = {2002}, address = {Seattle, USA}, author = {P. Bresciani and P. Giorgini} } @inproceedings { 167, title = {The Tropos Software Development Methodology: Processes, Models and Diagrams.}, journal = {AAMAS Conference (2002)}, year = {2002}, keywords = {pub}, author = {F. Giunchiglia and J. Mylopoulos and A. Perini} } @inproceedings { 160, title = {Towards an Agent Oriented approach to Software Engineering.}, journal = {Workshop Dagli oggetti agli agenti: tendenze evolutive dei sistemi software}, year = {2001}, keywords = {pub}, author = {P. Bresciani and P. Giorgini and F. Giunchiglia and J. Mylopoulos and A. Perini} } @inproceedings { 174, title = {Towards (Dis)Trust-Based Simulations of Agent Networks.}, journal = {4th Workshop on Deception, Fraud, and Trust in Agent Societies (2001)}, year = {2001}, keywords = {pub}, author = {L. Ellrich and C. Funken and G. Gans and M. Jarke and S. Kethers} } @misc { 177, title = {Towards Agent-Oriented Software Development.}, year = {2000}, keywords = {pub}, author = {J. Castro and M. Kolp and J. Mylopoulos} } @inproceedings { 179, title = {Tropos: Toward Agent-Oriented Information Systems Engineering.}, journal = {Second International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS2000)}, year = {2000}, keywords = {pub}, author = {J. Castro and M. Kolp and J. Mylopoulos} } @misc { 180, title = {Tropos: A Framework for Requirements-Driven Software Development.}, year = {2000}, keywords = {pub}, author = {J. Brinkkemper and J. Mylopoulos and A. Solvberg and E. Yu} } @inproceedings { PajaDalpPogg2012, title = {STS-Tool: Using Commitments to Specify Socio-Technical Security Requirements}, journal = {31st International Conference on Conceptual Modeling}, volume = {7518}, year = {2012}, pages = {396--399}, publisher = {Springer}, organization = {Springer}, author = {E. Paja and F. Dalpiaz and M. Poggianella and P. Roberti and P. Giorgini} } @inproceedings { PajaDalpPogg2012, title = {STS-Tool: Socio-Technical Security Requirements through Social Commitments}, journal = {Proceedings of the 20th International IEEE Conference on Requirements Engineering (RE'12)}, year = {2012}, pages = {331--332}, publisher = {IEEE}, organization = {IEEE}, author = {E. Paja and F. Dalpiaz and M. Poggianella and P. Roberti and P. Giorgini} } @inproceedings { DalpPajaGior2011, title = {Security Requirements Engineering for Service-Oriented Applications}, journal = {Proceedings of the Fifth International i* Workshop (istar'11)}, year = {2011}, author = {F. Dalpiaz and E. Paja and P. Giorgini} } @inproceedings { DalpPajaGior2011, title = {Security Requirements Engineering via Commitments}, journal = {Proceedings of the First Workshop on Socio-Technical Aspects in Security and Trust (STAST'11)}, year = {2011}, author = {F. Dalpiaz and E. Paja and P. Giorgini} } @inproceedings { 267, title = {Software Self-Reconfiguration: a BDI-based approach (Extended Abstract).}, journal = {8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009)}, year = {2009}, author = {Dalpiaz, F. and Giorgini, P. and Mylopoulos, J.} } @inproceedings { 271, title = {Secure and Dependable Patterns in Organizations: An Empirical Approach.}, journal = {15th IEEE International Requirements Engineering Conference (RE '07)}, year = {2007}, month = {15/10/2007}, address = {New Delhi, India}, author = {Asnar, Y. and Bonato, R. and Giorgini, P. and Massacci, F. and Meduri, V. and Riccucci, C. and Saydane, A.} } @article { 247, title = {Self-Configuring Socio-Technical Systems: Redesign at Runtime.}, journal = {International Transactions on Systems Science and Applications}, year = {2006}, author = {Bryl, V. and Giorgini, P.} } @inbook { 198, title = {Security and Trust Requirements Engineering.}, booktitle = {Foundations of Security Analysis and Design III}, year = {2005}, publisher = {Springer-Verlag}, keywords = {pub}, author = {P. Giorgini and F. Massacci and N. Zannone} } @inproceedings { 216, title = {Security patterns meet agent oriented software engineering: a complementary solution for developing security information systems.}, journal = {24th International Conference on Conceptual Modelling (ER'05)}, year = {2005}, month = {24/10/2005}, address = {Klangenfurt, Austria}, keywords = {pub}, author = {P. Giorgini and H. Mouratidis and M. Weiss} } @article { 219, title = {Secure Tropos: A Security-Oriented Extension of the Tropos Methodology.}, journal = {Journal of Autonomous Agents and Mult-Agent Systems}, year = {2005}, keywords = {pub}, author = {P. Giorgini and H. Mouratidis} } @misc { 220, title = {ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements}, year = {2005}, keywords = {pub}, author = {P. Giorgini and F. Massacci and J. Mylopoulos and A. Siena and N. Zannone} } @article { 109, title = {Specifying and analyzing early requirements in Tropos}, journal = {Requirements Engineering Journal}, year = {2004}, keywords = {pub}, author = {Ariel Fuxman and Lin Liu and John Mylopoulos and Marco Pistore and Marco Roveri and Paolo Traverso} } @inproceedings { 130, title = {Simple and Minimum-Cost Satisfiability for Goal Models.}, journal = {16th Conference On Advanced Information Systems Engineering (CAiSE*04)}, year = {2004}, keywords = {pub}, author = {P. Giorgini and J. Mylopoulos and R. Sebastiani} } @inproceedings { 112, title = {Specifying and Analyzing Early Requirements: Some Experimental Results.}, journal = {RE-2003, the 11th IEEE International Requirements Engineering Conference}, year = {2003}, month = {08/09/2003}, address = {Monterey Bay, California U.S.A.}, keywords = {pub}, author = {Ariel Fuxman and Lin Liu and John Mylopoulos and Marco Pistore and Marco Roveri} } @inproceedings { 137, title = {Security Patterns for Agent Systems.}, journal = {Eighth European Conference on Pattern Languages of Programs (2003)}, year = {2003}, keywords = {pub}, author = {P. Giorgini and H. Mouratidis and M. Schumacher} } @inproceedings { 159, title = {Socio-Intentional Architectures for Multi-agent Systems: the Mobile Robot Control case.}, journal = {Fourth International Bi-Conference Workshop on Agent-Oriented Information systems (AOIS-02)}, year = {2002}, keywords = {pub}, author = {P. Giorgini and M. Kolp and J. Mylopoulos} } @inproceedings { 144, title = {Software Architectures as Organizational Structures.}, journal = {ASERC Workshop on "The Role of Software Architectures in the Construction, Evolution, and Reuse of Software Systems"}, year = {2001}, month = {24/08/2001}, address = {Edmonton, Canada}, author = {M. Kolp and J. Mylopoulos} } @inproceedings { 342, title = {Reasoning about Agents and Protocols via Goals and Commitments}, journal = {Autonomous Agents and Multi-Agent Systems}, year = {2010}, author = {Chopra, A. and Dalpiaz, F. and Giorgini, P. and Mylopoulos, J.} } @inproceedings { 273, title = {Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach.}, journal = {3rd International Workshop on Dependability Aspects on Data WArehousing and Mining applications (DAWAM 2008)}, year = {2008}, address = {Barcelona, Spain}, author = {Asnar, Y. and Moretti, R. and Sebastianis M. and Zannone, N.} } @inproceedings { MorandiniAOSE200, title = {Refining Goal Models by Evaluating System Behaviour}, journal = {8th International Workshop on Agent Oriented Software Engineering (AOSE '07)}, editor = {Luck, Michael and Padgham, Lin}, volume = {4951}, year = {2008}, note = {8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 2007}, pages = {44--57}, publisher = {Springer}, organization = {Springer}, author = {Morandini, M. and Penserini, L. and Perini, A. and Susi, A.} } @inproceedings { 274, title = {Reasoning about Risk in Agents Deliberation Process: a Jadex Implementation.}, journal = {8th International Workshop on Agent Oriented Software Engineering (AOSE '07)}, year = {2007}, month = {14/05/2007}, address = {Honolulu, Hawai'i}, author = {Asnar, Y. and Giorgini, P. and Zannone, N.} } @inproceedings { 200, title = {Requirements Engineering meets Trust Management: Model, Methodology, and Reasoning.}, journal = {Second International Conference on Trust Management (iTrust 2004)}, year = {2004}, keywords = {pub}, author = {P. Giorgini and F. Massacci and J. Mylopoulos and N. Zannone} } @inproceedings { 105, title = {Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard}, journal = {22nd International Conference on Conceptual Modeling (ER 2003)}, volume = {2813}, year = {2003}, pages = {263}, publisher = {Springer}, organization = {Springer}, keywords = { }, author = {Giorgini, P. and Massacci, F. and Mylopoulos, J.} } @inproceedings { 168, title = {Requirement analysis in TROPOS: a self referencing example.}, journal = {Agent Technologies, Infrastructures, Tools, and Applications for e-Services (2003)}, year = {2003}, keywords = {pub}, author = {P. Bresciani and F. Sannicolò} } @inproceedings { 132, title = {Reasoning with Goal Models.}, journal = {21st International Conference on conceptual Modeling (ER2002)}, year = {2002}, address = {Tampere, Finland}, keywords = {pub}, author = {P. Giorgini and J. Mylopoulos and E. Nicchiarelli and R. Sebastiani} } @inproceedings { citekey:2009, title = {Operational Semantics of Goal Models in Adaptive Agents}, journal = {8th International Conference on Autonomous Agents and Multiagent Systems}, year = {2009}, pages = {129--136}, publisher = {IFAAMAS}, organization = {IFAAMAS}, author = {Morandini, M. and Perini, A. and Penserini, L.} } @inproceedings { 325, title = {Operational semantics of goal models in adaptive agents}, journal = {Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems}, year = {2009}, author = {Morandini, M. and Penserini, L. and Perini, A.} } @inproceedings { 138, title = {Organizational Patterns for Early Requirements Analysis.}, journal = {15th Conference On Advanced Information Systems Engineering (CAiSE*03)}, year = {2003}, keywords = {pub}, author = {P. Giorgini and M. Kolp and J. Mylopoulos} } @inproceedings { 209, title = {On Security Requirements Analysis for Multi-Agent Systems.}, journal = {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)}, year = {2003}, month = {03/05/2003}, address = {Portland, Oregon, USA}, keywords = {pub}, author = {P. Giorgini and G. Manson and H. Mouratidis} } @inproceedings { PajaDalpPogg2012, title = {Modelling Security Requirements in Socio-Technical Systems with STS-Tool}, journal = {Forum of the Conference on Advanced Information Systems Engineering}, volume = {855}, year = {2012}, pages = {155--162}, author = {E. Paja and F. Dalpiaz and M. Poggianella and P. Roberti and P. Giorgini} } @inproceedings { 341, title = {Multi-Dimensional Uncertainty Analysis in Secure and Dependable Domain}, journal = {Fifth International Conference on Availability, Reliability and Security (AReS 2010)}, year = {2010}, publisher = {IEEE Press}, organization = {IEEE Press}, address = {Krakow, Poland}, author = {Asnar, Y. and Giorgini, P.} } @misc { 288, title = {Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments}, year = {2009}, author = {Chopra, A. and Dalpiaz, F. and Giorgini, P. and Mylopoulos, J.} } @article { 346, title = {Modeling and Analyzing Location-based Requirements: Goal-oriented Approach}, journal = {International Journal of Computer Science and Software Technology (IJCSST)}, volume = {2}, year = {2009}, pages = {7}, chapter = {89}, author = {Ali, R. and Dalpiaz, F. and Giorgini, P.} } @inproceedings { 348, title = {Monitoring and Diagnosing Malicious Attacks with Autonomic Software}, journal = {28th International Conference on Conceptual Modeling (ER 2009)}, editor = {Alberto Laender; Silvana Castano; Umeshwar Dayal; Fabio Casati; José de Oliveira}, volume = {5829/2009}, year = {2009}, month = {09/11/2009}, pages = {84-98}, publisher = {Springer}, organization = {Springer}, address = {Gramado, RS, Brazil}, abstract = {

Monitoring and diagnosing (M&D) software based on requirement models is a problem that has recently received a lot of attention in field of Requirement Engineering. In this context, Wang et al. [1] propose a M&D framework that uses goal models to diagnose failures in software at different levels of granularity. In this paper we extend Wang’s framework to monitor and diagnose malicious attacks. Our extensions include the addition of anti-goals to model attacker intentions, as well as context-based modeling of the domain within which our system operates. The extended framework has been implemented and evaluated through a series of experiments intended to test its scalability.

}, URL = {http://www.springerlink.com/content/t0346q5900210112/}, author = {V. E. Silva Souza and J. Mylopoulos} } @inproceedings { 257, title = {Modeling and Analyzing Variability for Mobile Information Systems.}, journal = {International Conference on Computational Science and Its Applications (ICCSA 2008)}, year = {2008}, month = {30/06/2008}, publisher = {Springer}, organization = {Springer}, address = {Perugia, Italy}, author = {Ali, R. and Dalpiaz, F. and Giorgini, P.} } @inproceedings { citekey:2008, title = {Modelling Self-Adaptivity: A Goal-Oriented Approach}, journal = {2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems}, year = {2008}, note = {short paper}, publisher = {IEEE}, organization = {IEEE}, author = {Morandini, M. and Penserini, L. and Perini, A.} } @inproceedings { 275, title = {Modelling Risk and Identifying Countermeasure in Organizations.}, journal = {1st International Workshop on Critical Information Infrastructures Security (CRITIS '06)}, year = {2006}, month = {30/08/2006}, address = {Samos Island, Greece}, author = {Asnar, Y. and Giorgini, P.} } @inproceedings { 215, title = {Modeling Security Requirements Through Ownership, Permission and Delegation.}, journal = {13th IEEE International Requirements Engineering Conference (RE'05)}, year = {2005}, month = {29/08/2005}, keywords = {pub}, author = {P. Giorgini and F. Massacci and J. Mylopoulos and N. Zannone} } @article { 218, title = {Modeling Secure Systems Using An Agent-Oriented Approach and Security Patterns.}, journal = {International Journal of Software Engineering and Knowledge Engineering (IJSEKE)}, year = {2005}, keywords = {pub}, author = {P. Giorgini and H. Mouratidis and M. Weiss} } @inproceedings { 221, title = {Modeling Social and Individual Trust in Requirements Engineering Methodologies.}, journal = {Third International Conference on Trust Management (iTrust 2005)}, year = {2005}, keywords = {pub}, author = {P. Giorgini and F. Massacci and J. Mylopoulos and N. Zannone} } @inbook { 204, title = {Multi-Agent Systems and Security Requirements Analysis.}, booktitle = {Software Engineering for Multi-Agent Systems II}, year = {2004}, keywords = {pub}, author = {P. Bresciani and P. Giorgini and G. Manson and H. Mouratidis} } @inproceedings { 207, title = {Modelling Secure Multiagent Systems.}, journal = {2nd International Joint Conference on Autonomous Agents and Multiagent Systems (2003)}, year = {2003}, keywords = {pub}, author = {P. Giorgini and G. Manson and H. Mouratidis} } @inproceedings { 139, title = {Multi-Agent and Software Architecture: A Comparative Case Study.}, journal = {1st International Conference on Autonomous Agent and Multi Agent Systems (AAMAS'02)}, year = {2002}, address = {Bologna, Italy}, keywords = {pub}, author = {P. Giorgini and M. Kolp and J. Mylopoulos} } @article { 140, title = {Multi-Agent Architectures as Organizational Structures.}, journal = {Internation Journal of Cooperative Information Systems}, year = {2002}, keywords = {pub}, author = {P. Giorgini and M. Kolp and J. Mylopoulos} } @inproceedings { 213, title = {Modelling an agent-based integrated health and social care information system for older people.}, journal = {International Workshop on Agents Applied in Health Care (2002)}, year = {2002}, address = {Lyon, France}, keywords = {pub}, author = {P. Giorgini and G. Manson and H. Mouratidis and I. Philp} } @inproceedings { 113, title = {Model Checking Early Requirements Specifications in Tropos.}, journal = {RE-2001, the 9th IEEE International Requirements Engineering Conference.}, year = {2001}, address = {Toronto, Canada}, keywords = {pub}, author = {Ariel Fuxman and John Mylopoulos and Marco Pistore and Paolo Traverso} } @inproceedings { 123, title = {Modeling early requirements in Tropos: a transformation based approach.}, journal = {Second International Workshop on Agent-Oriented Software Engineering (AOSE-2001)}, year = {2001}, keywords = {pub}, author = {Paolo Bresciani and Paolo Giorgini and Fausto Giunchiglia and John Mylopoulos and Anna Perini} } @inproceedings { 173, title = {Modeling the Impact of Trust and Distrust in Agent Networks.}, journal = {3rd Workshop on Agent-Oriented Information Systems (AOIS-2001)}, year = {2001}, keywords = {pub}, author = {G. Gans and M. Jarke and S. Kethers and G. Lakemeyer} } @inproceedings { 256, title = {Location-based Software Modeling and Analysis: Tropos-based Approach.}, journal = {27th International Conference on Conceptual Modeling (ER 08)}, year = {2008}, month = {20/10/2008}, publisher = {Springer}, organization = {Springer}, address = {Barcelona, Spain}, author = {Ali, R. and Dalpiaz, F. and Giorgini, P.} } @inproceedings { 258, title = {Location-based Variability for Mobile Information Systems.}, journal = {20th International Conference on Advanced Information Systems Engineering (CAiSE 08)}, year = {2008}, month = {16/06/2008}, publisher = {Springer}, organization = {Springer}, address = {Montpellier, France}, author = {Ali, R. and Dalpiaz, F. and Giorgini, P.} } @inproceedings { 175, title = {Knowledge level software engineering.}, journal = {Atal conference (2001)}, year = {2001}, author = {F. Giunchiglia and A. Perini and F. Sannicolò} } @inproceedings { 208, title = {Integrating Security and Systems Engineering: Towards the Modelling of Secure Information Systems.}, journal = {15th Conference On Advanced Information Systems Engineering (CAiSE*03)}, year = {2003}, month = {16/06/2003}, address = {Austria}, keywords = {pub}, author = {P. Giorgini and G. Manson and H. Mouratidis} } @inproceedings { 211, title = {Integrating Patterns and Agent-Oriented Methodologies to Provide Better Solutions for the Development of Secure Agent Systems.}, journal = {Workshop on Expressiveness of Pattern Languages 2003, at ChiliPLoP (2003)}, year = {2003}, month = {11/03/2003}, address = {Carefree, Arizona}, keywords = {pub}, author = {P. Giorgini and H. Mouratidis and M. Weiss} } @inproceedings { 141, title = {Information Systems Development through Social Structures.}, journal = {14th International Conference on Advanced Information Systems Engineering (CAiSE'02)}, year = {2002}, address = {Toronto, Canada}, keywords = {pub}, author = {P. Giorgini and M. Kolp} } @inproceedings { 142, title = {Information Systems Development trhough Social Structures.}, journal = {Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE2002)}, year = {2002}, keywords = {pub}, author = {P. Giorgini and M. Kolp and J. Mylopoulos} } @inproceedings { 143, title = {Information Systems as Social Structures.}, journal = {Second International Conference on Formal Ontologies for Information Systems (FOIS-2001)}, year = {2001}, month = {17/10/2001}, address = {Ogunquit, USA}, keywords = {pub}, author = {A. Fuxman and P. Giorgini and M. Kolp and J. Mylopoulos} } @article { Penserini2007, title = {High variability design for software agents: Extending Tropos}, journal = {ACM Transactions on Autonomous and Adaptive Systems (TAAS)}, volume = {2}, number = {4}, year = {2007}, author = {Penserini, L. and Perini, A. and Susi, A. and Mylopoulos, J.} } @article { Nguyen2010, title = {Goal-oriented testing for MASs}, journal = {Int. J. Agent-Oriented Software Engineering}, volume = {4}, number = {1}, year = {2010}, pages = {79--109}, author = {Nguyen, C.D. and Perini, A. and Tonella, P.} } @inproceedings { 254, title = {Goal-based Self-Contextualization.}, journal = {Forum of the 21st International Conference on Advanced Information Systems (CAiSE 09 - Forum)}, year = {2009}, month = {08/06/2009}, address = {Amsterdam, The Netherlands}, author = {Ali, R. and Dalpiaz, F. and Giorgini, P.} } @article { 289, title = {GRAnD: A Goal-Oriented Approach to Requirement Analysis in Data Warehouses}, journal = {Decision Support Systems}, volume = {45}, year = {2008}, pages = {18}, publisher = {Elsevier}, chapter = {4}, author = {Giorgini, P. and Rizzi, S. and Garzetti, M.} } @inproceedings { 134, title = {Goal-oriented requirement analysis for data warehouse design.}, journal = {8th International Workshop on Data Warehouseing and OLAP (DOLAP 2005)}, year = {2005}, keywords = {pub}, author = {M. Garzetti and P. Giorgini and S. Rizzi} } @inbook { 187, title = {Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology.}, booktitle = {Engineering Applications of Artifcial Intelligence}, volume = {18/2}, year = {2005}, keywords = {pub}, author = {P. Giorgini and J. Mylopoulos and R. Sebastiani} } @article { TrBeckDalp2012, title = {Formative User-Centered Evaluation of Security Modeling: Results from a Case Study}, journal = {International Journal of Secure Software Engineering}, volume = {3}, number = {1}, year = {2012}, pages = {1--19}, author = {S. Troesterer and E. Beck and F. Dalpiaz and E. Paja and P. Giorgini and M. Tscheligi} } @inproceedings { 261, title = {From Laws to Requirements.}, journal = {1st International Workshop on Requirements Engineering and Law (Relaw'08)}, year = {2008}, address = {Barcelona, Spain}, author = {Siena, A. and Mylopoulos, J. and Perini, A. and Susi, A.} } @inproceedings { 272, title = {From Trust to Dependability through Risk Analysis.}, journal = {Second International Conference on Availability, Reliability and Security (AReS 2007)}, year = {2007}, month = {10/04/2007}, address = {Vienna, Austria}, author = {Asnar, Y. and Giorgini, P. and Massacci, F. and Zannone, N.} } @article { 131, title = {Formal Reasoning Techniques for Goal Models.}, journal = {Journal of Data Semantics}, year = {2004}, keywords = {pub}, author = {P. Giorgini and J. Mylopoulos and E. Nicchiarelli and R. Sebastiani} } @inproceedings { 199, title = {Filling the gap between Requirements Engineering and Public Key/Trust Management Infrastructures.}, journal = {1st European PKI Workshop: Research and Applications (1st EuroPKI)}, year = {2004}, keywords = {pub}, author = {P. Giorgini and F. Massacci and J. Mylopoulos and N. Zannone} } @inproceedings { 125, title = {From Requirements to Architectural Design: Using Goals and Scenarios.}, journal = {First International Workshop From Software Requirements to Architectures (STRAW 01)}, year = {2001}, month = {14/05/2001}, address = {Toronto, Canada}, keywords = {pub}, author = {Lin Liu and Eric Yu} } @inproceedings { 126, title = {From Early Requirements Modeled by the i* Technique to Later Requirements Modeled in Precise UML.}, journal = {Anais do III Workshop em Engenharia de Requisitos (2000)}, year = {2000}, address = {Rio de Janeiro, Brazil}, keywords = {pub}, author = {F. Alencar and J. Castro and G. Cysneiros and J. Mylopoulos} } @inproceedings { 148, title = {From Entities and Relationships to Social Actors and Dependencies.}, journal = {19th International Conference on Conceptual Modeling (ER2000)}, year = {2000}, address = {Salt Lake City, USA}, keywords = {pub}, author = {A. Fuxman and P. Giorgini and J. Mylopoulos} } @article { 248, title = {Evaluating Procedural Alternatives: a Case Study in e-Voting.}, journal = {Electronic Government, an International Journal}, volume = {6}, year = {2009}, pages = {19}, chapter = {213}, author = {Bryl, V. and Dalpiaz, F. and Ferrario, R. and Mattioli, A. and Villafiorita, A.} } @inproceedings { QureshiSEAMS2009, title = {Engineering adaptive requirements}, journal = {International Workshop on Software Engineering for Adaptive and Self-Managing Systems}, year = {2009}, pages = {126-131}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, ISBN = {978-1-4244-3724-5}, author = {Qureshi, N.A. and Perini, A.} } @inproceedings { 262, title = {Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability.}, journal = {20th International Conference on Advanced Information Systems Engineering (CAiSE'08)}, year = {2008}, month = {16/06/2008}, address = {Montpellier, France}, author = {Siena, A. and Maiden, N. and Lockerbie, J. and Karlsen, K. and Perini, A. and Susi, A.} } @article { 269, title = {Evaluation of Business Solutions in Manufacturing Enterprises.}, journal = {International Journal on Business Intelligence and Data Mining}, volume = {3}, year = {2008}, publisher = {Inderscience}, author = {Asnar, Y. and Giorgini, P. and Ciancarini, P. and Moretti, R. and } } @inproceedings { 127, title = {Engineering Normative Requirements.}, journal = {1st International Conference on Research Challenges in Information Science (RCIS'07)}, year = {2007}, keywords = {pub}, author = {A. Siena} } @inproceedings { 249, title = {Evaluating Procedural Alternatives. A Case Study in E-Voting.}, journal = {1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07)}, year = {2007}, month = {27/09/2007}, address = {Camerino, Italy}, author = {Bryl, V. and Dalpiaz, F. and Ferrario, R. and Mattioli, A. and Villafiorita, A.} } @inproceedings { 263, title = {Engineering Normative Requirements.}, journal = {First IEEE International Conference on Research challenges in Information Science (RCIS)}, year = {2007}, month = {22/04/2007}, address = {Ouarzazate, Morocco}, author = {Siena, A.} } @inproceedings { 169, title = {Evaluating the Potential for Integrating the OPEN and Tropos Metamodels.}, journal = {International Conference on Software Engineering Research and Practice (SERP'03)}, year = {2003}, keywords = {pub}, author = {P. Bresciani and P. Giorgini and B. Henderson-Sellers} } @inproceedings { 170, title = {Enhancing Agent OPEN with concepts used in the Tropos methodology.}, journal = {Fourth International Workshop Engineering Societies in the Agents World (2003)}, year = {2003}, keywords = {pub}, author = {P. Bresciani and P. Giorgini and B. Henderson-Sellers} } @inproceedings { 124, title = {Evolving System Architecture to Meet Changing Business Goals: an Agent and Goal-Oriented Approach.}, journal = {First International Workshop From Software Requirements to Architectures (STRAW 01)}, year = {2001}, month = {14/05/2001}, address = {Toronto, Canada}, keywords = {pub}, author = {Daniel Gross and Eric Yu} } @article { 250, title = {Designing Socio-Technical Systems: From Stakeholder Goals to Social Networks.}, journal = {Requirement Engineering}, year = {2009}, author = {Bryl, V. and Giorgini, P. and Mylopoulos, J.} } @inproceedings { 259, title = {Designing Law-Compliant Software Requirements.}, journal = {ER 2009}, year = {2009}, author = {Siena, A. and Mylopoulos, J. and Perini, A. and Susi, A.} } @inproceedings { 252, title = {Designing Security Requirements Models through Planning.}, journal = {18th Conference on Advanced Information Systems Engineering (CAiSE'06)}, year = {2006}, month = {05/06/2006}, publisher = {Springer}, organization = {Springer}, address = {Luxembourg}, author = {Bryl, V. and Massacci, F. and Mylopoulos, J. and Zannone, N.} } @inproceedings { 185, title = {Delegation Mechanisms for Agent Architectural Design.}, journal = {IEEE Intelligent Agent Technology (IAT'05)}, year = {2005}, keywords = {pub}, author = {S. Dehousse and S. Faulkner and P. Giorgini and M. Kolp} } @article { 183, title = {Designing a Decision Support System for Integrated Production in Agriculture. An Agent-Oriented approach.}, journal = {Environmental Modelling and Software Journal}, year = {2004}, keywords = {pub}, author = {A. Perini and A. Susi} } @inproceedings { 184, title = {Developing Tools for Agent-Oriented Visual Modeling.}, journal = {Second German Conference (MATES 2004)}, year = {2004}, keywords = {pub}, author = {A. Perini and A. Susi} } @inproceedings { 178, title = {Developing Agent-Oriented Information Systems for the Enterprise.}, journal = {Second International Conference On Enterprise Information Systems (2000)}, year = {2000}, month = {04/04/2000}, address = {Stafford, UK}, keywords = {pub}, author = {J. Castro and M. Kolp and J. Mylopoulos} } @inproceedings { 292, title = {Context for Goal-level Product Line Derivation}, journal = {3rd International Workshop on Dynamic Software Product Lines (DSPL09)}, year = {2009}, author = {Ali, R. and Chitchyan, R. and Giorgini, P.} } @inproceedings { 264, title = {Balanced Goalcards: combining Balanced Scorecards and Goal Analysis.}, journal = {Third International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2008)}, year = {2008}, month = {04/05/2008}, address = {Funchal, Madeira - Portugal}, author = {Siena, A. and Bonetti, A. and Giorgini, P.} } @article { 265, title = {Balancing Business Perspectives in Requirements Analysis.}, journal = {Lecture Notes in Communications in Computer and Information Science}, year = {2008}, publisher = {Springer-Verlag}, author = {Siena, A. and Bonetti, A. and Giorgini, P.} } @inproceedings { 253, title = {B-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification.}, journal = {8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)}, year = {2007}, month = {10/09/2007}, address = {Porto, Portugal}, author = {Bryl, V. and Montali, M. and Mello, P. and Torroni, P. and Zannone, N.} } @inproceedings { 347, title = {Awareness Requirements for Adaptive Systems}, journal = {6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011)}, year = {2011}, month = {23/05/2011}, pages = {(to appear)}, publisher = {ACM}, organization = {ACM}, address = {Honolulu, Hawaii, USA}, abstract = {

Recently, there has been a growing interest in self-adaptive systems. Roadmap papers in this area point to feedback loops as a promising way of operationalizing adaptivity in such systems. In this paper, we define a new type of requirement — called Awareness Requirement — that can refer to other requirements and their success/failures. We propose a way to elicit and formalize such requirements and offer a requirements monitoring framework to support them.

 

 

}, keywords = {Requirements engineering, modeling, adaptive systems, awareness, monitoring}, author = {Vítor E. Silva Souza and Alexei Lapouchnian and William N. Robinson and John Mylopoulos} } @inproceedings { 310, title = {An empirical study of Requirements Model understanding: Use Case vs. Tropos models}, journal = {25th ACM Symposium on Applied Computing }, year = {2010}, author = {Hadar, I. and Reinhartz-Berger, I. and Kuflik, T. and Perini, A. and Ricca, F. and Susi, A.} } @article { 345, title = {A Goal-based Framework for Contextual Requirements Modeling and Analysis}, journal = {Requirements Engineering}, volume = {15}, year = {2010}, pages = {20}, chapter = {439}, author = {Ali, R. and Dalpiaz, F. and Giorgini, P.} } @inproceedings { 255, title = {A Goal Modeling Framework for Self-Contextualizable Software.}, journal = {14th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD09)}, year = {2009}, month = {08/06/2009}, publisher = {Springer}, organization = {Springer}, address = {Amsterdam, The Netherlands}, author = {Ali, R. and Dalpiaz, F. and Giorgini, P.} } @inproceedings { 266, title = {An Architecture for Requirements-driven Self-Reconfiguration.}, journal = {21st International Conference on Advanced Information Systems Engineering (CAiSE '09)}, year = {2009}, publisher = {Springer}, organization = {Springer}, author = {Dalpiaz, F. and Giorgini, P. and Mylopoulos, J.} } @inproceedings { MorandiniESAW200, title = {A Goal-Oriented Approach for Modelling Self-Organising MAS}, journal = {Proceedings of the 10th International Workshop on Engineering Societies in the Agents' World (ESAW 2009)}, volume = {5881}, year = {2009}, month = {November}, publisher = {Springer}, organization = {Springer}, author = {Morandini, M. and Migeon, F. and Gleizes, M. and Maurel, C. and Penserini, L. and Perini, A.} } @inproceedings { 268, title = {Applying Tropos to Socio-Technical System Design and Runtime Configuration.}, journal = {Evolution of Agent Development: Methodologies, Tools, Platforms and Languages (WOA08)}, year = {2008}, month = {17/09/2008}, address = {Palermo, Italy}, author = {Dalpiaz, F. and Ali, R. and Asnar, Y. and Bryl, V. and Giorgini, P.} } @inproceedings { 270, title = {Analyzing Business Continuity through a Multi-Layers Model.}, journal = {6th International Conference on Business Process Management (BPM 2008)}, year = {2008}, month = {01/09/2008}, address = {Milan, Italy}, author = {Asnar, Y. and Giorgini, P.} } @inproceedings { QureshiQSIC2008, title = {An Agent-Based Middleware for Adaptive Systems}, journal = {QSIC '08: Proceedings of the 2008 The Eighth International Conference on Quality Software}, year = {2008}, pages = {423--428}, publisher = {IEEE Computer Society}, organization = {IEEE Computer Society}, address = {Washington, DC, USA}, ISBN = {978-0-7695-3312-4}, author = {Qureshi, N.A. and Perini, A.} } @inproceedings { Penserini2007a, title = {A Design Framework for Generating BDI-agents from Goal Models}, journal = {6th Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'07), Honolulu, Hawaii}, year = {2007}, pages = {610-612}, ISBN = {978-81-904262-7-5}, author = {Penserini, L. and Perini, A. and Susi, A. and Morandini, M. and Mylopoulos, J.} } @misc { 181, title = {A Requirements-Driven Methodology for Agent-Oriented Software.}, year = {2005}, keywords = {pub}, author = {J. Castro and P. Giorgini and S. Kethers and J. Mylopoulos} } @inproceedings { 182, title = {Automating Model Transformations in Agent-Oriented Modelling.}, journal = {AOSE '05 workshop}, year = {2005}, keywords = {pub}, author = {A. Perini and A. Susi} } @misc { 186, title = {Agent-Oriented Methodologies: an Introduction.}, year = {2005}, keywords = {pub}, author = {P. Giorgini and B. Henderson-Sellers} } @inproceedings { 202, title = {Analysing Security in Information Systems.}, journal = {Second International Workshop on Security In Information Systems (WOSIS-2004)}, year = {2004}, keywords = {pub}, author = {P. Giorgini and H. Mouratidis} } @inproceedings { 110, title = {Agent-oriented modeling by interleaving formal and informal specification.}, journal = {Agent Oriented Software Engineering (AOSE-2003)}, year = {2003}, month = {15/07/2003}, address = {Melbourne, Australia}, keywords = {pub}, author = {Anna Perini and Marco Pistore and Marco Roveri and Angelo Susi} } @inproceedings { 206, title = {An Ontology for Modelling Security: The Tropos Approach.}, journal = {KES 2003 Invited Session Ontology and Multi-Agent Systems Design (OMASD'03)}, year = {2003}, keywords = {pub}, author = {P. Giorgini and G. Manson and H. Mouratidis} } @inproceedings { 210, title = {Analysing Security Requirements of Information Systems Using Tropos.}, journal = {International Conference on Enterprise Information Systems}, year = {2003}, address = {Angers, France}, keywords = {pub}, author = {A. Gani and P. Giorgini and G. Manson and H. Mouratidis} } @inproceedings { 157, title = {Agent Oriented Software Development.}, journal = {2nd Hellenic Conference on Artificial Intelligence (SETN-02)}, year = {2002}, keywords = {pub}, author = {P. Giorgini and M. Kolp and J. Mylopoulos} } @inproceedings { 158, title = {Applying Tropos Requirements Analysis for defining a Tropos tool.}, journal = {Agent-Oriented Information System. AOIS-2002: Fourth International Bi-Conference Workshop (2002)}, year = {2002}, address = {Toronto, Canada}, keywords = {pub}, author = {P. Bresciani and F. Sannicolò} } @inproceedings { 165, title = {Applying Tropos Methodology to a real case study: Complexity and Criticality analysis.}, journal = {Workshop on "Dagli OGGETTI agli AGENTI - Dall'informazione alla Conoscenza (WOA02)"}, year = {2002}, keywords = {pub}, author = {M. Garzetti and P. Giorgini and J. Mylopoulos and F. Sannicolò} } @inproceedings { 212, title = {A Natural Extension of Tropos Methodology for Modelling Security.}, journal = {Workshop on Agent-oriented methodologies, at OOPSLA 2002}, year = {2002}, keywords = {pub}, author = {P. Giorgini and G. Manson and H. Mouratidis and I. Philp} } @inproceedings { 122, title = {Agent-Oriented Modelling: Software Versus the World.}, journal = {Agent-Oriented Software Engineering (AOSE-2001)}, year = {2001}, keywords = {pub}, author = {Eric Yu} } @inproceedings { 145, title = {A Goal-Based Organizational Perspective on Multi-Agents Architectures.}, journal = {Eighth International Workshop on Agent Theories, architectures, and languages (ATAL-2001)}, year = {2001}, month = {01/08/2001}, address = {Seattle, USA}, keywords = {pub}, author = {P. Giorgini and M. Kolp and J. Mylopoulos} } @inproceedings { 146, title = {A Social Organization Perspective on Software Architectures.}, journal = {First International Workshop From Software Requirements to Architectures (STRAW 01)}, year = {2001}, month = {14/05/2001}, address = {Toronto, Canada}, keywords = {pub}, author = {Jaelson Castro and Manuel Kolp and John Mylopoulos} } @misc { 147, title = {Architectural Styles for Information Systems: An Organizational Perspective.}, year = {2001}, keywords = {pub}, author = {M. Kolp and J. Mylopoulos} } @inproceedings { 171, title = {A Knowledge Level Software Engineering Methodology for Agent Oriented Programming.}, journal = {Fifth International Conference on Autonomous Agents (2001)}, year = {2001}, month = {28/05/2001}, address = {Montreal, Canada}, keywords = {pub}, author = {P. Bresciani and P. Giorgini and F. Giunchiglia and J. Mylopoulos and A. Perini} } @inproceedings { 172, title = {Agent-Oriented Software Development: A Case Study.}, journal = {Thirteenth International Conference on Software Engineering (2001)}, year = {2001}, keywords = {pub}, author = {P. Bresciani and P. Giorgini and F. Giunchiglia and J. Mylopoulos and A. Perini} } @misc { 176, title = {A Requirements-Driven Software Development Methodology.}, year = {2000}, keywords = {pub}, author = {J. Castro and M. Kolp and J. Mylopoulos} } @inproceedings { 343, title = { Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments}, journal = {Conference on Advanced Information Systems Engineering}, year = {2010}, author = {Chopra, A. and Dalpiaz, F. and Giorgini, P. and Mylopoulos, J.} } @inproceedings { 344, title = { Adaptation in Open Systems: Giving Interaction its Rightful Place}, journal = {ER 2010}, year = {2010}, author = {Dalpiaz, F. and Chopra, A. and Giorgini, P. and Mylopoulos, J.} } @inproceedings { 121, title = { A Requirements-Driven Development Methodology.}, journal = {13th International Conference on Advanced Information Systems Engineering (CAiSE 01)}, year = {2001}, keywords = {pub}, author = {Jaelson Castro and Manuel Kolp and John Mylopoulos} }