From Object Oriented Conceptual Modeling to Automated Programming in Java

  • Oscar Pastor
  • Vicente Pelechano
  • Emilio Insfrán
  • Jaime Gómez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1507)


The development of Internet commercial applications and corporate Intranets around the world, that often use Java as programming language, is a significant topic in modern Software Engineering. In this context, more than ever, well-defined methodologies and high-level tools are essential for developing quality software in a way that should be as independent as possible of the changes in technology. In this article, we present an OO method based on a formal object-oriented model. The main feature of this method is that developers’ efforts are focused on the conceptual modeling step, where analysts capture system requirements, and the full implementation can automatically be obtained following an execution model (including structure and behaviour). The final result is a web application with a three-tiered architecture, which is implemented in Java with a relational DBMS as object repository.


Integrity Constraint Execution Model Automate Program Software Development Environment Formal Specification Language 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arnold, K., Gosling, J.: The Java Programming Language. In: Sun MicroSystems. Addison-Wesley, Reading (1996)Google Scholar
  2. 2.
    Rumbaugh, J., et al.: Object Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)Google Scholar
  3. 3.
    Liddle, S.W., Embley, D.W., Woodfield, S.N.: Unifying Modeling and Programming Through an Active, Object-Oriented, Model-Equivalent Programming Language. In: Papazoglou, M.P. (ed.) ER 1995 and OOER 1995. LNCS, vol. 1021, pp. 55–64. Springer, Heidelberg (1995)CrossRefGoogle Scholar
  4. 4.
    Jacobson, I., et al.: G. OO Software Engineering, a Use Case Driven Approach. Addison-Wesley, Reading (1992)Google Scholar
  5. 5.
    Booch, G.: OO Analysis and Design with Applications. Addison-Wesley, Reading (1994)Google Scholar
  6. 6.
    Booch, G., Rumbaugh, J., Jacobson, I.: UML. v1. Rational Software Co. (1997)Google Scholar
  7. 7.
    Rational Software Corporation. Rational Rose User’s Manual (1997)Google Scholar
  8. 8.
    Ptech FrameWork. Ptech Inc., Boston, MA, USA (1998),
  9. 9.
    Platinum Technology, Inc., Paradigm Plus: Round-Trip Engineering for JAVA, White Paper (1997), Platinum Web Site:
  10. 10.
    Balzer, R., et al.: Software Technology in the 1990s: Using a New Paradigm. IEEE Computer Society Press, Los Alamitos (1983)Google Scholar
  11. 11.
    Pastor, O., Hayes, F., Bear, S.: OASIS: An object-oriented specification language. In: Loucopoulos, P. (ed.) CAiSE 1992. LNCS, vol. 593, pp. 348–363. Springer, Berlin (1992)Google Scholar
  12. 12.
    Clyde, S.W., Embley, D.W., Woodfield, S.N.: Tunable Formalism in Object-Oriented System Analysis: Meeting the Needs of Both Theoreticians and Practitioners. In: Proceedings of OOPSLA 1992 Conference, Vancouver, Canada, pp. 452–465 (1992)Google Scholar
  13. 13.
    Pastor, O., Ramos, I.: Oasis 2.1.1: A Class-Definition Language to Model Information Systems Using an Object-Oriented Approach, 3rd edn. (October 1995)Google Scholar
  14. 14.
    Pastor, O., et al.: OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods. In: Olivé, À., Pastor, J.A. (eds.) CAiSE 1997. LNCS, vol. 1250, pp. 145–158. Springer, Heidelberg (1997)Google Scholar
  15. 15.
    Jackson, R.B., Embley, D.W., Woodfield, S.N.: Automated Support for the Development of Formal Object-Oriented Requirements Specification. In: Wijers, G., Wasserman, T., Brinkkemper, S. (eds.) CAiSE 1994. LNCS, vol. 811, pp. 135–148. Springer, Heidelberg (1994)Google Scholar
  16. 16.
    Argawal, S., Jensen, R., Keller, A.M.: Architecting object applications for high performance with relational databases. In: OOPSLA Workshop on Object Database Behaviour, Benchmarks, and Performance, Austin (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Oscar Pastor
    • 1
  • Vicente Pelechano
    • 1
  • Emilio Insfrán
    • 1
  • Jaime Gómez
    • 2
  1. 1.Department of Information Systems and ComputationValencia University of TechnologyValenciaSpain
  2. 2.Department of Languages and Information SystemsAlicante UniversitySan Vicente del Raspeig, AlicanteSpain

Personalised recommendations