{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:51:20Z","timestamp":1725580280126},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642201158"},{"type":"electronic","value":"9783642201165"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20116-5_6","type":"book-chapter","created":{"date-parts":[[2011,3,30]],"date-time":"2011-03-30T01:10:57Z","timestamp":1301447457000},"page":"71-84","source":"Crossref","is-referenced-by-count":1,"title":["Checking Regulatory Compliance of Business Processes and Information Systems"],"prefix":"10.1007","author":[{"given":"Motoshi","family":"Saeki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haruhiko","family":"Kaiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoshi","family":"Hattori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Cabinet Office, Government of Japan: Act on the Protection of Personal Information (2003), \n                    \n                      http:\/\/www5.cao.go.jp\/seikatsu\/kojin\/foreign\/act.pdf"},{"key":"6_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-70525-3_4","volume-title":"Deontic Logic in Computer Science","author":"P. Castero","year":"2008","unstructured":"Castero, P., Maibaum, T.: A Tableaux System for Deontic Action Logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 34\u201348. Springer, Heidelberg (2008)"},{"key":"6_CR3","unstructured":"Darimont, R., Lemoine, M.: Goal Oriented Analysis of Regulations. In: REMO2V, CAiSE 2006 Workshop, pp. 838\u2013844 (2006)"},{"key":"6_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-540-70525-3_10","volume-title":"Deontic Logic in Computer Science","author":"N. Dinesh","year":"2008","unstructured":"Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 110\u2013124. Springer, Heidelberg (2008)"},{"key":"6_CR5","unstructured":"Eckoff, T., Sundby, N.: RECHTSSYSTEME (1997)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Hassan, W., Logrippo, L.: Requirements and Compliance in Legal Systems: a Logic Approach. In: Requirements Engineering and Law (RELAW 2008), pp. 40\u201344 (2008)","DOI":"10.1109\/RELAW.2008.8"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF00118478","volume":"1","author":"A. Jones","year":"2004","unstructured":"Jones, A., Sergot, M.: Deontic Logic in the Representation of Law: Towards a Methodology. Aritificial Intelligence and Law\u00a01(1), 45\u201364 (2004)","journal-title":"Aritificial Intelligence and Law"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1109\/TSE.2006.22","volume":"32","author":"C. Nebut","year":"2006","unstructured":"Nebut, C., Fleurey, F., Traon, Y., Jezequel, J.M.: Automatic Test Generation: A Use Case Driven Approach. IEEE Transaction on Software Engineering\u00a032(3), 140\u2013155 (2006)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"6_CR9","unstructured":"NuSMV: A New Symbolic Model Checker (2007), \n                    \n                      http:\/\/nusmv.fbk.eu\/"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Otto, P., Anton, A.: Addressing Legal Requirements in Requirements Engineering. In: Proc. of 15th IEEE International Requirements Engineering Conference, pp. 5\u201314 (2007)","DOI":"10.1109\/RE.2007.65"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"1st International Workshop on Requirements Engineering and Law (2008), \n                    \n                      http:\/\/www.csc2.ncsu.edu\/workshops\/relaw\/","DOI":"10.1109\/RELAW.2008.4"},{"key":"6_CR12","unstructured":"International Workshop on Regulations Modelling and Their Validation and Verification (REMO2V), CAiSE 2006 Workshop(2006), \n                    \n                      http:\/\/lacl.univ-paris12.fr\/\/REMO2V\/"},{"key":"6_CR13","unstructured":"Interdisciplinary Workshop: Regulations Modelling and Deployment (2008), \n                    \n                      http:\/\/lacl.univ-paris12.fr\/REMOD08\/"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-69534-9_18","volume-title":"Advanced Information Systems Engineering","author":"M. Saeki","year":"2008","unstructured":"Saeki, M., Kaiya, H.: Supporting the Elicitation of requirements Compliant with Regulations. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 228\u2013242. Springer, Heidelberg (2008)"},{"key":"6_CR15","unstructured":"Some, S.: Use case editor (uced), \n                    \n                      http:\/\/www.site.uottawa.ca\/~ssome\/Use_Case_Editor_UCEd.html"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Whittle, J., Jayaraman, P.: Generating Hierarchical State Machines from Use Case Charts. In: Proc. of 14th IEEE Requirements Engineering Conference (RE 2006), pp. 19\u201328 (2006)","DOI":"10.1109\/RE.2006.25"}],"container-title":["Communications in Computer and Information Science","Software and Data Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20116-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T15:35:46Z","timestamp":1558539346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20116-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642201158","9783642201165"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20116-5_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}