DMCA
Formal Description Techniques for Object Management (1995)
| Venue: | Fourth IFIP/IEEE International Symposium on Integrated Network Management (ISINM '95 |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Derrick95formaldescription,
author = {J. Derrick and P. F. Linington and S. J. Thompson},
title = {Formal Description Techniques for Object Management},
booktitle = {Fourth IFIP/IEEE International Symposium on Integrated Network Management (ISINM '95},
year = {1995},
pages = {641--653},
publisher = {Chapman and Hall}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. Application of formal techniques can make the specifications more precise, reducing the ambiguity inherent in natural language, and can automate some or all of the process of implementation and testing. This paper examines the use of formal description techniques to the specification of managed objects. In particular we examine the relative merits of two formal languages, Object-Z and RAISE, which have been proposed as suitable for use in object management. Keywords: Managed objects, Formal methods, Open Distributed Processing. 1 Introduction Large scale open systems require open management to integrate their components, which may have been obtained from a number of sources; the cost of system administration will depend to a large extent on how easy it is to perform this management integratio...
Keyphrases
formal description technique object management formal method standard service open distributed processing ambiguity inherent formal technique open network management relative merit managed object formal language introduction large scale open system system administration large extent management integratio system resource open management natural language
