Abstract
An approach for matching UML (Unified Modeling Language) class diagram to OCL (Object Constraints Language) constraints of that specific class model is presented in this research paper. Class diagram describe the structure of the system and responsibilities. OCL is a language that defines rules that apply on class model. For matching the OCL (Object Constraints Language) to class model we need SBVR tool because SBVR is generated from system’s constraints. If OCL invariants and SBVR vocabulary is different than there is major error exist in software. SBVR (Symantec Business Verification Rules) tool provide SBVR vocabulary and that vocabulary and OCL elements are used for matching. However, manual matching not only difficult but it is time consuming and costly. This paper provides automated approach that checks automatically system constraints (that is written in OCL) using business rules (that is written in SBVR (Symantec Business Verification Rules)). This approach can help to check efficiently SBVR rules and OCL constraints and consume less time and effort.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Popp, R., Hoch, R., Kaindl, H.: A connection of task-centric with artefact-centric models through semantic task specification and its use for formal verification (2017)
Pham, T.A., Le Thanh, N.: Checking the compliance of business processes and business rules using OWL 2 ontology and SWRL. In: Abraham, A., Wegrzyn-Wolska, K., Hassanien, A., Snasel, V., Alimi, A. (eds.) AECIA 2015. AISC, vol. 427, pp. 11–20. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-29504-6_3
Ceci, M., Al Khalil, F., O’Brien, L.: Making Sense of Policy with SBVR. In RuleML (Supplement) (2016)
Šukys, A., Ablonskis, L., Nemuraitė, L., Paradauskas, B.: A grammar for advanced SBVR editor. Inf. Technol. Control 45(1), 27–41 (2016)
Sunkle, S., Kholkar, D., Kulkarni, V.: Toward better mapping between regulations and operations of enterprises using vocabularies and semantic similarity. Complex Syst. Inform. Model. Q. 5, 39–60 (2015)
Bajwa, I.S., Lee, M., Bordbar, B.: Resolving syntactic ambiguities in natural language specification of constraints. In: Gelbukh, A. (ed.) CICLing 2012. LNCS, vol. 7181, pp. 178–187. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28604-9_15
Bajwa, I.S., Lee, M.G.: Transformation rules for translating business rules to OCL constraints. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 132–143. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21470-7_10
Afreen, H., Bajwa, I.S., Bordbar, B.: SBVR2UML: a challenging transformation. In: Frontiers of Information Technology (FIT), pp. 33–38. IEEE, December 2011
Fuentes-Fernández, L., Vallecillo-Moreno, A.: An introduction to UML profiles. UML Model Eng. 2, 6–13 (2004)
Warmer, J.B., Kleppe, A.G.: The Object Constraint Language: Precise Modeling with UML. Addison-Wesley Object Technology Series. Addison-Wesley, Boston (1998)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Sabir, S., Ali, M. (2019). Automated Verification of Software Constraints Using Business Rules. In: Bajwa, I., Kamareddine, F., Costa, A. (eds) Intelligent Technologies and Applications. INTAP 2018. Communications in Computer and Information Science, vol 932. Springer, Singapore. https://doi.org/10.1007/978-981-13-6052-7_72
Download citation
DOI: https://doi.org/10.1007/978-981-13-6052-7_72
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-6051-0
Online ISBN: 978-981-13-6052-7
eBook Packages: Computer ScienceComputer Science (R0)