NDLI: Validation of requirement models by automatic prototyping

Content Provider	Springer Nature Link
Author	Li, Dan Li, Xiaoshan Liu, Jicong Liu, Zhiming
Copyright Year	2008
Abstract	Prototyping is an efficient and effective way to understand and validate system requirements at the early stage of software development. In this paper, we present an approach for transforming UML system requirement models with OCL specifications into executable prototypes with the function of checking multiplicity and invariant constraints. Generally, a use case in UML can be described as a sequence of system operations. A system operation can be formally defined by a pair of preconditions and postconditions specified using OCL in the context of the conceptual class model. By analyzing the semantics of the preconditions and postconditions, the execution of the operation can be prototyped as a sequence of primitive actions which first check the precondition, and then enforce the postcondition by transferring the system from a pre-state to a post-state step by step. The primitive actions are basic manipulations of the system state (an object diagram), including find objects and links, create and remove objects and links, and check and set attribute values. Based on this approach, we have developed a tool of automatic prototype generation and analysis: AutoPA3.0.
Starting Page	241
Ending Page	248
Page Count	8
File Format	PDF
ISSN	16145046
Journal	Innovations in Systems and Software Engineering
Volume Number	4
Issue Number	3
e-ISSN	16145054
Language	English
Publisher	Springer-Verlag
Publisher Date	2008-08-12
Publisher Place	London
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Requirement validation Prototype Code generation UML OCL Computer Applications Computing Methodologies Software Engineering
Content Type	Text
Resource Type	Article
Subject	Software

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

Test data generation for web application using a UML class diagram with OCL constraints

Validating UML and OCL models in USE by automatic snapshot generation

A generic framework: from modeling to code

Automatic framework generation for hard real-time applications

A survey of UML applications in mechatronic systems

Incremental semantic analysis for OCL compilers

Foundations of a new software engineering method for real-time systems

Towards model checking executable UML specifications in mCRL2

Generating heterogeneous executable specifications in SystemC from UML/MARTE models

Validation of requirement models by automatic prototyping

Similar Documents

Test data generation for web application using a UML class diagram with OCL constraints

Validating UML and OCL models in USE by automatic snapshot generation

A generic framework: from modeling to code

Automatic framework generation for hard real-time applications

A survey of UML applications in mechatronic systems

Incremental semantic analysis for OCL compilers

Foundations of a new software engineering method for real-time systems

Towards model checking executable UML specifications in mCRL2

Generating heterogeneous executable specifications in SystemC from UML/MARTE models

Validation of requirement models by automatic prototyping