Artículos de revistas
Temporality Specification in Automatic Production Software Environments Based on Object-Oriented Conceptual Models
Autor
MOLINA , JUAN CARLOS
INSFRAN , EMILIO
PASTOR , ÓSCAR
Institución
Resumen
IN ORDER TO REPRESENT THE STATIC AND DYNAMIC ASPECTS OF A SYSTEM, ACCORDING TO THE REAL WORLD MEDELING NECESSITIES IN A SUITABLE WAY, IT IS IMPORTANT TO INCLUED A EMPORAL EXPRESSIVITY WHOSE SPECIFICATION ALLOWS TO OBTEIN AN APPLICATION THAT IS FINCIONALLY EQUIVALENT TO THE CONCEPTUAL MODEL. IN THE CONTEX OF THE IDEAS (INGENIERIA DE IDEAS SOFTWARE- SOFTWARE ENVIRANMENTS ENGINEERING) PROYECT, AND IN PARTICULAR IN ITS TASK TITLED ""SPECIFICATION METHODS FOR TRANSACTION IN PHASE OF CONCEPTUAL MODELING IN 00 ENVIRONMENTS"", THE RESEARCH GROUPS DSIC- UPV (VALENCIA, SPAIN) WORKS IN THE DEFINITION OF A AUTMATIC PRODUCTION SOFTWARE ENVIRONMENT BASED ON TEMPORAL CONCEPTUAL MODELS. THE WORK IS ORIENTED TO THE SPECIFICATION AND OF TRANSACTIONS FROM IT IN ORDER TO REPRESENT THE STATIC AND DYNAMIC ASPECTS OF A SYSTEM, ACCORDING TO THE REAL WORLD MEDELING NECESSITIES IN A SUITABLE WAY, IT IS IMPORTANT TO INCLUED A EMPORAL EXPRESSIVITY WHOSE SPECIFICATION ALLOWS TO OBTEIN AN APPLICATION THAT IS FINCIONALLY EQUIVALENT TO THE CONCEPTUAL MODEL. IN THE CONTEX OF THE IDEAS (INGENIERIA DE IDEAS SOFTWARE- SOFTWARE ENVIRANMENTS ENGINEERING) PROYECT, AND IN PARTICULAR IN ITS TASK TITLED ”SPECIFICATION METHODS FOR TRANSACTION IN PHASE OF CONCEPTUAL MODELING IN 00 ENVIRONMENTS”, THE RESEARCH GROUPS DSIC- UPV (VALENCIA, SPAIN) WORKS IN THE DEFINITION OF A AUTMATIC PRODUCTION SOFTWARE ENVIRONMENT BASED ON TEMPORAL CONCEPTUAL MODELS. THE WORK IS ORIENTED TO THE SPECIFICATION AND OF TRANSACTIONS FROM IT