NDLI: Hierarchical multimodel-based structural consistency support tools for specifying and prototyping complex systems

Content Provider	IEEE Xplore Digital Library
Author	Wah Kheang Cheung Nehaniv, C.L. Miura, K.T. Yin Seong Ho
Copyright Year	1995
Description	Author affiliation: Software Res. Associates Inc., Tokyo, Japan (Wah Kheang Cheung)
Abstract	When prototyping the requirement specifications of a large and complex system, it is very difficult to express them in a single model containing all the features. It is often disastrous if the requirement specifications are prototyped in a single level or single window of a single model. Hence multimodel based hierarchical requirement specifications are desirable in order to fully specify large and complex systems. But multimodel based hierarchical requirement specifications tools are then confronted with verification problems for inter model consistency and syntactic correctness. We introduce a predefined graphical structural syntax checker called Model Hierarchy Definition (MHD) which provides interactive hierarchy syntax checking during modeling the structured requirement specifications and predefined lowest level graphical formalisms called Model Hierarchy Model (MHM), defining the meta rules, the graphical diagramming entity and the hierarchical relationship for MHD embedding in the prototyping models. Having MHD and the MHM in the prototyping environment, one obtains higher quality structured requirement specifications when building hierarchical multimodel based prototypes for complex system analysis, and greatly reduces the prototyping time and costs. The MHD and MHM were implemented to support an integrated graphical prototyping system, which we overview, called the Prototyper's Workbench (PWB) for rapid prototyping and analysis of software requirement specifications of target systems.
Starting Page	245
Ending Page	254
File Size	876997
Page Count	10
File Format	PDF
ISBN	081867119X
ISSN	07303157
DOI	10.1109/CMPSAC.1995.524787
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1995-08-09
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Prototypes Software prototyping Magnetohydrodynamics Software tools Costs Computer aided software engineering Buildings Animation System analysis and design Banking
Content Type	Text
Resource Type	Article
Subject	Computer Science Applications 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

Environment support for software consistency

Status report: computer-aided prototyping

Specification by example using graphical animation and a production system

Formal support for the engineering of CORBA-based distributed object systems

Towards CASE tools for prototyping Z specifications

Web-based programmable logic controller learning system

Software evolution through rapid prototyping

Prototyping of embedded digital systems from SDL language: a case study

FrameKit and the prototyping of CASE environments

Hierarchical multimodel-based structural consistency support tools for specifying and prototyping complex systems

Similar Documents

Environment support for software consistency

Status report: computer-aided prototyping

Specification by example using graphical animation and a production system

Formal support for the engineering of CORBA-based distributed object systems

Towards CASE tools for prototyping Z specifications

Web-based programmable logic controller learning system

Software evolution through rapid prototyping

Prototyping of embedded digital systems from SDL language: a case study

FrameKit and the prototyping of CASE environments

Hierarchical multimodel-based structural consistency support tools for specifying and prototyping complex systems