Skip to main content
SpringerLink
Log in
Book cover

Applied Computation and Security Systems pp 53–65Cite as

Using Semiformal and Formal Methods in Software Design: An Integrated Approach for Intelligent Learning Management System

  • Chapter
  • First Online:

  • 512 Accesses

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 305))

Abstract

The use of graphical methods such as unified modelling language (UML) in conjunction with formal methods such as Vienna development method (VDM) can be significantly beneficiary in the software design phase due to their complimentary features. UML diagrams are very useful in communication among different stakeholders, but at the same time, being semiformal in nature, they lack formal syntax and preciseness due to textual description in notations. This makes it challenging to verify the design against the requirements. Conversely, a formal specification language like VDM-SL has the advantage of preciseness an unambiguous modelling, but unable to provide ease of understanding like UML. This paper presents a methodology that integrates the use of UML and VDM-SL in software design phase and also proposes a verification technique for the design artefacts with the requirements. A case study of intelligent learning management system (ILMS) is used in this paper to illustrate the proposed work.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

Learn about institutional subscriptions

References

  1. Booch, G., Rumbaugh, J, Jacobson, I.: The Unified Modeling Language User Guide. Pearson Education India, New Delhi (1999)

    Google Scholar 

  2. OMG: Unified modeling language specification, version 2.0. Available at http://www.omg.org/uml

  3. Dascalu, S.M.: combining semi-formal and formal notations in software specification: an approach to modelling time-constrained systems. PhD thesis. Department of Computer Science, Dalhousie University, Halifax, Sept 2001

    Google Scholar 

  4. Sengupta, S., Bhattacharya,S.: Formalization of functional requirements and their traceability in uml diagrams—A Z notation based approach. In: Proceedings of the 11th Systems Engineering Test and Evaluation Conference (SETE’06), Melbourne, Australia, 25–27 Sept 2006

    Google Scholar 

  5. Lausdahl, K.G., Lintrup, H.K: Coupling overture to MDA and UML. Overture Workshop, Newcastle (2009)

    Google Scholar 

  6. Mota, E., Clarke, E., Groce, A., Oliveira, W., Falcao, M., Kanda, J.: VeriAgent: an approach to integrating UML and formal verification tools. Electron. Notes Theor. Comput. Sci. 95, 111–129 (2004)

    Article  Google Scholar 

  7. Sengupta, S., Dasgupta, R.: Identifying, analysing and testing of software requirements in learning management system. In: Proceedings of 7th International Conference on Virtual Learning (ICVL) (2012)

    Google Scholar 

  8. Sowa, J.: Conceptual graphs: draft proposed american national standard, conceptual structures: standards and practices. Lecture Notes in Computer Science, vol. 1640, pp. 1–65 (1999)

    Google Scholar 

  9. Yue, T., Briand, L.C., Labiche, Y.: An automated approach to transform use cases into activity diagrams, modelling foundations and applications. Lecture Notes in Computer Science, vol. 6138, pp. 337–353 (2010)

    Google Scholar 

  10. Liwu L.: A semi-automatic approach to translating use cases to sequence diagrams. In: Proceedings of Technology of Object-Oriented Languages and Systems, pp. 184–193, Jul 1999. doi:10.1109/TOOLS.1999.779011

  11. Liwu, L.: Translating use cases to sequence diagrams. In: Proceeding of ASE ’00, 15th IEEE International Conference on Automated Software Engineering, p. 293

    Google Scholar 

  12. Sengupta, S., Dasgupta, R.: Integration of functional and interface requirements of an web based software: a VDM based formal approach. In: Proceeding of IASTED International Conference on Software Engineering (2013). doi:10.2316/P.2013.796-017

  13. Larsen, P.G., Battle, N., Ferreira, M., Fitzgerald, J., Lausdahl, K., Verhoef, M.: The overture initiative–integrating tools for VDM. ACM Softw. Eng. Notes 35(1), Jan 2010

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bengal Institute of Technology, Kolkata, India

    Souvik Sengupta

  2. National Institute of Technical Teachers Training and Research, Kolkata, India

    Ranjan Dasgupta

Authors
  1. Souvik Sengupta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ranjan Dasgupta
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Souvik Sengupta .

Editor information

Editors and Affiliations

  1. A.K. Choudhury School of Information Technology, University of Calcutta, Kolkata, West Bengal, India

    Rituparna Chaki

  2. Faculty of Physics and Applied Computer Science, AGH University of Science and Technology, Cracow, Poland

    Khalid Saeed

  3. Department of Computer Science and Engineering, University of Calcutta, Kolkata, West Bengal, India

    Sankhayan Choudhury

  4. Department of Computer Science and Engineering, University of Calcutta, Kolkata, India

    Nabendu Chaki

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer India

About this chapter

Cite this chapter

Sengupta, S., Dasgupta, R. (2015). Using Semiformal and Formal Methods in Software Design: An Integrated Approach for Intelligent Learning Management System. In: Chaki, R., Saeed, K., Choudhury, S., Chaki, N. (eds) Applied Computation and Security Systems. Advances in Intelligent Systems and Computing, vol 305. Springer, New Delhi. https://doi.org/10.1007/978-81-322-1988-0_4

Download citation

  • DOI: https://doi.org/10.1007/978-81-322-1988-0_4

  • Published:

  • Publisher Name: Springer, New Delhi

  • Print ISBN: 978-81-322-1987-3

  • Online ISBN: 978-81-322-1988-0

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation