{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T22:14:08Z","timestamp":1648505648664},"reference-count":31,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"9","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2013]]},"DOI":"10.1587\/transinf.e96.d.2065","type":"journal-article","created":{"date-parts":[[2013,8,31]],"date-time":"2013-08-31T23:08:16Z","timestamp":1377990496000},"page":"2065-2074","source":"Crossref","is-referenced-by-count":2,"title":["Improving Natural Language Requirements Quality Using Workflow Patterns"],"prefix":"10.1587","volume":"E96.D","author":[{"given":"Ye","family":"WANG","sequence":"first","affiliation":[{"name":"College of Computer Science, Zhejiang University"}]},{"given":"Xiaohu","family":"YANG","sequence":"additional","affiliation":[{"name":"College of Computer Science, Zhejiang University"}]},{"given":"Cheng","family":"CHANG","sequence":"additional","affiliation":[{"name":"College of Computer Science, Zhejiang University"}]},{"given":"Alexander J.","family":"KAVS","sequence":"additional","affiliation":[{"name":"State Street Corporation"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] M. Kamalrudin, “Automated software tool support for checking the inconsistency of requirements,” Proc. Int. Conf. on Automated Software Engineering, pp.693-697, Auckland, New Zealand, Nov. 2009.","DOI":"10.1109\/ASE.2009.38"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] M. Kamalrudin, J. Hosking, and J. Grundy, “Improving requirements quality using essential use case Interaction patterns,” Proc. Int. Conf. on Software Engineering, pp.531-540, Honolulu, HI, USA, May 2011.","DOI":"10.1145\/1985793.1985866"},{"key":"3","unstructured":"[3] H. Kaiya and A. Ohnishi, “Finding incorrect and missing quality requirements definitions using requirements frame,” IEICE Trans. Inf. & Syst., vol.E95-D, no.4, pp.1031-1043, April 2012."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] V. Gervasi and D. Zowghi, “Reasoning about inconsistencies in natural language requirements,” ACM Trans. Soft. Eng. & Methodology, vol.14, no.3, pp.277-330, July 2005.","DOI":"10.1145\/1072997.1072999"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] M. Klein, “An exception handling approach to enhancing consistency, completeness, and correctness in collaborative requirements capture,” Concurrent Eng. Research & App., vol.5, no.1, pp.37-46, 1997.","DOI":"10.1177\/1063293X9700500105"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] D. Zowghi and V. Gervasi, “On the interplay between consistency, completeness, and correctness in requirements evolution,” Info. & Soft. Tech., vol.45, no.14, pp.993-1009, Nov. 2003.","DOI":"10.1016\/S0950-5849(03)00100-9"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] B. Nuseibeh, S. Easterbrook, and A. Russo, “Making inconsistency respectable in software development,” J. Syst. & Soft., vol.58, no.2, pp.171-180, Sept. 2001.","DOI":"10.1016\/S0164-1212(01)00036-X"},{"key":"8","unstructured":"[8] A. van Lamsweerde, “Goal-oriented requirements engineering: A guided tour,” Proc. Int. Symp. on Req. Eng., pp.249-262, Toronto, Canada, Aug. 2001."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, “Tropos: An agent-oriented software development methodology,” Autonomous Agents and Multi-Agent Syst., vol.8, no.3, pp.203-236, May 2004.","DOI":"10.1023\/B:AGNT.0000018806.20944.ef"},{"key":"10","unstructured":"[10] M. Holzer and M. Kutrib, “State complexity of basic operations on nondeterministic finite automata,” Implementation and Application of Automata, vol.2608\/2003, pp.61-79, 2003."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] A.G. Sutcliffe, N.A.M. Maiden, S. Minocha, and D. Manuel, “Supporting scenario-based requirements engineering,” IEEE Trans. Softw. Eng., vol.24, no.12, pp.1072-1088, Dec. 1998.","DOI":"10.1109\/32.738340"},{"key":"12","unstructured":"[12] M. Weske, Business Process Management: Concepts, Languages, Architectures, Springer Publishing Company, 2004."},{"key":"13","unstructured":"[13] L. Thom, C. Iochpe, and M. Reichert, “Workflow patterns for business process modeling,” Proc. Int. Workshop on Business Process Modeling, pp.349-358, Brisbane, Australia, Sept. 2007."},{"key":"14","unstructured":"[14] M. Jackson, Problem Frames, ACM Press Books, Addison Wesley, 2001."},{"key":"15","unstructured":"[15] A. Sutcliffe, The Domain Theory: Patterns for knowledge and software reuse, first edition, CRC Press, 2002."},{"key":"16","unstructured":"[16] W. van der Aalst and A. ter Hofstede, “Workflow Patterns,” http:\/\/www.workflowpatterns.com\/, accessed May 6, 2012."},{"key":"17","unstructured":"[17] J.M. Carroll, Scenario-Based Design: Envisioning Work and Technology in System Development, Wiley, New York, 1995."},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] K. Zachos, N. Maiden, and A. Tosar, “Rich-media scenarios for discovering requirements,” IEEE Softw., vol.22, no.5, pp.89-97, Sept.-Oct. 2005.","DOI":"10.1109\/MS.2005.134"},{"key":"19","unstructured":"[19] R. Laney, L. Barroca, M. Jackson, and B. Nuseibeh, “Composing requirements using problem frames,” Proc. Int. Conf. on Req. Eng., Japan, pp.122-131, Sept. 2004."},{"key":"20","doi-asserted-by":"crossref","unstructured":"[20] S. Uchitel, J. Kramer, and J. Magee, “Synthesis of behavioral models from scenarios,” IEEE Trans. Softw. Eng., vol.29, no.2, pp.99-115, Feb. 2003.","DOI":"10.1109\/TSE.2003.1178048"},{"key":"21","doi-asserted-by":"crossref","unstructured":"[21] K. Cox, K.T. Phalp, S.J. Bleistein, and J.M. Verner, “Deriving requirements from process models via the problem frames approach,” Info. & Soft. Tech., vol.47, no.5, pp.319-337, March 2005.","DOI":"10.1016\/j.infsof.2004.09.002"},{"key":"22","doi-asserted-by":"crossref","unstructured":"[22] X. Wang, J. Sun, X. Yang, Y. Wang, S. Li, and A.J. Kavs, “Deriving problem frames from business process and object analysis models,” Expert System: the Journal of Knowledge Engineering, Aug. 2012. (Published online)","DOI":"10.1111\/j.1468-0394.2012.00632.x"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] X. Yang, L. Zhao, X. Wang, Y. Wang, J. Sun, and A.J. Kavs, “Satisfying quality requirements in the design of a partition-based, distributed stock trading system,” Software: Practice and Experience, vol.42, no.2, pp.131-157, Feb. 2012.","DOI":"10.1002\/spe.1054"},{"key":"24","doi-asserted-by":"crossref","unstructured":"[24] C. Baral and M. Gelfond, “Reasoning agents in dynamic domains,” in Logic-based artificial intelligence, pp.257-279, Kluwer Academic Publishers Norwell, 2000.","DOI":"10.1007\/978-1-4615-1567-8_12"},{"key":"25","unstructured":"[25] W. Li, “Toward consistency checking of natural language temporal requirements,” Proc. Int. Conf. on Automated Software Engineering, pp.651-655, Lawrence, KS, USA, 2011."},{"key":"26","unstructured":"[26] K. Takahashi, A. Sato, Y. Kato, and N. Shiratori, “Constraint-added specification of a concurrent system based on propositional logic,” IEICE Trans. Inf. & Syst. (Japanese Edition), vol.J85-D-I, no.1, pp.91-94, Jan. 2002."},{"key":"27","unstructured":"[27] L. Chung and J. do Prado Leite, “On non-functional requirements in software engineering,” Conceptual Modeling: Foundations and Applications, vol.5600, no.2009, pp.363-379, 2009."},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] B.W. Boehm and H. In, “Identifying quality-requirement conflicts,” IEEE Softw., vol.13, no.2, pp.25-35, 1996.","DOI":"10.1109\/52.506460"},{"key":"29","unstructured":"[29] OMG, Inc., “UML 2.4.1 superstructure specification,” http:\/\/www.omg.org\/spec\/UML\/2.4.1\/, accessed June 10, 2012."},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] D. Gross and E. Yu, “From non-functional requirements to design through patterns,” Req. Eng. J., vol.6, no.1, pp.18-36, Feb. 2001.","DOI":"10.1007\/s007660170013"},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] L. Scheinholtz and I. Wilmont, “Interview patterns for requirements elicitation,” Proc. Int. Conf. on Req. Eng.: Foundation for Soft. Quality, pp.72-77, Essen, Germany, March 2011.","DOI":"10.1007\/978-3-642-19858-8_9"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E96.D\/9\/E96.D_2065\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,26]],"date-time":"2021-04-26T06:46:12Z","timestamp":1619419572000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E96.D\/9\/E96.D_2065\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"references-count":31,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2013]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.e96.d.2065","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}