Abstract
Algebraic specifications have been promoted as an aid to the software development process. However, their usefulness has been restricted by a perceived unapproachability. This paper introduces an approach to the simplification of the algebraic specification language OBJ through visualisation and, more specifically, it focuses on the use of animation to represent the OBJ term re-writing process by which expressions are evaluated.
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
Yap, C.N. and Holcombe. M.: Using Graphical Icons to Build Z Specifications. Proc. of the 2nd BCS-FACS Northern Formal Methods Workshop. 1997
Dick, J. and Loubersac, J.: A Visual Approach to VDM: Entity-Structure Diagrams. Technical Report DE/DRPA/91001, Bull, 68 Route de Versailles, 78430 Louveciennes, France. 1991
Agusti, J., Robertson, D. and Puigsegur, J.: GRASP: A GRAphical SPecification Language for the Preliminary Specification of Logic Programs. Technical report IIIA 13. Institut d’Investigació en Intel-ligéncia Artificial, Bellaterra, Catalonia, Spain. 1995
Goguen, J.A. and Tardo, J.J.: An Introduction to OBJ: A Language for Writing and Testing Formal Algebraic Program Specifications. Proc. Conf. on Specification of Reliable Software. IEEE Computer Society. 1979; 170–189
Battiston, E., De Cindio, F. and Mauri, G.: Modular Algebraic Nets to Specify Concurrent Systems. IEEE Transactions on Software Engineering. Vol 22. No 10. 1996; 689–705
Nakajima, S. and Futatsugi, K.: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. Proc. 19th Int. Conf. on Software Engineering. ACM Press. 1997; 34–44
Nassi, I. and Shneiderman, B.: Flowchart Techniques for Structured Programming. ACM Sigplan Notices. Vol.8 No.8 1973; 12–26.
ObjEx User Reference Manual. Gerrard Software, 24 Duke Street, Macclesfield, Cheshire SK11 6UR, UK. 1987
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London
About this paper
Cite this paper
Neary, D.S., Woodward, M.R. (1999). Visualisation of the OBJ Term Re-writing Process. In: Paton, R., Neilson, I. (eds) Visual Representations and Interpretations. Springer, London. https://doi.org/10.1007/978-1-4471-0563-3_39
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0563-3_39
Publisher Name: Springer, London
Print ISBN: 978-1-85233-082-8
Online ISBN: 978-1-4471-0563-3
eBook Packages: Springer Book Archive