Conference Paper

SBVR2UML: A Challenging Transformation.

DOI: 10.1109/FIT.2011.14 Conference: 2011 Frontiers of Information Technology, FIT 2011, Islamabad, Pakistan, December 19-21, 2011
Source: DBLP


UML is a de-facto standard used for generating the software models. UML support visualization of the software artifacts. To generate a UML diagram, a software engineer has to collect software requirements in a natural language (such as English) or a semi-formal language (such as SBVR), manually analyze the requirements and then manually generate the class diagrams in an available CASE tool. However, by automatically transforming SBVR Software requirements to UML can seriously share burden of a system analyst and can improve the quality and robustness of software modeling phase. The paper demonstrates the challenging aspect of model transformation from SBVR to UML. The presented approach takes input the software requirements specified in SBVR syntax, parses the input specification, extracts the UML ingredients such as classes, methods, attributes, associations, etc and finally generate the visual representation of the extracted information. The presented approach is fully automated. The presented approach is explained via an example. easy to machine process. We want to exploit these salient features of SBVR and aim to machine processing SBVR and transform SBVR to UML class models using the model transformation technology. A real challenge in SBVR to UML class model transformation was to deal with the un-addressed issue in available approaches for SBVR to UML transformations. For example, the approaches presented by Raj (12) and Nemuraite (13) do not support the automated parsing of SBVR specifications. A user should have the pre-parsed SBVR specification to use these approaches. Another drawback of these approaches is that they perform partial mapping in SBVR and UML class model. These approaches also lack support for extracting class associations, aggregations and generalizations (12), (13). We aim to address these issues and present a tool that can automatically parse SBVR and can perform complete mapping from SBVR to UML. In this paper, the major contribution is threefold. Firstly, model transformation based a novel approach is presented to perform syntactic and semantic analysis of SBVR specification of software requirements to extract object oriented elements as classes, attributes, operations, associations, generalizations, etc. Secondly, we report the structure of the implemented tool SBVR2UML that is able to automatically generate UML class models from SBVR software requirements specifications. Thirdly, we have solved a case study with our tool and compared the results with other tools (used for automated OOA) for the sake of performance evaluation.

Download full-text


Available from: Imran Sarwar Bajwa, Oct 02, 2015
1 Follower
45 Reads
  • Source
    • "–[4], [6], [9], [14], [15] [5], [8], [10], [11], [13] [7], This Work "
    [Show abstract] [Hide abstract]
    ABSTRACT: This paper addresses the problem of transforming natural language business specifications into formal models suitable for use in information systems. In particular, the Semantics of Business Vocabulary and Business Rules (SBVR) standard is used as a starting point for both the natural language specifications and the formal representation. In recent years, SBVR-based approaches have been proposed for transforming natural language business rules into models, such as UML Class Diagrams, however, most focus on the transformations performed after the SBVR models have been created and, therefore, simplify or entirely neglect the natural language to SBVR transformation. There are a number of difficulties in transforming natural language into formal models, such as ambiguity and inconsistency. This paper presents a solution based on a unique combination of techniques from Cognitive Linguistics and Knowledge-based Configuration in order to transform natural language business specifications into SBVR models. We present a comparative survey of state-of-the-art approaches and argue that current solutions do not fulfil the criteria necessary to meet our goals. We demonstrate our approach and show how it improves translation of natural language business specifications into formal models and increases the level of automation for Model-Driven Engineering.
    Enterprise Distributed Object Computing Conference (EDOC), 2013 17th IEEE International; 01/2013
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: The currently available approaches for processing natural language (NL) software requirements specifications are semi-automatic and require user intervention. Moreover, these approaches result in less accurate and imprecise object oriented software models. Recent research in the area attributes the informal nature of natural languages for less accurate analysis of software requirements. On the basis of this axiom, we have identified that direct translation of a natural language to a formal language is the actual problem. In this paper, we propose that instead of direct translation of a natural language to a formal language, first, we will transform the natural language text to a semi-formal language that is not only simple and easy to translate to a formal language but also provides with higher accuracy. We have incorporated Structured Business Vocabulary and Rules (SBVR) language as the semi-formal medium in natural language to object-oriented models. The presented approach automatically generates the object-oriented software models from natural language software specifications using SBVR as a pivot representation.
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: The Entity Relationship model (ER) has become one of the most popular tools in database design. But in practice, schemes generated during conceptual modeling stage are unable to specify rules to ensure in-formation systems integrity. Therefore it is necessary to select a high semantic level language for representing business constraints. Then, constraints must be transformed into integrity constraints (IC) in a technical language for specifying constraints. We selected SBVR as a proper language for representing constraints with a high se-mantic level and to Alloy as a technical language for ICs specification. Finally, we show the transformation of explicit conditional deontic integrity constraints.
    II Conferencia Internacional de Ciencias Computacionales e Informáticas, La Habana, Cuba; 01/2013
Show more