proceeding of maghrebian conference on software engineering and

PROCEEDING OF MAGHREBIAN
CONFERENCE ON SOFTWARE
ENGINEERING AND ARTIFICIAL
INTELLIGENCE
A.GERA
SUMMARY
Computer science Maghrebian scientific activities are
mainly based on two important manifestations:
- A series of biannual conferences on software engineering
and artificial intelligence (Constantine' 89, Tunis' 92 and
Rabaf 94).
- A series of biannual schools on computer science,
(Rabat'91, Annaba' 93, and the next Tunis'95).
The fourth Maghrebian Conference on software Engineering and
Artificial Intelligence has been held from April14th to 18th
1996, in Algiers (Algeria). Its intent was to build on the background of previous conferences (Constantine' 89,
Tunis'92 and Raba(94) by identifying areas of research and development within software engineering and artificial
intelligence are as of interest for the international scientific community in general, and for the maghrebian scientific
community in particular.
The papers consider many areas of Software engineering and Artificial Intelligence, although a special
emphasis is placed on the following topics:
*
*
*
*
*
Languages, software engineering, programming environments.
Data base management systems.
Specification and validation.
Distributed systems.
Knowledge based systems.
TABLE OF CONTENTS
THEME 1
"PROGRAMMING ENVIRONMENTS, LANGUAGES"
"REORGANIZING CLASSES BY DERIVATION OF INHERIT ANCES"
N. Lammari, R. Laleau, M. Jouve, X. Castellani
3
"LA SEMANTIQUE DEMONIAQUE PAR DES GRAPHES DE CONTROLE
RELATIONNELS"
F. Tchier, J. Desharnais
17
"COMPARISONS OF B-TREES AND TRIE HASHING FOR
MULTIDIMENSIONAL
ACCESS"
G. Levy, D.E. Zegour, W.K. Hidouci
29
"CONCEPTION D'UN ENVIRONNEMENT DE PROGRAMMATION LOGIQUE
POUR LE PROTOTYPAGE D'ALGORITHMES PARALLELES"
F. Guerroumi
39
"ENVIRONNEMENTS EVOLUTIFS D'AIDE A L'EXPERT EN ORTHOPEDIE"
S. Tarabet, H. Tirane
THEME 2
"DATA BASE MANAGEMENT SYSTEMS"
"IMPLEMENTATION OF COMPOSITE OBJECTS"
H. Belbachir, H. Arisawa
65
"ENVIRONNEMENT DE DEVELOPPEMENT DE SYSTEMES
D'INFORMATION, ETAT
DE L'ART ET PROPOSITIONS"
D. Amzal, M. Si-Mohammed
73
"AN EFFICIENT INTERPRETATION OF DEDUCTIVE DATABASES BASED
ON
HIGH LEVEL PETRI NETS"
Y. Maizi, K. Barkaoui, J.M. Ilie
"TOW ARDS AN HYBRID APPROACH FOR SCHEMA EVOLUTION"
B. Benatallah
"RAISONNEMENT TEMPOREL DANS UN GRAPHE DE C-INTERV ALLES"
K. Benkoula, M. Djoudi, S. Benbernou
THEME 3
THEME 4
51
85
97
115
"SPECIFICATION AND VALIDATION"
"OCCAM PROGRAM DESIGN USING ADV ANCED PETRI NETS"
Y. Slimani, A. Imine, B. Djellali, L. Sekhri
125
"UN GRAPHE D'ATTEIGNABILITE FINI POUR UN SYSTEME DE RESEAUX
ELEMENTAIRES SYNCHRONISES EVOLUANT EN MODE
MIXTE SYNCHRONE /ASYNCHRONE"
H. Boucheneb, G. Berthelot
139
"MODELE SEMANTIQUE DE F AlLURES POUR UNE ALGEBRE DE
PROCESSUS TEMPORISES"
M. Belmesk, N. kamel
151
"DlSTRIBUTED SYSTEMS"
"TOW ARDS A NEW SEMANTICS FOR MONDEL SPECIFICATION BASED
ON
OO-ECA TNet's"
N. Aoumeur
167
"GENERATION AUTOMATIQUE DE PROCESSEURS
REPROGRAMMABLES
DEDIES DANS UN ENVIRONNEMENT DE SYNTHE SE DE HAUT NIVEAU"
THEME 5
M. Benmohamed, P. Kission, B. Megherbi, A.A. Jerraya
179
"PERFORMANCE '\NALYSIS OF ROUTING STRATEGIES lN WORMHOLEROUTED
DISTRIBUTED CRC jSBAR SWITCH HYPERMESCHES"
S. Lou,cif, L.M. Mao.;Kenzie, M. Ould-Khaoua, S. Ghanemi
189
"KNOWLEDGE BASED SYSTEMS"
"SOME DECIDABLE PROPERTIES OF I-TERMS"
A. Amaniss
203
THEME 6
AUTHOR INDEX
TOP
"RAISONNEMENT APPROCHE DANS LES SYSTEMES EXPERTS,
METHODES
BASEE SUR LES ENSEMBLES FLOUS"
A. Hadj-Ali
215
"L'EFFET DE LA NEGATION DANS UN MODELE DE REPRESENTATION
DES CONNAISSANCES POUR LE TRAITEMENT DES LANGUES"
J. Rouault, L. Si-Ameur
225
"GESTION D'INFORMATIONS CONTRADICTOIRE DANS LES SYSTEMES A
BASE DE CONNAISSANCES"
S. Benferhat, D, Dubois, H. Prade
235
"SIPINA+, METHODE ET OUTIL POUR L'EXTRACTION
AUTOMATIQUE DES CONNAISSANCES"
L. Admane, D.A. Zighed
247
"SPECIFICATION ET CONCEPTION PEDAGOGIQUE DANS AGEDI"
R Ahmed-Ouamer
257
"DIVERS"
"ORBITAL ARCHITERCTURES FOR RECURSIVE DIGITAL FILTERS"
D. Chikouche, RE. Bekka, A. Khellaf, A. Boucenna
271
"FO+: OUTIL D'INSERTION AUTOMATIQUE DE POINTS DE TEST DANS
DES
DESCRIPTIONS VHDL"
M. Koudil
279
"PSS_TUTOR : UN SYSTEME TUT ORIEL INTELLIGENT POUR
L'ENSEIGNEMENT DES STRATEGIES DE RESOLUTION DE PROBLEMES"
R Nkambou,G. Gamhkr, C. Frasson, E. Aimeur
291
"SIEPI: UN SYSTEME INTERACTIF D'EVALUATION DES PARAMETRES
D'IMPORTANCE"
A. Chikh, N. Ouroua, N. Lounes
305
319