6. CONCLUSION
We have presented a framework and an approach for multilevel monitoring of service systems. The framework specified supports the following:
• Support for the specification of abstractions over agents and their
operations, and decoupling operations from commitments via a mapping specification
• Service system specifications for an arbitrary number of services and processes.
• Specification of message semantics.
• Specification of local service behaviors that contribute to the participation in multiple conversations.