Parsing SBVR-based controlled languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5795 LNCS, Issue , 2009, Pages 122-136

  Kleiner, Mathias ^a   Albert, Patrick ^b   Bézivin, Jean ^a  

^a INRIA   (France)

^b IBM   (United States)

Author keywords

Configuration; Constraints; Controlled languages; Model search; Model driven engineering; Parsing; SBVR

Indexed keywords

ABSTRACT SYNTAX; BUSINESS VOCABULARY; CONCEPTUAL SCHEMAS; CONCRETE SYNTAX; CONFIGURATION CONSTRAINTS; CORE ELEMENTS; DECISION MAKERS; DETERMINISTIC PARSING; INTERMEDIATE LAYERS; MANAGEMENT PROCESS; MODEL SEARCH; MODEL TRANSFORMATION; MODEL-DRIVEN ENGINEERING; NATURAL LANGUAGES; RESOLUTION TECHNIQUES; SCHEMAS; TERMINAL MODEL; THEORETICAL RESULT; UML CLASS DIAGRAMS;

FEATURE EXTRACTION; LINGUISTICS; QUERY LANGUAGES; SYNTACTICS;

MODELS;

EID: 77249133247     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04425-0_10     Document Type: Conference Paper

References (25)

1. Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128-138. Springer, Heidelberg (2006)
2. Object Management Group: Meta Object Facility (MOF) 2.0 Query/View/Transformation (QVT) Specification, version 1.0 (2008)
3. Semantics of Business Vocabulary and Business Rules (SBVR) 1.0 specification (2008), http://www.omg.org/spec/SBVR/1.0/
4. Schwitter, R., Fuchs, N.E.: Attempto controlled english (ace) a seemingly informal bridgehead in formal territory. In: JICSLP, p. 536 (1996)
5. Kaljurand, K.: Ace view - an ontology and rule editor based on controlled english. In: International Semantic Web Conference (Posters & Demos). CEUR Workshop Proceedings, vol. 401, CEUR-WS.org (2008)
6. JRules (2009), http://www.ilog.ir/products/jrules/
7. Drools (2009), http://www.jboss.org/drools/
8. Junker, U.: 26. In: Configuration. Volume Handbook of Constraint Programming. Elsevier, Amsterdam (2006)
9. Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: Proceedings of AAAI 1990, pp. 25-32 (1990)
10. Stumptner, M., Haselböck, A.: A generative constraint formalism for configuration problems. In: Advances in Artificial Intelligence: Proceedings of AI*IA 1993, pp. 302-313. Springer, Heidelberg (1993)
11. Sabin, D., Freuder, E.C.: Composite constraint satisfaction. In: AI and Manufacturing Research Planning Workshop, pp. 153-161 (1996)
12. Stumptner, M.: An overview of knowledge-based configuration. AI Communications 10(2), 111-125 (1997)
13. 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-201 (2001)
14. Mailharro, D.: A classification and constraint-based framework for configuration. AI in Engineering, Design and Manufacturing (12), 383-397 (1998)
15. Junker, U., Mailharro, D.: The logic of (j)configurator: Combining constraint programming with a description logic. In: IJCAI 2003. Springer, Heidelberg (2003)
16. Estratat, M., Henocque, L.: Parsing languages with a configurator. In: Proceedings of the European Conference for Artificial Intelligence ECAI 2004, August 2004, pp. 591-595 (2004)
17. Felfernig, A., Friedrich, G., Jannach, D., Zanker, M.: Configuration knowledge representation using uml/ocl. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 49-62. Springer, Heidelberg (2002)
18. Jouault, F., Bézivin, J.: Km3: A dsl for metamodel specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171-185. Springer, Heidelberg (2006)
19. Kittredge, R.I.: Sublanguages and controlled languages. Oxford Press (2003)
20. Blache, P., Balfourier, J.-M.: Property grammars: a flexible constraint-based approach to parsing. In: IWPT. Tsinghua University Press (2001)
21. EMF (2009), http://www.eclipse.org/modeling/emf/
22. Cabot, J., Pau, R., Raventós, R.: From uml/ocl to sbvr specifications: a challenging transformation. In: Information Systems. Elsevier, Amsterdam (2009)
23. Cabot, J., Clarisó, R., Riera, D.: Umltocsp: a tool for the formal verification of uml/ocl models using constraint programming. In: ASE, pp. 547-548. ACM, New York (2007)
24. Dinh-Trong, T.T., Ghosh, S., France, R.B.: A systematic approach to generate inputs to test uml design models. In: ISSRE, pp. 95-104. IEEE Computer Society, Los Alamitos (2006)
25. Jackson, D.: Automating first-order relational logic. In: SIGSOFT FSE, pp. 130-139 (2000)