{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T07:54:52Z","timestamp":1726041292431},"publisher-location":"Singapore","reference-count":13,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811389610"},{"type":"electronic","value":"9789811389627"}],"license":[{"start":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T00:00:00Z","timestamp":1565827200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-981-13-8962-7_4","type":"book-chapter","created":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T11:02:58Z","timestamp":1565780578000},"page":"39-52","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Extracting Business Compliant Finite State Models from I $$^*$$ Models"],"prefix":"10.1007","author":[{"given":"Novarun","family":"Deb","sequence":"first","affiliation":[]},{"given":"Nabendu","family":"Chaki","sequence":"additional","affiliation":[]},{"given":"Mandira","family":"Roy","sequence":"additional","affiliation":[]},{"given":"Surochita","family":"Pal","sequence":"additional","affiliation":[]},{"given":"Ankita","family":"Bhaumick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,15]]},"reference":[{"key":"4_CR1","unstructured":"Abdelzad, V., Amyot, D., Alwidian, S.A., Lethbridge, T.: A Textual Syntax with Tool Support for the Goal-oriented Requirement Language. University of Ottawa, Ottawa, Canada, EECS (2015)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Deb, N., Chaki, N., Ghose, A.K.: Using i\n                    \n                      \n                    \n                    $$^*$$\n                   model towards ontology integration and completeness checking in enterprise systems requirement hierarchy. In: IEEE International Model-Driven Requirements Engineering Workshop (MoDRE) (2015)","DOI":"10.1109\/MoDRE.2015.7343871"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1016\/j.jss.2016.03.038","volume":"121","author":"Novarun Deb","year":"2016","unstructured":"Deb, N., Chaki, N., Ghose., A.K.: Extracting finite state models from i\n                    \n                      \n                    \n                    $$^*$$\n                   models. J. Syst. Softw. 121, 265\u2013280 (2016). \n                    https:\/\/doi.org\/10.1016\/j.jss.2016.03.038","journal-title":"Journal of Systems and Software"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Deb, N., Chaki, N., Ghose, A.K.: i\n                    \n                      \n                    \n                    $$^*$$\n                  tonusmv: a prototype for enabling model checking of i\n                    \n                      \n                    \n                    $$^*$$\n                   models. In: IEEE 24th International Requirements Engineering Conference (RE) (2016)","DOI":"10.1109\/RE.2016.62"},{"key":"4_CR5","doi-asserted-by":"publisher","unstructured":"Ghanavati, S., Rifaut, A., Dubois, E., Amyot, D.: Goal-oriented compliance with multiple regulations. In: IEEE 22nd International Requirements Engineering Conference (RE) (2014). \n                    https:\/\/doi.org\/10.1109\/RE.2014.6912249","DOI":"10.1109\/RE.2014.6912249"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Horkoff, J., Yu, E.K.H.: Analyzing goal models: different approaches and how to choose among them. SAC (2011)","DOI":"10.1145\/1982185.1982334"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Kherbouche, O.M., Ahmad, A., Basson, H.: Formal approach for compliance rules checking in business process models. In: IEEE 9th International Conference on Emerging Technologies (ICET) (2013). \n                    https:\/\/doi.org\/10.1109\/ICET.2013.6743500","DOI":"10.1109\/ICET.2013.6743500"},{"key":"4_CR8","unstructured":"Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On enabling data-aware compliance checking of business process models. In: 29th International Conference on Conceptual Modeling, Springer, vol. 6412, pp. 332\u2013346 (2010). \n                    http:\/\/dbis.eprints.uni-ulm.de\/665\/"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Koliadis, G., Ghose, A.K.: Relating business process models to goal-oriented requirements models in kaos. PKAW (2006)","DOI":"10.1007\/11961239_3"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Negishi, Y., Hayashi, S., Saeki, M.: Establishing regulatory compliance in goal-oriented requirements analysis. In: IEEE 19th Conference on Business Informatics (CBI) (2017). \n                    https:\/\/doi.org\/10.1109\/CBI.2017.49","DOI":"10.1109\/CBI.2017.49"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10660-009-9039-z","volume":"9","author":"A Pourshahid","year":"2009","unstructured":"Pourshahid, A., Amyot, D., Peyton, L., Ghanavati, S., Chen, P., Weiss, M., Forster, A.J.: Business process management with the user requirements notation. Electron. Commer. Res. 9, 269\u2013316 (2009)","journal-title":"Electron. Commer. Res."},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Sepideh, G., Daniel, A., Liam, P.: A systematic review of goal-oriented requirements management frameworks for business process compliance. In: IEEE Fourth International Workshop on Requirements Engineering and Law (2011). \n                    https:\/\/doi.org\/10.1109\/RELAW.2011.6050270","DOI":"10.1109\/RELAW.2011.6050270"},{"key":"4_CR13","unstructured":"Yu, E.: Modelling strategic relationships for process reengineering. University of Toronto, Toronto, Canada Ph.D. thesis (1995)"}],"container-title":["Advances in Intelligent Systems and Computing","Advanced Computing and Systems for Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-8962-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,14]],"date-time":"2019-08-14T11:06:42Z","timestamp":1565780802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-8962-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,15]]},"ISBN":["9789811389610","9789811389627"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-8962-7_4","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,8,15]]},"assertion":[{"value":"15 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}