research-article

Use of Semi-Formal and Formal Methods in Requirement Engineering of ILMS

Authors:

Souvik Sengupta,

Ranjan DasguptaAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 40, Issue 1

Pages 1 - 13

https://doi.org/10.1145/2693208.2693235

Published: 06 February 2015 Publication History

Abstract

A systematic approach in requirement engineering helps in discovering and understanding the requirements at different levels of abstraction as well as makes the requirements traceable and verifiable early in the project. This paper presents a methodology for requirement engineering by using a combination of formal and semiformal techniques to model software requirements for analysis and verification. The proposed framework incorporates requirement-analysis and requirement-verification models, which are guided by the Domain Model represented by a Conceptual Class diagram and the defined Ontology. The proposed approach is particularly useful when requirements are defined in hierarchical levels of abstraction and traceability between a requirement at a detailed level and its correspondence at an abstract level is required. The proposed framework also allows verification of the accordance of the requirements with respect to the Domain Model. The requirement analysis model at each level of abstraction is represented by a combination of three different modeling techniques: Conceptual Graph, Use-Case diagram and VDM-SL specification. A verification model to ensure traceability between the requirements at different abstraction levels, using a three-dimensional schema, is also proposed. The Requirements of an Intelligent Learning Management System are used as an example to illustrate the proposal.

References

[1]

Bühne, S., Halmans, G., Pohl, K., Weber, M., Kleinwechter, H. and Wierczoch, T., 2004. Defining Requirements at Different Levels of Abstraction, Proceedings of the 12th IEEE International Requirements Engineering Conference (RE'04)

Digital Library

[2]

van Lamsweerde, A., 2001. Goal-oriented requirements engineering: a guided tour, Proceedings of Fifth IEEE International Symposium on Requirements Engineering, 2001.

Digital Library

[3]

Sowa, J., 1999. Conceptual Graphs: Draft Proposed American National Standard, Conceptual Structures: Standards and Practices, Lecture Notes in Computer Science Volume 1640, pp 1--65

Digital Library

[4]

Gorschek, T., and Wohlin, C., 2006. Requirements Abstraction Model, Requirements Eng Journal (2006) vol.11: 79--101

Digital Library

[5]

Muhammad, N., Vandewoude, Y., Berbers Y., and Feldt, R., 2008. Suitability of Requirements Abstraction Model (RAM) Requirements for High-Level System Testing, proceedings of World Academy of Science, Engineering and Technology (WASET), 2008

[6]

Glinz, M., 2000. Problems and Deficiencies of UML as a Requirements Specification Language, Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD-10), San Diego, November 2000. pp11--22.

Digital Library

[7]

Malik., H., 2009. Visual Semantic Web: ontology based E-learning management system, Master Thesis Dept. of Computer Science, School of Engineering Blekinge Institute of Technology Thesis no: MCS-2008:41 January 2009

[8]

Dutta, A., Bhattacharjee, S., Kanjilal, A., Dasgupta, R., Bhattacharya, S., 2013. Engineering of Requirements for a distributed Tele-teaching System: A Conceptual Graph-based Approach,ACM SIGSOFT Software Engineering Notes November 2013 Volume 38, pp1--12

Digital Library

[9]

Carlos, E., Marin, M., Lovelle, M.J.C., Sanjuan, O., Valdez, E.N., 2011. Towards an Ontology to Describe the Taxonomy of Common Modules in Learning Management Systems, International Journal of Artificial Intelligence and Interactive Multimedia, Vol. 1, N° 4., pp 48--55

[10]

Diaz, R.P., 1990. Domain Analysis: An Introduction, ACM Sigsoft Software Engineering Notes vol 15 no 2, 1990 Page 47

Digital Library

[11]

Berger,I.,R.,2009. Enhancing UML Models: A Domain Analysis Approach, Journal of Database Management, Volume 19

[12]

Pohl, K., 1993. The Three Dimensions of Requirements Engineering, Proceeding of Advanced Information Systems Engineering, pp 275--292,Springer-Verlag London

Digital Library

[13]

Peirce, S. C.,1906. Manuscripts on existential graphs, Collected Papers of Charles Sanders Peirce, vol. 4, Harvard University Press, Cambridge, MA, pp. 320--410.

[14]

Sengupta, S., and Dasgupta, R., 2013. Integration of Functional and Interface Requirements of an Web Based Software: A VDM Based Formal Approach, proceeding of IASTED International Conference on Software Engineering 2013.

[15]

Sengupta, S., and Dasgupta, R., 2012. Identifying, Analyzing, and Testing of Software Requirements in Learning Management System, Proceedings of International Conference on Virtual Learning ICVL 2012, Romania.

[16]

