Une logique temporelle pour les objets concurrents, et sa procédure de décision

Jean-Paul Bahsoun, Stephan Merz, Corinne Servières

Abstract

Dans cet article, nous commençons par décrire un concept d'objet concurrent ou agent. Puis nous proposons un cadre logique permettant de décrire formellement un agent et de montrer ses propriétés. Enfin, nous explicitons une procédure de décision dans ce cadre logique. Ces différents travaux sur la notion d'agent s'inscrivent dans un domaine d'intérêt plus large, celui de la réutilisabilité à différents niveaux qu'apporte une approche orientée objet.

Available as:  gzip'ed Postscript 

Reference

@InProceedings{bahsoun:logique,
  author =    "Jean Paul Bahsoun and Stephan Merz and
               Corinne Servi\`{e}res",
  title =     "Une logique temporelle pour les objets concurrents,
               et sa proc{\'{e}}dure de d{\'{e}}cision",
  booktitle = "Formalisation des Activit{\'{e}}s Concurrentes",
  year =      1995,
  address =   "Toulouse, France",
  pages =     "61--74"
}