Abstract
Our work couples the formalism of universal algebras with the engineering techniques of mathematical modeling to develop a new approach to the software engineering process. Our purpose in using this combination is twofold. First, abstract data types and their specification using universal algebras can be considered a common point between the practical requirements of software engineering and the formal specification of software systems[4]. Second, mathematical modeling principles provide us with a means for effectively analyzing real-world systems. We first use modeling techniques to analyze a system and then represent the analysis using universal algebras. The rest of the software engineering process exploits properties of universal algebras that preserve the structure of our original model.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Casti, J. Alternate Realities: Mathematical Models of Nature and Man, Wiley-Interscience, 1989
De Marco, T. Structured Analysis and System Specifications, Yourdon, Inc., 1978
Gorlen, K. E. Orlow, S. M. and Plexico, P. S. Data Abstraction and Object-Oriented Programming in C++, John Wiley & Sons, 1990
Gougen, J. A. Thatcher, J. W. Wagner, E. G. and Wright, J. B. “Initial Algebra Semantics and Continuous Algebras”, JACM, v. 24, no. 1, pp. 68–95, 1977
Hooton, W. L. “ODISS-optical digital image storage system— the U.S. National Archives’ optical digital image project” in Proceedings of the Sixth Annual Conference on Optical Information Systems (OIS International), pp. 171–173, 1989
Lea, D. User’s Guide to the GNU C++ Library, Free Software Foundation, 1990
Milos, D. Pleban, U. and Loegel, G. “Direct Implementation of compiler specifications, or: The Pascal P-compiler revisited”, Conference Record of the 11th Annual ACM SIG-PLAN/SIGACT Symposium on Principles of Programming Languages, 1984, pp. 196–207
Nori, K. V., Ammann, U., Jensen, K., Nageli, H. H., Jacobi, C. The Pascal (P)-Compiler: Implementation Notes (Revised Edition), ETH Zurich, Institut fur Informatik, 1976
Paulson, L. A Compiler Generator for Semantic Grammars,Ph.D. dissertation, Stanford University, 1982
Schoenfield, J. R. Mathematical Logic, Addison-Wesley, 1967
Thatcher, J. W., Wagner, E. G. and Wright, J. B. “Data Type Specification: Parameterization and the Power of Specification Techniques”, ACM TOPLAS, v. 4, no. 4, pp. 711–732, 1982
Zeigler, B. P. Theory of Modelling and Simulation, Wiley-Interscience, 1976
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Loegel, G.J., Ravishankar, C.V. (1994). An Algebraic Approach to Modeling in Software Engineering. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds) Algebraic Methodology and Software Technology (AMAST’93). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3227-1_41
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3227-1_41
Publisher Name: Springer, London
Print ISBN: 978-3-540-19852-9
Online ISBN: 978-1-4471-3227-1
eBook Packages: Springer Book Archive