Fitzgerald, J. S., and Larsen, and P. G., 2006. "Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods", proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006).

Digital Library

[17]

Melis, E., Andrès, E., Büdenbender, J., Frischauf, A., Goguadze, G., Libbrecht, P., Pollet, M., Ullrich, C., 2001. ActiveMath: A Generic and Adaptive Web-Based Learning Environment, International Journal of Artificial Intelligence in Education, 12, 385--407

[18]

D'Mello, S., 2007. Toward an Affect-Sensitive AutoTutor, Intelligent Systems, IEEE vol 22 issue 4

Digital Library

[19]

Mala, G.S.A., and Uma, G.V., 2006. Automatic Construction of Object Oriented Design Models {UML Diagrams} from Natural Language Requirements Specification, PRICAI 2006, LNAI 4099, pp. 1155--1159,Springer-Verlag Berlin Heidelberg 2006

Digital Library

[20]

Kabbaj, A., 2006. Development of Intelligent Systems and Multi-Agents Systems with Amine Platform, Conceptual Structures: Inspiration and Application Lecture Notes in Computer Science Volume 4068, 2006, pp 286--299

Digital Library

[21]

Larsen, P. G., 2010. VDM-10 Language Manual', April 2010, URL: http://kurser.iha.dk/eit/tivdm2/ VDM10_lang_man.pdf

[22]

Frey, P., 2000. Combining UML Use Cases and VDM-SL, Seminar on Software Technology, Institute of Software Technology, Austria, May 2000

[23]

Simic, G., Gasevic, D., and Devedzic, V., 2005. Semantic web and intelligent learning management Systems, Proceedings of the 2nd International Workshop on Applications of Semantic Web Technologies for E-Learning, Maceió-Alagoas, Brazil

[24]

Brusilovsky, P., 2001. Adaptive Hypermedia, User Modeling and User-Adapted Interaction, Volume 11 Issue 1-2, 2001, pp 87--110

Digital Library

[25]

Moodie, P., Kunz, P., 2004. Recipe for an Intelligent Learning Management System (ILMS) In Workshop Scientific Committee. Hamilton New Zealand. url: http://sydney.edu.au/engineering/it/~aied/vol4/vol4_moodie_kunz.pdf

[26]

ShuiYuan, H., LongZhen, D., Jun, X., JunCai, T., GuiXiang, C., 2009. Research and Practice of Agile Unified Requirement Modeling, International Symposium on Intelligent Ubiquitous Computing and Education 2009

Digital Library

[27]

Robinson, W.N, Volkov, V., 1999. Requirement Conflict Restructuring, GSU CIS Working Paper 99--5

[28]

Larman, C., 2001. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, Second Edition, chapter 10, pp127--152, publisher: Prentice Hall

Digital Library

[29]

Delugach, H., and Lampkin, 2001. B.: Acquiring Software Requirements as Conceptual Graphs. Proceedings of the Fifth International Symposium on Requirements Engineering, Los Alamitos (2001)

Digital Library

[30]

Meekel, J., Horton, T. B., France, R. B., Mellone, C., and Dalvi, S. 1997. From domain models to architecture frameworks. ACM SIGSOFT Software Engineering Notes, 22(3), 75--80.

Digital Library

[31]

Berger, R., I., and Sturm, A., 2004. Behavioral Domain Analysis - The Application-Based Domain Modeling Approach, LNCS 3273, pp. 410-424, 2004.Springer-Verlag Berlin Heidelberg 2004

[32]

Dalmon, D., L., Brandão, L., O., Brandão, A., F., and Isotani, S., 2012. A Domain Engineering for Interactive Learning Modules, Journal of Research & Practice in Information Technology., Vol. 44 Issue 3, p309--330. 22p.

[33]

Moodle Documentation. available at: http://docs. moodle.org/26/en/Main_page

[34]

Sakai Project Documentation. available at: https://sakaiproject.org/documentation

[35]

Atutor Documentation. available at: http://atutor.ca/atutor/docs

[36]

France, R., Evans, A., Lano, K., and Rumpe, B., 1998. The UML as a Formal Modeling Notation, Computer Standards & Interfaces, Elsevier, Volume 19, Issue 7, 2 November 1998, pp 325--334

Digital Library

[37]

Motaa, E., Clarkeb, E., Groceb, A., Oliveiraa, W., Falcãoa, M., and Kandaa, J., 2004. VeriAgent: an Approach to Integrating UML and Formal Verification Tools, Electronic Notes in Theoretical Computer Science, Elsevier, Volume 95, 17 May 2004, pp 111--129

[38]

Irwin, G., & Turk, D., 2005. An Ontological Analysis of Use Case Modeling Grammar, Journal of the Association for Information Systems, 6(1).

