Artículos de revistas
Representación de objetos OASIS en Teorías y su Traducción a un Modelo de Concurrencia
Representación de objetos OASIS en Teorías y su Traducción a un Modelo de Concurrencia
Autor
LETELIER TORRES, PATRICIO
SÁNCHEZ PALMA, PEDRO
RAMOS SALAVERT, ISIDRO
Institución
Resumen
LA VALIDACIÓN TEMPRANA DE REQUISITOS DEL SOFTWARE DURANTE EL DESARROLLO DE UN SISTEMA DE INFORMACIÓN ES UN ASPECTO DE RECONOCIDA IMPORTANCIA. LA ANIMACIÓN AUTOMÁTICA A PARTIR DE LAS ESPECIFICACIONES DE REQUISITOS DEL SISTEMA PUEDE LLEGAR A SER UNA VALIOSA AYUDA EN DICHAS TAREAS. OASIS ES UN LENGUAJE FORMAL PARA ESPECIFICACIÓN DE MODELOS CONCEPTUALES. EN ESTE PROCESO SE PRESENTA UNA FORMALIZACIÓN DEL PROCESO DE OBTENCIÓN DE UN PROTOTIPO DADA UNA ESPECIFICACIÓN OASIS, UN MODELO BÁSICO DE EJECUCIÓN Y UN MODELO DE CONCURRENCIA COMO SON LAS REDES DE PETRI CLÁSICAS. SI DEFINIMOS LAS CARACTERÍSTICAS FORMALES QUE DEBE TENER UN PROTOTIPO PARA QU SATISFAGA UNA ESPECIFICACIÓN OASIS HABREMOS CONSEGUIDO UNA REPRESENTACIÓN EJECUTABLE FIEL AL MODELO ORIGINAL. EL PLANTEAMIENTO QUE SE HACE DEL TRABAJO ES UN COMIENZO QUE PERMITE SER EXTENDIDO AL ESTUDIO DE OTROS TIPOS DE REDES (OBJECT PETRI NETS, COURED PETRI NETS, ETC.) U OTROS MODELOS DE CONCURRENCIA. THE OBJECTIVE OF THIS RESEARCH IS TO DEVELOP AN APPROACH TO REPRESENTING AND SATISFYING CONSTRAINTS DURING THE COOPERATIVE CONFIGURATION DESING OF COMPLX OBJECTS WHITH HIERARCHICAL STRUCTURE. DESIGNERS OFTEN COLABORATE IN MECHANISM IS BASED UPON MULTI - AGENT THECHNOLOGY, PERMITTING COMMUNICATION AMONG PARCIPATING APPLICATIONS COUPLED WHIT LOCALIZED SOLUTION METHODS. A SYSTEM TO BE CONFIGURED IS DIVIDED INTO FRAGMENT DEVELOPMENT TASK IS TREATED AS AN AGENT WITH EMBEDDED CONSTRAINT-SATISFACTION FACILITES. AN AGENT IS CONSIDERED IS CONSIDERED AS A COMPUTATIONAL PROCESS WITH EXPERTISE ABOUT A LIMITED PORTION OF DESING PROBLEM, CAPABLE OF ACHIEVING SPECIFIC GOALS AND COMMUNICATING WITH OTHER AGENTS. CONFIGURATION DESING PROCESS IS FORMULATED AS A DISTRIBUTED DYNAMIC CONSTRAINT - SATISFACTION PROBLEM, ACCOMPLISHED BY A NUMBER OF AGENTS IN PARALLEL. THE ALGORITHM OF DISTRIBUTED SEARCH ON THE DYNAMIC CONSTRAINT NETWORK IS DISCUSSED. THE DEVELOPTED ALGORITHM IS WELL SUITED TO COLLABORATIVE DESING BECAUSE IT OPERATES INCREMENTALLY AND WHITHOUT GLOBAL INFORMATION ABOUT THE CONSTRAINT NETWORK. THE ARCHITECTURE OF CONCURRENT CONFIGURATION DESING ADVISOR - A DISTRIBUTED AGENT-BASED EXPERT SYSTEM FOR CONFIGURATION DESIGN OF COMLPEX OBJECTS WITH HIERACHICAL STRUCTURE - IS PRESENTED. THE DISCUSSION IS ILLUSTRATED WITH THE EXAMPLES FROM FMS CONFIGURATION DESIGN APPLICATION DOMAIN. CURRENT AND FUTURE WORK ON THE EXPERT SYSTEM IMPLEMENTATION IS CONSIDERED.