When Security Meets Software Engineering: A Case of Modeling Secure Information Systems.

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