{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T19:53:13Z","timestamp":1776887593798,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642340017","type":"print"},{"value":"9783642340024","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34002-4_30","type":"book-chapter","created":{"date-parts":[[2012,10,17]],"date-time":"2012-10-17T15:29:24Z","timestamp":1350487764000},"page":"383-396","source":"Crossref","is-referenced-by-count":26,"title":["Capturing Variability of Law with N\u00f3mos 2"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Siena","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Jureta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia","family":"Ingolfo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angelo","family":"Susi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Perini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/978-3-642-04840-1_35","volume-title":"Conceptual Modeling - ER 2009","author":"A. Siena","year":"2009","unstructured":"Siena, A., Mylopoulos, J., Perini, A., Susi, A.: Designing Law-Compliant Software Requirements. In: Laender, A.H.F., Castano, S., Dayal, U., Casati, F., de Oliveira, J.P.M. (eds.) ER 2009. LNCS, vol.\u00a05829, pp. 472\u2013486. Springer, Heidelberg (2009)"},{"key":"30_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-39733-5_1","volume-title":"Journal on Data Semantics I","author":"P. Giorgini","year":"2003","unstructured":"Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Formal Reasoning Techniques for Goal Models. In: Spaccapietra, S., March, S., Aberer, K. (eds.) Journal on Data Semantics I. LNCS, vol.\u00a02800, pp. 1\u201320. Springer, Heidelberg (2003)"},{"key":"30_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-540-25975-6_4","volume-title":"Advanced Information Systems Engineering","author":"R. Sebastiani","year":"2004","unstructured":"Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and Minimum-Cost Satisfiability for Goal Models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol.\u00a03084, pp. 20\u201335. Springer, Heidelberg (2004)"},{"issue":"3","key":"30_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. Autonomous Agents and Multi-Agent Systems\u00a08(3), 203\u2013236 (2004)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"30_CR5","unstructured":"van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (2009)"},{"key":"30_CR6","unstructured":"Darimont, R., Lemoine, M.: Goal-oriented analysis of regulations. In: Laleau, R., Lemoine, M. (eds.) CAiSE 2006. CEUR Workshop Proceedings, CEUR-WS.org, vol.\u00a0241 (2006)"},{"key":"30_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-540-72988-4_16","volume-title":"Advanced Information Systems Engineering","author":"S. Ghanavati","year":"2007","unstructured":"Ghanavati, S., Amyot, D., Peyton, L.: Towards a Framework for Tracking Legal Compliance in Healthcare. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 218\u2013232. Springer, Heidelberg (2007)"},{"key":"30_CR8","first-page":"33","volume-title":"Proceedings of RE 2008","author":"A. Rifaut","year":"2008","unstructured":"Rifaut, A., Dubois, E.: Using goal-oriented requirements engineering for improving the quality of iso\/iec 15504 based compliance assessment frameworks. In: Proceedings of RE 2008, pp. 33\u201342. IEEE Computer Society, Washington, DC (2008)"},{"key":"30_CR9","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":"30_CR10","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1145\/112646.112665","volume-title":"Proceedings of the 3rd International Conference on Artificial Intelligence and Law, ICAIL 1991","author":"G. Sartor","year":"1991","unstructured":"Sartor, G.: The structure of norm conditions and nonmonotonic reasoning in law. In: Proceedings of the 3rd International Conference on Artificial Intelligence and Law, ICAIL 1991, pp. 155\u2013164. ACM, New York (1991)"},{"key":"30_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-642-16524-5_11","volume-title":"AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue","author":"G. Boella","year":"2010","unstructured":"Boella, G., Governatori, G., Rotolo, A., van der Torre, L.: Lex Minus Dixit Quam Voluit, Lex Magis\n                  Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation. In: Casanovas, P., Pagallo, U., Sartor, G., Ajani, G. (eds.) AICOL-II\/JURIX 2009. LNCS, vol.\u00a06237, pp. 162\u2013183. Springer, Heidelberg (2010)"},{"key":"30_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-87877-3_13","volume-title":"Conceptual Modeling - ER 2008","author":"N. Kiyavitskaya","year":"2008","unstructured":"Kiyavitskaya, N., Zeni, N., Breaux, T.D., Ant\u00f3n, A.I., Cordy, J.R., Mich, L., Mylopoulos, J.: Automating the Extraction of Rights and Obligations for Regulatory Compliance. In: Li, Q., Spaccapietra, S., Yu, E., Oliv\u00e9, A. (eds.) ER 2008. LNCS, vol.\u00a05231, pp. 154\u2013168. Springer, Heidelberg (2008)"},{"key":"30_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/TSE.2007.70746","volume":"34","author":"T. Breaux","year":"2008","unstructured":"Breaux, T., Ant\u00f3n, A.: Analyzing regulatory rules for privacy and security requirements. IEEE Trans. Softw. Eng.\u00a034, 5\u201320 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"30_CR14","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/CSFW.2006.24","volume-title":"Proceedings of the 19th IEEE Workshop on Computer Security Foundations","author":"M.J. May","year":"2006","unstructured":"May, M.J., Gunter, C.A., Lee, I.: Privacy apis: Access control techniques to analyze and verify legal privacy policies. In: Proceedings of the 19th IEEE Workshop on Computer Security Foundations, pp. 85\u201397. IEEE Computer Society, Washington, DC (2006)"},{"key":"30_CR15","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/1165485.1165506","volume-title":"Proceedings of the 10th International Conference on Artificial Intelligence and Law, ICAIL 2005","author":"C. Biagioli","year":"2005","unstructured":"Biagioli, C., Francesconi, E., Passerini, A., Montemagni, S., Soria, C.: Automatic semantics extraction in law documents. In: Proceedings of the 10th International Conference on Artificial Intelligence and Law, ICAIL 2005, pp. 133\u2013140. ACM, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34002-4_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:40:25Z","timestamp":1620132025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34002-4_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642340017","9783642340024"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34002-4_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}