Abstract
Nowadays, industries, agencies, institutions demand a high degree of compliance at different level of commercial enterprise to meet various laws, regulations, standards etc. Compliance check on the processes of different firms have shown that it is a daunting task which resulted to high monetary implication in resolving the issues of changing requirements. Here, compliance requirement was incorporated into an industrial domain in Nigeria in order to develop an advanced and effective system. Unified Modeling Language was used to design the software for the case study. Classical Unified Modeling Language like: use case diagram, activity diagram, class diagram and sequence diagram were designed for the system. Compliance requirements embedded in the UML were formalized and validated using Object Constraint Language. Facts gathered from different organizations and customers in this domain were used to incorporate compliance requirements into the design. This will aid system developers to implement compliant systems for business enterprises.
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
Similar content being viewed by others
References
Elgammal, A., Turetken, O., van den Heuvel, W., Papazoglou, M.: Formalizing and applying compliance patterns for business process compliance. Softw. Syst. Model. 15(1), 119–146 (2016)
Sadiq, S., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149–164. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75183-0_12
Abdullah, N.S., Indulska, M., Sadiq, S.: A study of compliance management in information system research. In: 17th European Conference on Information Systems (ECIS 2009 Proceedings), Verona, Italy, vol. 9 (2009)
Deloitte: Compliance Risk Assessments: The Third Ingredient in a World-Class Ethics and Compliance Program. Deloitte Development LLC, USA (2015)
Georgakopoulous, D., Hornick, M., Sheth, A.: An overview of workflow management: from process modelling to workflow automation infrastructure. Distrib. Parallel Databases 3(2), 119–153 (1995)
Gupta, J., Gosain, A., Nagpal, S.: Empirical validation of object oriented data warehouse design quality metrics. In: Wyld, D.C., Wozniak, M., Chaki, N., Meghanathan, N., Nagamalai, D. (eds.) ACITY 2011. CCIS, vol. 198, pp. 320–329. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22555-0_33
Lisboa-Filho, J., Sampaio, G.B., Nalon, F.R., Borges, K.A.D.V.: A UML profile for conceptual modeling in GIS domain. In: Proceedings of the International Workshop on Domain Engineering at CAiSE 2010, Hammamet, Tunisia, pp. 18–31 (2010)
Kim, H.K., Hyun, Y.: Design for U- health care hybrid control systems. Int. J. Softw. Eng. Appl. 8(2), 375–384 (2014)
Sunguk, L.: UML for database systems and computer application. Int. J. Database Theor. Appl. 5(1), 157–164 (2012)
Kaur, A., Arora, R.: Application of UML in real-time embedded systems. Int. J. Softw. Eng. Appl. (IJSEA) 3(2), 59–70 (2012)
Alhumaidan, F.: A Critical Analysis and treatment of important UML diagrams enhancing Modelling point. Intell. Inf. Manag. 4, 231–237 (2012)
Jakimi, A., El Koutbi, M.: An object-oriented approach to UML scenarios engineering and code generation. Int. J. Comput. Theor. Eng. 1(1), 1783–8201 (2009)
Pham, T., Le Thanh, N.: Checking the compliance of business process in business process life cycle. In: 10th International Web Rule Symposium (RuleML 2016), CEUR 1620, New York, United States (2016)
Gottingen: Computer Science and Information System Reports. Technical reports, University of Jyväskylä, Finland (2010)
Nemuraite, L., Ceponiene, L., Vedrickas, G.: Representation of business rules in UML&OCL models for developing information systems. In: Stirna, J., Persson, A. (eds.) The Practice of Enterprise Modeling PoEM 2008. LNBIP, vol. 15, pp. 182–196. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89218-2_14
Bubel, R., Hahnle, R.: Integration of informal and formal development of object-oriented safety-critical software: a case study with the key system. Int. J. Tools Softw. Transf. 7(3), 197–211 (2005)
Milley, J., Peters, D.K.: Software Specification and Testing Using UML and OCL. Faculty of Engineering and Applied Science MUN St. John’s, Newfoundland (2005)
Rumpe, B.: Agile modeling with the UML. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol. 2941, pp. 297–309. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24626-8_21
Eriksson, H., Penker, M.: Business Modeling with UML, 1st edn. Wiley, New York (2000)
Petre, M.: UML in practice. In: Proceedings of the 2013 International Conference on Software Engineering, ICSE 2013, pp. 722–731. ACM Digital Library, San Francisco (2013)
Dennis, A., Wixom, B.A., Roth, R.M.: System Analysis and Design, 5th edn. Wiley, New York (2012)
Chang, C.H., Lu, C.W., Hsiung, P.A.: Pattern-based framework for modularized software development and evolution robustness. Inf. Softw. Technol. 53(4), 307–316 (2011)
Sohr, K., Ahn, G.-J., Gogolla, M., Migge, L.: Specification and validation of authorisation constraints using UML and OCL. In: di Vimercati, SdC, Syverson, P., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 64–79. Springer, Heidelberg (2005). https://doi.org/10.1007/11555827_5
Monye, F.N.: Law of Consumer Protection, 1st edn. Spectrum Books, Ibadan (2003)
Pollit, R.G.: Standards Organisation of Nigeria (SON). SON J. 1(5), 14 (1990)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Arogundade, O.T., Abioye, T.E., Mustapha, A.M., Adeniji, A.M., Ikotun, A.M., Asahiah, F.O. (2018). Specifying and Incorporating Compliance Requirements into Software Development Using UML and OCL. In: Gervasi, O., et al. Computational Science and Its Applications – ICCSA 2018. ICCSA 2018. Lecture Notes in Computer Science(), vol 10963. Springer, Cham. https://doi.org/10.1007/978-3-319-95171-3_40
Download citation
DOI: https://doi.org/10.1007/978-3-319-95171-3_40
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-95170-6
Online ISBN: 978-3-319-95171-3
eBook Packages: Computer ScienceComputer Science (R0)