Deriving CORBA Applications from Formal Specifications

Journal of Systems Integration

Volumn 8, Issue 2, 1998, Pages 143-158

  Kramer B J ^a   Volker N ^a   Lichtenecker, R ^a   Kotter H F ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

CORBA; Interface Definition Language; LOTOS; Model checking; Reuse

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL LANGUAGES; INTERFACES (COMPUTER); OBJECT ORIENTED PROGRAMMING;

INTERFACE DEFINITION LANGUAGE (IDL);

SOFTWARE ENGINEERING;

EID: 0032069323     PISSN: 09254676     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008226622237     Document Type: Article

References (15)

1. R. Otte, P. Patrick, M. Roy. Understanding CORBA. Prentice Hall, 1996.
2. M.T. Peterson, DCE: a guide to developing portable applications McGraw-Hill, 1995.
3. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. EATCS Monographs on Theoretical Computer Science, Springer, 1985.
4. K.J. Turner, editor. Using Formal Description Techniques - An Introduction to ESTELLE, LOTOS, and SDL. John Wiley, New York, 1993.
5. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
6. J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier and M. Sighireanu. CADP (CAESAR ALDEBARAN development package): A protocol validation and verification toolbox. In Rajeev Alur and Thomas A. Henzinger, editors, Proceedings of the 8th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), LNCS 1102, 246-259, August 1996.
7. H. Garavel. An overview of the eucalyptus toolbox. In Z. Brezocnik and T. Kapus, editors, Proceedings of the COST 247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia), pages 76-88. University of Maribor, Slovenia, June 1996.
8. H.R. Andersen. Model checking and boolean graphs. Theoretical Computer Science, 126, 1994.
9. C.A.R. Hoare. Communicating sequential processes. Prentic-Hall international series in computer science, 1985.
10. E.M. Clarke, E.A. Emerson, A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
11. A. Burns Wokingham. Programming in OCCAM 2 Addison-Wesley, 1988.
12. K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
13. Z. Manna, A. Pnueli. Temporal verification of reactive systems. Springer, 1995.
14. O. Grumberg and D.E. Long. Modular Checking and Modular Verification. ACM Transactions on Programming Languages and Systems, 16(3):843-871, 1994.
15. M.J.C. Gordon and T.F. Melham. Introduction to HOL. Cambridge University Press, 1993.