Formal specification of a CORBA real-time extension model - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1997

Formal specification of a CORBA real-time extension model

Formal specification of a CORBA real-time extension model

Zièd Choukair
  • Fonction : Auteur

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02341309 , version 1

Citer

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⟩
14 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More