Abstract
This paper talks about an ongoing project at Sun Microsystems Laboratories in which the interface definition language IDL of OMG's CORBA environment is extended with formal specification constructs. Tool support is provided to compile the specifications into code that can perform sanity checks to provide an added amount of security in a distributed system.
The software engineering industry has long been resisting formal methods as a means to improving software quality. This work attempts to maintain the current level of software quality while the complexity of software increases due to the presence of distributed objects. We hope that a means to maintain (rather than improve) software quality will be accepted more easily by the software engineering industry.
This paper motivates the need for formal methods in the CORBA environment and presents an overview of Borneo, the specification language extension of IDL.
Preview
Unable to display preview. Download preview PDF.
References
ADL Language Reference Manual and ADL Translator Design Specification. http://wwwsunlabs.com/research/adl/.
Common Object Request Broker: Architecture and Specification Revision 2.0. Available from the OMG.
Sankar, S. & Hayes, R. Specifying and Testing Software Components using ADL., Sun Microsystens Laboratories Technical Report No. SML-TR-94–23.
SunSoft NEO External Web Page. “http://wwwsun.com/sunsoft/neo/.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sankar, S. (1996). Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014307
Download citation
DOI: https://doi.org/10.1007/BFb0014307
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61463-0
Online ISBN: 978-3-540-68595-1
eBook Packages: Springer Book Archive