Abstract
In this work we propose an extension of the MooZ formal specification language with support for parameterized packages. This enhances MooZ’s capabilities for software reuse and maintenance in the large. We discuss several design issues for MooZ’s structuring mechanisms: the distinction between inheritance and subtyping, values and objects, vertical and horizontal composition, packages and classes. We also analyse the impact of our design decisions on software reuse.
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
Alencar, A.J., Goguen, J.A.: OOZE: An Object Oriented Z Environment. In: ECOOP 1991 - V European Conference on Object-Oriented Programming, Geneva - Switzerland, Springer, Heidelberg (1991)
Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentide-Hall (1997)
Stroustrup, B.: The C++ Programming Language, 3rd edn. Addison-Wesley, Reading (1997)
de, V.A., Cordeiro, O.: From MooZ to Eiffel: A Rigorous Approach to System Development. Master’s thesis, Universidade Federal de Pernambuco, Departmento de Informática (1994) (in Portuguese)
Watt, D.A.: Programming Languages Concepts and Paradigms. C. A. R. Hoare Series Editor. Prentice Hall International, Englewood Cliffs (1989)
Aranha, D., Borba, P.: Parameterized packages and Java. In: II Brazilian Symposium on Programming Languages, Campinas, Brazil, pp. 208–218 (September 1997)
Batory, D., Singhal, V., et al.: The GenVoca Model of Software-System Generators. IEEE Software, 89–94 (September 1994)
Motta, G.H.M.B.: Object-Oriented Formal Specifications: Application in the Development of an Effort Eletrocardiogram Processing System. Master’s thesis, Departamento de Informática, Universidade Federal de Pernambuco (1992) (in Portuguese)
Goguen, J.: Reusing and interconnecting software components. Computer 19(2), 16–28 (1986)
Goguen, J.: Principles of parameterized programming. In: Biggerstaff, T., Perlis, A. (eds.) Software Reusability. Concepts and Models, ch. 7, vol. I, pp. 159–225. ACM Press, New York (1989)
Goguen, J., Socorro, A.: Module composition and system design for the object paradigm. Journal of Object-Oriented Programming 7(9) (1995)
Goguen, J., Winkler, T.: Introducing OBJ3. Technical Report SRI-CSL-88- 9, SRI International, Computer Science Lab. In: Meseguer, J., Futatsugi, K., Jouannaud, J.-P. (eds.) Applications of Algebraic Specification Using OBJ (August 1988) Revised version to appear with additional authors edited by Joseph Goguen
Spivey, J.M.: Understanding Z: A specification language and its formal semantics. Cambridge University Press, Cambridge (1988)
Spivey, J.M.: The Z Notation: a reference manual, Hoare, C.A. Series (ed.) 2nd edn. Prentice Hall International, Englewood Cliffs (1992)
Woodcock, J., Davies, J.: Using Z - Specification, Refinement and Proof. C. A. R. Hoare Series Editor. Prentice-Hall International, Englewood Cliffs (1996)
Guttag, J.V., Horning, J.J., Modet, A.: Report on the Larch Shared Language - Version 2.3. Technical report, Digital Equipment Corporation, SRC Research Report 58 (1990)
Arnold, K., Gosling, J.: The Java Programming Language. Addison-Wesley, Reading (1996)
Cardelli, L., Wegner, P.: On understanding types, data abstraction and polymorphism. Computing Surveys 17(4) (December 1985)
Cornélio, M.L.: Design and evaluation of an object-oriented formal specification language. Master’s thesis, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE (1998)
de, P.D., Machado, L.: EASY — An Environment for Simulation of Artificial Neural Networks. Master’s thesis, Departamento de Informática, Universidade Federal de Peranambuco (1994) (in Portuguese)
Borges, R., Ierusalimschy, R.: Módulosem Linguages Orientadas a Objetos. In: I Brazilian Symposium on Programming Languages, Belo Horizonte, Brazil, pp. 371–384 (September 1996)
Duke, R., King, P., Rose, G.A., Smith, G.: The Object-Z Specification Language: Version 1. Technical Report 91-1, Department of Computer Science, University of Queensland, Software Verification Center (April 1991)
Meira, S.L., Cavalcanti, A.L.C.: MooZ Case Studies. In: Stepney, S., Barden, R., Cooper, D. (eds.) Object Orientation in Z, Workshops in Computing. ch. 5, pp. 37–58. Springer, Heidelberg (1992)
Meira, S.R.L., Cavalcanti, A.L.C.: The MooZ Specification Language. Technical report, Universidade Federal de Pernambuco, Departamento de Informática, Recife - PE (1992), Also available at http://www.di.ufpe.br/~mooz
Garland, S.J., Guttag, J.V., Horning, J.J.: An Overviewo f Larch. In: Lauer, P.E. (ed.) Functional Programming, Concurrency, Simulation and Automated Reasoning. LNCS, vol. 693, pp. 329–348. Springer, Heidelberg (1993)
Ogden, W.F., Sitaraman, M., et al.: Special Feature: Component-Based Software Using RESOLVE. Software Engineering Notes 19(4), 21–67 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cornélio, M., Borba, P. (2000). Structuring Mechanisms for an Object-Oriented Formal Specification Language. In: Frakes, W.B. (eds) Software Reuse: Advances in Software Reusability. ICSR 2000. Lecture Notes in Computer Science, vol 1844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44995-9_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-44995-9_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67696-6
Online ISBN: 978-3-540-44995-9
eBook Packages: Springer Book Archive