MENHIR
OO-METHOD
OASIS
PROTESIS
SINTESIS
KEYWORDS: SOFTWARE ENGINEERING, FORMAL METHODS, OBJECT-ORIENTED MODEL, SOFTWARE COMPONENTS, SOFTWARE EVOLUTION AND REUSE
ENTIDAD FINANCIADORA: COMISIÓN INTERMINISTERIAL DE CIENCIA Y TECNOLOGÍA (CICYT), REF. TIC 97-0593-C05-01.
DURACIÓN: JULIO 1997 - JUNIO 2000
PRINCIPAL RESEARCHER: Dr. ISIDRO RAMOS SALAVERT
SUMMARY:
The aim of the project is the design and development of an environment supporting the production of correct, reusable and maintenable software (i.e., quality software) through the whole software development lifecycle ( from analysis to maintenance); we will use logic, algebraic and categorical formalism to deal with the models that integrate a software product in three aspects: state, behavior and communication. One will be able to make quality control test by automatic prototyping of the software requirements (due to the availability of operational semantics for the specifications languages ). The environment will use the Object-Oriented Model along the lifecycle, will be homogeneous and will have incorparated the software evolution aspects in an intrinsic way. The methodology supporting the process of software construction will have two foundations: a epistemological one based on the General System Theory, and a technological one taking into account the so-called industrial methods (like OMT, Fusion and others). The generated products will be of two kinds: visual applications (built using tools like Delphi, Power Builder, Cosmos) and object-oriented environments (VisualWorks, Gemstone,...) providing solutions to the lack of analysis and design support of those tools, and prototypes built on declarative environments (like KBMS1, OBJ3, etc. ) allowing software engineers to validate software properties. The environment will provide a unique metaphor for the production, validation, reuse, evolution and use of software, that will be implemented using intuitive interaction mechanisms based on the state-of-the-art on visual programming and operating systems. Some software manufacturing companies (Transtools, Consoft, BASE, etc.) are participating as EPOs with the goal of generating an industrializable prototype.
Workshops
First Workshop MENHIR, Sevilla,
Octubre 1997.
Second
Workshop MENHIR, Valencia, Febrero 1998.
Third Workshop MENHIR, Murcia,
Noviembre 1998.
... Fourth Workshop MENHIR,
Valladolid, Mayo 1999.
KEYWORDS: FORMAL SPECIFICATION TECHNIQUES, OBJECT-ORIENTED MODEL, OBJECT-ORIENTED DATABASE SYSTEMS, ADVANCED SOFTWARE TOOLS
ENTIDAD FINANCIADORA: COMISIÓN INTERMINISTERIAL DE CIENCIA Y TECNOLOGÍA (CICYT), REF. TIC 94-0557.
DURACIÓN: MAYO 1994 - MAYO 1997
PRINCIPAL RESEARCHER: Dr. ISIDRO RAMOS SALAVERT
SUMMARY:
The goal of this project is to deal with the Object Oriented Model (OOM) in the Information Systems and Databases Conceptual Modeling from a manifold perspective. It includes the use of different semantic models of concurrency (CSP, Petri Nets and CPL) to deal with dynamic aspects and their relationship with the concept of state and other structural aspects through the use of dynamic and/or temporal logics, whose models are represented as states of an Object Oriented Database. This manifold approach becomes an constraint due to the richness of the OOM, and such logics (or some kind of modal extensions ) seem to be necessary.
The counterpart is an increasing
temporal complexity of the proofs that implement the query and evaluation
mechanisms of the model. The Object System is modeled as a society of concurrent,
communicating objects ( viewed as observable processes ) with different
degrees or persistence. This society has a class structure representing
the different mechanisms of traditional semantic modeling. Aspects such
as syncronization, parallel composition, choise, etc., must be also considered.
A formal treatment of those aspects, as well as the development of tools
and methodologies supporting the OOM, increase software quality and productivity.
This is the practical goal af this project.
KEYWORDS: FORMAL SPECIFICATION TECHNIQUES, AUTOMATIC PROTOTYPING, LOGIC PROGRAMMING, INTEGRATION OF PARADIGMES
PRINCIPAL RESEARCHER: Dr. ISIDRO RAMOS SALAVERT
SUMMARY:
The objective of this project is the design and development of computer technology in accordance with the following assumptions:
The use of formal specification techniques based on different logics, their fusions and extensions (clausal, aquational, modal, objectual) which provide the highest expressivity without loosing a well defined declarative and efficient operational semantics.
With these techniques, the validation by software automatic prototyping is guaranteed, and furthermore, they allow to approach topics such as consistency, completeness, etc. in a formalized framework. They also allow to express dynamic aspects of concurrency, in Database as well as in Information Systems, what will reduce the semantic gap. The design and implementation of interaction man-machine tools that facilitate this process by means of: the use of natural language, explanatory systems for interaction with the user, graphic and hypergraphic languages, etc.
The PROTESIS project takes
as a basis rigurous formal assumptions of Logic Programming, Model Theory,...
to approach the development of friendly and good quality software technology
in fields of maximum requirements such as Databases and Infotmation Systems
(where the highest user's pull is situated). This project is a continuation
of a previous one: SINTESIS, and it conjugates theoretical and application
aspects. It is an actual Software Engineering project.
KEYWORDS: RAPID PROTOTYPING, LOGIC PROGRAMMING, INFORMATION SYSTEMS MODELING
PRINCIPAL RESEARCHER: Dr. ISIDRO RAMOS SALAVERT
SUMMARY:
The objective of this project is to design and achieve a generation environment of Information Systems (IS) and its associated software tools, which shall allow unspecialized and diverse users to develop and maintain a set of applications starting from their requirements (specifications) and which shall reduce the system implementation costs (automatically or semiautomatically). We have assumed the interests of the ESPRIT project (2nd phase), especially these concerning "Integrated Application Support System" (TIP), and this because of two reasons:
The coincidence with the line and works already performed by the group.The ideas underlying in the project are:We prospectively think that this is a prioritary area of interest in Computer Science.