Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: system specification

Sortuj według:

Ogranicz wyniki do:

A Multi-facet Approach to Dynamic Agent Systems

Bednarczyk M.A., Pawłowski A., Bernardinello L., Pomello L., Borzyszkowski T.

Fundamenta Informaticae

2008

Vol. 85, nr 1-4

19-33

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronization operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.

A multi-facet approach to dynamic agent systems

Bednarczyk M., Bernardinello L., Borzyszkowski T., Pawłowski W., Pomello L.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

2007

Nr 1001

1-22

We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a numbci of different perspectives, each dealing with a specific aspect of the system. As a solution a synchronisation operator is proposed which glues agent aware systems on shared agents and transitions. The construction turns out to be a categorical product. We also show that a logic to talk about the temporal and the structural properties of the product can be obtained by gluing suitable logical frameworks from the components.

W pracy rozważa się problem modularnego definiowania złożonych, hybrydowych, dyskretnych systemów agentowych. Modularność wynika z patrzenia na system z różnych perspektyw, z których każda opisuje pewne specyficzne jego aspekty. Zdefiniowano operator, który synchronizuje systemy agentoiuo zorientowane w oparciu o wspólnych agentów oraz tranzycje. Konstrukcja operatora synchonizującego okazuje się być produktem w odpowiedniej kategorii. Pokazano także, że logikę opisu temporalnych i strukturalnych własności systemu agentowego, będącego produktem perspektyw, można otrzymać przez odpowiednie złożenie systemów logicznych dla perspektyw.