LEADER |
02347nam a22002537a 4500 |
001 |
1715729 |
024 |
|
|
|3 10.33948/0584-024-002-004
|
041 |
|
|
|a eng
|
044 |
|
|
|b السعودية
|
100 |
|
|
|9 524388
|a Bajwa, Imran Sarwar
|e Author
|
245 |
|
|
|a Translating Natural Language Constraints To OCL
|
260 |
|
|
|b جامعة الملك سعود
|c 2012
|
300 |
|
|
|a 117 - 128
|
336 |
|
|
|a بحوث ومقالات
|b Article
|
520 |
|
|
|b Object Constraint Language (OCL) is the only available language to annotate the Unified Modeling Language (UML) based conceptual schema (CS) of a software application. In practice, the constraints are captured in a natural language (NL) such as English and then an OCL expert manually transforms the NL expressions to OCL syntax. However, it is a common knowledge that OCL is difficult to write specifically for the novel users with little or no prior knowledge of OCL. In recent times, model transformation technology has made transformation of one language to another simpler and easier. In this paper we present a novel approach to automatically transform NL specification of software constraints to OCL constraints. In NL to OCL transformation, Semantics of Business Vocabulary and Rules (SBVR) standard is used as an intermediate representation due to a couple of reasons: first of all, SBVR is based on higher order logic that simplifies the transformation of SBVR to other formal languages such as OCL. Moreover, SBVR used syntax of natural language and thus is close to human beings. The presented NL to OCL transformation via SBVR will not only simplify the process of generating OCL constraints but also generate accurate models in less time.
|
653 |
|
|
|a اللسانيات الحاسوبية
|a اللغة الإنجليزية
|a برامج الحاسوب
|
692 |
|
|
|b Natural Language Processing
|b English Constraints
|b Formal Constraints
|
700 |
|
|
|9 38145
|a Lee, Mark
|e Co-Author
|
700 |
|
|
|9 24207
|a Bordbar, Behzad
|e Co-Author
|
773 |
|
|
|c 004
|e Journal of King Saud University (Computer and Information Sciences)
|f Maǧalaẗ ǧamʼaẗ al-malīk Saud : ùlm al-ḥasib wa al-maʼlumat
|l 002
|m مج24, ع2
|o 0584
|s مجلة جامعة الملك سعود - علوم الحاسب والمعلومات
|v 024
|x 1319-1578
|
856 |
|
|
|u 0584-024-002-004.pdf
|
930 |
|
|
|d y
|p y
|
995 |
|
|
|a science
|
999 |
|
|
|c 972799
|d 972799
|