Paraphrasing OCL expressions with SBVR

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

Volumn 5039 LNCS, Issue , 2008, Pages 311-316

  Pau, Raquel ^a   Cabot, Jordi ^b  

^a GTD Ingeniería de Sistemas y de Software

^b UNIVERSITAT OBERTA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS RULES; BUSINESS VOCABULARY; CONCEPTUAL SCHEMA; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; NATURAL LANGUAGE (NL) EXPRESSIONS; NATURAL LANGUAGE EXPLANATIONS; NATURAL LANGUAGES; OBJECT CONSTRAINT LANGUAGE (OCL);

ARSENIC COMPOUNDS; INFORMATION SCIENCE; INFORMATION SYSTEMS; INFORMATION THEORY; KNOWLEDGE REPRESENTATION; STANDARDS; UNIFIED MODELING LANGUAGE;

LINGUISTICS;

EID: 47749144396     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69858-6_30     Document Type: Conference Paper

References (5)

1. Burke, D.A., Johannisson, K.: Translating Formal Software Specifications to Natural Language: A Grammar-Based Approach. In: Blache, P., Stabler, E.P., Busquets, J.V., Moot, R. (eds.) LACL 2005. LNCS (LNAI), vol. 3492, pp. 51-66. Springer, Heidelberg (2005)
2. Cabot, J., Teniente, E.: Transformation Techniques for OCL Constraints. Science of Computer Programming 68(3), 152-168 (2007)
3. OMG: UML 2.0 OCL Specification. OMG Adopted Specification (ptc/03-10-14) (2003)
4. OMG: Semantics of Business Vocabulary and Rules (SBVR) Specification. OMG Adopted Specification (dtc/06-03-01) (2006)
5. OMG: UML 2.1.1 Superstructure Specification. OMG Adopted Specification (formal/07-02-03) (2007)