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.
- 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) Google ScholarDigital Library
- van Lamsweerde, A., 2001. Goal-oriented requirements engineering: a guided tour, Proceedings of Fifth IEEE International Symposium on Requirements Engineering, 2001. Google ScholarDigital Library
- 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 Google ScholarDigital Library
- Gorschek, T., and Wohlin, C., 2006. Requirements Abstraction Model, Requirements Eng Journal (2006) vol.11: 79--101 Google ScholarDigital Library
- 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), 2008Google Scholar
- 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. Google ScholarDigital Library
- 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 2009Google Scholar
- 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 Google ScholarDigital Library
- 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--55Google Scholar
- Diaz, R.P., 1990. Domain Analysis: An Introduction, ACM Sigsoft Software Engineering Notes vol 15 no 2, 1990 Page 47 Google ScholarDigital Library
- Berger,I.,R.,2009. Enhancing UML Models: A Domain Analysis Approach, Journal of Database Management, Volume 19Google Scholar
- Pohl, K., 1993. The Three Dimensions of Requirements Engineering, Proceeding of Advanced Information Systems Engineering, pp 275--292,Springer-Verlag London Google ScholarDigital Library
- Peirce, S. C.,1906. Manuscripts on existential graphs, Collected Papers of Charles Sanders Peirce, vol. 4, Harvard University Press, Cambridge, MA, pp. 320--410.Google Scholar
- 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, DOI: 10.2316/P.2013.796-017Google Scholar
- 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.Google Scholar
- 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).Google ScholarDigital Library
- 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--407Google Scholar
- D'Mello, S., 2007. Toward an Affect-Sensitive AutoTutor, Intelligent Systems, IEEE vol 22 issue 4 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- 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 Google ScholarDigital Library
- Larsen, P. G., 2010. VDM-10 Language Manual', April 2010, URL: http://kurser.iha.dk/eit/tivdm2/ VDM10_lang_man.pdfGoogle Scholar
- Frey, P., 2000. Combining UML Use Cases and VDM-SL, Seminar on Software Technology, Institute of Software Technology, Austria, May 2000Google Scholar
- 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, BrazilGoogle Scholar
- Brusilovsky, P., 2001. Adaptive Hypermedia, User Modeling and User-Adapted Interaction, Volume 11 Issue 1-2, 2001, pp 87--110 Google ScholarDigital Library
- 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.pdfGoogle Scholar
- 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 Google ScholarDigital Library
- Robinson, W.N, Volkov, V., 1999. Requirement Conflict Restructuring, GSU CIS Working Paper 99--5Google Scholar
- 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 Google ScholarDigital Library
- Delugach, H., and Lampkin, 2001. B.: Acquiring Software Requirements as Conceptual Graphs. Proceedings of the Fifth International Symposium on Requirements Engineering, Los Alamitos (2001) Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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 2004Google Scholar
- 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.Google Scholar
- Moodle Documentation. available at: http://docs. moodle.org/26/en/Main_pageGoogle Scholar
- Sakai Project Documentation. available at: https://sakaiproject.org/documentationGoogle Scholar
- Atutor Documentation. available at: http://atutor.ca/atutor/docsGoogle Scholar
- 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 Google ScholarDigital Library
- 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--129Google Scholar
- Irwin, G., & Turk, D., 2005. An Ontological Analysis of Use Case Modeling Grammar, Journal of the Association for Information Systems, 6(1).Google ScholarCross Ref
- 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.Google Scholar
- 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 2005Google Scholar
- 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 2012Google Scholar
- 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.Google Scholar
- 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.Google Scholar
Index Terms
- Use of Semi-Formal and Formal Methods in Requirement Engineering of ILMS
Recommendations
Capturing behavior coordination in goal-oriented requirement engineering
SEA '07: Proceedings of the 11th IASTED International Conference on Software Engineering and ApplicationsGoal-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 ...
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IVSeveral 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 ...
A Collaborative Situational Method Engineering Approach for Requirement Gathering: A Re-Defined View
This article re-defines traditional requirement engineering processes by performing exhaustive requirement gathering through an interactive and collaborative communication, where stakeholders are equally involved in capturing and finalizing requirements ...
Comments