Visual Representations and Interpretations pp 351-356 | Cite as
Visualisation of the OBJ Term Re-writing Process
Conference paper
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.
Keywords
Software Development Process Abstract Data Type Visual Notation Algebraic Specification Match Line
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- [1]Yap, C.N. and Holcombe. M.: Using Graphical Icons to Build Z Specifications. Proc. of the 2nd BCS-FACS Northern Formal Methods Workshop. 1997Google Scholar
- [2]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. 1991Google Scholar
- [3]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. 1995Google Scholar
- [4]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–189Google Scholar
- [5]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–705CrossRefGoogle Scholar
- [6]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–44Google Scholar
- [7]Nassi, I. and Shneiderman, B.: Flowchart Techniques for Structured Programming. ACM Sigplan Notices. Vol.8 No.8 1973; 12–26.CrossRefGoogle Scholar
- [8]ObjEx User Reference Manual. Gerrard Software, 24 Duke Street, Macclesfield, Cheshire SK11 6UR, UK. 1987Google Scholar
Copyright information
© Springer-Verlag London 1999