Developing models, analysis methods for distributed systems, focusing on cooperative group activities in networks.
Agent communication, group communication.
Participants come and go, change location.
Network topology changes, components fail and recover.
Implementations are complex; difficult to build, understand, and analyze.
Addressing problems using formal modeling, verification methods
Input/output automaton, process algebraic, knowledge-based methods.
Extending, combining methods.
Applying method to case studies, in computer-supported cooperative work, e-commerce, distributed databases.