{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T06:55:22Z","timestamp":1782802522750,"version":"3.54.5"},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,8,12]],"date-time":"2011-08-12T00:00:00Z","timestamp":1313107200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Requirements Eng"],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s00766-011-0129-9","type":"journal-article","created":{"date-parts":[[2011,8,11]],"date-time":"2011-08-11T00:57:34Z","timestamp":1313024254000},"page":"227-249","source":"Crossref","is-referenced-by-count":96,"title":["Representing and reasoning about preferences in requirements engineering"],"prefix":"10.1007","volume":"16","author":[{"given":"Sotirios","family":"Liaskos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sheila A.","family":"McIlraith","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shirin","family":"Sohrabi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2011,8,12]]},"reference":[{"key":"129_CR100","unstructured":"van Lamsweerde A (2001) Goal-oriented requirements engineering: a guided tour. In: Proceedings of the fifth IEEE international symposium on requirements engineering, RE \u201901. IEEE Computer Society, Washington, DC"},{"issue":"1-2","key":"129_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A Dardenne","year":"1993","unstructured":"Dardenne A, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Program 20(1\u20132):3\u201350","journal-title":"Sci Comput Program"},{"key":"129_CR4","doi-asserted-by":"crossref","unstructured":"Giorgini P, Mylopoulos J, Nicchiarelli E, Sebastiani R (2002) Reasoning with goal models. In: Proceedings of the 21st international conference on conceptual modeling (ER\u201902). London, UK, pp 167\u2013181","DOI":"10.1007\/3-540-45816-6_22"},{"key":"129_CR15","unstructured":"Yu ESK (1997) Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of the 3rd IEEE international symposium on requirements engineering (RE\u201997). Washington, DC"},{"key":"129_CR5","doi-asserted-by":"crossref","unstructured":"Liaskos S, Lapouchnian A, Yu Y, Yu E, Mylopoulos J (2006) On goal-based variability acquisition and analysis. In: Proceedings of the 14th IEEE international requirements engineering conference (RE\u201906). IEEE Computer Society, Minneapolis, pp 79\u201388","DOI":"10.1109\/RE.2006.45"},{"key":"129_CR6","doi-asserted-by":"crossref","unstructured":"Hui B, Liaskos S, Mylopoulos J (2003) Requirements analysis for customizable software: a goals-skills-preferences framework. In: Proceedings of the 11th IEEE international requirements engineering conference (RE\u201903). Monterey Bay, pp 117\u2013126","DOI":"10.1109\/ICRE.2003.1232743"},{"issue":"1","key":"129_CR7","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1109\/52.903174","volume":"18","author":"J Mylopoulos","year":"2001","unstructured":"Mylopoulos J, Chung L, Liao S, Wang H, Yu E (2001) Exploring alternatives during requirements analysis. IEEE Softw 18(1):92\u201396","journal-title":"IEEE Software"},{"issue":"5","key":"129_CR8","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1109\/52.605933","volume":"14","author":"J Karlsson","year":"1997","unstructured":"Karlsson J, Ryan K (1997) A cost-value approach for prioritizing requirements. IEEE Softw 14(5):67\u201374","journal-title":"IEEE Software"},{"key":"129_CR9","unstructured":"Sohrabi S, Baier JA, McIlraith S (2009) HTN planning with preferences. In: Proceedings of the 21st international joint conference on artificial intelligence (IJCAI\u201909). Pasadena, pp 1790\u20131797"},{"key":"129_CR10","unstructured":"Gerevini A, Long D (2005) Plan constraints and preferences in PDDL3. Technical report. Department of Electronics for Automation, University of Brescia"},{"key":"129_CR11","unstructured":"Nau D, Cao Y, Lotem A, noz Avila HM (1999) SHOP: simple hierarchical ordered planner. In: Proceedings of the 16th international joint conference on artificial intelligence (IJCAI-99), pp 968\u2013973"},{"key":"129_CR1","doi-asserted-by":"crossref","unstructured":"Liaskos S, McIlraith SA, Sohrabi S, Mylopoulos J (2010) Integrating preferences into goal models for requirements engineering. In: Proceedings of the 10th international requirements engineering conference (RE\u201910). Sydney, Australia, pp 135\u2013144","DOI":"10.1109\/RE.2010.26"},{"key":"129_CR12","unstructured":"Yu ESK, Mylopoulos J (1994) Understanding \u201cwhy\u201d in software process modelling, analysis, and design. In: Proceedings of the 16th international conference on software engineering (ICSE\u201994), pp 159\u2013168"},{"key":"129_CR13","doi-asserted-by":"crossref","unstructured":"Liaskos S, Lapouchnian A, Wang Y, Yu Y, Easterbrook S (2005) Configuring common personal software: a requirements-driven approach. In: Proceedings of the 13th IEEE international requirements engineering conference (RE\u201905). Paris, France, pp 9\u201318","DOI":"10.1109\/RE.2005.19"},{"key":"129_CR14","volume-title":"Generative Programming\u2014Methods, Tools, and Applications","author":"K Czarnecki","year":"2000","unstructured":"Czarnecki K, Eisenecker UW (2000) Generative programming\u2014methods, tools, and applications. Addison-Wesley, Reading"},{"issue":"2","key":"129_CR16","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/s00766-004-0191-7","volume":"9","author":"A Fuxman","year":"2004","unstructured":"Fuxman A, Liu L, Mylopoulos J, Pistore M, Roveri M, Traverso P (2004) Specifying and analyzing early requirements in Tropos. Requir Eng 9(2):132\u2013150","journal-title":"Requirements Eng"},{"key":"129_CR17","unstructured":"Wang X, Lesperance Y (2001) Agent-oriented requirements engineering using ConGolog and i*. In: AOIS-2001 Bi-conference workshop at agents 2001 and CAiSE\u201901"},{"key":"129_CR18","doi-asserted-by":"crossref","unstructured":"Jureta IJ, Borgida A, Ernst NA, Mylopoulos J (2010) Techne: towards a new generation of requirements modeling languages with goals, preferences, and inconsistency handling. In: Proceedings of the 18th IEEE international requirements engineering conference (RE\u201910). Sydney, Australia, pp 115\u2013124","DOI":"10.1109\/RE.2010.24"},{"issue":"3-5","key":"129_CR19","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0270-0255(87)90473-8","volume":"9","author":"RW Saaty","year":"1987","unstructured":"Saaty RW (1987) The analytic hierarchy process\u2014what it is and how it is used. Math Model 9(3-5):161\u2013176","journal-title":"Mathematical Modelling"},{"issue":"1","key":"129_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ejor.2004.04.028","volume":"169","author":"OS Vaidya","year":"2006","unstructured":"Vaidya OS, Kumar S (2006) Analytic hierarchy process: an overview of applications. Eur J Oper Res 169(1):1\u201329","journal-title":"Eur J Oper Res"},{"key":"129_CR21","unstructured":"Wiegers K (1999) First things first: prioritizing requirements. Softw Develop 7(9)"},{"key":"129_CR22","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/MS.2007.30","volume":"24","author":"J Azar","year":"2007","unstructured":"Azar J, Smith RK, Cordes D (2007) Value-oriented requirements prioritization in a small development organization. IEEE Softw 24:32\u201337","journal-title":"IEEE Software"},{"key":"129_CR23","unstructured":"Hansson SO (2005) Decision theory: a brief introduction. Technical report, Department of Philosophy and the History of Technology, Royal Institute of Technology (KTH)"},{"key":"129_CR24","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999) Patterns in property specifications for finite-state verification. In: Proceedings of the 21st international conference on software engineering (ICSE \u201999). IEEE Computer Society Press, Los Alamitos, pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"129_CR25","unstructured":"Liaskos S, Litoiu M, Jungblut MD, Mylopoulos J (2011) Goal-based behavioral customization of information systems. In: Proceedings of the 23rd international conference on advanced information systems engineering (CAiSE\u201911). London, UK"},{"key":"129_CR26","doi-asserted-by":"crossref","unstructured":"Liaskos S, Jungblut MD, Mylopoulos J (2010) From goal models to three-layer web-based systems: an exploratory study. In: Proceedings of the 1st RE\u201910 workshop on the web and requirements engineering (WeRE\u201910). Sydney, Australia","DOI":"10.1109\/WERE.2010.5624002"},{"key":"129_CR27","doi-asserted-by":"crossref","unstructured":"Liaskos S, McIlraith SA, Mylopoulos J (2009) Towards augmenting requirements models with preferences. In: Proceedings of the 24th IEEE\/ACM international conference on automated software engineering (ASE\u201909), pp 565\u2013569","DOI":"10.1109\/ASE.2009.91"},{"key":"129_CR28","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF02136175","volume":"18","author":"K Erol","year":"1996","unstructured":"Erol K, Hendler J, Nau D (1996) Complexity results for HTN planning. Ann Math Artif Intel 18:69\u201393","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"129_CR29","doi-asserted-by":"crossref","unstructured":"Jureta I, Mylopoulos J, Faulkner S (2008) Revisiting the core ontology and problem in requirements engineering. In: Proceedings of the 16th IEEE international requirements engineering conference (RE\u201908), pp 71\u201380","DOI":"10.1109\/RE.2008.13"},{"key":"129_CR30","volume-title":"Extreme Programming Explained","author":"K Beck","year":"1999","unstructured":"Beck K (1999) Extreme programming explained. Addison Wesley, Reading"},{"key":"129_CR31","volume-title":"Case Method Fast-Track: A RAD Approach","author":"D Clegg","year":"1994","unstructured":"Clegg D, Barker R (1994) Case method fast-track: a RAD approach. Addison Wesley, Reading"},{"key":"129_CR32","unstructured":"In HP, Olson D, Rodgers T (2002) Multi-criteria preference analysis for systematic requirements negotiation. In: Proceedings of the 26th annual international computer software and applications conference (COMPSAC\u201902), pp 887\u2013892"},{"key":"129_CR33","doi-asserted-by":"crossref","unstructured":"Avesani P, Bazzanella C, Perini A, Susi A, Facing scalability issues in requirements prioritization with machine learning techniques. In: Proceedings of the 13th IEEE international requirements engineering conference (RE\u201905), pp 297\u2013305","DOI":"10.1109\/RE.2005.30"},{"key":"129_CR34","doi-asserted-by":"crossref","unstructured":"Zhang H, Jarzabek S, Yang B (2003) Quality prediction and assessment for product lines. In: Proceedings of the 15th international conference on advanced information systems engineering (CAiSE\u201903), pp 681\u2013695","DOI":"10.1007\/3-540-45017-3_45"},{"issue":"1","key":"129_CR35","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s10270-003-0019-9","volume":"2","author":"G Halmans","year":"2003","unstructured":"Halmans G, Pohl K (2003) Communicating the variability of a software-product family to customers. Softw Syst Model 2(1):15\u201336","journal-title":"Software and System Modeling"},{"key":"129_CR36","doi-asserted-by":"crossref","unstructured":"Lapouchnian A, Yu Y, Mylopoulos J (2007) Requirements-driven design and configuration management of business processes. In: Proceedings of the 5th international conference on business process management (BPM 2007), pp 246\u2013261","DOI":"10.1007\/978-3-540-75183-0_18"},{"issue":"7","key":"129_CR37","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1016\/j.datak.2009.02.009","volume":"68","author":"R Lu","year":"2009","unstructured":"Lu R, Sadiq S, Governatori G (2009) On managing business processes variants. Data Knowl Eng 68(7):642\u2013664","journal-title":"Data and Knowledge Engineering"},{"key":"129_CR38","doi-asserted-by":"crossref","unstructured":"Gottschalk F, van der Aalst WM, Jansen-Vullers MH, La Rosa M (2008) Configurable workflow models. Int J Cooperat Inf Syst","DOI":"10.1142\/S0218843008001798"},{"issue":"5","key":"129_CR39","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"SW Sadiq","year":"2005","unstructured":"Sadiq SW, Orlowska ME, Sadiq W (2005) Specification and validation of process constraints for flexible workflows. Inf Syst 30(5):349\u2013378","journal-title":"Information Systems"},{"key":"129_CR40","doi-asserted-by":"crossref","first-page":"663","DOI":"10.1108\/14637150510630837","volume":"11","author":"P Soffer","year":"2005","unstructured":"Soffer P, Wand Y (2005) On the notion of soft-goals in business process modeling. Bus Process Manage J 11:663\u2013679","journal-title":"Business Process Management Journal"},{"issue":"3","key":"129_CR41","doi-asserted-by":"crossref","first-page":"175","DOI":"10.17705\/1jais.00119","volume":"8","author":"P Soffer","year":"2007","unstructured":"Soffer P, Wand Y (2007) Goal-driven multi-process analysis. J Assoc Inf Syst 8(3):175\u2013203","journal-title":"Journal of the Association for Information Systems"},{"key":"129_CR42","unstructured":"Yi Ch, Johannesson P (1999) Beyond goal representation: checking goal-satisfaction by temporal reasoning with business processes. In: Advanced information systems engineering, lecture notes in computer science, vol 1626, pp 462\u2013466"},{"key":"129_CR43","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s10257-008-0084-2","volume":"7","author":"B Andersson","year":"2009","unstructured":"Andersson B, Johannesson P, Zdravkovic J (2009) Aligning goals and services through goal and business modelling. Inf Syst e-Bus Manage 7:143\u2013169","journal-title":"Information Systems and e-Business Management"},{"key":"129_CR44","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/BF01587101","volume":"1","author":"J Krogstie","year":"1996","unstructured":"Krogstie J, Sindre G (1996) Utilizing deontic operators in information systems specification. Requir Eng 1:210\u2013237","journal-title":"Requirements Eng"},{"key":"129_CR45","unstructured":"Padmanabhan V, Governatori G, Sadiq S, Colomb R, Rotolo A (2006) Process modelling: the deontic way. In: Proceedings of the 3rd Asia-Pacific conference on conceptual modelling (APCCM \u201906). Darlinghurst, Australia, pp 75\u201384"},{"key":"129_CR46","unstructured":"Fantechi A, Asirelli P, ter Beek M, Gnesi S (2009) Deontic logics for modeling behavioural variability. In: Proceedings of the 3rd international workshop on variability modelling of software-intensive systems (VaMoS\u201909). Sevilla, Spain"},{"key":"129_CR47","volume-title":"The Handbook of Task Analysis for Human-Computer Interaction","author":"D Diaper","year":"2004","unstructured":"Diaper D, Stanton NA (2004) The handbook of task analysis for human-computer interaction. Lawrence Erlbaum Associates, London"},{"key":"129_CR48","doi-asserted-by":"crossref","unstructured":"Wang Y, McIlraith SA, Yu Y, Mylopoulos J (2007) An automated approach to monitoring and diagnosing requirements. In: Proceedings of the 22nd IEEE\/ACM international conference on automated software engineering (ASE \u201907), pp 293\u2013302","DOI":"10.1145\/1321631.1321675"},{"issue":"12","key":"129_CR49","doi-asserted-by":"crossref","first-page":"1072","DOI":"10.1109\/32.738340","volume":"24","author":"AG Sutcliffe","year":"1998","unstructured":"Sutcliffe AG, Maiden NAM, Minocha S, Manuel D (1998) Supporting scenario-based requirements engineering. IEEE Trans Softw Eng 24(12):1072\u20131088","journal-title":"IEEE Transactions on Software Engineering"},{"key":"129_CR50","doi-asserted-by":"crossref","unstructured":"Gans G, Jarke M, Lakemeyer G, Vits T (2002) Snet: A modeling and simulation environment for agent networks based on i* and ConGolog. In: Proceedings of the 14th international conference on advanced information systems engineering (CAiSE\u201902). Toronto, Canada","DOI":"10.1007\/3-540-47961-9_24"},{"key":"129_CR51","doi-asserted-by":"crossref","unstructured":"Bryl V, Giorgini P, Mylopoulos J (2006) Designing cooperative IS: Exploring and evaluating alternatives. In: Proceedings of the 14th international conference on cooperative information systems (CoopIS\u201906). Springer, Montpellier, pp 533\u2013550","DOI":"10.1007\/11914853_32"},{"key":"129_CR52","doi-asserted-by":"crossref","unstructured":"Sebastiani R, Giorgini P, Mylopoulos J (2004) Simple and minimum-cost satisfiability for goal models. In: Proceedings of the 16th conference on advanced information systems engineering (CAiSE\u201904), pp 20\u201335","DOI":"10.1007\/978-3-540-25975-6_4"},{"key":"129_CR53","doi-asserted-by":"crossref","unstructured":"Horkoff J, Yu E (2011) Analyzing goal models\u2014different approaches and how to choose among them. In: Proceedings of the 26th symposium on applied computing (SAC\u201911). Taiwan","DOI":"10.1145\/1982185.1982334"},{"key":"129_CR54","doi-asserted-by":"crossref","unstructured":"Kaiya H, Horai H, Saeki M (2002) AGORA: attributed goal-oriented requirements analysis method. In: Proceedings of the 10th anniversary IEEE joint international requirements engineering conference (RE\u201902), pp 13\u201322","DOI":"10.1109\/ICRE.2002.1048501"},{"key":"129_CR55","doi-asserted-by":"crossref","unstructured":"Schobbens PY, Heymans P, Trigaux JC (2006) Feature diagrams: A survey and a formal semantics. In: Proceedings of the 14th IEEE international requirements engineering conference (RE\u201906), IEEE Computer Society, Los Alamitos, pp 139\u2013148","DOI":"10.1109\/RE.2006.23"},{"key":"129_CR56","doi-asserted-by":"crossref","unstructured":"Borba C, Silva C (2009) A comparison of goal-oriented approaches to model software product lines variability. In: Proceedings of the ER 2009 workshops on advances in conceptual modeling\u2014challenging perspectives, pp 244\u2013253","DOI":"10.1007\/978-3-642-04947-7_30"},{"key":"129_CR57","doi-asserted-by":"crossref","unstructured":"Ant\u00f3nio S, Ara\u00fajo Ja, Silva C (2009) Adapting the i* framework for software product lines. In: Proceedings of the ER 2009 workshop on requirements, intentions and goals in conceptual modeling (RIGIM\u201909), pp 286\u2013295","DOI":"10.1007\/978-3-642-04947-7_34"},{"key":"129_CR58","doi-asserted-by":"crossref","unstructured":"Uno K, Hayashi S, Saeki M (2009) Constructing feature models using goal-oriented analysis. In: Proceedings of the 9th international conference on quality software (QSIC \u201909), pp 412\u2013417","DOI":"10.1109\/QSIC.2009.61"},{"key":"129_CR59","doi-asserted-by":"crossref","unstructured":"Yu Y, do Prado Leite JCS, Lapouchnian A, Mylopoulos J (2008) Configuring features with stakeholder goals. In: Proceedings of the 2008 ACM symposium on applied computing (SAC \u201908), pp 645\u2013649","DOI":"10.1145\/1363686.1363840"},{"key":"129_CR60","unstructured":"Silva L, Batista T, Soares S, Santos L (2010) On the role of features and goals models in the aspect-oriented development of software product line. Information Sciences and Technologies Bulletin of the ACM Slovakia, Special Section on Early Aspects 2"},{"key":"129_CR61","doi-asserted-by":"crossref","unstructured":"Mussbacher G, Amyot D, Ara\u00fajo Ja, Moreira A (2008) Modeling software product lines with AoURN. In: Proceedings of the 2008 AOSD workshop on early aspects (EA\u201908), EA \u201908, vol 2, pp 1\u20132 (8)","DOI":"10.1145\/1404946.1404948"},{"key":"129_CR2","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A (2000) Requirements engineering in the year 00: a research perspective. In: Proceedings of the 22nd international conference on software engineering (ICSE\u201900). ACM, New York, pp 5\u201319","DOI":"10.1145\/337180.337184"}],"container-title":["Requirements Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-011-0129-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00766-011-0129-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00766-011-0129-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,8]],"date-time":"2025-03-08T14:20:56Z","timestamp":1741443656000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00766-011-0129-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,12]]},"references-count":62,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["129"],"URL":"https:\/\/doi.org\/10.1007\/s00766-011-0129-9","relation":{},"ISSN":["0947-3602","1432-010X"],"issn-type":[{"value":"0947-3602","type":"print"},{"value":"1432-010X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,12]]}}}