26.04.2007

O składaniu rzutów perspektywicznych w całość

Interesują nas złożone systemy agentowe i ich własności. W praktyce udaje się często opisać rozmaite aspekty działania takich systemów, na przykład poprzez podanie modelu. Celem seminarium jest przedstawienie operacji synchronizacji takich modeli jako metody uzyskiwania złożonych systemów z tych prostszych, bo odnoszących się tylko do jednej perspektywy. Idee zostaną przedstawione w oparciu o problematykę kluczy publicznych.
Pokażemy, że opisana przez nas operacja synchronizacji jest produktem w pewnej kategorii systemów agentowych. Ponadto pokażemy, ze można wykorzystać języki specyfikacji używane do opisu własności systemów perspektywicznych do budowy języka opisu pełnego systemu.