Abstract
Business rules are an important part of requirement specification, and an essential input for software analysis and design. Usually, at the beginning, they are expressed in natural language, which is later translated by a business analyst to a more formal representation, e.g. UML diagrams. The translation process is error prone because business analysts can misinterpret or omit informally expressed business rules. The aim of the paper is to present an approach to automatic verification of UML class diagrams against business rules, expressed in a semi natural language, i.e. SBVRSE. The proposed approach has been implemented as a tool, and tested on representative examples. At that moment it supports structural business rules. In the future the method will be extended to cover also other types of business rules.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
OMG, Semantics of Business vocabulary Rules (SBVR), Version 1.2 (2013), http://www.omg.org/spec/SBVR/1.2/PDF (access date: January 2015)
Business Rules Group, “Defining Business Rules - What Are They Really?” (2001), http://www.businessrulesgroup.org/first_paper/br01c1.htm (access date: January 2015)
Von Halle, B.: Business Rules Applied: Building Better Systems Using the Business Rules Approach. John Wiley & Sons (2002)
Wiegers, K.: Software Requirements. Microsoft Press (2003)
OMG, MDA Guide rev. 2.0 (2014), http://www.omg.org/cgi-bin/doc?ormsc/14-06-01 (access date: 2014)
Ross, R.G.: RuleSpeak® Sentence Forms: Specifying Natural-Language Business Rules in English. Business Rules Journal 10(4) (2009), http://www.CRComunity.com/a2009/b472.html (access date: January 2015)
Hnatkowska, B., Walkowiak, A., Kasprzyk, A.: (2014), http://www.rulespeak.com/pl/ (access date: January 2015)
OMG, Object Constraint Language, Version 2.4 (2014), http://www.omg.org/spec/OCL/2.4/ (access date: January 2015)
Maurizio, D.T., Pierpaolo, C.: SVeaVeR business modeler editor (2006), http://sbeaver.sourceforge.net/ (access date: January 2015)
Cabot, J., Pau, R., Raventós, R.: From UML/OCL to SBVR Specifications: a Challenging Transformation (2010), http://www.sciencedirect.com/science/article/pii/S030643790800094X (access date: December 2014)
Kaunas University of Technology (KUT), CreatingUML&OCL Models from SBVR Business Vocabularies Business Rules. VeTIS User Guide (2009), http://www.magicdraw.com/files/manuals/VeTISUserGuide.pdf (access date: January 2015)
OMG, Unified Modeling Language, Superstructure Version 2.4.1 (2011), http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF/
Gogolla, M., Richters, M.: Equivalence Rules for UML Class Diagrams. In: UML 1998 – Beyond the Notation. First International Workshop, Mulhouse, France, pp. 87–96 (1998)
Gogolla, M., Richters, M.: Transformation Rules for UML Class Diagrams. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 92–106. Springer, Heidelberg (1999)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Hnatkowska, B., Mazurek, P. (2015). Verification of UML Class Diagrams against Business Rules Written in Natural Language. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Theory and Engineering of Complex Systems and Dependability. DepCoS-RELCOMEX 2015. Advances in Intelligent Systems and Computing, vol 365. Springer, Cham. https://doi.org/10.1007/978-3-319-19216-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-319-19216-1_17
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19215-4
Online ISBN: 978-3-319-19216-1
eBook Packages: EngineeringEngineering (R0)