Skip to main content
SpringerLink
Log in

Prototyping object oriented specifications in an algebraic environment

  • Conceptual Modelling
  • Conference paper
  • First Online:
Database and Expert Systems Applications (DEXA 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 856))

Included in the following conference series:

Abstract

This paper presents an algebraic environment aimed to achieve operational prototypes [3] from an object-oriented description of the Universe of Discourse (UoD). Based on the OASIS object-oriented specification language [15] and the works initiated in [16], two algebraic specifications are provided: the first formalizes the OASIS language; the second is a formalization of the lives of the objects in the UoD. From an OASIS description of the conceptual scheme, the object-oriented algebraic prototyper (OOAP) automatically generates a validated ground term of the term algebra of the OASIS specification. After a consistency analysis OOAP generates an OBJ3 prototype for that specification which is internally executed as a rewriting system. It is then ready to be used by developers and users in order to validate and verify functional requirements of the information system. An implementation of the OOAP has been carried out using the functional language OBJ3.

The research reported in this paper has been partially supported by the Spanish Ministries of Education and Industry, CICYT project PROTESIS TIC 91-0425 (1991/1993)

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. Atkinson; F. Bancilhon; D. DeWitt; K. Dittrich; D. Maier and S. Zdonik. “The object-oriented database system manifesto”. In Proc. of the First Int. Conf. on Deductive and Object-Oriented Databases, Kyoto, Japan, December 1989

    Google Scholar 

  2. G.Booch. “Object Oriented Design with applications”. The Benjamin/Cummings Publishing Company Inc. (1991)

    Google Scholar 

  3. A.M. Davis. “Operational prototyping: a new development approach”. IEEE Software. September 1992, vol. 9, n.5

    Google Scholar 

  4. H.-D.Ehrich;A.Sernadas; C.Sernadas. “Objects,Object Types and Object Identification” in Categorical Methods in Computer Science, H.Ehrig (ed.). Springer-Verlag 1988

    Google Scholar 

  5. H.Ehrig;B.Mahr. “Fundamentals of Algebraic Specification 1”. Springer-Verlag. 1985

    Google Scholar 

  6. J.A.Goguen; J.J Jouannaud and J.Meseguer. “Operational Semantics of order-sorted algebra”, in W.Brauer (ed.) Proc. 1985 Int. Conf. on Automata, Languages and Programming, Springer 1985, LNCS n∘ 194

    Google Scholar 

  7. J.A.Goguen; J.Meseguer. “Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics”, in Research Directions in Object-Oriented Programming, B.Shriver and P.Wegner (eds.). MIT Press (1987) pp.417–477

    Google Scholar 

  8. J.Goguen; J.Meseguer, “Order-Sorted Algebra I”, Technical Report, SRI International, Standford University, 1988

    Google Scholar 

  9. J.A.Goguen; T.Winkler;J.Meseguer;K.Futatsugi and J.P.Jouannaud, “Introducing OBJ3” SRI-CSL Report (Draft of January 1992)

    Google Scholar 

  10. IS-CORE: Information Systems — Correctness and Reusability Esprit-2 BRA WG 3023, Second Year Report, September 1991

    Google Scholar 

  11. Udo W. Lipeck, G. Koschorreck (eds.). Proc. of the Int. Workshop on: Information Systems — Correctness and Reusability IS-CORE'93, Institut für Informatik, Hannover, September 1993

    Google Scholar 

  12. R.Jungclaus, T.Hartmann, G.Saake, C.Sernadas, “Introduction to TROLL-A Language for Object-Oriented Specification of Information Systems” in. [10]

    Google Scholar 

  13. B.Meyer, “Object-Oriented Software Construction”. Prentice-Hall 1988

    Google Scholar 

  14. Jesus G. Molina; Ambrosio Toval; Manuel González. “Sape: a structured analysis prototyping environment” stream: software development and maintenance (Poster Sessions). 12TH World Computer Congress. IFIP CONGRESS 92 Madrid (Spain). September 7–11, 1992

    Google Scholar 

  15. O.Pastor; Hayes,F.; S.Bear. “OASIS: An Object-Oriented Specification Language” in Proceedings of the CAISE-92 Conference, Spriger-Verlag (1992)

    Google Scholar 

  16. I. Ramos; O. Pastor and J.H.Canós “On the use of algebras as a semantic domain for Objects Societies”, Proc. of the Deductive Approach to Information Systems and Databases, Costa Brava (Catalonia, Spain), Sept. 92

    Google Scholar 

  17. A.Sernadas; J.Fiadeiro; C.Sernadas; H.-D.Ehrich. “The Basic Building Blocks of information Systems” Proc. IFIP 8.1 Working Conference, Falkenberg, E.,Lindegreen,P. (eds.), North Holland, Amsterdam, 1989, pp.225–246

    Google Scholar 

  18. Sernadas, A.; Sernadas, C. Gouveia, P.; Resende, P. “OBLOG: An Informal Introduction” Research Report INESC 1991.

    Google Scholar 

  19. A. Toval. “EMTR-01: First Technical Report on the Euromethod Progress”. Internal Report. E.U. Informática. Universidad de Murcia (Spain). October 1990.

    Google Scholar 

  20. A. Toval. “EEC: EUROMETHOD IN PROGRESS”. Short Note, IEEE Computer Society/TCSE Newsletter, April 1992

    Google Scholar 

  21. A. Toval. “Formalización Algebraica de un Entorno de Producción Automática de Prototipos Orientados a Objetos”. PH.D. dissertation. Departamento de Sistemas Informaticos y Computación. Universidad Politécnica de Valencia (Spain). Mayo 1994

    Google Scholar 

  22. T.H.Tse. “A Unifying Framework for Structured Analysis and Design Models: an approach using initial algebra semantics and category theory”. Cambridge University Press (1991)

    Google Scholar 

  23. R.J.Wieringa. “Algebraic Foundations for Dynamic Conceptual Models”. PhD Thesis, Vrije Universiteit, Amsterdam, 1990

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. de Informática y Sistemas. Facultad de Informática, Universidad de Murcia, C/Sto. Cristo, 1, 30001, Murcia, Spain

    A. Toval

  2. Dept. de Sistemes Informatics i Computació (DSIC), Universitat Politecnica de Valencia, Camí de Vera, s/n, E-46071, Valencia, Spain

    I. Ramos & O. Pastor

Authors
  1. A. Toval
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. I. Ramos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. O. Pastor
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dimitris Karagiannis

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Toval, A., Ramos, I., Pastor, O. (1994). Prototyping object oriented specifications in an algebraic environment. In: Karagiannis, D. (eds) Database and Expert Systems Applications. DEXA 1994. Lecture Notes in Computer Science, vol 856. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58435-8_195

Download citation

  • DOI: https://doi.org/10.1007/3-540-58435-8_195

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58435-3

  • Online ISBN: 978-3-540-48796-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation