|
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
|
