ارسل ملاحظاتك

ارسل ملاحظاتك لنا







Translating Natural Language Constraints To OCL

المصدر: مجلة جامعة الملك سعود - علوم الحاسب والمعلومات
الناشر: جامعة الملك سعود
المؤلف الرئيسي: Bajwa, Imran Sarwar (Author)
مؤلفين آخرين: Lee, Mark (Co-Author) , Bordbar, Behzad (Co-Author)
المجلد/العدد: مج24, ع2
محكمة: نعم
الدولة: السعودية
التاريخ الميلادي: 2012
الصفحات: 117 - 128
DOI: 10.33948/0584-024-002-004
ISSN: 1319-1578
رقم MD: 972799
نوع المحتوى: بحوث ومقالات
اللغة: الإنجليزية
قواعد المعلومات: science
مواضيع:
كلمات المؤلف المفتاحية:
Natural Language Processing | English Constraints | Formal Constraints
رابط المحتوى:
صورة الغلاف QR قانون
حفظ في:
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 

عناصر مشابهة