Modelagem de processos com noções refinadas de localização

8

Alguém conhece algum formalismo algébrico (ou relacionado) de processo que captura informações de localização refinadas? Eu estou familiarizado com ambientes e gráficos grandes, que obviamente têm um modelo de localização, mas e as tentativas de modelar informações de localização mais concretas, de modo que a localização de algum agente seja expressa em algum espaço de coordenadas (real ou virtual)?

Parece-me que seria possível pegar algum formalismo existente e enriquecê-lo com construções para modelar a localização em algum nível apropriado de abstração, mas eu odiaria reinventar a roda desnecessariamente, se isso lembra os esforços anteriores.

Como pano de fundo, o domínio do aplicativo é modelagem essencialmente biológica, onde as noções tradicionais de localização usadas nesse domínio para governar onde as interações podem ocorrer não são suficientemente detalhadas para capturar as propriedades de interesse.

Gian
fonte

Respostas:

7

Processes in Space, de Luca Cardelli e Philippa Gardner, é um artigo nessa direção. Ele especificou uma álgebra de processo para descrever a evolução das estruturas 3D.

Dave Clarke
fonte
Referência fantástica e parece ser exatamente o que eu estava procurando. Agradece a um grupo :)
Gian