Versión en Español
Welcome to our Home Page!!
      Topics of interest
Requirements Engineering, Conceptual Modelling, CASE Tools, Prototyping, Formal Methods, Object Oriented Modelling, Workflows, Digital Libraries, Active Databases.


This is the Web Home Page for the Object Oriented Conceptual Modelling and Databases Research Team (OOCMDB) of the Technical University of Valencia (UPV), Spain. The OOCMDB research team belongs to the Logic Programming and Software Engineering Research Group (GPLIS). Latest research efforts in OOCMDB team have resulted in both, a formal-declarative OO model OASIS, and its methodological extension OO-METHOD. The pursued goals are: 

  • To define a framework that constitutes a formal foundation for our OO model. 
  • To elaborate a highly expressive language that can be used as a tool for conceptual modeling of information      systems. 
  • To develop a methodology together with associated tools that allow an adequate process of  learning and use of the proposed model. 
Our current research trends are related to the following topics:
  • Code generation in industrial  software development environments. 
  • Automatic animation of OASIS specifications in concurrent environments. Particularly, Petri Nets and Concurrent Logic Programming are being used. This work is aimed to support  early requirements validation and incremental  software specification. 
  • Extensions to the OASIS model to enhance its expressive power. 
  • Software Evolution and formalization of the software development process taking as basis the OASIS model. 
  • Development and customization of tools that not only have OASIS as an underlying model  but also are able to capture requirements with a notation and language which are closer to the problem space. 
  • All previous topics share  a  common context: refining and extending OO-METHOD and its associated CASE software production environment which have already been developed in this group.