Interact : a general model of contract to guarantee the validity of

adapted to components with the syntax of java. So I can consider ..... With respect to the state of the art : I gave an explicit definition of the validity of an assembly,.
4MB taille 51 téléchargements 204 vues
Interact : a general model of contract to guarantee the validity of components and services assemblies

Alain Ozanne [email protected] http://alain.ozanne.free.fr

Alain Ozanne

Interact

1

An implementation of Interact is available by France Telecom R&D (send me a mail). This implementation consists in : – – –

the kernel an architecture adapter for the Fractal Component Framework, a formalism adapter for the CCLJ formalism,

do not hesitate to mail me any question,

Alain Ozanne

Interact

2

>

Alain Ozanne

Interact

6

>

Alain Ozanne

Interact

7

>

Alain Ozanne

Interact

8

>

Alain Ozanne

Interact

15

Alain Ozanne

Interact

16

>

Alain Ozanne

Interact

17

>

Alain Ozanne

Interact

18

>

Alain Ozanne

Interact

38

>

Alain Ozanne

Interact

49

>

Alain Ozanne

Interact

50

>

Alain Ozanne

Interact

51

>

Alain Ozanne

Interact

52

>

Alain Ozanne

Interact

55

>

Alain Ozanne

Interact

56

Alain Ozanne

Interact

57

>

Alain Ozanne

Interact

58

>

Alain Ozanne

Interact

59

>

Alain Ozanne

Interact

60

>

Alain Ozanne

Interact

61

>

Alain Ozanne

Interact

62

>

Alain Ozanne

Interact

63

>

Alain Ozanne

Interact

64

>

Alain Ozanne

Interact

65

>

Alain Ozanne

Interact

66

>

Alain Ozanne

Interact

67

>

Alain Ozanne

Interact

68

>

Alain Ozanne

Interact

69

> Alain Ozanne

Interact

70

>

Alain Ozanne

Interact

76

Alain Ozanne

Interact

77

>

Alain Ozanne

Interact

78

>

Alain Ozanne

Interact

79

>

Alain Ozanne

Interact

80

>

Alain Ozanne

Interact

81

>

Alain Ozanne

Interact

82

>

Alain Ozanne

Interact

83

Alain Ozanne

Interact

84

>

Alain Ozanne

Interact

85