Abstract
In design of component based applications, the designers have to produce visual such as Unified Modeling Language (UML) models, and describe the software component interfaces. Business rules and constraints are the key components in the skeletons of software components. Semantic of Business Vocabulary and Rules (SBVR) language is typically used to express constraints in natural language and then a software engineer manually maps SBVR business rules to other formal languages such as UML, Object Constraint Language (OCL) expressions. However, OCL is the only medium used to write constraints for UML models but manual translation of SBVR rules to OCL constraints is difficult, complex and time consuming. Moreover, the lack of tool support for automated creation of OCL constraints from SBVR makes this scenario more complex. As, both SBVR and OCL are based on First-Order Logic (FOL), model transformation technology can be used to automate the transformation of SBVR to OCL. In this research paper, we present a transformation rules based approach to automate the process of SBVR to OCL transformation. The presented approach implemented in SBVR2OCL prototype tool as a proof of concept. The presented method softens the process of creating OCL constraints and also assists the designers by simplifying software designing process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
OMG: Object Constraint Language (OCL), OMG Standard, v. 2.0 (2006)
Warmer, J., Kleppe, A.: The Object Constraint Language – Getting Your Models Ready for MDA, 2nd edn. Addison Wesley, Reading (2003)
Cabot J., et al.: UML/OCL to SBVR Specification: A challenging Transformation. Journal of Information systems (2009) doi:10.1016/j.is.2008.12.002
Linehan, M.: SBVR Use Cases. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2008. LNCS, vol. 5321, pp. 182–196. Springer, Heidelberg (2008)
Raj, A., Prabharkar, T., Hendryx, S.: Transformation of SBVR Business Design to UML Models. In: ACM Conference on India software engineering, pp. 29–38 (2008)
Cabot, J., Teniente, E.: Transformation Techniques for OCL constraints. J. of Science of Computer Programming 68(03), 152–168 (2007)
OMG: Semantics of Business vocabulary and Rules (SBVR), OMG Standard, v. 1.0 (2008)
Pau, R., Cabot, J.: Paraphrasing OCL Expressions with SBVR. In: Kapetanios, E., Sugumaran, V., Spiliopoulou, M. (eds.) NLDB 2008. LNCS, vol. 5039, pp. 311–316. Springer, Heidelberg (2008)
Marcano, R.: Transformation Rules of OCL Constraints in to B Formal Expression. In: Fifth International Conference on UML – the langauge and its Applications, Workshop on Critical Systems Development with UML, Dresden, Germany (September 2003)
Enterprise Architect, http://www.sparxsystems.com/products/ea/
Wahler M.: Using Patterns to Develop Consistent Design Constraints, PhD Thesis, ETH Zurich, Switzerland (2008)
Demuth B, Wilke C.: Model and Object Verification by Using Dresden OCL. In R.G. Workshop on Innovation Information Technologies: Theory and Practice, pp. 81–89 (2009)
IBM OCL Parser (September 2009), http://www-01.ibm.com/software/awdtools/library/standards/ocl-download.html
Linehan, M.H.: Ontologies and Rules in Business Models, edocw. In: Eleventh International IEEE EDOC Conference Workshop, pp. 149–156 (2007)
Bajwa, I., Samad, A., Mumtaz, S.: Object Oriented Software modeling Using NLP based Knowledge Extraction. European Journal of Scientific Research 35(01), 22–33 (2009)
EmPowerTec, OCLarity, http://www.empowertec.de/index.htm
Bryant, B., et al.: From Natural Language Requirements to Executable Models of Software Components. In: Workshop on S. E. for Embedded Systems, pp. 51–58 (2008)
De Tomassi, M., Pierpaolo, C.: Sbeaver Business Modeler Editor, http://www.sbeaver.sourceforge.net
Bajwa I., Behzad B., Lee M.: OCL Constraints Generation from Natural Lanauge Specification. In: EDOC 2010 – 14th IEEE EDOC Conference, Vitoria, Brazil, pp. 204–213 (2010)
OMG: Unified Modeling Langauge (UML), OMG Standard, v. 2.1 (2007)
Akehurst, D.H., Boardbar, B., et al.: SiTra: Simple Transformations in Java. In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 351–364. Springer, Heidelberg (2006)
Bajwa, I., Lee M., Behzad B.: SBVR Business Rules Generation from Natural Lanauge Specification. In: AAAI 2011 Spring Symposium – AI for Business Agility, San Francisco, USA, pp. 2–8 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bajwa, I.S., Lee, M.G. (2011). Transformation Rules for Translating Business Rules to OCL Constraints. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds) Modelling Foundations and Applications. ECMFA 2011. Lecture Notes in Computer Science, vol 6698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21470-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-21470-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-21469-1
Online ISBN: 978-3-642-21470-7
eBook Packages: Computer ScienceComputer Science (R0)