[39]

Roussey, C., Pinet, F., Kang, M., and Corcho, O., 2011. "An Introduction to Ontologies and Ontology Engineering." Ontologies in Urban Development Projects. Springer London, 2011. 9--38.

[40]

Fitzgerald, J. S., Larsen P.G., and Plat, N., 2005. Towards Next Generation Tools for VDM, Proceedings of the First International Overture Workshop, Newcastle, July 2005

[41]

Linta, S.R., Maidul, M.I., and Islam, R.M., 2012. "An Enhanced Model of E-Learning Management System Using Semantic Web Technology and Development of Universal Namespace for University Domain", International Journal of Computer Science Issues, Vol. 9, issue 2, No. 2, March 2012

[42]

Snae, C., & Brüeckner, M. 2007. Ontology-driven e-learning system based on roles and activities for Thai learning environment. Interdisciplinary Journal of E-Learning and Learning Objects, 3(1), 1--17.

[43]

Larsen, P. G., Lausdahl, K., Ribeiro, A., Wolff, S., Battle, N., & RG12, B. 2010. "Overture vdm-10 tool support: User guide". Technical Report TR-2010-02, The Overture Initiative, www. overturetool. org.

Cited By

LI YPENG RWANG B(2020)Survey on Challenges and Achievements in Context-Aware Requirement ModelingIEICE Transactions on Information and Systems10.1587/transinf.2019EDR0002E103.D:3(553-565)Online publication date: 1-Mar-2020
https://doi.org/10.1587/transinf.2019EDR0002
Li YPeng RWang B(2018)Challenges in Context-Aware Requirements Modeling: A Systematic Literature ReviewRequirements Engineering for Internet of Things10.1007/978-981-10-7796-8_11(140-155)Online publication date: 5-Jan-2018
https://doi.org/10.1007/978-981-10-7796-8_11
Sengupta SDasgupta R(2017)Architectural design of a LMS with LTSA-conformanceEducation and Information Technologies10.1007/s10639-015-9443-z22:1(271-296)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1007/s10639-015-9443-z
Show More Cited By

Index Terms

Use of Semi-Formal and Formal Methods in Requirement Engineering of ILMS
1. Hardware
  1. Electronic design automation
    1. Physical design (EDA)
2. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

Capturing behavior coordination in goal-oriented requirement engineering
SEA '07: Proceedings of the 11th IASTED International Conference on Software Engineering and Applications

Goal-Oriented Requirement Engineering (GORE) methodologies use goals to facilitate elicitation, elaboration, analysis, and specification of the required behaviors for software. Traditional GORE approaches focus on the goal refinement and requirement ...
Formal Methods in Requirements Engineering: Survey and Future Directions
FormaliSE '24: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)

Requirements engineering plays a pivotal role in the development of safety-critical systems. However, the process is usually a manual one and can lead to errors and inconsistencies in the requirements that are not easily detectable. Formal methods are ...
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV

Several approaches exist for modeling recovery of fault-tolerant systems during the requirements analysis phase. Most of these approaches are based on design techniques for recovery. Such design-based analysis methods unnecessarily constrain an analyst ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 40, Issue 1

January 2015

237 pages

ISSN:0163-5948

DOI:10.1145/2693208

Editor:
Michael Wing

Issue’s Table of Contents

Copyright © 2015 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 February 2015

Published in SIGSOFT Volume 40, Issue 1

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
420
Total Downloads

Downloads (Last 12 months)10
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

LI YPENG RWANG B(2020)Survey on Challenges and Achievements in Context-Aware Requirement ModelingIEICE Transactions on Information and Systems10.1587/transinf.2019EDR0002E103.D:3(553-565)Online publication date: 1-Mar-2020
https://doi.org/10.1587/transinf.2019EDR0002
Li YPeng RWang B(2018)Challenges in Context-Aware Requirements Modeling: A Systematic Literature ReviewRequirements Engineering for Internet of Things10.1007/978-981-10-7796-8_11(140-155)Online publication date: 5-Jan-2018
https://doi.org/10.1007/978-981-10-7796-8_11
Sengupta SDasgupta R(2017)Architectural design of a LMS with LTSA-conformanceEducation and Information Technologies10.1007/s10639-015-9443-z22:1(271-296)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1007/s10639-015-9443-z
Oliveira RDupuy-Chessa SCalvary GDadolle DLuyten KPalanque PCampos JSchmidt A(2016)Using formal models to cross check an implementationProceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems10.1145/2933242.2933257(126-137)Online publication date: 21-Jun-2016
https://dl.acm.org/doi/10.1145/2933242.2933257

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents