Towards a K Semantics for OCL

Andrei Arusoaie 1 Dorel Lucanu 2 Vlad Rusu 3
3 DREAMPAL - Dynamic Reconfigurable Massively Parallel Architectures and Languages
Université de Lille, Sciences et Technologies, Inria Lille - Nord Europe, CNRS - Centre National de la Recherche Scientifique
Résumé : Nous donnons une sémantique à un sous-ensemble significatif du langage OCL (Object Constraint Langage) dans le cadre formel K. Le sous-ensemble choisi inclut les expressions habituelles arithmétiques, logiques (y compris avec quantifications), et de type chaîne de caractères; les expressions de type collection (y compris les itérateurs et la navigation); et les pre/post conditions pour les méthodes des classes. Notre définition est exécutable et produit par construction un interpréteur pour le sous-ensemble d'OCL choisi. L'interpréteur peut être inclus comme composante dans d'autre langages définis en K qui incluent OCL en tant que sous-langage. Nous illustrons les avantages de notre sémantique en la comparant avec la sémantique issue de la norme (standard) OCL. Enfin, nous présentons un outil, disponible en ligne, qui implémente notre approche.
Type de document :
Communication dans un congrès
Mark Hills. 2nd International Workshop on the K Framework and its Applications (K 2011), Aug 2011, Sinaia, Romania. Elsevier, pp.81-96, 2014, Electronic Notes in Computer Science. 〈10.1016/j.entcs.2014.05.004〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00998923
Contributeur : Mister Dart <>
Soumis le : mardi 3 juin 2014 - 08:32:59
Dernière modification le : jeudi 11 janvier 2018 - 06:25:37
Document(s) archivé(s) le : mercredi 3 septembre 2014 - 10:58:33

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu. Towards a K Semantics for OCL. Mark Hills. 2nd International Workshop on the K Framework and its Applications (K 2011), Aug 2011, Sinaia, Romania. Elsevier, pp.81-96, 2014, Electronic Notes in Computer Science. 〈10.1016/j.entcs.2014.05.004〉. 〈hal-00998923〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

160