Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Understanding DCE
SNMP, SNMPv2, and CMIP: the practical guide to network management
SNMP, SNMPv2, and CMIP: the practical guide to network management
The simple book (2nd ed.): an introduction to internet management
The simple book (2nd ed.): an introduction to internet management
Quality of service management in distributed systems
Network and distributed systems management
Towards policy driven systems management
Proceedings of the fourth international symposium on Integrated network management IV
Towards relationship-based navigation
Proceedings of the fourth international symposium on Integrated network management IV
SNMP: A Guide to Network Management
SNMP: A Guide to Network Management
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Richer Modeling Semantics for Management Information
Proceedings of the IFIP TC6/WG6.6 Third International Symposium on Integrated Network Management with participation of the IEEE Communications Society CNOM and with support from the Institute for Educational Services
ASTERIX: The TINA-C Architecture Applied to ATM Connection Management
IS&N '95 Proceedings of the Third International Conference on Intelligence in Broadband Services and Networks: Bringing Telecommunication Services to the People
Hi-index | 0.00 |
In this paper, we present a model of state for interface bindings, as defined by the Basic Reference Model of Open Distributed Processing (RM-ODP) recommendations concerning object interactions. To distinguish between other kinds of relationship bindings such as associations and aggregations, we call cooperation relations the interactions across object interfaces. In order to manage the configuration of distributed systems, we introduce the configuration state of a cooperation relation, and refine the lifecycle of a cooperation relation according to the value space of its configuration state. A formalization of the configuration state, and an example of self-manageable cooperation relation are presented. The identification of different kinds of cooperation relations is presented across a distributed system, currently used as an experimental platform.