|
Web
Education
Viewing 1-4 of 4 total results
Verifying ODP Computational Behavioral Specification by ...
Request PDF | Verifying ODP Computational Behavioral Specification by using B-Method | Reference Model for Open Distributed Processing (RM-ODP) defines aframework for the development of Open ...
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
 THE SPECIFICATION OF QUALITY OF SERVICE IN OPEN ...
RM-ODP is a reference model in computer science, which provides a co-ordinating framework for the standardization of open distributed processing (ODP), whereas in the second phase , we introduce Event-B method to formalize and verify mechatronics system. We explore the benefits provided by using the proof
A Proof Based Approach for Modelling and VerifyingWeb ...
The Web services composition defines a process that involves various independent Web services to perform a complex function. This process is described with a standard language (BPEL) and executed by tools supporting this language. This kind of languages describes the behavior of different distributed services together, but it does not support the verification nor the validation of behavioral ...
|
