Abstract
This paper reports experience in using CafeOBJ (a multi-paradigm algebraic specification language) in the development of object-oriented frameworks of the ODP trader that is implemented with Java and JavaIDL. We first identify several aspects in the target problem before applying the known techniques of developing object-oriented frameworks. We use CafeOBJ to describe each aspect solution to mechanically check the integrity of the descriptions when all the aspects are put together. Although the experience is based on a particular problem only, the proposed method is clear enough to give a systematically and sharply focused help in reaching the solution, and to illustrate practice of using formal methods in the process.
Chapter PDF
References
ITU-T Rec. X.950-1: Information Technology-Open Distributed Processing-Trading Function-Part 1: Specification (1997).
OMG: OMG CORBA (http://www.omg.org/).
OMG: CORBAservices, Trading Object Service Specification (1997).
Sun Microsystems: JavaCC Documentation (http://www.suntest.com/JavaCC/).
Arnold, K. and Gosling, J.: The Java™ Programming Language, Addison-Wesley 1996.
Beck, K. and Cunningham, W.: A Laboratory for Teaching Object-Oriented Thinking, Proc. OOPSLA’89, pp.1–6 (1989).
Bj∅rner, D., Koussoube, S., Noussi, R., and Satchok, G.: Michael Jackson’s Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools, Proc. 1st IEEE ICFEM (1997).
Carroll, J.M. (ed.): Scenario-Based Design, John Wiley & Sons 1995.
Clarke, E.M. and Wing, J.M.: Formal Methods: State of the Art and Future Directions, ACM Computing Surveys (1996).
Deutsch, L.P.: Design Reuse and Frameworks in the Smalltalk-80 Programming System, in Software Reusability vol.2 (Biggerstaff and Perlis, ed.), pp.55–71, ACM Press 1989.
Diaconescu, R. and Futatsugi, K.: The CafeOBJ Report, World Scientific 1998.
Futatsugi, K., Goguen, J., Jouannaud, J-P., and Meseguer, J.: Principles of OBJ2, Proc. 12th POPL, pp.52–66 (1985).
Futatsugi, K. and Nakagawa, A.T.: An Overview of CAFE Specification Environment, Proc. 1st IEEE ICFEM (1997).
Gamma, E., Helm, R., Johnson, R. and Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley 1994.
Goguen, J. and Malcolm, G.: Algebraic Semantics of Imperative Programs, The MIT Press 1996.
Goguen, J. and Malcolm, G.: A Hidden Agenda, UCSD CS97-538 (1997).
Jackson, M.: Software Requirements & Specifications, Addison-Wesley 1995.
Johnson, R.: Documenting Frameworks using Patterns, Proc. OOPSLA’92, pp.63–76 (1992).
Lewis, G., Barber, S., and Siegel, E.: Programming with Java IDL, John Wiley & Sons 1998.
Meseguer, J.: A Logical Theory of Concurrent Objects and its Realization in the Maude Language, in Research Directions in Concurrent Object-Oriented Programming (Agha, Wegner and Yonezawa ed.), pp.314–390, The MIT Press 1993.
Milner, R., Tofte, M., Harper, R., and MacQueen, D.: The De nition of Standard ML (revised), The MIT Press 1997.
Nakajima, S. and Futatsugi, K.: An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ, Proc. 19th ICSE, pp.34–44 (1997).
Nakajima, S. and Futatsugi, K.: An Algebraic Approach to Specification and Analysis of the ODP Trader, Trans. IPS Japan Vol.40 No.4, pp.1861–1873(1999).
Raymond, K.: Reference Model of Open Distributed Processing (RM-ODP): introduction, Proc. ICODP’95 (1995)
Wang, D.C., Appel, A.W., and Korn, J.L.: The Zephyr Abstract Syntax Description Language, Proc. USENIX DSL, pp.213–227 (1997).
Wing, J. and Zaremski, A.M.: Unintrusive Ways to Integrate Formal Specifications in Practice, CMU-CS-91-113 (1991).
Wirsing, M. and Knapp, A.: A Formal Approach to Object-Oriented Software Engineering, Proc. 1st Workshop on Rewriting Logic and its Applications (1996).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nakajima, S. (1999). Using algebraic specification techniques in development of object-oriented frameworks. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48118-4_38
Download citation
DOI: https://doi.org/10.1007/3-540-48118-4_38
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66588-5
Online ISBN: 978-3-540-48118-8
eBook Packages: Springer Book Archive