Skip to main content
SpringerLink
Log in

Specifying and Incorporating Compliance Requirements into Software Development Using UML and OCL

  • Conference paper
  • First Online:
Computational Science and Its Applications – ICCSA 2018 (ICCSA 2018)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10963))

Included in the following conference series:

  • 1988 Accesses

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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)

    Article  Google Scholar 

  2. 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

    Chapter  Google Scholar 

  3. 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)

    Google Scholar 

  4. Deloitte: Compliance Risk Assessments: The Third Ingredient in a World-Class Ethics and Compliance Program. Deloitte Development LLC, USA (2015)

    Google Scholar 

  5. 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)

    Article  Google Scholar 

  6. 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

    Chapter  Google Scholar 

  7. 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)

    Google Scholar 

  8. Kim, H.K., Hyun, Y.: Design for U- health care hybrid control systems. Int. J. Softw. Eng. Appl. 8(2), 375–384 (2014)

    Google Scholar 

  9. Sunguk, L.: UML for database systems and computer application. Int. J. Database Theor. Appl. 5(1), 157–164 (2012)

    Google Scholar 

  10. Kaur, A., Arora, R.: Application of UML in real-time embedded systems. Int. J. Softw. Eng. Appl. (IJSEA) 3(2), 59–70 (2012)

    Google Scholar 

  11. Alhumaidan, F.: A Critical Analysis and treatment of important UML diagrams enhancing Modelling point. Intell. Inf. Manag. 4, 231–237 (2012)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. Gottingen: Computer Science and Information System Reports. Technical reports, University of Jyväskylä, Finland (2010)

    Google Scholar 

  15. 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

    Chapter  Google Scholar 

  16. 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)

    Article  Google Scholar 

  17. 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)

    Google Scholar 

  18. 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

    Chapter  Google Scholar 

  19. Eriksson, H., Penker, M.: Business Modeling with UML, 1st edn. Wiley, New York (2000)

    Google Scholar 

  20. 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)

    Google Scholar 

  21. Dennis, A., Wixom, B.A., Roth, R.M.: System Analysis and Design, 5th edn. Wiley, New York (2012)

    Google Scholar 

  22. 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)

    Article  Google Scholar 

  23. 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

    Chapter  Google Scholar 

  24. Monye, F.N.: Law of Consumer Protection, 1st edn. Spectrum Books, Ibadan (2003)

    Google Scholar 

  25. Pollit, R.G.: Standards Organisation of Nigeria (SON). SON J. 1(5), 14 (1990)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Federal University of Agriculture, Abeokuta, Ogun State, Nigeria

    Oluwasefunmi Tale Arogundade, Temitope Elizabeth Abioye, Abiodun Muyideen Mustapha, Adeola Mary Adeniji & Abiodun Motunrayo Ikotun

  2. Obafemi Awolowo University, Ile-Ife, Nigeria

    Franklin O. Asahiah

Authors
  1. Oluwasefunmi Tale Arogundade
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Temitope Elizabeth Abioye
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Abiodun Muyideen Mustapha
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Adeola Mary Adeniji
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Abiodun Motunrayo Ikotun
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Franklin O. Asahiah
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Oluwasefunmi Tale Arogundade .

Editor information

Editors and Affiliations

  1. University of Perugia, Perugia, Italy

    Osvaldo Gervasi

  2. University of Basilicata, Potenza, Italy

    Beniamino Murgante

  3. Covenant University, Ota, Nigeria

    Sanjay Misra

  4. Saint Petersburg State University, Saint Petersburg, Russia

    Elena Stankova

  5. Polytechnic University of Bari, Bari, Italy

    Carmelo M. Torre

  6. University of Minho, Braga, Portugal

    Ana Maria A.C. Rocha

  7. Monash University, Clayton, Victoria, Australia

    David Taniar

  8. Kyushu Sangyo University, Fukuoka shi, Fukuoka, Japan

    Bernady O. Apduhan

  9. Politecnico di Bari, Bari, Italy

    Eufemia Tarantino

  10. Myongji University, Yongin, Korea (Republic of)

    Yeonseung Ryu

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation