Paraphrasing OCL Expressions with SBVR

  • Raquel Pau
  • Jordi Cabot
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5039)


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.

Unable to display preview. Download preview PDF.


  1. 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
  2. 2.
    Cabot, J., Teniente, E.: Transformation Techniques for OCL Constraints. Science of Computer Programming 68(3), 152–168 (2007)CrossRefGoogle Scholar
  3. 3.
    OMG: UML 2.0 OCL Specification. OMG Adopted Specification (ptc/03-10-14) (2003) Google Scholar
  4. 4.
    OMG: Semantics of Business Vocabulary and Rules (SBVR) Specification. OMG Adopted Specification (dtc/06-03-01) (2006) Google Scholar
  5. 5.
    OMG: UML 2.1.1 Superstructure Specification. OMG Adopted Specification (formal/07-02-03) (2007) Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Raquel Pau
    • 1
  • Jordi Cabot
    • 2
  1. 1.GTD Ingeniería de Sistemas y de Software 
  2. 2.Estudis d’Informàtica, Multimedia i TelecomunicacióUniversitat Oberta de Catalunya 

Personalised recommendations