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.