{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T07:06:42Z","timestamp":1760425602131,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319699035"},{"type":"electronic","value":"9783319699042"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69904-2_6","type":"book-chapter","created":{"date-parts":[[2017,10,20]],"date-time":"2017-10-20T05:18:33Z","timestamp":1508476713000},"page":"69-76","source":"Crossref","is-referenced-by-count":3,"title":["Mining Goal Refinement Patterns: Distilling Know-How from Data"],"prefix":"10.1007","author":[{"given":"Metta","family":"Santiputri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Novarun","family":"Deb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Asjad","family":"Khan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aditya","family":"Ghose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoa","family":"Dam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabendu","family":"Chaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,21]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Abbasghorbani, S., Tavoli, R.: Survey on sequential pattern mining algorithms. In: 2nd International Conference on Knowledge-Based Engineering and Innovation (KBEI), pp. 1153\u20131164 (2015)","DOI":"10.1109\/KBEI.2015.7436211"},{"issue":"11","key":"6_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-89674-6_12","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"G Boella","year":"2008","unstructured":"Boella, G., Broersen, J., van der Torre, L.: Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS, vol. 5357, pp. 86\u201397. Springer, Heidelberg (2008). doi:\n10.1007\/978-3-540-89674-6_12"},{"issue":"3","key":"6_CR4","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P Bresciani","year":"2004","unstructured":"Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: an agent-oriented software development methodology. Auton. Agent. Multi-Agent Syst. 8(3), 203\u2013236 (2004)","journal-title":"Auton. Agent. Multi-Agent Syst."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Chaudhari, M., Mehta, C.: Extension of prefix span approach with GRC constraints for sequential pattern mining. In: International Conference on Electrical, Electronics, and Optimization Techniques (ICEEOT), pp. 2496\u20132498 (2016)","DOI":"10.1109\/ICEEOT.2016.7755142"},{"issue":"4","key":"6_CR6","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1023\/A:1024888511283","volume":"32","author":"S Chopra","year":"2003","unstructured":"Chopra, S., Ghose, A., Meyer, T.: Non-prioritized ranked belief change. J. Philos. Logic 32(4), 417\u2013443 (2003)","journal-title":"J. Philos. Logic"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Cleland-Huang, J., Settimi, R., Zou, X., Solc, P.: The detection and classification of non-functional requirements with application to early aspects. In: 14th IEEE International Conference on Requirements Engineering, pp. 39\u201348. IEEE (2006)","DOI":"10.1109\/RE.2006.65"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Darimont, R., Delor, E., Massonet, P., van Lamsweerde, A.: GRAIL\/KAOS: an environment for goal-driven requirements engineering. In: Proceedings of the 19th International Conference on Software Engineering, pp. 612\u2013613. ACM (1997)","DOI":"10.1145\/253228.253499"},{"issue":"2","key":"6_CR9","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1504\/IJAOSE.2010.032799","volume":"4","author":"A Dasgupta","year":"2010","unstructured":"Dasgupta, A., Ghose, A.K.: Implementing reactive BDI agents with user-given constraints and objectives. Int. J. Agent-Oriented Softw. Eng. 4(2), 141\u2013154 (2010)","journal-title":"Int. J. Agent-Oriented Softw. Eng."},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1016\/j.procs.2016.09.204","volume":"100","author":"Jorge Esparteiro Garcia","year":"2016","unstructured":"Garcia, J.E., Paiva, A.C.: Maintaining requirements using web usage data. In: International Conference on ENTERprise Information Systems\/International Conference on Project MANagement\/International Conference on Health and Social Care Information Systems and Technologies, CENTERIS\/ProjMAN \/HCist. Procedia Comput. Sci. 100, 626\u2013633 (2016)","journal-title":"Procedia Computer Science"},{"key":"6_CR11","unstructured":"Ghose, A., Goebel, R.: Belief states as default theories: studies in non-prioritized belief change. In: ECAI, vol. 98, pp. 8\u201312 (1998)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-540-75563-0_27","volume-title":"Conceptual Modeling - ER 2007","author":"A Ghose","year":"2007","unstructured":"Ghose, A., Koliadis, G., Chueng, A.: Rapid business process discovery (R-BPD). In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 391\u2013406. Springer, Heidelberg (2007). doi:\n10.1007\/978-3-540-75563-0_27"},{"key":"6_CR13","unstructured":"Ghose, A., Santiputri, M., Saraswati, A., Dam, H.K.: Data-driven requirements modeling: Some initial results with i$$^*$$. In: Tenth Asia-Pacific Conference on Conceptual Modelling (APCCM), pp. 55\u201364 (2014)"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Hassani, M., Lu, Y., Wischnewsky, J., Seidl, T.: A geometric approach for mining sequential patterns in interval-based data streams. In: IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), pp. 2128\u20132135 (2016)","DOI":"10.1109\/FUZZ-IEEE.2016.7737954"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Hassani, M., Siccha, S., Richter, F., Seidl, T.: Efficient process discovery from event streams using sequential pattern mining. In: IEEE Symposium Series on Computational Intelligence, pp. 1366\u20131373 (2015)","DOI":"10.1109\/SSCI.2015.195"},{"issue":"11","key":"6_CR16","doi-asserted-by":"publisher","first-page":"1704","DOI":"10.1109\/TCAD.2015.2421907","volume":"34","author":"X Jin","year":"2015","unstructured":"Jin, X., Donze, A., Deshmukh, J.V., Seshia, S.A.: Mining requirements from closed-loop control models. IEEE Trans. Comput. Aided Des. Integr. Circ. Syst. 34(11), 1704\u20131717 (2015)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.infsof.2015.10.001","volume":"70","author":"A Knauss","year":"2016","unstructured":"Knauss, A., Damian, D., Franch, X., Rook, A., M\u00fcller, H.A., Thomo, A.: ACon: a learning-based approach to deal with uncertainty in contextual requirements at run time. Inf. Softw. Technol. 70, 85\u201399 (2016). Elsevier","journal-title":"Inf. Softw. Technol."},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/3-540-44652-4_41","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"T Meyer","year":"2001","unstructured":"Meyer, T., Ghose, A., Chopra, S.: Social choice, merging, and elections. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS, vol. 2143, pp. 466\u2013477. Springer, Heidelberg (2001). doi:\n10.1007\/3-540-44652-4_41"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/3-540-45683-X_88","volume-title":"PRICAI 2002: Trends in Artificial Intelligence","author":"T Meyer","year":"2002","unstructured":"Meyer, T., Ghose, A., Chopra, S.: Syntactic representations of semantic merging operations. In: Ishizuka, M., Sattar, A. (eds.) PRICAI 2002. LNCS (LNAI), vol. 2417, p. 620. Springer, Heidelberg (2002). doi:\n10.1007\/3-540-45683-X_88"},{"key":"6_CR20","unstructured":"Mikolov, T., Chen, K., Corrado, G., Dean, J.: Efficient estimation of word representations in vector space. arXiv preprint \narXiv:1301.3781\n\n (2013)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Patel, R., Chaudhari, T.: A review on sequential pattern mining using pattern growth approach. In: International Conference on Wireless Communications, Signal Processing and Networking (WiSPNET), pp. 1424\u20131427 (2016)","DOI":"10.1109\/WiSPNET.2016.7566371"},{"key":"6_CR22","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-319-19237-6_3","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"S Sch\u00f6nig","year":"2015","unstructured":"Sch\u00f6nig, S., Cabanillas, C., Jablonski, S., Mendling, J.: Mining the organisational perspective in agile business processes. In: Gaaloul, K., Schmidt, R., Nurcan, S., Guerreiro, S., Ma, Q. (eds.) CAISE 2015. LNBIP, vol. 214, pp. 37\u201352. Springer, Cham (2015). doi:\n10.1007\/978-3-319-19237-6_3"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Sohrabi, M.K., Ghods, V.: CUSE: a novel cube-based approach for sequential pattern mining. In: 4th International Symposium on Computational and Business Intelligence (ISCBI), pp. 186\u2013190 (2016)","DOI":"10.1109\/ISCBI.2016.7743281"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Uragaki, K., Hosaka, T., Arahori, Y., Kushima, M.: Sequential pattern mining on electronic medical records with handling time intervals and the efficacy of medicines. In: IEEE Symposium on Computers and Communication (ISCC), pp. 20\u201325 (2016)","DOI":"10.1109\/ISCC.2016.7543708"},{"key":"6_CR25","doi-asserted-by":"crossref","unstructured":"Yu, E.S.: Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of the Third IEEE International Symposium on Requirements Engineering, pp. 226\u2013235. IEEE (1997)","DOI":"10.1109\/ISRE.1997.566873"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/B978-0-12-411519-4.00018-5","volume-title":"The Art and Science of Analyzing Software Data","author":"Hamzeh Zawawy","year":"2015","unstructured":"Zawawy, H., Mankovskii, S., Kontogiannis, K., Mylopoulos, J.: Mining software logs for goal-driven root cause analysis. In: The Art and Science of Analyzing Software Data, pp. 519\u2013554 (2015)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69904-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T15:15:23Z","timestamp":1544109323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69904-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319699035","9783319699042"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69904-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}