Pulsar PEG770 Manual do Utilizador descarregar pdf (Página 83)

Modelo Descripción Documento Autor(es)/Fecha

π-Calculus

Movilidad expresada en un proceso algebraico

Expresing Mobility in Process

Algebras: First Order and Higher

Order Paradigms.

Communicating and Mobile

Systems: π-Calculus

SANGIORGI D., 1993.

MILNER R. ,1999.

Ambients

Modelo donde las localizaciones son

ambientes que contienen procesos o otros

ambientes

Mobile Ambients

CARDELLI T.,

GORDON A, 2000.

Mobile

UNITY

Modelo basado en el estado, efectos y

consecuencias de un componente móvil

Mobile UNITY: Reasoning and

specification in mobile computing

ROMAN G.-C. ,

MCCANN P.J., PLUN J.

Y., 1997

MobiS

Modelo en que las localizaciones son espacios

anidados que tienen tuplas (conjunto de varios

valores separados por comas)

MobiS: A Specification Language

for Mobile Systems.

MASCOLO C., 1999.

LIME

Modelo basado en coordinación, usando el

modelo Linda

LIME: Linda meets Mobility

PICO G.P., ROMAN G.-

C, MURPHY A., 1999

CODA

Modelo de sistema de archivos que soporta

que los usuarios especifiquen un conjunto de

archivos aprovisionados en desconexión. El

usuario maneja las inconsistencias en la

reconexión.

Disconnected Operation in the

Coda File System

STYANARAYANAN M. ,

KISTLER J.J., 1992

ODYSSEY

Modelo de búsqueda de bases de datos

basadas en localización

Mobile Information Acess

STYANARAYANAN M.,

1996

Tabla No.7: Algunos modelos de ingeniería de software en movilidad

Desafortunadamente, “estos modelos se encuentran aún en estado de formación”

104

según la experiencia de COMBA, un grupo de investigación en computación móvil

universitario pionero en Colombia, “las metodologías móviles están todavía poco

maduras”

105

, por lo que se ha tomado la decisión de usar varias metodologías

tradicionales de desarrollo.

Es muy importante recordar que cualquiera que sea el modelo que se aplique, todos y

cada uno de ellos son no más que un intento de ordenar una actividad inherentemente

caótica. Se espera que el modelo ayude al control y a la coordinación del proyecto, pero

103

Linda Alexander, “Process Model Selection Criteria”, M.S., Junio 1990.

104

Andrés Felipe Millán. Op.Cit., p.28

1 2 ... 78 79 80 81 82 83 84 85 86 87 88 ... 216 217

Comentários a estes Manuais

Sem comentários

Pulsar PEG770 Manual do Utilizador Página 83

Comentários a estes Manuais