{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:14:58Z","timestamp":1725538498162},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642044243"},{"type":"electronic","value":"9783642044250"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04425-0_10","type":"book-chapter","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T05:52:04Z","timestamp":1254289924000},"page":"122-136","source":"Crossref","is-referenced-by-count":20,"title":["Parsing SBVR-Based Controlled Languages"],"prefix":"10.1007","author":[{"given":"Mathias","family":"Kleiner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Albert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"B\u00e9zivin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/11663430_14","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 128\u2013138. Springer, Heidelberg (2006)"},{"key":"10_CR2","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Query\/View\/Transformation (QVT) Specification, version 1.0 (2008)"},{"key":"10_CR3","unstructured":"Semantics of Business Vocabulary and Business Rules (SBVR) 1.0 specification (2008), http:\/\/www.omg.org\/spec\/SBVR\/1.0\/"},{"key":"10_CR4","unstructured":"Schwitter, R., Fuchs, N.E.: Attempto controlled english (ace) a seemingly informal bridgehead in formal territory. In: JICSLP, p. 536 (1996)"},{"key":"10_CR5","unstructured":"Kaljurand, K.: Ace view - an ontology and rule editor based on controlled english. In: International Semantic Web Conference (Posters & Demos). CEUR Workshop Proceedings, vol.\u00a0401, CEUR-WS.org (2008)"},{"key":"10_CR6","unstructured":"JRules (2009), http:\/\/www.ilog.fr\/products\/jrules\/"},{"key":"10_CR7","unstructured":"Drools (2009), http:\/\/www.jboss.org\/drools\/"},{"key":"10_CR8","volume-title":"Configuration. Volume Handbook of Constraint Programming","author":"U. Junker","year":"2006","unstructured":"Junker, U.: 26. In: Configuration. Volume Handbook of Constraint Programming. Elsevier, Amsterdam (2006)"},{"key":"10_CR9","unstructured":"Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: Proceedings of AAAI 1990, pp. 25\u201332 (1990)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/3-540-57292-9_68","volume-title":"Advances in Artificial Intelligence: Proceedings of AI*IA 1993","author":"M. Stumptner","year":"1993","unstructured":"Stumptner, M., Haselb\u00f6ck, A.: A generative constraint formalism for configuration problems. In: Advances in Artificial Intelligence: Proceedings of AI*IA 1993, pp. 302\u2013313. Springer, Heidelberg (1993)"},{"key":"10_CR11","unstructured":"Sabin, D., Freuder, E.C.: Composite constraint satisfaction. In: AI and Manufacturing Research Planning Workshop, pp. 153\u2013161 (1996)"},{"issue":"2","key":"10_CR12","first-page":"111","volume":"10","author":"M. Stumptner","year":"1997","unstructured":"Stumptner, M.: An overview of knowledge-based configuration. AI Communications\u00a010(2), 111\u2013125 (1997)","journal-title":"AI Communications"},{"key":"10_CR13","unstructured":"Soininen, T., Niemela, I., Tiihonen, J., Sulonen, R.: Representing configuration knowledge with weight constraint rules. In: Proceedings of the AAAI Spring Symp. on Answer Set Programming, pp. 195\u2013201 (2001)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Mailharro, D.: A classification and constraint-based framework for configuration. AI in Engineering, Design and Manufacturing\u00a0(12), 383\u2013397 (1998)","DOI":"10.1017\/S0890060498124101"},{"key":"10_CR15","volume-title":"IJCAI 2003","author":"U. Junker","year":"2003","unstructured":"Junker, U., Mailharro, D.: The logic of (j)configurator: Combining constraint programming with a description logic. In: IJCAI 2003. Springer, Heidelberg (2003)"},{"key":"10_CR16","unstructured":"Estratat, M., Henocque, L.: Parsing languages with a configurator. In: Proceedings of the European Conference for Artificial Intelligence ECAI 2004, August 2004, pp. 591\u2013595 (2004)"},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-45800-X_5","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"A. Felfernig","year":"2002","unstructured":"Felfernig, A., Friedrich, G., Jannach, D., Zanker, M.: Configuration knowledge representation using uml\/ocl. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 49\u201362. Springer, Heidelberg (2002)"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/11768869_14","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., B\u00e9zivin, J.: Km3: A dsl for metamodel specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 171\u2013185. Springer, Heidelberg (2006)"},{"key":"10_CR19","unstructured":"Kittredge, R.I.: Sublanguages and controlled languages. Oxford Press (2003)"},{"key":"10_CR20","unstructured":"Blache, P., Balfourier, J.-M.: Property grammars: a flexible constraint-based approach to parsing. In: IWPT. Tsinghua University Press (2001)"},{"key":"10_CR21","unstructured":"EMF (2009), http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"10_CR22","volume-title":"Information Systems","author":"J. Cabot","year":"2009","unstructured":"Cabot, J., Pau, R., Ravent\u00f3s, R.: From uml\/ocl to sbvr specifications: a challenging transformation. In: Information Systems. Elsevier, Amsterdam (2009)"},{"key":"10_CR23","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1145\/1321631.1321737","volume-title":"ASE","author":"J. Cabot","year":"2007","unstructured":"Cabot, J., Claris\u00f3, R., Riera, D.: Umltocsp: a tool for the formal verification of uml\/ocl models using constraint programming. In: ASE, pp. 547\u2013548. ACM, New York (2007)"},{"key":"10_CR24","first-page":"95","volume-title":"ISSRE","author":"T.T. Dinh-Trong","year":"2006","unstructured":"Dinh-Trong, T.T., Ghosh, S., France, R.B.: A systematic approach to generate inputs to test uml design models. In: ISSRE, pp. 95\u2013104. IEEE Computer Society, Los Alamitos (2006)"},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Automating first-order relational logic. In: SIGSOFT FSE, pp. 130\u2013139 (2000)","DOI":"10.1145\/355045.355063"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04425-0_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T19:01:05Z","timestamp":1558551665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04425-0_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642044243","9783642044250"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04425-0_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}