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.
%0 Conference Paper %B Fourth International Conference on the Unified Modeling Language (2001) %D 2001 %T UML for Agent-Oriented Software Development: the Tropos Proposal. %A Castro, J %A Kolp, M %A Mylopoulos, J %K pub %U files/UML01.pdf %0 Conference Paper %B 31st International Conference on Software Engineering (ICSE09) %D 2009 %T Towards a Framework for Law-Compliant Software Requirements. %A Siena, A %A Mylopoulos, J %A Perini, A %A Susi, A %0 Conference Paper %B 3rd International Workshop on Software Product Management (IWSPM09) %D 2009 %T Towards a Unified Framework for Contextual Variability in Requirements %A Ali, R %A Yu, Y %A Chitchyan, R %A Nhlabatsi, A %A Giorgini, P %0 Conference Paper %B Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS`08) %D 2008 %T Towards goal-oriented development of self-adaptive systems %A Morandini, M %A Penserini, L %A Perini, A %I ACM %P 9--16 %0 Conference Paper %B 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems %D 2008 %T Towards Seamless Adaptation: An Agent-Oriented Approach %A Qureshi, N A %A Perini, A %I IEEE %P 471--472 %0 Conference Paper %B 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 2007 %D 2008 %T Tool-Supported Development with Tropos: The Conference Management System Case Study %A Morandini, M %A Nguyen, D C %A Perini, A %A Siena, A %A Susi, A %E Luck, Michael and Padgham, Lin %I Springer %P 182--196 %S LNCS %V 4951 %Z 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 2007 %@ 978-3-540-79487-5 %0 Conference Paper %B SASO '08: Proceedings of the 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems %D 2008 %T Towards Seamless Adaptation: An Agent-Oriented Approach %A Qureshi, N A %A Perini, A %C Washington, DC, USA %I IEEE Computer Society %P 471--472 %@ 978-0-7695-3404-6 %0 Journal Article %J Informatical journal %D 2005 %T The Tropos Metamodel and its Use. %A Giorgini, P %A Mylopoulos, J %A Perini, A %A Susi, A %K pub %0 Journal Article %J Autonomous Agents and Multi-Agent Systems %D 2004 %T Tropos: An Agent-Oriented Software Development Methodology %A Bresciani, P %A Perini, A %A Giorgini, P %A Giunchiglia, F %A Mylopoulos, J %I Springer %P 203--236 %V 8 %0 Journal Article %J Journal of Autonomous Agents and Multi-Agent Systems %D 2004 %T TROPOS: An Agent-Oriented Software Development Methodology. %A Bresciani, P %A Giorgini, P %A Giunchiglia, F %A Mylopoulos, J %A Perini, A %I Kluwer Academic Publishers %K pub %0 Book Section %B Methodologies And Software Engineering For Agent Systems %D 2004 %T The Tropos Methodology: an overview. %A Giorgini, P %A Kolp, M %A Mylopoulos, J %A Pistore, M %I Kluwer Academic Publishers %K pub %0 Conference Paper %B 16th Conference On Advanced Information Systems Engineering (CAiSE*04) %D 2004 %T Towards the Development of Secure Information Systems: Security Reference Diagrams and Security Attack Scenarios. %A Giorgini, P %A Manson, G %A Mouratidis, H %K pub %0 Generic %D 2003 %T Tropos: A Framework for Requirements-Driven Software Development. %A Fuxman, Ariel %A Kazhamiakin, Raman %A Pistore, Marco %A Roveri, Marco %0 Conference Paper %B Information Systems (2002) %D 2002 %T Towards Requirements-Driven Information Systems Engineering: The Tropos Project. %A Castro, J %A Kolp, M %A Mylopoulos, J %K pub %0 Conference Paper %B Workshop on Agent-oriented methodologies (2002) %D 2002 %T The TROPOS Analysis Process as Graph Transformation System. %A Bresciani, P %A Giorgini, P %C Seattle, USA %0 Conference Paper %B AAMAS Conference (2002) %D 2002 %T The Tropos Software Development Methodology: Processes, Models and Diagrams. %A Giunchiglia, F %A Mylopoulos, J %A Perini, A %K pub %0 Conference Paper %B Workshop Dagli oggetti agli agenti: tendenze evolutive dei sistemi software %D 2001 %T Towards an Agent Oriented approach to Software Engineering. %A Bresciani, P %A Giorgini, P %A Giunchiglia, F %A Mylopoulos, J %A Perini, A %K pub %0 Conference Paper %B 4th Workshop on Deception, Fraud, and Trust in Agent Societies (2001) %D 2001 %T Towards (Dis)Trust-Based Simulations of Agent Networks. %A Ellrich, L %A Funken, C %A Gans, G %A Jarke, M %A Kethers, S %K pub %0 Generic %D 2000 %T Towards Agent-Oriented Software Development. %A Castro, J %A Kolp, M %A Mylopoulos, J %K pub %0 Conference Paper %B Second International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS2000) %D 2000 %T Tropos: Toward Agent-Oriented Information Systems Engineering. %A Castro, J %A Kolp, M %A Mylopoulos, J %K pub %0 Generic %D 2000 %T Tropos: A Framework for Requirements-Driven Software Development. %A Brinkkemper, J %A Mylopoulos, J %A Solvberg, A %A Yu, E %K pub %0 Conference Paper %B 31st International Conference on Conceptual Modeling %D 2012 %T STS-Tool: Using Commitments to Specify Socio-Technical Security Requirements %A Giorgini, Paja and Dalpiaz and Poggianella and Roberti and %I Springer %P 396--399 %V 7518 %0 Conference Paper %B Proceedings of the 20th International IEEE Conference on Requirements Engineering (RE'12) %D 2012 %T STS-Tool: Socio-Technical Security Requirements through Social Commitments %A Giorgini, Paja and Dalpiaz and Poggianella and Roberti and %I IEEE %P 331--332 %0 Conference Paper %B Proceedings of the Fifth International i* Workshop (istar'11) %D 2011 %T Security Requirements Engineering for Service-Oriented Applications %A Giorgini, Dalpiaz and Paja and %0 Conference Paper %B Proceedings of the First Workshop on Socio-Technical Aspects in Security and Trust (STAST'11) %D 2011 %T Security Requirements Engineering via Commitments %A Giorgini, Dalpiaz and Paja and %0 Conference Paper %B 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009) %D 2009 %T Software Self-Reconfiguration: a BDI-based approach (Extended Abstract). %A Dalpiaz, F %A Giorgini, P %A Mylopoulos, J %0 Conference Paper %B 15th IEEE International Requirements Engineering Conference (RE '07) %D 2007 %T Secure and Dependable Patterns in Organizations: An Empirical Approach. %A Asnar, Y %A Bonato, R %A Giorgini, P %A Massacci, F %A Meduri, V %A Riccucci, C %A Saydane, A %C New Delhi, India %8 15/10/2007 %0 Journal Article %J International Transactions on Systems Science and Applications %D 2006 %T Self-Configuring Socio-Technical Systems: Redesign at Runtime. %A Bryl, V %A Giorgini, P %0 Book Section %B Foundations of Security Analysis and Design III %D 2005 %T Security and Trust Requirements Engineering. %A Giorgini, P %A Massacci, F %A Zannone, N %I Springer-Verlag %K pub %0 Conference Paper %B 24th International Conference on Conceptual Modelling (ER'05) %D 2005 %T Security patterns meet agent oriented software engineering: a complementary solution for developing security information systems. %A Giorgini, P %A Mouratidis, H %A Weiss, M %C Klangenfurt, Austria %K pub %8 24/10/2005 %0 Journal Article %J Journal of Autonomous Agents and Mult-Agent Systems %D 2005 %T Secure Tropos: A Security-Oriented Extension of the Tropos Methodology. %A Giorgini, P %A Mouratidis, H %K pub %0 Generic %D 2005 %T ST-Tool: A CASE Tool for Modeling and Analyzing Trust Requirements %A Giorgini, P %A Massacci, F %A Mylopoulos, J %A Siena, A %A Zannone, N %K pub %0 Journal Article %J Requirements Engineering Journal %D 2004 %T Specifying and analyzing early requirements in Tropos %A Fuxman, Ariel %A Liu, Lin %A Mylopoulos, John %A Pistore, Marco %A Roveri, Marco %A Traverso, Paolo %K pub %0 Conference Paper %B 16th Conference On Advanced Information Systems Engineering (CAiSE*04) %D 2004 %T Simple and Minimum-Cost Satisfiability for Goal Models. %A Giorgini, P %A Mylopoulos, J %A Sebastiani, R %K pub %0 Conference Paper %B RE-2003, the 11th IEEE International Requirements Engineering Conference %D 2003 %T Specifying and Analyzing Early Requirements: Some Experimental Results. %A Fuxman, Ariel %A Liu, Lin %A Mylopoulos, John %A Pistore, Marco %A Roveri, Marco %C Monterey Bay, California U.S.A. %K pub %8 08/09/2003 %0 Conference Paper %B Eighth European Conference on Pattern Languages of Programs (2003) %D 2003 %T Security Patterns for Agent Systems. %A Giorgini, P %A Mouratidis, H %A Schumacher, M %K pub %0 Conference Paper %B Fourth International Bi-Conference Workshop on Agent-Oriented Information systems (AOIS-02) %D 2002 %T Socio-Intentional Architectures for Multi-agent Systems: the Mobile Robot Control case. %A Giorgini, P %A Kolp, M %A Mylopoulos, J %K pub %0 Conference Paper %B ASERC Workshop on "The Role of Software Architectures in the Construction, Evolution, and Reuse of Software Systems" %D 2001 %T Software Architectures as Organizational Structures. %A Kolp, M %A Mylopoulos, J %C Edmonton, Canada %8 24/08/2001 %0 Conference Paper %B Autonomous Agents and Multi-Agent Systems %D 2010 %T Reasoning about Agents and Protocols via Goals and Commitments %A Chopra, A %A Dalpiaz, F %A Giorgini, P %A Mylopoulos, J %0 Conference Paper %B 3rd International Workshop on Dependability Aspects on Data WArehousing and Mining applications (DAWAM 2008) %D 2008 %T Risk as Dependability Metrics for the Evaluation of Business Solutions: A Model-driven Approach. %A Asnar, Y %A Moretti, R %A M., Sebastianis %A Zannone, N %C Barcelona, Spain %0 Conference Paper %B 8th International Workshop on Agent Oriented Software Engineering (AOSE '07) %D 2008 %T Refining Goal Models by Evaluating System Behaviour %A Morandini, M %A Penserini, L %A Perini, A %A Susi, A %E Luck, Michael and Padgham, Lin %I Springer %P 44--57 %S LNCS %V 4951 %Z 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 2007 %0 Conference Paper %B 8th International Workshop on Agent Oriented Software Engineering (AOSE '07) %D 2007 %T Reasoning about Risk in Agents Deliberation Process: a Jadex Implementation. %A Asnar, Y %A Giorgini, P %A Zannone, N %C Honolulu, Hawai'i %8 14/05/2007 %0 Conference Paper %B Second International Conference on Trust Management (iTrust 2004) %D 2004 %T Requirements Engineering meets Trust Management: Model, Methodology, and Reasoning. %A Giorgini, P %A Massacci, F %A Mylopoulos, J %A Zannone, N %K pub %0 Conference Paper %B 22nd International Conference on Conceptual Modeling (ER 2003) %D 2003 %T Requirement Engineering meets Security: A Case Study on Modelling Secure Electronic Transactions by VISA and Mastercard %A Giorgini, P %A Massacci, F %A Mylopoulos, J %I Springer %P 263 %V 2813 %0 Conference Paper %B Agent Technologies, Infrastructures, Tools, and Applications for e-Services (2003) %D 2003 %T Requirement analysis in TROPOS: a self referencing example. %A Bresciani, P %A Sannicolò, F %K pub %0 Conference Paper %B 21st International Conference on conceptual Modeling (ER2002) %D 2002 %T Reasoning with Goal Models. %A Giorgini, P %A Mylopoulos, J %A Nicchiarelli, E %A Sebastiani, R %C Tampere, Finland %K pub %0 Conference Paper %B 8th International Conference on Autonomous Agents and Multiagent Systems %D 2009 %T Operational Semantics of Goal Models in Adaptive Agents %A Morandini, M %A Perini, A %A Penserini, L %I IFAAMAS %P 129--136 %0 Conference Paper %B Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems %D 2009 %T Operational semantics of goal models in adaptive agents %A Morandini, M %A Penserini, L %A Perini, A %0 Conference Paper %B 15th Conference On Advanced Information Systems Engineering (CAiSE*03) %D 2003 %T Organizational Patterns for Early Requirements Analysis. %A Giorgini, P %A Kolp, M %A Mylopoulos, J %K pub %0 Conference Paper %B 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) %D 2003 %T On Security Requirements Analysis for Multi-Agent Systems. %A Giorgini, P %A Manson, G %A Mouratidis, H %C Portland, Oregon, USA %K pub %8 03/05/2003 %0 Conference Paper %B Forum of the Conference on Advanced Information Systems Engineering %D 2012 %T Modelling Security Requirements in Socio-Technical Systems with STS-Tool %A Giorgini, Paja and Dalpiaz and Poggianella and Roberti and %P 155--162 %V 855 %0 Conference Paper %B Fifth International Conference on Availability, Reliability and Security (AReS 2010) %D 2010 %T Multi-Dimensional Uncertainty Analysis in Secure and Dependable Domain %A Asnar, Y %A Giorgini, P %C Krakow, Poland %I IEEE Press %0 Generic %D 2009 %T Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments %A Chopra, A %A Dalpiaz, F %A Giorgini, P %A Mylopoulos, J %0 Journal Article %J International Journal of Computer Science and Software Technology (IJCSST) %D 2009 %T Modeling and Analyzing Location-based Requirements: Goal-oriented Approach %A Ali, R %A Dalpiaz, F %A Giorgini, P %N 2 %P 7 %V 2 %0 Conference Paper %B 28th International Conference on Conceptual Modeling (ER 2009) %D 2009 %T Monitoring and Diagnosing Malicious Attacks with Autonomic Software %A Souza, Silva %A Mylopoulos, J %C Gramado, RS, Brazil %E Alberto Laender %E Silvana Castano %E Umeshwar Dayal %E Fabio Casati %E José de Oliveira %I Springer %P 84-98 %S LNCS %U http://www.springerlink.com/content/t0346q5900210112/ %V 5829/2009 %XMonitoring 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.
%8 09/11/2009 %0 Conference Paper %B International Conference on Computational Science and Its Applications (ICCSA 2008) %D 2008 %T Modeling and Analyzing Variability for Mobile Information Systems. %A Ali, R %A Dalpiaz, F %A Giorgini, P %C Perugia, Italy %I Springer %8 30/06/2008 %0 Conference Paper %B 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems %D 2008 %T Modelling Self-Adaptivity: A Goal-Oriented Approach %A Morandini, M %A Penserini, L %A Perini, A %I IEEE %Z short paper %0 Conference Paper %B 1st International Workshop on Critical Information Infrastructures Security (CRITIS '06) %D 2006 %T Modelling Risk and Identifying Countermeasure in Organizations. %A Asnar, Y %A Giorgini, P %C Samos Island, Greece %8 30/08/2006 %0 Conference Paper %B 13th IEEE International Requirements Engineering Conference (RE'05) %D 2005 %T Modeling Security Requirements Through Ownership, Permission and Delegation. %A Giorgini, P %A Massacci, F %A Mylopoulos, J %A Zannone, N %K pub %8 29/08/2005 %0 Journal Article %J International Journal of Software Engineering and Knowledge Engineering (IJSEKE) %D 2005 %T Modeling Secure Systems Using An Agent-Oriented Approach and Security Patterns. %A Giorgini, P %A Mouratidis, H %A Weiss, M %K pub %0 Conference Paper %B Third International Conference on Trust Management (iTrust 2005) %D 2005 %T Modeling Social and Individual Trust in Requirements Engineering Methodologies. %A Giorgini, P %A Massacci, F %A Mylopoulos, J %A Zannone, N %K pub %0 Book Section %B Software Engineering for Multi-Agent Systems II %D 2004 %T Multi-Agent Systems and Security Requirements Analysis. %A Bresciani, P %A Giorgini, P %A Manson, G %A Mouratidis, H %K pub %0 Conference Paper %B 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (2003) %D 2003 %T Modelling Secure Multiagent Systems. %A Giorgini, P %A Manson, G %A Mouratidis, H %K pub %0 Conference Paper %B 1st International Conference on Autonomous Agent and Multi Agent Systems (AAMAS'02) %D 2002 %T Multi-Agent and Software Architecture: A Comparative Case Study. %A Giorgini, P %A Kolp, M %A Mylopoulos, J %C Bologna, Italy %K pub %0 Journal Article %J Internation Journal of Cooperative Information Systems %D 2002 %T Multi-Agent Architectures as Organizational Structures. %A Giorgini, P %A Kolp, M %A Mylopoulos, J %K pub %0 Conference Paper %B International Workshop on Agents Applied in Health Care (2002) %D 2002 %T Modelling an agent-based integrated health and social care information system for older people. %A Giorgini, P %A Manson, G %A Mouratidis, H %A Philp, I %C Lyon, France %K pub %0 Conference Paper %B RE-2001, the 9th IEEE International Requirements Engineering Conference. %D 2001 %T Model Checking Early Requirements Specifications in Tropos. %A Fuxman, Ariel %A Mylopoulos, John %A Pistore, Marco %A Traverso, Paolo %C Toronto, Canada %K pub %0 Conference Paper %B Second International Workshop on Agent-Oriented Software Engineering (AOSE-2001) %D 2001 %T Modeling early requirements in Tropos: a transformation based approach. %A Bresciani, Paolo %A Giorgini, Paolo %A Giunchiglia, Fausto %A Mylopoulos, John %A Perini, Anna %K pub %0 Conference Paper %B 3rd Workshop on Agent-Oriented Information Systems (AOIS-2001) %D 2001 %T Modeling the Impact of Trust and Distrust in Agent Networks. %A Gans, G %A Jarke, M %A Kethers, S %A Lakemeyer, G %K pub %0 Conference Paper %B 27th International Conference on Conceptual Modeling (ER 08) %D 2008 %T Location-based Software Modeling and Analysis: Tropos-based Approach. %A Ali, R %A Dalpiaz, F %A Giorgini, P %C Barcelona, Spain %I Springer %8 20/10/2008 %0 Conference Paper %B 20th International Conference on Advanced Information Systems Engineering (CAiSE 08) %D 2008 %T Location-based Variability for Mobile Information Systems. %A Ali, R %A Dalpiaz, F %A Giorgini, P %C Montpellier, France %I Springer %8 16/06/2008 %0 Conference Paper %B Atal conference (2001) %D 2001 %T Knowledge level software engineering. %A Giunchiglia, F %A Perini, A %A Sannicolò, F %0 Conference Paper %B 15th Conference On Advanced Information Systems Engineering (CAiSE*03) %D 2003 %T Integrating Security and Systems Engineering: Towards the Modelling of Secure Information Systems. %A Giorgini, P %A Manson, G %A Mouratidis, H %C Austria %K pub %8 16/06/2003 %0 Conference Paper %B Workshop on Expressiveness of Pattern Languages 2003, at ChiliPLoP (2003) %D 2003 %T Integrating Patterns and Agent-Oriented Methodologies to Provide Better Solutions for the Development of Secure Agent Systems. %A Giorgini, P %A Mouratidis, H %A Weiss, M %C Carefree, Arizona %K pub %8 11/03/2003 %0 Conference Paper %B 14th International Conference on Advanced Information Systems Engineering (CAiSE'02) %D 2002 %T Information Systems Development through Social Structures. %A Giorgini, P %A Kolp, M %C Toronto, Canada %K pub %0 Conference Paper %B Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE2002) %D 2002 %T Information Systems Development trhough Social Structures. %A Giorgini, P %A Kolp, M %A Mylopoulos, J %K pub %0 Conference Paper %B Second International Conference on Formal Ontologies for Information Systems (FOIS-2001) %D 2001 %T Information Systems as Social Structures. %A Fuxman, A %A Giorgini, P %A Kolp, M %A Mylopoulos, J %C Ogunquit, USA %K pub %8 17/10/2001 %0 Journal Article %J ACM Transactions on Autonomous and Adaptive Systems (TAAS) %D 2007 %T High variability design for software agents: Extending Tropos %A Penserini, L %A Perini, A %A Susi, A %A Mylopoulos, J %V 2 %0 Journal Article %J Int. J. Agent-Oriented Software Engineering %D 2010 %T Goal-oriented testing for MASs %A Nguyen, C D %A Perini, A %A Tonella, P %P 79--109 %V 4 %0 Conference Paper %B Forum of the 21st International Conference on Advanced Information Systems (CAiSE 09 - Forum) %D 2009 %T Goal-based Self-Contextualization. %A Ali, R %A Dalpiaz, F %A Giorgini, P %C Amsterdam, The Netherlands %8 08/06/2009 %0 Journal Article %J Decision Support Systems %D 2008 %T GRAnD: A Goal-Oriented Approach to Requirement Analysis in Data Warehouses %A Giorgini, P %A Rizzi, S %A Garzetti, M %I Elsevier %N 1 %P 18 %V 45 %0 Conference Paper %B 8th International Workshop on Data Warehouseing and OLAP (DOLAP 2005) %D 2005 %T Goal-oriented requirement analysis for data warehouse design. %A Garzetti, M %A Giorgini, P %A Rizzi, S %K pub %0 Book Section %B Engineering Applications of Artifcial Intelligence %D 2005 %T Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology. %A Giorgini, P %A Mylopoulos, J %A Sebastiani, R %K pub %V 18/2 %0 Journal Article %J International Journal of Secure Software Engineering %D 2012 %T Formative User-Centered Evaluation of Security Modeling: Results from a Case Study %A Tscheligi, Troesterer and Beck and Dalpiaz and Paja and Giorgini and %P 1--19 %V 3 %0 Conference Paper %B 1st International Workshop on Requirements Engineering and Law (Relaw'08) %D 2008 %T From Laws to Requirements. %A Siena, A %A Mylopoulos, J %A Perini, A %A Susi, A %C Barcelona, Spain %0 Conference Paper %B Second International Conference on Availability, Reliability and Security (AReS 2007) %D 2007 %T From Trust to Dependability through Risk Analysis. %A Asnar, Y %A Giorgini, P %A Massacci, F %A Zannone, N %C Vienna, Austria %8 10/04/2007 %0 Journal Article %J Journal of Data Semantics %D 2004 %T Formal Reasoning Techniques for Goal Models. %A Giorgini, P %A Mylopoulos, J %A Nicchiarelli, E %A Sebastiani, R %K pub %0 Conference Paper %B 1st European PKI Workshop: Research and Applications (1st EuroPKI) %D 2004 %T Filling the gap between Requirements Engineering and Public Key/Trust Management Infrastructures. %A Giorgini, P %A Massacci, F %A Mylopoulos, J %A Zannone, N %K pub %0 Conference Paper %B First International Workshop From Software Requirements to Architectures (STRAW 01) %D 2001 %T From Requirements to Architectural Design: Using Goals and Scenarios. %A Liu, Lin %A Yu, Eric %C Toronto, Canada %K pub %8 14/05/2001 %0 Conference Paper %B Anais do III Workshop em Engenharia de Requisitos (2000) %D 2000 %T From Early Requirements Modeled by the i* Technique to Later Requirements Modeled in Precise UML. %A Alencar, F %A Castro, J %A Cysneiros, G %A Mylopoulos, J %C Rio de Janeiro, Brazil %K pub %0 Conference Paper %B 19th International Conference on Conceptual Modeling (ER2000) %D 2000 %T From Entities and Relationships to Social Actors and Dependencies. %A Fuxman, A %A Giorgini, P %A Mylopoulos, J %C Salt Lake City, USA %K pub %0 Journal Article %J Electronic Government, an International Journal %D 2009 %T Evaluating Procedural Alternatives: a Case Study in e-Voting. %A Bryl, V %A Dalpiaz, F %A Ferrario, R %A Mattioli, A %A Villafiorita, A %N 2 %P 19 %V 6 %0 Conference Paper %B International Workshop on Software Engineering for Adaptive and Self-Managing Systems %D 2009 %T Engineering adaptive requirements %A Qureshi, N A %A Perini, A %C Los Alamitos, CA, USA %I IEEE Computer Society %P 126-131 %@ 978-1-4244-3724-5 %0 Conference Paper %B 20th International Conference on Advanced Information Systems Engineering (CAiSE'08) %D 2008 %T Exploring the Effectiveness of Normative i* Modelling: Results from a Case Study on Food Chain Traceability. %A Siena, A %A Maiden, N %A Lockerbie, J %A Karlsen, K %A Perini, A %A Susi, A %C Montpellier, France %8 16/06/2008 %0 Journal Article %J International Journal on Business Intelligence and Data Mining %D 2008 %T Evaluation of Business Solutions in Manufacturing Enterprises. %A Asnar, Y %A Giorgini, P %A Ciancarini, P %A Moretti, R %A %I Inderscience %N 3 %V 3 %0 Conference Paper %B 1st International Conference on Research Challenges in Information Science (RCIS'07) %D 2007 %T Engineering Normative Requirements. %A Siena, A %K pub %0 Conference Paper %B 1st International Conference on Methodologies, Technologies and Tools enabling e-Government (MeTTeG'07) %D 2007 %T Evaluating Procedural Alternatives. A Case Study in E-Voting. %A Bryl, V %A Dalpiaz, F %A Ferrario, R %A Mattioli, A %A Villafiorita, A %C Camerino, Italy %8 27/09/2007 %0 Conference Paper %B First IEEE International Conference on Research challenges in Information Science (RCIS) %D 2007 %T Engineering Normative Requirements. %A Siena, A %C Ouarzazate, Morocco %8 22/04/2007 %0 Conference Paper %B International Conference on Software Engineering Research and Practice (SERP'03) %D 2003 %T Evaluating the Potential for Integrating the OPEN and Tropos Metamodels. %A Bresciani, P %A Giorgini, P %A Henderson-Sellers, B %K pub %0 Conference Paper %B Fourth International Workshop Engineering Societies in the Agents World (2003) %D 2003 %T Enhancing Agent OPEN with concepts used in the Tropos methodology. %A Bresciani, P %A Giorgini, P %A Henderson-Sellers, B %K pub %0 Conference Paper %B First International Workshop From Software Requirements to Architectures (STRAW 01) %D 2001 %T Evolving System Architecture to Meet Changing Business Goals: an Agent and Goal-Oriented Approach. %A Gross, Daniel %A Yu, Eric %C Toronto, Canada %K pub %8 14/05/2001 %0 Journal Article %J Requirement Engineering %D 2009 %T Designing Socio-Technical Systems: From Stakeholder Goals to Social Networks. %A Bryl, V %A Giorgini, P %A Mylopoulos, J %0 Conference Paper %B ER 2009 %D 2009 %T Designing Law-Compliant Software Requirements. %A Siena, A %A Mylopoulos, J %A Perini, A %A Susi, A %0 Conference Paper %B 18th Conference on Advanced Information Systems Engineering (CAiSE'06) %D 2006 %T Designing Security Requirements Models through Planning. %A Bryl, V %A Massacci, F %A Mylopoulos, J %A Zannone, N %C Luxembourg %I Springer %8 05/06/2006 %0 Conference Paper %B IEEE Intelligent Agent Technology (IAT'05) %D 2005 %T Delegation Mechanisms for Agent Architectural Design. %A Dehousse, S %A Faulkner, S %A Giorgini, P %A Kolp, M %K pub %0 Journal Article %J Environmental Modelling and Software Journal %D 2004 %T Designing a Decision Support System for Integrated Production in Agriculture. An Agent-Oriented approach. %A Perini, A %A Susi, A %K pub %0 Conference Paper %B Second German Conference (MATES 2004) %D 2004 %T Developing Tools for Agent-Oriented Visual Modeling. %A Perini, A %A Susi, A %K pub %0 Conference Paper %B Second International Conference On Enterprise Information Systems (2000) %D 2000 %T Developing Agent-Oriented Information Systems for the Enterprise. %A Castro, J %A Kolp, M %A Mylopoulos, J %C Stafford, UK %K pub %8 04/04/2000 %0 Conference Paper %B 3rd International Workshop on Dynamic Software Product Lines (DSPL09) %D 2009 %T Context for Goal-level Product Line Derivation %A Ali, R %A Chitchyan, R %A Giorgini, P %0 Conference Paper %B Third International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2008) %D 2008 %T Balanced Goalcards: combining Balanced Scorecards and Goal Analysis. %A Siena, A %A Bonetti, A %A Giorgini, P %C Funchal, Madeira - Portugal %8 04/05/2008 %0 Journal Article %J Lecture Notes in Communications in Computer and Information Science %D 2008 %T Balancing Business Perspectives in Requirements Analysis. %A Siena, A %A Bonetti, A %A Giorgini, P %I Springer-Verlag %0 Conference Paper %B 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII) %D 2007 %T B-Tropos. Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification. %A Bryl, V %A Montali, M %A Mello, P %A Torroni, P %A Zannone, N %C Porto, Portugal %8 10/09/2007 %0 Conference Paper %B 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2011) %D 2011 %T Awareness Requirements for Adaptive Systems %A Souza, Vítor Silva %A Lapouchnian, Alexei %A Robinson, William %A Mylopoulos, John %C Honolulu, Hawaii, USA %I ACM %K Requirements engineering, modeling, adaptive systems, awareness, monitoring %P (to appear) %XRecently, 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.
%8 23/05/2011 %0 Conference Paper %B 25th ACM Symposium on Applied Computing %D 2010 %T An empirical study of Requirements Model understanding: Use Case vs. Tropos models %A Hadar, I %A Reinhartz-Berger, I %A Kuflik, T %A Perini, A %A Ricca, F %A Susi, A %0 Journal Article %J Requirements Engineering %D 2010 %T A Goal-based Framework for Contextual Requirements Modeling and Analysis %A Ali, R %A Dalpiaz, F %A Giorgini, P %N 4 %P 20 %V 15 %0 Conference Paper %B 14th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD09) %D 2009 %T A Goal Modeling Framework for Self-Contextualizable Software. %A Ali, R %A Dalpiaz, F %A Giorgini, P %C Amsterdam, The Netherlands %I Springer %8 08/06/2009 %0 Conference Paper %B 21st International Conference on Advanced Information Systems Engineering (CAiSE '09) %D 2009 %T An Architecture for Requirements-driven Self-Reconfiguration. %A Dalpiaz, F %A Giorgini, P %A Mylopoulos, J %I Springer %0 Conference Paper %B Proceedings of the 10th International Workshop on Engineering Societies in the Agents' World (ESAW 2009) %D 2009 %T A Goal-Oriented Approach for Modelling Self-Organising MAS %A Morandini, M %A Migeon, F %A Gleizes, M %A Maurel, C %A Penserini, L %A Perini, A %I Springer %S LNCS %V 5881 %8 November %0 Conference Paper %B Evolution of Agent Development: Methodologies, Tools, Platforms and Languages (WOA08) %D 2008 %T Applying Tropos to Socio-Technical System Design and Runtime Configuration. %A Dalpiaz, F %A Ali, R %A Asnar, Y %A Bryl, V %A Giorgini, P %C Palermo, Italy %8 17/09/2008 %0 Conference Paper %B 6th International Conference on Business Process Management (BPM 2008) %D 2008 %T Analyzing Business Continuity through a Multi-Layers Model. %A Asnar, Y %A Giorgini, P %C Milan, Italy %8 01/09/2008 %0 Conference Paper %B QSIC '08: Proceedings of the 2008 The Eighth International Conference on Quality Software %D 2008 %T An Agent-Based Middleware for Adaptive Systems %A Qureshi, N A %A Perini, A %C Washington, DC, USA %I IEEE Computer Society %P 423--428 %@ 978-0-7695-3312-4 %0 Conference Paper %B 6th Int. Conf. on Autonomous Agents and Multi-Agent Systems (AAMAS'07), Honolulu, Hawaii %D 2007 %T A Design Framework for Generating BDI-agents from Goal Models %A Penserini, L %A Perini, A %A Susi, A %A Morandini, M %A Mylopoulos, J %P 610-612 %@ 978-81-904262-7-5 %0 Generic %D 2005 %T A Requirements-Driven Methodology for Agent-Oriented Software. %A Castro, J %A Giorgini, P %A Kethers, S %A Mylopoulos, J %K pub %0 Conference Paper %B AOSE '05 workshop %D 2005 %T Automating Model Transformations in Agent-Oriented Modelling. %A Perini, A %A Susi, A %K pub %0 Generic %D 2005 %T Agent-Oriented Methodologies: an Introduction. %A Giorgini, P %A Henderson-Sellers, B %K pub %0 Conference Paper %B Second International Workshop on Security In Information Systems (WOSIS-2004) %D 2004 %T Analysing Security in Information Systems. %A Giorgini, P %A Mouratidis, H %K pub %0 Conference Paper %B Agent Oriented Software Engineering (AOSE-2003) %D 2003 %T Agent-oriented modeling by interleaving formal and informal specification. %A Perini, Anna %A Pistore, Marco %A Roveri, Marco %A Susi, Angelo %C Melbourne, Australia %K pub %8 15/07/2003 %0 Conference Paper %B KES 2003 Invited Session Ontology and Multi-Agent Systems Design (OMASD'03) %D 2003 %T An Ontology for Modelling Security: The Tropos Approach. %A Giorgini, P %A Manson, G %A Mouratidis, H %K pub %0 Conference Paper %B International Conference on Enterprise Information Systems %D 2003 %T Analysing Security Requirements of Information Systems Using Tropos. %A Gani, A %A Giorgini, P %A Manson, G %A Mouratidis, H %C Angers, France %K pub %0 Conference Paper %B 2nd Hellenic Conference on Artificial Intelligence (SETN-02) %D 2002 %T Agent Oriented Software Development. %A Giorgini, P %A Kolp, M %A Mylopoulos, J %K pub %0 Conference Paper %B Agent-Oriented Information System. AOIS-2002: Fourth International Bi-Conference Workshop (2002) %D 2002 %T Applying Tropos Requirements Analysis for defining a Tropos tool. %A Bresciani, P %A Sannicolò, F %C Toronto, Canada %K pub %0 Conference Paper %B Workshop on "Dagli OGGETTI agli AGENTI - Dall'informazione alla Conoscenza (WOA02)" %D 2002 %T Applying Tropos Methodology to a real case study: Complexity and Criticality analysis. %A Garzetti, M %A Giorgini, P %A Mylopoulos, J %A Sannicolò, F %K pub %0 Conference Paper %B Workshop on Agent-oriented methodologies, at OOPSLA 2002 %D 2002 %T A Natural Extension of Tropos Methodology for Modelling Security. %A Giorgini, P %A Manson, G %A Mouratidis, H %A Philp, I %K pub %0 Conference Paper %B Agent-Oriented Software Engineering (AOSE-2001) %D 2001 %T Agent-Oriented Modelling: Software Versus the World. %A Yu, Eric %K pub %0 Conference Paper %B Eighth International Workshop on Agent Theories, architectures, and languages (ATAL-2001) %D 2001 %T A Goal-Based Organizational Perspective on Multi-Agents Architectures. %A Giorgini, P %A Kolp, M %A Mylopoulos, J %C Seattle, USA %K pub %8 01/08/2001 %0 Conference Paper %B First International Workshop From Software Requirements to Architectures (STRAW 01) %D 2001 %T A Social Organization Perspective on Software Architectures. %A Castro, Jaelson %A Kolp, Manuel %A Mylopoulos, John %C Toronto, Canada %K pub %8 14/05/2001 %0 Generic %D 2001 %T Architectural Styles for Information Systems: An Organizational Perspective. %A Kolp, M %A Mylopoulos, J %K pub %0 Conference Paper %B Fifth International Conference on Autonomous Agents (2001) %D 2001 %T A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. %A Bresciani, P %A Giorgini, P %A Giunchiglia, F %A Mylopoulos, J %A Perini, A %C Montreal, Canada %K pub %8 28/05/2001 %0 Conference Paper %B Thirteenth International Conference on Software Engineering (2001) %D 2001 %T Agent-Oriented Software Development: A Case Study. %A Bresciani, P %A Giorgini, P %A Giunchiglia, F %A Mylopoulos, J %A Perini, A %K pub %0 Generic %D 2000 %T A Requirements-Driven Software Development Methodology. %A Castro, J %A Kolp, M %A Mylopoulos, J %K pub %0 Conference Paper %B Conference on Advanced Information Systems Engineering %D 2010 %T Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments %A Chopra, A %A Dalpiaz, F %A Giorgini, P %A Mylopoulos, J %0 Conference Paper %B ER 2010 %D 2010 %T Adaptation in Open Systems: Giving Interaction its Rightful Place %A Dalpiaz, F %A Chopra, A %A Giorgini, P %A Mylopoulos, J %0 Conference Paper %B 13th International Conference on Advanced Information Systems Engineering (CAiSE 01) %D 2001 %T A Requirements-Driven Development Methodology. %A Castro, Jaelson %A Kolp, Manuel %A Mylopoulos, John %K pub