Paraphrasing OCL Expressions with SBVR
A conceptual schema (CS) should be explained to the stakeholders to validate that it is an appropriate representation of all knowledge of the domain. One of the best ways to explain the CS is to describe it by means of natural language expressions (paraphrasing). Even though paraphrasing has been studied for the most typical elements of a CS, current methods are, in general, unable to cope with the textual business rules that complement the CS. In this paper, we cover this gap by presenting a method that generates natural language explanations for business rules expressed in OCL (Object Constraint Language), the standard language to specify business rules on UML-based CSs. As an intermediate step, our method translates the OCL expression into a SBVR (Semantics of Business Vocabulary and Business Rules) representation.
Unable to display preview. Download preview PDF.
- 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)Google Scholar
- 3.OMG: UML 2.0 OCL Specification. OMG Adopted Specification (ptc/03-10-14) (2003) Google Scholar
- 4.OMG: Semantics of Business Vocabulary and Rules (SBVR) Specification. OMG Adopted Specification (dtc/06-03-01) (2006) Google Scholar
- 5.OMG: UML 2.1.1 Superstructure Specification. OMG Adopted Specification (formal/07-02-03) (2007) Google Scholar