Article

A pragmatic, rigorous integration of structural and behavioral modeling notations

Authors:

M. WeberAuthors Info & Claims

ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering Methods

Page 38

Published: 12 November 1997 Publication History

Abstract

This paper describes a pragmatic, rigorous integration of the mathematical specification language Z with well-known object modeling notations and an object-oriented variant of statecharts. The goal is to preserve the abstraction and flexibility of widely-used design notations while being able to embed the precision and rigor of mathematical specification at selected places. The integration between the notations is based on a mapping between entities of the three models.

References

[1]

D. Berry and M. Weber. A pragmatic, rigorous integration of structural and behavioral modeling notations. Technical report, GMD-FIRST and Computer Science Dept., Technion, 1997.

[2]

G. Booch. Object-Oriented Analysis and Design with Applications. Benjamin Cummings, second edition, 1994.

Digital Library

[3]

R. Büssow and M. Weber. A steam-boiler control specification with Statecharts and Z. In J. Abrial, H. Langmaack, and E. Börger, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam-Boiler Control, volume 1165 of LNCS, pages 109-128. Springer, 1996.

Digital Library

[4]

D. Craigen, S. Gerhart, and T. Ralston. An international survey of industrial applications of formal methods. Technical Report NISTGCR 93/626, National Institute of Standards and Technology, Gaithersburg, MD, 1993.

[5]

G. Estrin. A methodology for design of digital systems - supported by SARA at the age of one. In Proc. of NCC, pages 313-336. AFIPS, 1978.

[6]

Z. für Unfallverhütung und Arbeitsrnedizin. Pressen - Sicherheitsregeln für Zweihandschaltungen an kraftbetriebenen Pressen der Metall-bearbeitung . Hauptverband der gewerblichen Berufsgenossenschaften, Langwartweg 103, 5300 Bonn 1, zweite edition, 1978.

[7]

D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, 1987.

Digital Library

[8]

D. Harel and E. Gery. Executable object-modeling with Statecharts. In Proc. of ICSE 18, 1996.

Digital Library

[9]

J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison Wesley, Reading, MA, 1979.

Digital Library

[10]

C. McGowan. An inductive proof technique for interpreter correctness. In R. Rustin, editor, Formal Semantics of Computer Languages, Englewood Cliffs, NJ, 1972. Prentice-Hall.

[11]

J. Rumbaugh et al. Object-Oriented Modeling and Design. Prentice-Hall, 1991.

Digital Library

[12]

I. Software. Safety-Critical Systems. IEEE, January 1994.

[13]

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

Digital Library

[14]

UML Partners Consortium. Version 1.0 of the Unified Modeling Language. Technical report, RATIONAL Software Corporation, 1997.

[15]

M. Weber. Combining Statecharts and Z for the design of safety-critical control systems. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefits and Advances in Formal Methods, volume 1051 of LNCS, pages 307-326. Springer, 1996.

Digital Library

[16]

M. Weber. Abstract object systems. Rote Reihe 97-12, TU Berlin, 1997.

[17]

W. Wulf, R. London, and M. Shaw. An introduction to the construction and verification of Alphard programs. IEEE Trans. on SE, SE- 2(4):253-265, December 1976.

Digital Library

Cited By

Dascalu SHitchcock PLamont GHaddad HPapadopoulos GPanda B(2002)An approach to integrating semi-formal and formal notations in software specificationProceedings of the 2002 ACM symposium on Applied computing10.1145/508791.508988(1014-1020)Online publication date: 11-Mar-2002
https://dl.acm.org/doi/10.1145/508791.508988

Recommendations

A GUI and testing tool for SOFL
APSEC '00: Proceedings of the Seventh Asia-Pacific Software Engineering Conference

SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, data flow diagrams, and VDM-SL. As a method it is a combination of a structured method and object-oriented method. We introduce a ...
Transforming Formal Specification Constructs into Diagrammatic Notations
MEDI 2013: Proceedings of the Third International Conference on Model and Data Engineering - Volume 8216

Specification plays a vital role in software engineering to facilitate the development of highly dependable software. Various techniques may be used for specification work. Z is a formal specification language that is based on a strongly-typed fragment ...
Towards a formalization of UML class structures in Z
COMPSAC '97: Proceedings of the 21st International Computer Software and Applications Conference

There is much interest in developing a firm semantic base for object-oriented modeling concepts. By providing precise characterizations of object-oriented (OO) modeling concepts one gains the ability to build a precise OO model of behavior and structure ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering Methods

November 1997

ISBN:0818680024

Copyright © Copyright (c) 1997 Institute of Electrical and Electronics Engineers, Inc. All rights reserved.

Publisher

IEEE Computer Society

United States

Publication History

Published: 12 November 1997

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Dascalu SHitchcock PLamont GHaddad HPapadopoulos GPanda B(2002)An approach to integrating semi-formal and formal notations in software specificationProceedings of the 2002 ACM symposium on Applied computing10.1145/508791.508988(1014-1020)Online publication date: 11-Mar-2002
https://dl.acm.org/doi/10.1145/508791.508988

View Options

View options

Media

Figures

Other

Tables

View Table of Contents