Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel TemporalOCL
TemporalOCL - Temporal OCL Plugin for Eclipse
Date de dernière version : 20 juillet 2014

Responsable : TAHA Safouan


Temporal OCL is a temporal extension of OCL that enables modelers/developers to specify temporal constraints on object-oriented models. We do so by relying on Dwyers's specification patterns. You can write temporal OCL constraints without any technical knowledge of formalisms commonly used to describe temporal properties such as LTL or CTL logics.

This extension is integrated into the Eclipse/MDT current OCL plug-in, it provides a framework not only to constrain dynamic behavior of object-oriented systems, but other to generate functional tests for objects and verify their properties.

Pour en savoir plus: http://wdi.supelec.fr/software/TemporalOCL/

Logiciel - Licence : EPL



Activités de recherche

Membres
  TAHA Safouan

Equipe
  Modélisation Hétérogène

Logiciels et brevets
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library