Article

Free access

Deriving modular designs from formal specifications

Authors:

David Carrington,

Jim WelshAuthors Info & Claims

SIGSOFT '93: Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering

Pages 89 - 98

https://doi.org/10.1145/256428.167066

Published: 01 December 1993 Publication History

Abstract

We consider the problem of designing the top-level modular structure of an implementation. Our starting point is a formal specification of the system. Our approach is to analyse the references to the state variables by the operations of the system. Operations that reference/modify similar sets of variables are likely candidates for grouping into a module. We evaluate the strategy by applying it to a large Z specification of a language-based editor.

References

[1]

B. Broom, J. Welsh, and L. Wildman. UQ2: a multilingual document editor. In The Fifih Australian Soflware Engineering Conference, pages 289-294, Sydney, May 1990.

[2]

D. Barrington, D. Duke, R. Duke, P. King, G. Rose, and G. Smith. Object-Z: An object-oriented extension to Z. 'In S. Vuong, editor, Formal Description Techniques (FORTE'89). North Holland, 1990.

Digital Library

[3]

S.C. Choi and W. Scacchi. Extracting and restructuring the design of large systems. IEEE Software, 7(1):66-71, January 1990.

Digital Library

[4]

R. Duke, P. King, G. Rose, and G. Smith. The Object-Z specification language: Version 1. Technical Report 9 1-1, Software Verification Research Centre, Department of Computer Science, University of Queensland, Australia, 1991.

[5]

D. W. Embley and S.N. Wood field. Assessing the quality of abstract data types written in ADA. In Proceedings of the 10th International Conference on Software Engineering, pages 144-153. IEEE, 1988.

Digital Library

[6]

A. Hall. Seven myths of formal methods. IEEE Sofiware, 7(5):11-19, 1990.

Digital Library

[7]

I. Hayes, R. Neucom, and J. Welsh. An editor for Z specifications. In Advance Papers for CASE '89 Workshop, London, JUIY 198g.

[8]

Ian Hayes, editor. Specification Case Studies. Prentice Hall International, second edition, 1993.

Digital Library

[9]

C. B. Jones. Systematic Soflware Development Using VDM. Prentice Hall, second edition, 1990.

Digital Library

[10]

A. MacDonald and D.A. Barrington. Synthesizing designs from formal specifications: a case study. Technical report, Software Verification Research Centre, 1993.

[11]

C. Morgan. Programming from Specifications. Prentice Hall, 1990.

Digital Library

[12]

C. Morgan and B. Sufrin. Specification of the UNIX filing system. IEEE Transactions on Software Engineering, 10(2):128-142, 1984.

Digital Library

[13]

D.L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053-1058, December 1972.

Digital Library

[14]

S. Patel, W. Chu, and R. Baxter. A measure for composite module cohesion. In Proceeding of the Iith International Conference on Software Engineering, pages 38-48, 1992.

Digital Library

[15]

I. Somerville. Software Engineering. Addison- Wesley, second edition, 1985.

Digital Library

[16]

J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, second edition, 1992.

Digital Library

[17]

J. Thorn and J. Zobel. NU-Prolog reference manual (verszon 1.9). Department of Computer Science, University of Melbourne, 1986.

[18]

J. Welsh, B. Broom, and D. Kiong. A design rationale for a language-based editor. Software - Practzce and Expemence, 21:923-948, 1991.

Digital Library

[19]

