to our Home Page!!
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
Our current research trends are related to
the following topics:
To develop a methodology together with associated
tools that allow an adequate process of learning and use of the proposed
Code generation in industrial software
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
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
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.