Abstract
The application of algebraic specification techniques in the early phases of software development requires a means for specifying views. In this paper we argue for algebraic view specification based on an algebraic concept model. The concept model consists of two parts: a meta model defining the concepts of different views and the relationships between them, and a system model defining the system behaviour. We show how to derive an algebraic concept model from a semi-formal one given usually as an entity relationship diagram. This gives the rigour of formality to pragmatic view specifications and allows for an easy translation between formal and pragmatic specifications.
This work was carried out within the project SysLab, supported by Siemens Nixdorf and by the Deutsche Forschungsgemeinschaft under the Leibniz program
Preview
Unable to display preview. Download preview PDF.
References
E. Astesiano, G.F. Mascari, R. Reggio, and M. Wirsing. On the parameterized algebraic specification of concurrent systems. In TAPSOFT,LNCS 185, pages 342–358. Springer Verlag, 1985.
ANSI. American National Standard X3.138-1988: Information Resource Dictionary System (IRDS). American National Standard Institute, 1989.
[BFG+93] M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hußmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language Spectrum, An Informal Introduction, Version 1.0. Technical Report TUM-I9312, Technische Universität München, 1993.
[CAB+94] D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, and P. Jeremaes. Object-Oriented Development — The FUSION method. Prentice Hall, 1994.
E. Downs, P. Clare, and I. Coe. Structured systems analysis and design method: application and context. Prentice-Hall, 1992.
M. Gogolla and R. Herzig. An algebtraic development technique for information systems. In AMAST,LNCS 936, pages 446–460. Springer Verlag, 1995.
M. Gilpin. A comparison of object-oriented analysis and design methods. Technical report, INTERSOLV at CASE World, 1993.
R. Hettler. Entity/Relationship-Datenmodellierung in axiomatischen Spezifikationssprachen, Ph.D. thesis. Reihe Softwaretechnik, FAST. Tectum Verlag, 1995.
H. Habermann and F. Leymann. Repository. R. Oldenbourg Verlag, 1993.
H. Hußmann. Formal foundation for pragmatic software engineering methods. In B. Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen, pages 27–34, 1994.
H. Hußmann. Indirect use of formal methods in software engineering. In M.Wirsing, editor, ICSE-17 Workshop on Formal Methods Applications in Software Engineering Practice, pages 126–133, 1995.
I. Jacobson. Object-Oriented Software Engineering. Addison-Wesley, 1992.
[RBP+91] J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-oriented Modeling and Design. Prentice-Hall, 1991.
B. Rumpe, C. Klein, and M. Broy. Ein strombasiertes mathematisches modell verteilter informationsverarbeitender systeme — SYSLAB System-modell. Technical Report TUM-I9510, Technische Universität München, 1995.
H. Saiedian and M. Hinchey. Issues surrounding the transfer of formal methods technology into the actual workplace. In M.Wirsing, editor, ICSE-17 Workshop on Formal Methods Applications in Software Engineering Practice, pages 69–76, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paech, B. (1996). Algebraic view specification. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014332
Download citation
DOI: https://doi.org/10.1007/BFb0014332
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61463-0
Online ISBN: 978-3-540-68595-1
eBook Packages: Springer Book Archive