From UML/OCL to SBVR specifications: A challenging transformation

被引:42
作者
Cabot, Jordi [2 ]
Pau, Raquel
Raventos, Ruth [1 ]
机构
[1] Univ Politecn Cataluna, ES-08034 Barcelona, Spain
[2] Univ Oberta Catalunya, Barcelona, Spain
关键词
UML; OCL; SBVR; Model transformation; NATURAL-LANGUAGE;
D O I
10.1016/j.is.2008.12.002
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
UML is currently the most widely used modeling language for the specification of the conceptual schema (CS) of an information system (IS). However, UML falls short when it comes to allow business people to define in their own language (e.g. using their own terms in natural language) the policies and rules by which they run their business. To this purpose, the semantics of business vocabulary and business rules (SBVR) metamodel specification was Proposed. SBVR is conceptualized optimally for business people and it is designed to be used for business purposes, independently of information systems designs. Clearly, SBVR and unified modeling language (UML) cannot be considered as isolated languages. Many of the business rules specified by business people must be automatically executed by the underlying information system, and thus, they must also appear in its UML CS. In this sense, the main goal of this paper is to bridge the gap between UML and SBVR by providing an automatic transformation from UML to SBVR specifications. Thanks to our transformation, designers will be able to interact with the business people (in their own language) to refine and validate the information modeled in the CS before the generation of the final IS implementation. Our transformation also takes into account all possible textual object constraint language (OCL) expressions that complement the UML graphical elements. (C) 2009 Elsevier B.V. All rights reserved.
引用
收藏
页码:417 / 440
页数:24
相关论文
共 50 条
[1]  
Ahrendt W., 2005, SOFTWARE SYSTEM MODE, V4, P32, DOI [DOI 10.1007/S10270-004-0058-X, 10.1007/s10270-004-0058-x]
[2]  
Anastasakis K, 2007, LECT NOTES COMPUT SC, V4735, P436
[3]  
[Anonymous], MOFScript
[4]  
[Anonymous], PTC031014 OMG
[5]  
[Anonymous], FORMAL070203 OMG
[6]  
BERARDI D, 2005, ARTIFICIAL INTELLIGE
[7]  
Bézivin J, 2006, LECT NOTES COMPUT SC, V4199, P440
[8]  
BRUCKER AD, 2006, 525 ETH
[9]   Translating formal software specifications to natural language - A grammar-based approach [J].
Burke, DA ;
Johannisson, K .
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, PROCEEDINGS, 2005, 3492 :51-66
[10]   Transformation techniques for OCL constraints [J].
Cabot, J. ;
Teniente, E. .
SCIENCE OF COMPUTER PROGRAMMING, 2007, 68 (03) :179-195