|
Web
Education
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 ...
Verifying ODP Computational Behavioral Specification by ...
Verifying ODP Computational Behavioral Specification by using B-Method . ... We treat in this paper the need of formal notation andspecification for behavior al concepts in the Computational language. Using theUnified Modeling Language (UML)/OCL (Object Constraints Language) wedefine a formal semantics for a fragment of ODP behavior concepts ......
A UML Profile for Communicating Systems | Request PDF
Verifying ODP Computational Behavioral Specification by using B-Method. March 2010. ... Finally we explore the benefits provided by thenew extension mechanisms of B-Method for verifying the ODP ...
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 ...
CiteSeerX — and Applications
We treat in this paper the need of formal notation and specification for behavior al concepts in the Computational language. Using the Unified Modeling Language (UML)/OCL (Object Constraints Language) we define a formal semantics for a fragment of ODP behavior concepts defined in the RM-ODP foundations part and in the Computational language....
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
 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
labmia | Pr. Said EL HAJJI
J.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.
Writing and executing ODP computational viewpoint ...
This is why we have explored the use of UML 2.0 for modeling the ODP computational viewpoint concepts, and defined a UML Profile for the graphical description of ODP computational specifications . This has been integrated into a more general standardization effort by ITU-T and ISO/IEC to define the use of UML for ODP system specifications ......
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....
|
