Graphical development of consistent system specifications

Bernhard Schätz; Heinrich Hußmann; Manfred Broy

doi:10.1007/3-540-60973-3_91

Graphical development of consistent system specifications

Bernhard Schätz, Heinrich Hußmann, Manfred Broy

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

9 Scopus citations

Abstract

While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description techniques. This article argues that formal techniques are indeed useful for practical application, but they should be put to indirect use. To demonstrate this approach, two pragmatic graphical description techniques, taken from the field of telecommunication, are analyzed regarding their information content and their application in the process of specification development; as a result these techniques are formally defined. Based on the formal definition, “safe” development steps and their graphical counterparts are introduced. This yields a graphical development method which relies on precise formal foundations.

Original language	English
Title of host publication	FME 1996
Subtitle of host publication	Industrial Benefit and Advances in Formal Methods - 3rd International Symposium of Formal Methods Europe, Proceedings
Editors	Marie-Claude Gaudel, James Woodcock
Publisher	Springer Verlag
Pages	248-267
Number of pages	20
ISBN (Print)	9783540609735
DOIs	https://doi.org/10.1007/3-540-60973-3_91
State	Published - 1996
Event	3rd International Symposium of Formal Methods Europe, FME 1996 - Oxford, United Kingdom Duration: 18 Mar 1996 → 22 Mar 1996

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1051
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Symposium of Formal Methods Europe, FME 1996
Country/Territory	United Kingdom
City	Oxford
Period	18/03/96 → 22/03/96

Access to Document

10.1007/3-540-60973-3_91

Cite this

Schätz, B., Hußmann, H., & Broy, M. (1996). Graphical development of consistent system specifications. In M.-C. Gaudel, & J. Woodcock (Eds.), FME 1996: Industrial Benefit and Advances in Formal Methods - 3rd International Symposium of Formal Methods Europe, Proceedings (pp. 248-267). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1051). Springer Verlag. https://doi.org/10.1007/3-540-60973-3_91

Schätz, Bernhard ; Hußmann, Heinrich ; Broy, Manfred. / Graphical development of consistent system specifications. FME 1996: Industrial Benefit and Advances in Formal Methods - 3rd International Symposium of Formal Methods Europe, Proceedings. editor / Marie-Claude Gaudel ; James Woodcock. Springer Verlag, 1996. pp. 248-267 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{6fb5b4e49854452d8e2045f013428ab4,

title = "Graphical development of consistent system specifications",

abstract = "While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description techniques. This article argues that formal techniques are indeed useful for practical application, but they should be put to indirect use. To demonstrate this approach, two pragmatic graphical description techniques, taken from the field of telecommunication, are analyzed regarding their information content and their application in the process of specification development; as a result these techniques are formally defined. Based on the formal definition, “safe” development steps and their graphical counterparts are introduced. This yields a graphical development method which relies on precise formal foundations.",

author = "Bernhard Sch{\"a}tz and Heinrich Hu{\ss}mann and Manfred Broy",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1996.; 3rd International Symposium of Formal Methods Europe, FME 1996 ; Conference date: 18-03-1996 Through 22-03-1996",

year = "1996",

doi = "10.1007/3-540-60973-3_91",

language = "English",

isbn = "9783540609735",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "248--267",

editor = "Marie-Claude Gaudel and James Woodcock",

booktitle = "FME 1996",

}

Schätz, B, Hußmann, H & Broy, M 1996, Graphical development of consistent system specifications. in M-C Gaudel & J Woodcock (eds), FME 1996: Industrial Benefit and Advances in Formal Methods - 3rd International Symposium of Formal Methods Europe, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1051, Springer Verlag, pp. 248-267, 3rd International Symposium of Formal Methods Europe, FME 1996, Oxford, United Kingdom, 18/03/96. https://doi.org/10.1007/3-540-60973-3_91

Graphical development of consistent system specifications. / Schätz, Bernhard; Hußmann, Heinrich; Broy, Manfred.
FME 1996: Industrial Benefit and Advances in Formal Methods - 3rd International Symposium of Formal Methods Europe, Proceedings. ed. / Marie-Claude Gaudel; James Woodcock. Springer Verlag, 1996. p. 248-267 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1051).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Graphical development of consistent system specifications

AU - Schätz, Bernhard

AU - Hußmann, Heinrich

AU - Broy, Manfred

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1996.

PY - 1996

Y1 - 1996

N2 - While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description techniques. This article argues that formal techniques are indeed useful for practical application, but they should be put to indirect use. To demonstrate this approach, two pragmatic graphical description techniques, taken from the field of telecommunication, are analyzed regarding their information content and their application in the process of specification development; as a result these techniques are formally defined. Based on the formal definition, “safe” development steps and their graphical counterparts are introduced. This yields a graphical development method which relies on precise formal foundations.

AB - While formal methods have promised essential benefits for the software development process, industrial development reality nevertheless relies mainly on informal and especially graphical description techniques. This article argues that formal techniques are indeed useful for practical application, but they should be put to indirect use. To demonstrate this approach, two pragmatic graphical description techniques, taken from the field of telecommunication, are analyzed regarding their information content and their application in the process of specification development; as a result these techniques are formally defined. Based on the formal definition, “safe” development steps and their graphical counterparts are introduced. This yields a graphical development method which relies on precise formal foundations.

UR - http://www.scopus.com/inward/record.url?scp=21344460396&partnerID=8YFLogxK

U2 - 10.1007/3-540-60973-3_91

DO - 10.1007/3-540-60973-3_91

M3 - Conference contribution

AN - SCOPUS:21344460396

SN - 9783540609735

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 248

EP - 267

BT - FME 1996

A2 - Gaudel, Marie-Claude

A2 - Woodcock, James

PB - Springer Verlag

T2 - 3rd International Symposium of Formal Methods Europe, FME 1996

Y2 - 18 March 1996 through 22 March 1996

ER -

Schätz B, Hußmann H, Broy M. Graphical development of consistent system specifications. In Gaudel MC, Woodcock J, editors, FME 1996: Industrial Benefit and Advances in Formal Methods - 3rd International Symposium of Formal Methods Europe, Proceedings. Springer Verlag. 1996. p. 248-267. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-60973-3_91

Graphical development of consistent system specifications

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this