Membership Details (Research Institute)
Contact: Barbara Dunin-Kęplicz, PhD
Member node: 076
ul. J.K. Ordona 21
01-237 Warszawa
Poland
Poland
>>> Include yourself at this organisation
>>> Update your name or personal details listed below
>>> Submit papers, projects etc to the archive
>>> Update Member Description or Contact details
Description
Activities and interests of the THEORY OF DISTRIBUTED SYSTEMS Group members at ICS PAS center around the following topics:
- multi-agent systems
- agent virtual organizations
- modelling of knowledge and belief
- models of distributed systems
- automated verification and model checking of concurrent systems
- temporal logics for concurrent systems
- cryptographic algorithms
- network-based programming
- Web services
Conducted projects:
1. Design, construction and verification of reconfigurable multi-agent systems [http://www.mimuw.edu.pl/MAS/]. The main objectives of the project are the following:
- to include new vital aspects of CPS into developed formal theory of BDI.
- to develop methods of analysing and designing reconfigurable MAS.
- to adapt methods of conctruction and verification of distributed systems to designing and analysing of multi-agent systems.
- to develop methods of automated verification by model checking for reconfigurable MAS.
- to implement a prototype BDI system realizing CPS based on the above results.
2. ALFEBIITE: A Logical Framework for Ethical Behaviour between Infohabitants in the Information Trading Economy of the Universal Information Ecosystem
3. enTish - a prototype system implementing the idea of Web services. enTish is a middleware for joining heterogeneous services on the one hand, and for using them via Task Manager on the other hand. Entish Dictionary is the place where you can create your own ontology, i.e., introduce names for new datatypes, new functions and new relations. You can also formulate a task that is a composition of the abstract functions already defined in EntishDictionary, and send it to the TaskManager for realizing. The task does not indicate what services are needed (perhaps there are not such services or the services are down, or there are several services realizing the same abstract function). [http://www.ipipan.waw.pl/mas/ent/]
4. VERICS - a prototype verification system (for scientific purposes so far) aimed at verifying distributed systems described either as timed automata or in the specification language ESTELLE. The present version of the system allows for verification of the reachability properties. [http://www.ipipan.waw.pl/~penczek/abmpw/index.htm]
This list was generated on Mon Sep 10 16:39:00 BST 2007. |
