{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:05:00Z","timestamp":1743109500922,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540690955"},{"type":"electronic","value":"9783540691006"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69100-6_21","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T09:27:49Z","timestamp":1212658069000},"page":"310-325","source":"Crossref","is-referenced-by-count":22,"title":["A Metamodeling Approach for Reasoning about Requirements"],"prefix":"10.1007","author":[{"given":"Arda","family":"Goknil","sequence":"first","affiliation":[]},{"given":"Ivan","family":"Kurtev","sequence":"additional","affiliation":[]},{"given":"Klaas","family":"van den Berg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","first-page":"459","volume-title":"EDOC 2007","author":"B. Baudry","year":"2007","unstructured":"Baudry, B., Nebut, C., Le Traon, Y.: Model-Driven Engineering for Requirements Analysis. In: EDOC 2007, pp. 459\u2013466. IEEE, Annapolis (2007)"},{"key":"21_CR2","first-page":"390","volume-title":"EDOC 2007","author":"E. Brottier","year":"2007","unstructured":"Brottier, E., Baudry, B., Le Traon, Y., Touzet, D., Nicolas, B.: Producing a Global Requirement Model from Multiple Requirement Specifications. In: EDOC 2007, pp. 390\u2013404. IEEE Computer Society Press, Annapolis (2007)"},{"key":"21_CR3","volume-title":"Writing Effective Use Cases","author":"A. Cockburn","year":"2000","unstructured":"Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Reading (2000)"},{"key":"21_CR4","unstructured":"Dean, M., Schreiber, G., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L.A.: OWL Web Ontology Language Reference W3C Recommendation (2004)"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"Advanced Information Systems Engineering","author":"D. Duffy","year":"1995","unstructured":"Duffy, D., MacHish, C., McDermid, J., Morris, P.: A Framework for Requirements Analysis Using Automated Reasoning. In: Iivari, J., Rossi, M., Lyytinen, K. (eds.) CAiSE 1995. LNCS, vol.\u00a0932. Springer, Heidelberg (1995)"},{"issue":"1","key":"21_CR6","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S1071-5819(02)00127-1","volume":"58","author":"J. Gennari","year":"2003","unstructured":"Gennari, J., Musen, A., Fergerson, R.W., Grosso, W.E., Crubezy, M., Eriksson, H., Noy, N.F., Tu, S.W.: The Evolution of Prot\u00e9g\u00e9: An Environment for Knowledge-Based Systems Development. International Journal of Human-Computer Studies\u00a058(1), 89\u2013123 (2003)","journal-title":"International Journal of Human-Computer Studies"},{"key":"21_CR7","unstructured":"Guide to Software Engineering Body of Knowledge. IEEE Computer Society, Los Alamitos (last visit 06.02.2008), \n                        http:\/\/www.swebok.org\/"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Heaven, W., Finkelstein, A.: UML Profile to Support Requirements Engineering with KAOS. IEE Proceedings \u2013 Software\u00a0151(1) (February 2004)","DOI":"10.1049\/ip-sen:20040297"},{"key":"21_CR9","unstructured":"Horrocks, I., Patel-Schneider, P., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: Semantic Web Rule Language \u2013 Combining OWL and RuleML. W3C (May 2004)"},{"key":"21_CR10","unstructured":"Jess, the Rule Engine for the Java Platform, \n                        http:\/\/herzberg.ca.sandia.gov\/"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Kent, S.: Model Driven Engineering. In: Proceedings of the 3\n                      r\n                    \n                    \n                      d\n                     International Conference on Integrated Formal Methods, London, UK, pp. 286\u2013298 (2002)","DOI":"10.1007\/3-540-47884-1_16"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/3-540-45068-8_92","volume-title":"Web Engineering","author":"N. Koch","year":"2003","unstructured":"Koch, N., Kraus, A.: Towards a Common Metamodel for the Development of Web Applications. In: Cueva Lovelle, J.M., Rodr\u00edguez, B.M.G., Gayo, J.E.L., Ruiz, M.d.P.P., Aguilar, L.J. (eds.) ICWE 2003. LNCS, vol.\u00a02722, pp. 497\u2013506. Springer, Heidelberg (2003)"},{"key":"21_CR13","unstructured":"Lopez, O., Laguna, M.A., Garcia, F.J.: Metamodeling for Requirements Reuse. In: Anais do WER 2002 - Workshop em Engenharia de Requisitos, Valencia, Spain (2002)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Meyer, J.J.C., Wieringa, R., Dignum, F.: The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems, 71\u2013115 (1998)","DOI":"10.1007\/978-1-4615-5643-5_4"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Moon, M., Yeom, K., Chae, H.S.: An Approach to Developing Domain Requirements as a Core Asset Based on Commonality and Variability Analysis in a Product Line. IEEE Transactions on Software Engineering\u00a031(7) (2005)","DOI":"10.1109\/TSE.2005.76"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Mylopoulos, J., Chung, L., Yu, E.: From Object-Oriented to Goal Oriented Requirements Analysis. Communications of the ACM\u00a042(1) (1999)","DOI":"10.1145\/291469.293165"},{"issue":"5","key":"21_CR17","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1080\/08874417.2006.11645925","volume":"46","author":"E. Navarro","year":"2006","unstructured":"Navarro, E., Mocholi, J.A., Letelier, P., Ramos, I.: A Metamodeling Approach for Requirements Specification. The Journal of Computer Information Systems\u00a046(5), 67\u201377 (2006)","journal-title":"The Journal of Computer Information Systems"},{"key":"21_CR18","unstructured":"OMG: SysML Specification OMG ptc\/06-05-04, \n                        http:\/\/www.sysml.org\/specs.htm"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Ramesh, B., Jarke, M.: Toward Reference Models for Requirements Traceability. IEEE Transactions on Software Engineering\u00a027(1) (2007)","DOI":"10.1109\/32.895989"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Rashid, A., Moreira, A., Araujo, J.: Modularization and Composition of Aspectual Requirements. In: AOSD 2003, Boston, United States, pp. 11\u201320 (2003)","DOI":"10.1145\/643603.643605"},{"key":"21_CR21","unstructured":"Requirements for the WASP application Framework, \n                        https:\/\/doc.telin.nl\/dsweb\/Get\/Document-27861\/WASP_D2.1_version_1.0_Final.pdf"},{"key":"21_CR22","unstructured":"Requirements Interchange Format (RIF), \n                        http:\/\/www.automotive-his.de\/rif\/doku.php"},{"key":"21_CR23","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Advances in Artificial Intelligence \u2013 SBIA 2004","author":"O. Rodrigues","year":"2004","unstructured":"Rodrigues, O., Garcez, A., Russo, A.: Reasoning about Requirements Evolution using Clustered Belief Revision. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol.\u00a03171. Springer, Heidelberg (2004)"},{"key":"21_CR24","unstructured":"SPARQL Query Language for RDF. W3C (January 2008), \n                        http:\/\/www.w3.org\/TR\/rdf-sparql-query\/"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Supakkul, S., Chung, L.: A UML Profile for Goal-Oriented and Use Case-Driven Representation of NFRs and FRs. In: SERA 2005 (2005)","DOI":"10.1109\/SERA.2005.19"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"van Lamswerdee, A., Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering\u00a024(11) (November 1998)","DOI":"10.1109\/32.730542"},{"key":"21_CR27","unstructured":"van Lamswerdee, A.: Goal-Oriented Requirements Engineering: A Roundtrip from Research to Practice. In: Invited Minitutorial, Proceedings RE 2001 - 5th International Symposium Requirements Engineering, Toronto, pp. 249\u2013263 (2001)"},{"issue":"9","key":"21_CR28","first-page":"437","volume":"6","author":"C. Vicente-Chicote","year":"2007","unstructured":"Vicente-Chicote, C., Moros, B., Toval, A.: REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting. Journal of Object Technology, Special Issue TOOLS Europe 2007\u00a06(9), 437\u2013454 (2007)","journal-title":"Journal of Object Technology, Special Issue TOOLS Europe 2007"},{"key":"21_CR29","unstructured":"Zowghi, D., Offen, R.: A Logical Framework for Modeling and Reasoning about the Evolution of Requirements. In: RE 1997, Annapolis, USA (January 1997)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69100-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:04:27Z","timestamp":1715058267000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-69100-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540690955","9783540691006"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69100-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}