Access Restriction

Author Boiten, Eerke ♦ Derrick, John ♦ Bowman, Howard ♦ Steen, Maarten
Source CiteSeerX
Content type Text
Publisher Springer-Verlag
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Particular Technique ♦ Realistic Size Cannot ♦ Viewpoint Specification ♦ Perceived Complexity ♦ Key Role ♦ Theoretical Background ♦ Corresponding Notion ♦ Manageable Chunk ♦ Correspondence Relation ♦ Common Refinement ♦ Functional Decomposition ♦ Traditional Method ♦ Data Type ♦ Single Specification ♦ Partial Specification ♦ Single Linear Specification ♦ Various Viewpoint ♦ Known Notion ♦ Main Technique
Description . This paper discusses theoretical background for the use of Z as a language for partial specification, in particular techniques for checking consistency between viewpoint specifications. The main technique used is unification, i.e. finding a (candidate) least common refinement. The corresponding notion of consistency between specifications turns out to be different from the known notions of consistency for single Z specifications. A key role is played by correspondence relations between the data types used in the various viewpoints. 1 Partial specification It is generally agreed that systems of a realistic size cannot be specified in single linear specifications, but rather should be decomposed into manageable chunks which can be specified separately. The traditional method for doing this is by hierarchical and functional decomposition. Nowadays, it is often claimed [11] that this is not the most natural or convenient (in relation to "perceived complexity") method -- rather systems s...
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 1996-01-01
Publisher Institution FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science