@mastersthesis{horkoff06thesis, added-at = {2009-07-21T20:48:45.000+0200}, author = {Horkoff, Jennifer}, biburl = {http://www.bibsonomy.org/bibtex/23f2c97c5e9dc39d4043eb80ce8b234ad/neilernst}, interhash = {1e2bb9c935be026cb35557df521f183b}, intrahash = {3f2c97c5e9dc39d4043eb80ce8b234ad}, keywords = {evaluation i-star model}, school = {University of Toronto}, timestamp = {2009-07-21T20:48:45.000+0200}, title = {Using i* Models for Evaluation}, url = {http://www.cs.utoronto.ca/~jenhork/MScThesis/Thesis.pdf}, year = 2006 } @inproceedings{werneck09wer, abstract = {Goal-Oriented Requirements Engineering (GORE) is an approach to requirements engineering dealing with intentionality in accordance with the relations among different actors. KAOS and i* (i-star) frameworks have been receiving many references as being important GORE proposals. This paper presents an conceptual analysis comparing characteristics of those methods giving examples related to actors’ relations definition, goal organizational model, tasks representation, risk analysis, and non-functional requirements. The aim of this work is to show both frameworks benefits and drawbacks. We believe that this analysis helps the understanding of the core concepts of GORE as well as it draws attention to key representation issues for both KAOS and i*.}, added-at = {2009-06-30T17:48:42.000+0200}, address = {Val Paraiso, Chile}, author = {Werneck, Vera Maria Bejamim and de Padua Albuquerque Oliveira, Antonio and do Prado Leite, Julio Cesar Sampaio}, biburl = {http://www.bibsonomy.org/bibtex/283d17e1465e9951b7ac313c66ee2fcb6/neilernst}, booktitle = {Ibero-American Workshop of Engineering of Requirements}, interhash = {ba7e17986cc659c2042ff37db074e83d}, intrahash = {83d17e1465e9951b7ac313c66ee2fcb6}, keywords = {i-star kaos requirements}, month = {July}, timestamp = {2009-06-30T17:48:42.000+0200}, title = {Comparing GORE Frameworks: i-star and KAOS }, year = 2009 } @book{book:chung:2000, added-at = {2008-05-21T10:06:29.000+0200}, address = {Boston/Dordrecht/London}, author = {Chung, Lawrence and Nixon, Brian A. and Yu, Eric and Mylopoulos, John}, biburl = {http://www.bibsonomy.org/bibtex/2cc017ad2a658f821a124983891c04f6c/mschuber}, interhash = {7fa39d8be358a3716ab25f81f2fe33ad}, intrahash = {cc017ad2a658f821a124983891c04f6c}, keywords = {2000 RE book engineering i-star requirement to-read}, publisher = {Kluwer Academic Publishers}, timestamp = {2008-05-21T10:06:29.000+0200}, title = {Non-Functional Requirements in Software Engineering}, year = 2000 } @inproceedings{paper:yu:2007, abstract = {Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects identified during goal-oriented requirements analysis to code and testing. Two types of checks are performed to validate the resulting system in light of stakeholders’ crosscutting concerns. One ensures that systems with and without aspects have the same functionality defined by the hard goals. The other checks whether the weaved system with aspects indeed improves system qualities in terms of the degree of softgoal satisfaction. We demonstrate the approach using an open-source e-commerce platform.}, added-at = {2008-05-13T09:35:42.000+0200}, author = {Yu, Yijun and Niu, Nan and Mylopoulos, John and Easterbrook, Steve and Gonzalez-Baixauli, Bruno and Candillon, William and do Prado Leite, Julio Cesar Sampaio and Vanwormhoudt, Gilles}, biburl = {http://www.bibsonomy.org/bibtex/2e308fa04b0a6a2b95942ad46983b46e0/mschuber}, booktitle = {Requirements Engineering Conference, 2007. RE '07. 15th IEEE International}, description = {deals with reasoning about component-based software at the requirements level}, interhash = {73c399dc7fcf3ec5e0e71f5b1a763765}, intrahash = {e308fa04b0a6a2b95942ad46983b46e0}, keywords = {2007 RE engineering goals i-star requirement}, pages = {53-56}, timestamp = {2008-05-13T09:35:42.000+0200}, title = {Tracing and Validating Goal Aspects}, year = 2007 } @inproceedings{ernst06, added-at = {2007-10-31T22:26:57.000+0100}, address = {Los Angeles}, author = {Ernst, Neil A. and Jamieson, Greg and Mylopoulos, J.}, biburl = {http://www.bibsonomy.org/bibtex/2f4d61a4003e6c86c2b89dbf032efd0bc/neilernst}, booktitle = {Conference on Systems Engineering Research}, interhash = {625e55a70db4ac5cfcad02f5765e6cba}, intrahash = {f4d61a4003e6c86c2b89dbf032efd0bc}, keywords = {complexity i-star openome personal systems}, month = {April}, publisher = {INCOSE}, timestamp = {2007-10-31T22:26:57.000+0100}, title = {Integrating requirements engineering and cognitive work analysis: A case study}, url = {http://neilernst.net/docs/pubs/paper142.pdf}, year = 2006 } @inproceedings{yu97a, abstract = {Requirements are usually understood as stating what a system is supposed to do, as apposed to how it should do it. However, understanding the organizational context and rationales (the “Whys”) that lead up to systems requirements can be just as important for the ongoing success of the system. Requirements modelling techniques can be used to help deal with the knowledge and reasoning needed in this earlier phase of requirements engineering. However most existing requirements techniques are intended more for the later phase of requirements engineering, which focuses on completeness, consistency, and automated verification of requirements. In contrast, the early phase aims to model and analyze stakeholder interests and how they might be addressed, or compromised, by various system-and-environment alternatives. This paper argues, therefore, that a different kind of modelling and reasoning support is needed for the early phase. An outline of the i* framework is given as an example of a step in this direction. Meeting scheduling is used as a domain example}, added-at = {2007-03-02T22:56:50.000+0100}, address = {Annapolis, Maryland}, author = {Yu, Eric S.}, biburl = {http://www.bibsonomy.org/bibtex/2179d71111ee7829c6d2be29f5022ee72/neilernst}, booktitle = {International Symposium on Requirements Engineering}, citeulike-article-id = {166377}, description = {sdasda}, interhash = {87830931e0f5a2a338c71143147ba18d}, intrahash = {179d71111ee7829c6d2be29f5022ee72}, keywords = {i-star model requirements software 1406}, pages = {226--235}, priority = {0}, timestamp = {2007-03-02T22:56:50.000+0100}, title = {Towards modelling and reasoning support for early-phase requirements engineering}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=566873}, year = 1997 } @mastersthesis{you04, abstract = {This thesis proposes an extension to the i* framework to address scalability issues. The notion of “viewâ€� is exploited to selectively present portions of an i* “baseline modelâ€�, which contains all modeled objects for a given application using i* notations. We first reformulate the i* framework and define four types of views—Actor Class, Strategic Dependency, Strategic Rationale, and Evaluation Results. Next, we define sub view types based on the four types of views and supply a view management framework. The views and sub-views are defined using meta-models, and formalized using the Telos conceptual modeling language. Each view type is associated with a formally defined “selection ruleâ€� so that the projection of a specific view from a baseline model can be automated. Relationships among views are depicted in View Maps. Illustrative examples are taken from the London Ambulance Service and the Trusted Computing Group case studies.}, added-at = {2006-09-18T06:26:07.000+0200}, author = {You, Jane}, biburl = {http://www.bibsonomy.org/bibtex/297bf69653be0ae6d3484112306689f16/neilernst}, citeulike-article-id = {594630}, description = {Not previously uploaded}, interhash = {a032e33cd515e4f64856e114f194c9df}, intrahash = {97bf69653be0ae6d3484112306689f16}, keywords = {i-star modeling openome requirements visualization}, priority = {2}, school = {University of Toronto}, timestamp = {2006-09-18T06:26:07.000+0200}, title = {Using Meta-model Driven Views to Address Scalability in i*}, url = {http://www.cs.toronto.edu/~janeyou/#Evolvement}, year = 2004 } @inproceedings{webster05, abstract = {The i* framework has been increasingly used by the requirements engineering community. However, good practices are not always followed. Many papers have presented the use of i* constructs in such ways that results are not coherent with their original specifications. Some cases attempt to adapt the framework to specific needs by misusing its elements. In other situations, misuses are due to wrong interpretations of i* syntax and semantic. Unfortunately, many of these misuses may lead to wrong interpretations of the models by other people using i*. This work carried out a survey on several published papers to collect both good practices and misuses of the framework. It aims to help requirements engineers to use the i* framework in its full capacity.}, added-at = {2006-09-18T06:26:07.000+0200}, address = {Porto, Portugal}, author = {Webster, Ilca and Amaral, Juliana}, biburl = {http://www.bibsonomy.org/bibtex/208b20a42b209f465dc7b7ed5fd615216/neilernst}, booktitle = {Workshop em Engenharia de Requisitos (WER)}, citeulike-article-id = {714548}, description = {Not previously uploaded}, interhash = {989d7b3f2279a416673db1ac1b4f661b}, intrahash = {08b20a42b209f465dc7b7ed5fd615216}, keywords = {goal modeling survey i-star requirements}, month = {June}, pages = {148--160}, priority = {4}, timestamp = {2006-09-18T06:26:07.000+0200}, title = {A Survey of Good Practices and Misuses for Modelling with i* Framework}, url = {http://gnomo.fe.up.pt/~wer2005/docs/papers/Ilca2.pdf}, year = 2005 } @inproceedings{grau06, added-at = {2006-09-18T06:26:07.000+0200}, address = {San Francisco, CA, USA}, author = {Grau, Gemma and Cares, Carlos and Franch, Xavier and Navarrete, Fredy}, biburl = {http://www.bibsonomy.org/bibtex/2093bd82187caf6870c65d6ba5032aa39/neilernst}, booktitle = {International Conference on Software Engineering and Knowledge Engineering}, citeulike-article-id = {714552}, comment = {- discusses various approaches to i-star modeling, assesses tools like OME.}, description = {Not previously uploaded}, interhash = {539ae2a6edbd0eba36d4b1afd38a70e6}, intrahash = {093bd82187caf6870c65d6ba5032aa39}, keywords = {modeling i-star empirical}, month = {July}, priority = {4}, timestamp = {2006-09-18T06:26:07.000+0200}, title = {A Comparative Analysis of i* Agent-Oriented Modelling Techniques}, year = 2006 } @article{gordijn06, abstract = {e-Services are intangible products, provisioned via the Internet. Examples include Internet access and Internet radio. Because most e-services involve multiple enterprises, creating a shared understanding of the service under development is an issue. Such an e-service is more difficult to understand than a proposition just consisting of goods because services lack easily observable physical properties. Consequently, software engineers must first understand the e-service itself before they can build effective systems and support for these services. The authors present the complementary use of two requirements engineering techniques. Using i* modeling, they explore strategic goals that enterprises have, and using e3value modeling, they understand how these goals can result in profitable services for enterprises. They demonstrate their approach using a case study on Internet radio.This article is part of a special issue on requirements engineering.}, added-at = {2006-09-18T06:26:07.000+0200}, author = {Gordijn, J. and Yu, E. and van der Raadt, B.}, biburl = {http://www.bibsonomy.org/bibtex/20afd4d0d7fb086f8875a2f1f6d37827d/neilernst}, citeulike-article-id = {745428}, description = {Not previously uploaded}, interhash = {82b07f51745df37a8d1e8a5da42d83db}, intrahash = {0afd4d0d7fb086f8875a2f1f6d37827d}, journal = {Software, IEEE}, keywords = {evolution i-star complexity}, number = 3, pages = {26--33}, priority = {0}, timestamp = {2006-09-18T06:26:07.000+0200}, title = {e-Service Design Using i* and e3value Modeling}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1628936}, volume = 23, year = 2006 } @article{gordijn06, abstract = {e-Services are intangible products, provisioned via the Internet. Examples include Internet access and Internet radio. Because most e-services involve multiple enterprises, creating a shared understanding of the service under development is an issue. Such an e-service is more difficult to understand than a proposition just consisting of goods because services lack easily observable physical properties. Consequently, software engineers must first understand the e-service itself before they can build effective systems and support for these services. The authors present the complementary use of two requirements engineering techniques. Using i* modeling, they explore strategic goals that enterprises have, and using e3value modeling, they understand how these goals can result in profitable services for enterprises. They demonstrate their approach using a case study on Internet radio.This article is part of a special issue on requirements engineering.}, added-at = {2006-09-17T06:41:48.000+0200}, author = {Gordijn, J. and Yu, E. and van der Raadt, B.}, biburl = {http://www.bibsonomy.org/bibtex/20afd4d0d7fb086f8875a2f1f6d37827d/fink08}, citeulike-article-id = {745428}, description = {From CUL on Sept 16}, interhash = {82b07f51745df37a8d1e8a5da42d83db}, intrahash = {0afd4d0d7fb086f8875a2f1f6d37827d}, journal = {Software, IEEE}, keywords = {evolution i-star complexity}, number = 3, pages = {26--33}, priority = {0}, timestamp = {2006-09-17T06:41:48.000+0200}, title = {e-Service Design Using i* and e3value Modeling}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1628936}, volume = 23, year = 2006 } @inproceedings{sutcliffe01, added-at = {2006-09-09T19:26:51.000+0200}, address = {Washington, DC, USA}, author = {Sutcliffe, Alistair}, biburl = {http://www.bibsonomy.org/bibtex/2af935c08729f5bc37ea51e2f8cd94f41/neilernst}, booktitle = {RE '01: Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE '01)}, citeulike-article-id = {251210}, comment = {- are scenarios exhaustive of the solution space (clearly not, but they might provide asymptotic coverage and be 'near nuff') - use weights to analyze dependencies on particular actors in i* - use SRK taxonomy to analyze task loads, and use linguistics to analyze discourse acts and implications for dependee - the idea that one person is a single pt of failure is part of any chain-of-command system, surely. - "coupling analysis fits within the tradition of distributed cognition"}, description = {sdasda}, interhash = {a2dd9d1afdb8b987c57adbaf3c71f5c4}, intrahash = {af935c08729f5bc37ea51e2f8cd94f41}, keywords = {engineering i-star hci requirements complexity}, priority = {0}, publisher = {IEEE Computer Society}, timestamp = {2006-09-09T19:26:51.000+0200}, title = {Requirements Engineering for Complex Collaborative Systems}, url = {http://portal.acm.org/citation.cfm?id=882477.883629}, year = 2001 } @inproceedings{kolp01, added-at = {2006-03-24T16:34:33.000+0100}, address = {Seattle, WA}, author = {Kolp, M. and Giorgini, P. and Mylopoulos, J.}, biburl = {http://www.bibsonomy.org/bibtex/2ff49ecacc15577acd097276736f503e3/neilernst}, booktitle = {Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001)}, citeulike-article-id = {130461}, description = {sdasda}, interhash = {11fb4a4be27fc6dbca8c7d36e4945c07}, intrahash = {ff49ecacc15577acd097276736f503e3}, keywords = {goal i-star cognition 1406}, month = {August}, priority = {3}, timestamp = {2006-03-24T16:34:33.000+0100}, title = {A Goal-Based Organizational Perspective on Multi-Agent Architectures}, url = {http://dit.unitn.it/%7Epgiorgio/papers/atal01.pdf.gz}, year = 2001 } @inproceedings{bastos03, added-at = {2006-03-24T16:34:33.000+0100}, address = {Portland, USA}, author = {Bastos, Lúcia R. D. and Castro, Jaelson F. B. and Mylopoulos, John}, biburl = {http://www.bibsonomy.org/bibtex/252832d8418a1b383ea050e0799464a40/neilernst}, booktitle = {Proceedings of Second International Workshop From Software Requirements to Architectures (STRAW'03)}, citeulike-article-id = {130465}, description = {sdasda}, interhash = {70bcff10a55c2c5c0cc04fe2031b760d}, intrahash = {52832d8418a1b383ea050e0799464a40}, keywords = {goal i-star requirements 1406 organization}, month = May, priority = {4}, timestamp = {2006-03-24T16:34:33.000+0100}, title = {Integrating Organizational Requirements and Socio-Intentional Architectural Styles}, url = {http://se.uwaterloo.ca/%7Estraw03/finals/BastosCastroMylopoulos.pdf}, year = 2003 } @inproceedings{krishna04, abstract = {Agent-oriented Conceptual Modelling (AoCM, as exemplified by the i* notation by E. Yu (1995)), represents an interesting approach to modelling early phase requirements that is particularly effective in capturing organizational contexts, stake-holder intentions and rationale. There are significant benefits in using formal methods for the development of computer systems and improving their quality. We propose a methodology which permits the use of these two otherwise disparate approaches in a complementary and synergistic fashion for requirements engineering.}, added-at = {2006-03-24T16:34:33.000+0100}, author = {Krishna, A. and Ghose, A. K. and Vilkomir, S. A.}, biburl = {http://www.bibsonomy.org/bibtex/207c4bfbd96f9ea6ff8c3cfd217bd48ed/neilernst}, booktitle = {Proceedings 7th Intl. Workshop on Principles of Software Evolution}, citeulike-article-id = {272257}, description = {sdasda}, interhash = {7530fee1a10e79aaef303450d3a74d21}, intrahash = {07c4bfbd96f9ea6ff8c3cfd217bd48ed}, journal = {Software Evolution, 2004. Proceedings. 7th International Workshop on Principles of}, keywords = {formal i-star requirements}, pages = {159--164}, priority = {3}, timestamp = {2006-03-24T16:34:33.000+0100}, title = {Co-evolution of complementary formal and informal requirements}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1334782}, year = 2004 } @inproceedings{gans02, abstract = {SNet is a prototype environment supporting the representation and dynamic evaluation of designs for social networks comprising human, hardware, and software agents. The environment employs metadata management technology to integrate an extended version of the i* formalism for static network modeling with the ConGolog logicbased activity simulator. The paper de nes the formal mappings necessary to achieve the integration and describes an operational prototype demonstration. SNet's...}, added-at = {2006-03-24T16:34:33.000+0100}, address = {Toronto}, author = {Gans, G. and Jarke, M. and Lakemeyer, G. and Vits, T.}, biburl = {http://www.bibsonomy.org/bibtex/290dcb13bfb917c603c95fdc5b4739cd7/neilernst}, booktitle = {International Conference on Advanced Information Systems Engineering}, citeulike-article-id = {389259}, comment = {- ConGoLog: Concurrent GoLog - IndiGoLog: Independent Look-ahead (planning) - GOlog is a language for expressing the changes in a 'situation' which is a set of conditions pertaining to particular location in time/space. - fluent: a logical predicate whose value varies during the task - they've implemented a i* extension that uses IndiGoLog and can be used to run simulations on i* models (with precise semantics). - no word on where the tool is.}, description = {sdasda}, interhash = {09e2593f2d26723400fc9f8bbb6bc709}, intrahash = {90dcb13bfb917c603c95fdc5b4739cd7}, journal = {Lecture Notes in Computer Science}, keywords = {agent modeling i-star requirements simulation}, month = May, pages = {328--343}, priority = {0}, timestamp = {2006-03-24T16:34:33.000+0100}, title = {SNet: A modeling and simulation environment for agent networks based on i* and ConGolog}, url = {http://citeseer.ist.psu.edu/670832.html}, volume = 3248, year = 2002 }