Abstract
Starting from general concepts for software development the role of formal methods in the software development process is discussed and basic algebraic specification concepts are introduced. Moreover some main ideas of the algebraic specification languages ACT ONE and ACT TWO and the specification language LOTOS for concurrent and distributed systems are presented and an overview of the tools in the ACT-System is given.
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.
Similar content being viewed by others
References
Blum, E.K.; Ehrig, H.; Parisi-Presicce, F.: Algebraic Specification of Modules and Their Basic Interconnections, JCSS 34, 2/3 (1987), 293–339
Burstall, R.M.; Goguen, J.A.: Putting theories together to make specifications. Proc. Int. Conf. Artificial Intelligence, 1977
Burstall, R.M.; Goguen, J.A.: Semantics of CLEAR, a specification language. Abstract Software Specifications, D. Bjömer (ed) Proc. 1979 Copenhagen Winter School, Springer Lect. Notes in Comp. Sci. 86, 1980, 292–332
Bjömer, D.; Jones, C.B.: The Vienna development method: The Meta-Language. Springer Veiiag, LNCS 61, 1978
Brinksma, E. (ed.): Information processing systems - open systems interconnection - LOTOS A formal description technique based on the temporal ordering of observational behaviour, International Standard, ISO 8807
CIP Language Group: The Munich Project CIP, Vol. 1: The Wide Spectrum language CIP-L, LNCS 183, Springer (1985)
CIP Language Group: The Munich Project CIP. Vol. 2: The transformation System CIP-S. LNCS 292, Springer (1987)
Claßen, I.: Semantik der revidierten Version der algebraischen Spezifikationssprache ACT ONE, Diplomarbeit TU Berlin, FB 20, 1988
Claßen, I.: Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language, Proc. Workshop on Categorical Methods in Computer Science, Berlin 1988, to appear in Springer LNCS
COMPASS Working Group: A Comprehensive Algebraic Approach to System Specification and Development, ESPRIT BRA-Proposal 1988
Ehrig, H.; Fey, W.: Methodology for the specification of software systems: from formal requirements to algebraic design specifications. 11. Gl-Jahrestagung (1981), Springer Informatik Fachberichte 50, 255–269
Ehrig, H.; Fey, W.; Hansen, H.: ACT ONE - an algebraic specification language with two levels of semantics. TU Berlin, FB 20, Techn. Report No. 83–03
Ehrig, H.; Kreowski, H.-J.: Compatibility of Parameter Passing and Implementation of Parameterized Data Types. TCS Vol 27 No 3, (1983), 255–286
Ehrig, H.; Kreowski, H.-J.; Mahr, B.; Padawitz, P.: Algebraic implementation of abstract data types. Theoret. Comp. Sci. 20 (1982), 209–263. (Prelim. Version: TU Berlin, FB 20, Techn. Report No. 80–32, 1980 )
Ehrig, H.; Kreowski, H.-J.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Parameter passing in algebraic specification languages. Workshop on Program Specification, Aaihus 1981, Springer LNCS 134, 322–369, also appeared in TCS 28 (1984), 45–81
Ehrig, H.; Mahr, B.: Complexity of algebraic implementations for abstract data types. J. Comp, and Syst. Sei. 23 (1981), 223–253
Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer (1985)
Ehrig, H.; Mahr, B.: Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. To appear in EATCS Monographs on Theoretical Computer Science, Springer
Ehrig, H.; Weber, H.: Algebraic Specifications of Modules. Proc. IFIP Work Conf. 85: The Role of Abstract Models in Programming, Wien 1985. Also as Techn. Report No. 190 (1985), FB Informatik, Univ. Dortmund
Fey, W.: Pragmatics, Concepts, Syntax, Semantics, and Correctness Notions of ACT TWO: An Algebraic Module Specification and Interconnection Language, Diss. TU Berlin, 1988
Ganzinger, H.: A completion procedure for conditional equations. Proc. 1st Int. Workshop on conditional Term Rewriting, Orsay (1987), also to appear in Journ. of Symb. Computation
Goguen, J.A.; Burstall, R.M.: Introducing institutions. Proc. Logics of Programming Workshop, Carnegie-Mellon. LNCS 164, Springer (1984), 221- 256
Giarratana, V.; Gimona, F.; Montanari, U.: Observability concepts in abstract data type specifications. 5th Symp. Math. Foundations of Comp. Sci. (1976), Springer LNCS 45, 576–587
Guttag, J.V.; Horning, J.J.: Preliminary Report on the Larch Shared Language. Techn. Report CSL 83–6, Xerox, Palo Alto 1983
Guttag, J.V.: The specification and application to programming of abstract data types. Ph.D. Thesis, University of Toronto, 1975
Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. IBM Research Report RC 6487, 1976. Also: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed. ), Prentice Hall (1978), 80–144
Hansen, H.: The ACT-System-Experiences and Future Enhancements, Recent Trends in Data Type Specifications (D. Sannella, A. Tarlecki (eds.)), LNCS 332
Knuth, D.E.; Bendix, P.B.: Simple word problems in universal algebra. In Leech, ed., Computational Problems in Abstract Algebra, Pergamon Press, Oxford, 1970, 263–297
Kimm, R.; Koch, W.; Simonsmeier, W.; Tontsch, F.: Einführung in Software Engineering, de Gryuter, 1979
Padawitz, P.: Computing in Horn Clause Theories, Springer Verlag 1988
Scott, D.; Strachey, C.: Towards a mathematical semantics for computer languages. Computers and Automata, Wiley, New York, 1971, 19–46
Sannella, D.T.; Tarlecki, A.: Toward formal development of programs from algebraic specifications: implementations revisited. Extended abstract in: Proc. Joint Conf. on Theory and Practice of Software Development, Pisa, LNCS 249, Springer (1987), 96–110; full version to appear in Acta Informatica
Thatcher, J.W.; Wagner, E.G.; Wright, J.B.: Data type specification: parameterization and the power of specification techniques. 10th Symp. Theory of Computing (1978), 119–132. Trans. Prog. Languages and Systems 4 (1982), 711–732
Weber, H.; Ehrig, H.: Specification of modular systems, IEEE Transaction on Software Engineering, Vol. SE-12, no 7, 1986, 784–798
Weber, H.; Ehrig, H.: Specification of Concurrently Executable Modules and Distributed Modular Systems; Proc. IEEE Workshop on Future Trends of Distrib. Comp. Systems in the 1990s, HongKong 1988, 202–215
Zilles, S.N.: Algebraic specification of data types. Project MAC Progress Report 11, MIT 1974, 28–52
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Claßen, I., Boehm, P., Fey, W., Korff, M., Löwe, M. (1989). Algebraic Concepts for Software Development in ACT ONE, ACT TWO, And LOTOS. In: Lippe, WM. (eds) Software-Entwicklung. Informatik-Fachberichte, vol 212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74872-1_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-74872-1_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51353-7
Online ISBN: 978-3-642-74872-1
eBook Packages: Springer Book Archive