NDLI: Mova: a tool for modeling, measuring and validating uml class diagrams.

Please wait, while we are loading the content...

Mova: a tool for modeling, measuring and validating uml class diagrams.

Content Provider	CiteSeerX
Author	Egea, Marina Clavel, Manuel Silva, Viviane Torres Da
Abstract	The MOVA tool is a rewriting-based UML [8] modeling, measuring, and validation tool developed as part of a broader effort for integrating rigorous modeling and validation into the software engineering curricula and the industrial software engineering process. Validation and testing in software development have been recognized of key importance for long. For certain aspects of a design, UML class diagrams do not provide the level of conciseness and expressiveness which a textual language can offer. The Object Constraint Language (OCL) [7] is the standard language for writing constraints in order to disambiguate, clarify, and precise the meaning of UML models. In this context, validating a UML class diagram reduces to checking whether its prototypical instances fulfill the desired OCL constraints. A number of CASE tools exists which facilitate drawing and documenting UML diagrams. However, they provide little support for writing constraints in OCL and generally no support for validating UML class diagrams. The MOVA tool has been designed, primarily, as a validating tool: as such, it provides advance
File Format	PDF
Access Restriction	Open
Subject Keyword	Validation Tool Mova Tool Rewriting-based Uml Standard Language Certain Aspect Software Engineering Curriculum Uml Class Diagram Software Development Uml Diagram Textual Language Uml Model Object Constraint Language Case Tool Little Support Prototypical Instance Uml Class Diagram Reduces Key Importance Industrial Software Engineering Process Rigorous Modeling Validating Uml Class Diagram Desired Ocl Constraint
Content Type	Text

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in