|
Web
Education
Viewing 1-6 of 6 total results
Managing Software Change Request Process: Temporal Data ...
Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP). 8 J. Laassiri , S. E. Hajji and M. Bouhdadi, “Verifying ODP Computational Behavioral Specification by using B-Method”, International Journal of Computer Science and Security (IJCSS), 4(1 ...
Scientific & Academic Publishing
Jalal.Laassiri, S.El Hajji, M.Bouhdadi:"Verifying ODP Computational Behavioral Specification by using B-Method", International Journal of Computer Science and Security (IJCSS), Volume (4): Issue (1), pp 31-39, March 2010
Jalal LAASSIRI - citeseerx.ist.psu.edu
well as on the relationship transformations between the concepts of the behavior of the computational language and the concepts of the BPEL language. To achieve this, we ... 5 USING BPEL FOR BEHAVIORAL CONCEPTS IN ODP COMPUTATIONAL ... 6 VERIFYING ODP COMPUTATIONAL BEHAVIORAL SPECIFICATION BY USING B-METHOD 87...
List of Open Access publications for International Journal ...
Verifying ODP Computational Behavioral Specification by using B-Method : Jalal Laassiri, Saïd El Hajji, Mohamed Bouhdadi : Pages - 31 - 39 | Revised - 25-02-2010 | Published - 26-03-2010 : Full Text Available (376.1KB) MORE INFORMATION : Full Citation | Full Text PDF | Abstract | References | Related Articles
jalal.laassiri
“Verifying ODP Computational Behavioral Specification by using B-Method”, J.Laassiri, S.El Hajji, M.Bouhdadi: “ International Journal of Computer Science and Security ” (IJCSS), Volume (4): Issue (1), pp 31 – 39, 2010.
Research - jalal.laassiri
In order to specify the executable behavior of a system and to make the processes of the Computational executable and controllable, the Reference Model for ODP RM-ODP can be used as a meta-model for behavioral specifications. In the Computational language, the behavior is a collection of actions with a set of constraints on when they may occur ......
|
