Web
Education
Viewing 1-3 of 3 total results
Event B for ODP Enterprise Behavioral Concepts Specification
semantics for structural concepts in ODP computational language [22]. In this paper we use the same approach for behavioural concepts in the foundations part and in the enterprise language. We also show how the ODP considered concepts could be specified in the Event-B method. The paper is organized as follows. In Section 2, we define
Verifying ODP trader function by using Event B
The use of formal methods in the design process of ODP systems is explicitly required. Currently there are no formal specifications of ODP concepts which are widely accepted. One interesting question concerns the suitability of event B for their use in ODP. In this paper, the use of event B for verifying ODP is investigated and evaluated....
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
|
iSEEK provides users with a Favorites library that allows them easy access to their most-used websites from any computer. If you have an iSEEK account, the content you just selected can be added to your Favorites page to be revisited any time you want.
If you would like to join the iSEEK community, click the "Register" button below to create your free iSEEK account. The resource you have selected will be added to your new Favorites library after you sign in for the first time.
If you already have an iSEEK account, click the button below to sign in and add the resource to your Favorites library.