Conference Papers Year : 1997

Formal specification of a CORBA real-time extension model

Formal specification of a CORBA real-time extension model

Zièd Choukair
  • Function : Author
  • PersonId : 1025823
  • IdRef : 077715195

Abstract

We present formal specifications of COREMO, a CORBA real-time extension model. Dealing with a client/server model from the end-to-end point of view leads us to a higher level approach. A first logical specification with an incremental nature is given through linear temporal logic. We derive an abstract operational specification expressed with input/output automata, which implements the previous one. An overview of the global development of COREMO is provided.

No file

Dates and versions

hal-02341309 , version 1 (31-10-2019)

Identifiers

  • HAL Id : hal-02341309 , version 1

Cite

Ahmed Bouabdallah, Zièd Choukair. Formal specification of a CORBA real-time extension model. OOPSLA'97, Workshop on object oriented technology for service, system and network management, Oct 1997, Atlanta, États-Unis. ⟨hal-02341309⟩
55 View
0 Download

Share

  • More