J. Welsh and Y, Yang. Tool integration techniques. Proc. 6th Australian Software Engineering Conference (ASWEC '91), pages 405-418, July 1991.

[20]

J. Welsh and Y. Yang. A loosely-coupled tool interface for interactive software development. Proc. 15th Australian Computer Science Conference, pages 967-980, Jan 1992.

[21]

E. Yourdon and L.L. Constantine. Structured Deszgn: fundamentals of a discipline of computer program and systems design. Yourdon Press, second edition, 1978.

Digital Library

Cited By

Faitelson DTyszberowicz S(2018)Improving design decomposition (extended version)Formal Aspects of Computing10.1007/s00165-017-0428-029:4(601-627)Online publication date: 27-Dec-2018
https://dl.acm.org/doi/10.1007/s00165-017-0428-0
Stocks PCarrington D(1996)A Framework for Specification-Based TestingIEEE Transactions on Software Engineering10.1109/32.55369822:11(777-793)Online publication date: 1-Nov-1996
https://dl.acm.org/doi/10.1109/32.553698
Faitelson DTyszberowicz S(2017)Improving design decomposition (extended version)Formal Aspects of Computing10.1007/s00165-017-0428-029:4(601-627)Online publication date: 7-Apr-2017
https://doi.org/10.1007/s00165-017-0428-0
Show More Cited By

Index Terms

Deriving modular designs from formal specifications
1. Software and its engineering
  1. Software creation and management
    1. Designing software
      1. Requirements analysis

Recommendations

Deriving modular designs from formal specifications

We consider the problem of designing the top-level modular structure of an implementation. Our starting point is a formal specification of the system. Our approach is to analyse the references to the state variables by the operations of the system. ...
Deriving Formal Specifications from Informal Requirements
COMPSAC '07: Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01

Ensuring dependability of software requires the use of formal methods. However, formal methods are still not widely accepted in engineering practice. One of the reasons for this is difficulty of deriving formal specifications from large and complex ...
Structured formal specifications

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

SIGSOFT '93: Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering

December 1993

199 pages

ISBN:0897916255

DOI:10.1145/256428

Editor:
David Notkin

ACM SIGSOFT Software Engineering Notes Volume 18, Issue 5
Dec. 1993
199 pages
ISSN:0163-5948
DOI:10.1145/167049
Editors:
Barry Boehm
Univ. of Southern California, Los Angeles
,
David Notkin
Univ. of Washington, Seattle
Issue’s Table of Contents

Copyright © 1993 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1993

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SOFT93

Sponsor:

SIGSOFT

SOFT93: SIGSOFT '93

December 8 - 10, 1993

California, Los Angeles, USA

Acceptance Rates

Overall Acceptance Rate 17 of 128 submissions, 13%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
410
Total Downloads

Downloads (Last 12 months)43
Downloads (Last 6 weeks)8

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Faitelson DTyszberowicz S(2018)Improving design decomposition (extended version)Formal Aspects of Computing10.1007/s00165-017-0428-029:4(601-627)Online publication date: 27-Dec-2018
https://dl.acm.org/doi/10.1007/s00165-017-0428-0
Stocks PCarrington D(1996)A Framework for Specification-Based TestingIEEE Transactions on Software Engineering10.1109/32.55369822:11(777-793)Online publication date: 1-Nov-1996
https://dl.acm.org/doi/10.1109/32.553698
Faitelson DTyszberowicz S(2017)Improving design decomposition (extended version)Formal Aspects of Computing10.1007/s00165-017-0428-029:4(601-627)Online publication date: 7-Apr-2017
https://doi.org/10.1007/s00165-017-0428-0
Bollin A(2011)Is there evolution before birth? deterioration effects of formal Z specificationsProceedings of the 13th international conference on Formal methods and software engineering10.5555/2075089.2075098(66-81)Online publication date: 26-Oct-2011
https://dl.acm.org/doi/10.5555/2075089.2075098
Bowen J(2005)Select Z bibliographyZUM '95: The Z Formal Specification Notation10.1007/3-540-60271-2_143(526-560)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-60271-2_143
Bowen J(1998)Select Z BibliographyZUM ’98: The Z Formal Specification Notation10.1007/978-3-540-49676-2_24(367-406)Online publication date: 1998
https://doi.org/10.1007/978-3-540-49676-2_24
Wojtkowski W(1996)On building with reusable software: Democratization of information systems automation through software reuseJournal of Systems Integration10.1007/BF022650866:3(203-216)Online publication date: Aug-1996
https://doi.org/10.1007/BF02265086
Mili HMili FMili A(1995)Reusing SoftwareIEEE Transactions on Software Engineering10.1109/32.39137921:6(528-562)Online publication date: 1-Jun-1995
https://dl.acm.org/doi/10.1109/32.391379

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents