Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementation of a dynamic address assignment protocol in a local area network
Computer Networks and ISDN Systems - Special issue on local area networks
Local area network management for distributed applications
Computer Communications
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language
IEEE Transactions on Software Engineering - Special issue on computer security and privacy
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A network management language for OSI networks
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
PLEASE:Predictable Logic based ExecutAble SpeCifications
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Managing Communication Networks by Monitoring Databases
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Large internet environments are increasing the difficulty of network management. Integrating increasing numbers of autonomous subnetworks (each with an increasing number of hosts) makes it more difficult to determine if the network managers of the subnetworks will interoperate correctly. We propose a high level, formal specification language, NMSL, as an aid in solving this problem. NMSL has two aspects of operation, a descriptive aspect and a prescriptive aspect. In its descriptive aspect, NMSL specifies abstractions of the network components and their instantiations, and verifies the consistency of such a specification. The abstractions include the data objects and processes in a network management system. These abstractions are instantiated on network elements. Network elements are grouped together in the specification of domains of administration. An extension mechanism is provided to allow for the specification of new management characteristics that the basic language cannot express. In its prescriptive aspect, NMSL generates configuration information directly from a consistent specification. This information is used to configure network management processes to make their operation consistent with their specifications. Standard management protocols (such as the emerging ISO or IETF standards) can be used to incorporate the configuration information into running management processes.