A rule-based approach to producing Z specifications from Jackson system development

NCUIR > College of Electrical Engineering & Computer Science > Graduate Institute of Computer Science and Information Engineering > journal & Dissertation > Item 987654321/29162

Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/29162

Title:	A rule-based approach to producing Z specifications from Jackson system development
Authors:	Lee,J;Pan,JI
Contributors:	資訊工程研究所
Keywords:	DIAGRAMS
Date:	1998
Issue Date:	2010-06-29 20:15:12 (UTC+8)
Publisher:	中央大學
Abstract:	In this paper, we propose a rule-based approach (called JSDZ) to producing Z specifications from Jackson system development (JSD) specifications automatically. In JSDZ, JSP is to serve as the structuring mechanism to help the analysis of problem domains, and Z is to express the formal specifications of JSD artifacts. Several criteria are identified for comparing specifications generated from JSDZ and Z. The bringing together of diagrammatical and text elements of JSD specifications in Z notations offers two major benefits. First, JSD can be seen both as a structuring mechanism that helps in deriving Z specifications, and as a preliminary that assists in ascertaining the clients requirements. Second, Z specifications make it easier to identify omissions or errors. (C) 1998 John Wiley & Sons, Inc.
Relation:	INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
Appears in Collections:	[Graduate Institute of Computer Science and Information Engineering] journal & Dissertation

Files in This Item:

File	Description	Size	Format
index.html		0Kb	HTML	396	View/Open

社群 sharing