Abstract
The validation of object-based distributed applications is a difficult and as yet largely unexplored problem. We describe here a practical approach over the OMG’s CORBA platform and architecture. Our approach hinges on specifying interfaces in CORBA Interface Definition Language (IDL) at other levels besides the object level and adjoining two types of complementary semantic information — then the basis of the validation methods. We then indicate how standardized FDTs such as SDL and LOTOS can be used in such a validation framework.
This work has been partly sponsored by the following Spanish research bodies; the Centre for Industrial and Technological Development (CDTI) and the Plan for Electronics and Computer Science (PEIN) as part of the OTELSO Project (EUREKA 1001); the Interministerial Commission for Science and Technology (CICYT) as part of the EMEDAS project.
Chapter PDF
Similar content being viewed by others
Bibliography
Babaoglu, O., Fromentin, E., Raynal, M. (1995). A Unified Framework for the Specification and Run-time Detection of Dynamic Properties in Distributed Computations. Department of Computer Science, University of Bologna, Technical Report UBLCS-95–3. Jan. 1995, revised Feb 1995.
Grabowski, J., Hogrefe, D. and Nahm, R. (1993). Test case generation with test purpose specification by MSCs, in SDL’93: Using Objects (ed. O. Færgemand and A. Sarma), proc. SDL’93. North Holland.
Maffeis, S. (1995). Adding group communication and fault tolerance to CORBA, in Proc. of USENIX Conference on Object-Oriented Technologies, Monterey, CA, USA. Jun. 1995.
Pickin, S., Sanchez, C., Yelmo, J.-C., Gil, J., Rodriguez, E. (1996). Introducing formal notations in the development of object-based distributed applications, in Proc. of First IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems (ed. Stefani, J.-B., Najm, E. ), Chapman & Hall 1996.
Sanchez, J., León G., and Sanchez, C. (1995). Visual Analysis of Specifications, in Proc. of 21st EUROMICRO Conference (ed. Kavanaugh, M.). IEEE Computer Society Press, 1995
Sankar S. and Hayes, R. (1994). ADL — an interface definition language for specifying and testing software. ACM SIGPLAN notices, 29 (8): 13–21, Jan. 1994.
Stefani, J.-B. (1991). ODP: the next target for the application of FDTs, in Formal Description Techniques III (ed. J. Quemada, J. Mafias and E. Vazquez), proc. FORTE’90. North Holland.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Pickin, S., Sánchez, C., Sánchez, J., Yelmo, J.C., Gil, J.J., Rodríguez, E. (1996). An approach to the validation of open object-based distributed applications. In: Baumgarten, B., Burkhardt, HJ., Giessler, A. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35062-2_9
Download citation
DOI: https://doi.org/10.1007/978-0-387-35062-2_9
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6697-4
Online ISBN: 978-0-387-35062-2
eBook Packages: Springer Book Archive